Prädikatenlogik
Gegenüber der Aussagenlogik besitzt die Prädikatenlogik in der 1. Stufe zusätzliche Ausdrucksmittel wie die -> Quantoren.
Gegenüber der Aussagenlogik besitzt die Prädikatenlogik in der 1. Stufe zusätzliche Ausdrucksmittel wie die -> Quantoren.