Aussagenlogik/Sprache/Aussagen/1/Beispiel

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien Aussagenvariablen. Dann sind beispielsweise

korrekt gebildete Aussagen, d.h. sie gehören zu . Dagegen sind

keine Aussagen in (aber natürlich Wörter über dem gegebenen Alphabet).