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.
Meaning
1 senses(uncountable)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
More definitions
- a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Translations
3 languagesDeutsch
By meaning 1
a branch of logic:
Synonyms
1 synonymsClose in meaning
- a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions):functional calculus
Word family
1 related wordsRelatedpredicate logic
Lessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable