Das sind Aussagen:
Und hier sind Gegenbeispiele. Das sind keine Aussagen:
Aussagenlogik
Prädikatenlogik