|
Definition of First-order logic
1. Noun. (logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse. ¹
¹ Source: wiktionary.com
|
1. Noun. (logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse. ¹
¹ Source: wiktionary.com