logische Formel, die von mindestens einer Variablen abhängt. Durch Einsetzen von Elementen aus einer vorgegebenen Grundmenge in die Aussageform wird diese zu einer Aussage, die entweder wahr oder falsch ist.