first-order logic

Noun

Meaning

first-order logic (countable and uncountable, plural first-order logics)

(logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.

Source: en.wiktionary.org

Synonyms

formal logic mathematical logic modal logic FOL propositional calculus predicate calculus propositional logic deontic logic

Close letter words and terms

first-order hold first-order language first-order levelling first-order ordinary differential first-order phase transition first-order predicate