Definition of predicate calculus in English:

predicate calculus

noun

mass noun

The branch of symbolic logic that deals with propositions containing predicates, names, and quantifiers.
谓词演算
Example sentencesExamples
- What you are saying is that, strictly speaking, a proof is valid if it is written out in predicate calculus and has the right structure according to the rules of logic.
- In this way, Bradley had a significant, if indirect, impact on predicate calculus.
- In the classical predicate calculus only conjunction, negation and the universal quantifier are needed.
- But a tough exam question would be: translate into predicate calculus, and explain how to derive the meaning from the form.
- This language, the language of the predicate calculus, is what Russell called the perfect language.

Definition of predicate calculus in US English:

predicate calculus

nounˌpredəkət ˈkalkyələs

The branch of symbolic logic that deals with propositions containing predicates, names, and quantifiers.
谓词演算
Example sentencesExamples
- What you are saying is that, strictly speaking, a proof is valid if it is written out in predicate calculus and has the right structure according to the rules of logic.
- In the classical predicate calculus only conjunction, negation and the universal quantifier are needed.
- This language, the language of the predicate calculus, is what Russell called the perfect language.
- In this way, Bradley had a significant, if indirect, impact on predicate calculus.
- But a tough exam question would be: translate into predicate calculus, and explain how to derive the meaning from the form.

单词	predicate calculus
释义	Definition of predicate calculus in English: predicate calculus noun mass noun The branch of symbolic logic that deals with propositions containing predicates, names, and quantifiers. 谓词演算 Example sentencesExamples What you are saying is that, strictly speaking, a proof is valid if it is written out in predicate calculus and has the right structure according to the rules of logic. In this way, Bradley had a significant, if indirect, impact on predicate calculus. In the classical predicate calculus only conjunction, negation and the universal quantifier are needed. But a tough exam question would be: translate into predicate calculus, and explain how to derive the meaning from the form. This language, the language of the predicate calculus, is what Russell called the perfect language. Definition of predicate calculus in US English: predicate calculus nounˌpredəkət ˈkalkyələs The branch of symbolic logic that deals with propositions containing predicates, names, and quantifiers. 谓词演算 Example sentencesExamples What you are saying is that, strictly speaking, a proof is valid if it is written out in predicate calculus and has the right structure according to the rules of logic. In the classical predicate calculus only conjunction, negation and the universal quantifier are needed. This language, the language of the predicate calculus, is what Russell called the perfect language. In this way, Bradley had a significant, if indirect, impact on predicate calculus. But a tough exam question would be: translate into predicate calculus, and explain how to derive the meaning from the form.
随便看	pair pair-bond pair bond pair-bonded pair-bonding pair-case paired paired paired-associate paired associates paired association paired comparison paired reading pairer pairfec pairfec' pair-fed pair-feed pair-feeding pair-formation pair-horse pair-horsed pairing pairing pairings 赴赴任赴宴赴敌赴死赴汤蹈火赴约赴难赵赵体 Verlustfaktor Verlustfläche Verlustgröße Verlusthöhe Verlustkoeffizient Verlustleistung Verlustmeldung Verlustmessung Verlustnachweis Verlustquelle