Refine this word faster
Predicate logic
noun
Definitions
Noun
- 1 The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
- 2 First-order logic.
See also for "predicate logic"
Next best steps
Mini challenge
Want a quick game? Try Word Finder.