predicate logic

== English == === Noun === predicate logic (plural predicate logics) (logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. (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 ====