first-order logic
English
editNoun
editfirst-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
editHypernyms
editTranslations
editformal deductive system expanded from propositional logic
|