Predicate-logic Definition
noun
(logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
Wiktionary
(logic) First-order logic.
Wiktionary
Other Word Forms of Predicate-logic
Noun
Singular:
predicate-logic
Plural:
predicate logics
Predicate-logic Is Also Mentioned In
Find Similar Words
Find similar words to predicate-logic using the buttons below.