Die Prädikatenlogik ist eine Erweiterung der Aussagenlogik, in der es zum einen möglich ist, Aussagenvariablen durch genaue Aussagen über eine gegebene Struktur zu ersetzen, und in der man zum anderen durch Quantifikationen eine zusätzliche Ausdrucksstärke erhält. Dieses Kapitel führt prädikatenlogische Formeln ein und ihre Auswertung in Strukturen, und behandelt dann die wichtigsten prädikatenlogischen Konzepte und Gesetze, einschließlich verschiedener Normalformen.