Prädikatenlogik

Einfache Sprache

Die Prädikatenlogik ist die Erweiterung der Aussagenlogik um Quantoren.