predicate logic (English, noun)
expansion: predicate logic (plural predicate logics)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: First-order logic.
Forms:
form: predicate logics
tags: plural