Theorieseite zur Einführung in die Prädikatenlogik erster Stufe, die die Grenzen der Aussagenlogik anhand des kategorischen Syllogismus demonstriert. Die Seite zeigt durch formale Analyse und Wahrheitstabelle, warum klassische Syllogismen mit aussagenlogischen Mitteln nicht als gültig nachgewiesen werden können.
