first-order logic
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
|