first-order logic
Jump to navigation
Jump to search
English[edit]
Noun[edit]
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.
Synonyms[edit]
Hypernyms[edit]
Translations[edit]
formal deductive system expanded from propositional logic
|