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Исчисляемые и неисчисляемые существительные — Потому что оно может быть неисчисляемым