Synonyms of predicate calculus:

*(noun)*functional calculus, symbolic logic, mathematical logic, formal logic

Coding predicate calculus

Next lemmas: predication | predicative | predicator | predict | predictability | predictable | predicted | prediction

This program is based on the thesauri dictionaries of OpenOffice according to the LGPL license.