网站首页  汉语  德语  英语

请输入您要查询的英文单词:

 

单词 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’.

随便看

 

雅致网英汉双解词典包含236457条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。

 

Copyright © 2002-2024 53pku.com All Rights Reserved
更新时间:2025/7/3 15:37:06