mathematische Aussage

Eine Kombination von Symbolen, die einen logischen Satz bilden, der bei einer bestimmten Interpretation wahr oder falsch sein kann.

Siehe auch