Predikaten-logica definitie

predikaten-logica

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

---