Aussagenvariable

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein syntaktisches Symbol in der Aussagelogik, das eine atomare Aussage bezeichnet und in einer gegebenen Bewertung einem Wahrheitswert (wahr oder falsch) zugeordnet werden kann.