English

Noun

predicate logic ‎(plural predicate logics)

1. (logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
2. (logic) First-order logic.

Hyponyms

• first-order logic
• second-order logic
• many-sorted logic
• infinitary logic

Derived terms

• monadic predicate logic

Related terms

• predicate calculus

Translations