predikatenlogica

De predicatenlogica of eerste-ordelogica is een formele logica waarin eigenschappen van en relaties tussen objecten kunnen worden beschreven.De predicatenlogica is een uitbreiding van de propositielogica. De taal is uitgebreid met constanten, variabelen, predicaten en soms ook functiesymbolen. Een propositie is een speciaal geval van een predicaat, namelijk een predicaat met ariteit nul. De taal van de predicatenlogica bevat verder twee kwantoren: de universele kwantor ∀ en de  existentiële kwantor ∃.
Zie meer op Wikipedia.org...