From en.wiktionary.org: ** English [wikipedia] *** Noun [~] 1. [en] A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse . **** Synonyms - FOL **** Hypernyms - predicate logic **** Translations [formal deductive system expanded from propositional logic] - Arabic: [ar] - Catalan: [ca] - Finnish: [fi] - Greek: [el] - Icelandic: [is] - Spanish: [es] [trans-bottom]
** English
[wikipedia]
*** Noun
[~]
1. [en] A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse .
**** Synonyms
- FOL
**** Hypernyms
- predicate logic
**** Translations
[formal deductive system expanded from propositional logic]
- Arabic: [ar] - Catalan: [ca] - Finnish: [fi] - Greek: [el] - Icelandic: [is] - Spanish: [es] [trans-bottom]
