go top

proof by contrapositive

  • 对位证明法:对位证明法是逻辑数学的一种证明方法,与反证法类似。根据逻辑,A→B等于¬B→¬A,即取其逆否命题。

网络释义专业释义英英释义

  反证法

... proof by contradiction反证法; 归谬法 proof by contrapositive反证法 proper fraction真分数 ...

基于297个网页-相关网页

短语

proof f by contrapositive 反证法

  • 反证法

·2,447,543篇论文数据,部分数据来源于NoteExpress

Proof by contrapositive

  • abstract: In logic, the contrapositive of a conditional statement is formed by negating both terms and reversing the direction of inference. Explicitly, the contrapositive of the statement "if A, then B" is "if not B, then not A.

以上来源于: WordNet

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定