de predicatenlogica zelfst.naamw. (v.)
logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven Gevonden op
https://www.woorden.org/woord/predicatenlogica
'Predicatenlogica' is wiskundig-formele logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven. De eerste-orde-predicatenlogica is een uitbreiding van de propositielogica.
Gevonden op
https://nl.wikipedia.org/wiki/Predicatenlogica
Geen exacte overeenkomst gevonden.
