predicate calculus
Prädikatenlogik
The branch of logic that deals with quantified statements such as "there exists an x…The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.
Значення
значень: 1(незлічуване)The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.
Prädikatenlogik
Ще визначення
- a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Переклади
мов: 3Deutsch
За значеннями 1
a branch of logic:
Синоніми
синонімів: 1Близькі за значенням
- a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions):functional calculus
Спільнокореневі
пов’язаних слів: 1Пов’язаніpredicate logic
Уроки до слова
уроків: 1- A1Злічувані та незлічувані іменники — Бо воно може бути незлічуваним