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.