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.
Значення
значень: 2The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
Prädikatenlogik
First-order logic.
Переклади
мов: 3Deutsch
За значеннями 1
generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic:
Форми
множина: predicate logics| Однина | predicate logic |
|---|---|
| Множина | predicate logics |
правильне
Спільнокореневі
пов’язаних слів: 1Пов’язаніpredicate calculus