predicate logic

noun — 2 senses

predicate logic

noun

Human sciences, Logic, Mathematics, Philosophy, Sciences The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.

Human sciences, Logic, Mathematics, Philosophy, Sciences First-order logic.

Derived terms: monadic predicate logic
Related terms: predicate calculus
Hyponyms: first-order logic, second-order logic, many-sorted logic, infinitary logic

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.