predicate logic
predicate logic · predicate logics
Prädikatenlogik
The generic term for symbolic formal systems like first-order logic, second-order…The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
Meaning
2 sensesThe generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
Prädikatenlogik
First-order logic.
Translations
3 languagesDeutsch
By meaning 1
generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic:
Forms
plural: predicate logics| Singular | predicate logic |
|---|---|
| Plural | predicate logics |
regular
Word family
1 related wordsRelatedpredicate calculus