Aussagenlogik/Sprache/Aussagen/1/Beispiel

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).