Predikatenlogica definitie

predikatenlogica

(Eng: predicate logic) Uitbreiding van de propositie-logica. In deze uitbreiding wordt gebruik gemaakt van predikaten.
Gevonden op https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf

---