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’.
随便看	perinephritic perinephritis perinerve perineum perineural perineural perineurial perineuritic perineuritis perineurium per interim perinuclear periocular period period as champion periodate period before period costume period doubling period drama periodic periodic acid periodic acid-Schiff periodical periodical cicada