Aussage

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine deklarative Formel oder Aussage, die unter einer angegebenen Interpretation oder einem Modell einen bestimmten Wahrheitswert (wahr oder falsch) besitzt; in der Logik drückt eine Proposition eine propositionell auswertbare Behauptung aus und ist keine Frage, Aufforderung oder Ausdruck mit unbestimmtem Wahrheitswert.