• pre·di·ca·ten·lo·gi·ca
enkelvoud meervoud
naamwoord predicatenlogica -
verkleinwoord - -

depredicatenlogicav

  1. (wiskunde) logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven