„Aussageformen werden durch bestimmte Einsetzungen für die Variablen zu wahren oder falschen ''Aussagen.''“<ref>{{Literatur | Autor=Dr. Rudolf Bittner, Dr. Dieter Ilse, Siegmar Kubicek, Werner Tietz | Titel=Kompendium der Mathematik | Verlag=Volk und Wissen Volkseigener Verlag | Ort= Berlin | Jahr=1969 | Auflage=2. }}, Seite 6</ref>
{{K|Logik|Mathematik}} Zeichenreihe, die einen Sachverhalt widerspiegelt und entweder wahr oder falsch ist