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