Definition of contraposition in English:

contraposition

noun kɒntrəpəˈzɪʃ(ə)nˌkɑntrəpəˈzɪʃən

mass nounLogic

Conversion of a proposition from all A is B to all not-B is not-A.
〔逻〕换质位法（如将命题all A is B 换成all not-B is not-A）
Example sentencesExamples
- This means that form and content are not fully unified but retain a structure of abstract contraposition: the content is inscribed in the form while retaining much that cannot be grasped in it.
- By contraposition and the definition of the existential quantifier, the latter axiom is equivalent to x = x y (y = x).
- As a contraposition to the conclusions derived from the summation theorem, we have used similar mathematical tools to show that dominance is not an inevitable property of metabolic pathways.

Derivatives

contrapositive

adjective & noun kɒntrəˈpɒzɪtɪv

Logic

Then the contrapositive not-PN entails not-MN is also true.
Example sentencesExamples
- The contrapositive of the inference is logically equivalent - X simulates Y, X does not have P therefore Y does not - where P is understands Chinese.
- And you know also the contrapositive, that your being at place X entails that you are not then in a tank on Alpha Centauri.

Origin

Mid 16th century: from late Latin contrapositio(n-), from the verb contraponere, from contra- 'against' + ponere 'to place'.

Definition of contraposition in US English:

contraposition

nounˌkɑntrəpəˈzɪʃənˌkäntrəpəˈziSHən

Logic

Conversion of a proposition from all A is B to all not-B is not-A.
〔逻〕换质位法（如将命题all A is B 换成all not-B is not-A）
Example sentencesExamples
- This means that form and content are not fully unified but retain a structure of abstract contraposition: the content is inscribed in the form while retaining much that cannot be grasped in it.
- By contraposition and the definition of the existential quantifier, the latter axiom is equivalent to x = x y (y = x).
- As a contraposition to the conclusions derived from the summation theorem, we have used similar mathematical tools to show that dominance is not an inevitable property of metabolic pathways.

Origin

Mid 16th century: from late Latin contrapositio(n-), from the verb contraponere, from contra- ‘against’ + ponere ‘to place’.

单词	contraposition
释义	Definition of contraposition in English: contraposition noun kɒntrəpəˈzɪʃ(ə)nˌkɑntrəpəˈzɪʃən mass nounLogic Conversion of a proposition from all A is B to all not-B is not-A. 〔逻〕换质位法（如将命题all A is B 换成all not-B is not-A） Example sentencesExamples This means that form and content are not fully unified but retain a structure of abstract contraposition: the content is inscribed in the form while retaining much that cannot be grasped in it. By contraposition and the definition of the existential quantifier, the latter axiom is equivalent to x = x y (y = x). As a contraposition to the conclusions derived from the summation theorem, we have used similar mathematical tools to show that dominance is not an inevitable property of metabolic pathways. Derivatives contrapositive adjective & noun kɒntrəˈpɒzɪtɪv Logic Then the contrapositive not-PN entails not-MN is also true. Example sentencesExamples The contrapositive of the inference is logically equivalent - X simulates Y, X does not have P therefore Y does not - where P is understands Chinese. And you know also the contrapositive, that your being at place X entails that you are not then in a tank on Alpha Centauri. Origin Mid 16th century: from late Latin contrapositio(n-), from the verb contraponere, from contra- 'against' + ponere 'to place'. Definition of contraposition in US English: contraposition nounˌkɑntrəpəˈzɪʃənˌkäntrəpəˈziSHən Logic Conversion of a proposition from all A is B to all not-B is not-A. 〔逻〕换质位法（如将命题all A is B 换成all not-B is not-A） Example sentencesExamples This means that form and content are not fully unified but retain a structure of abstract contraposition: the content is inscribed in the form while retaining much that cannot be grasped in it. By contraposition and the definition of the existential quantifier, the latter axiom is equivalent to x = x y (y = x). As a contraposition to the conclusions derived from the summation theorem, we have used similar mathematical tools to show that dominance is not an inevitable property of metabolic pathways. Origin Mid 16th century: from late Latin contrapositio(n-), from the verb contraponere, from contra- ‘against’ + ponere ‘to place’.
随便看	crooned crooner crooners crooning croonings croons crop crop circle crop duster crop duster crop dusting crop-ear crop-eared crop-full cropland croplands croplands crop-madder crop out crop out crop-over cropped cropped cropped top cropper