first-order logic
first-order logic · first-order logics
Prädikatenlogik erster Stufe
A formal deductive system extended from propositional logic with the possibility to…A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.
Meaning
1 senses(countable, uncountable)A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.
Prädikatenlogik erster Stufe
Translations
3 languagesDeutsch
By meaning 1
formal deductive system expanded from propositional logic:
Forms
plural: first-order logics| Singular | first-order logic |
|---|---|
| Plural | first-order logics |
regular
Synonyms
1 synonymsFOL
Lessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable