☰

Popular Searches

mass national indian king union north

Dictionary

Example Word 1 Example Word 2 Example Word 3

Thesaurus

Example Synonym 1 Example Synonym 2 Example Synonym 3
Word info Synonyms

predicate logic

Noun

Meaning

(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.

Source: en.wiktionary.org

Synonyms

logic Boolean algebra formal logic propositional logic epistemic logic deontic logic

Related terms

predicate calculus

Close letter words and terms

predicatable predicate predicate calculus predicate noun predicated on predicated variable