predicatenlogica

Predicatenlogica is wiskundig-formele logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven. Vaak wordt met de term meer specifiek de eerste-orde-predicatenlogica bedoeld.