Einführung in die Prädikatenlogik mit Erklärung ihrer Unterschiede zur Aussagenlogik. Die Seite demonstriert anhand des klassischen Sokrates-Arguments, warum aussagenlogische Methoden für die Analyse bestimmter Argumente unzureichend sind, und zeigt dies durch eine Wahrheitstafel.