first-order logic
English
Noun
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
Hypernyms
Translations
formal deductive system expanded from propositional logic
|
|
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.