English Explanatory Dictionary

predicate logic

English dictionary entry

Meanings

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.

Word forms

predicate logic predicate logics

Related words

predicate calculus

Derived words

monadic predicate logic
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on P Russian dictionary Dahl dictionary