神马作文网英语翻译摘要：本文系统地介绍了反证法的理论逻辑依据、证题形式,以及从起始命题、否定性命题、唯一性命题、肯定性命题等十类运
来源：学生作业帮 编辑：神马作文网作业帮 分类：综合作业 时间：2024/11/11 06:41:32
英语翻译
摘要：本文系统地介绍了反证法的理论逻辑依据、证题形式,以及从起始命题、否定性命题、唯一性命题、肯定性命题等十类运用反证法较为合宜命题类型进行了详细的讨论
关键词：反证法；逻辑依据；否定性；存在性；唯一性；无限性
请不要使用软件翻译，英文程度不低于四级，最好是六级或以上的英文高手。
摘要：本文系统地介绍了反证法的理论逻辑依据、证题形式,以及从起始命题、否定性命题、唯一性命题、肯定性命题等十类运用反证法较为合宜命题类型进行了详细的讨论
关键词：反证法；逻辑依据；否定性；存在性；唯一性；无限性
请不要使用软件翻译，英文程度不低于四级，最好是六级或以上的英文高手。
Abstract:this paper systematically introduced the theoretical logic gist and proofing form of the contradiction,as well as discussed on the ten propositional forms being suitable for proofed by contradiction such as original proposition,negative proposition,unique proposition,and affirmative proposition in details.
Keywords:Contradiction,Logic gist,Negativeness,Existence,Uniqueness,Infinity
[References]
关于”反证法”的翻译,居然发现了两个说法:
至于“反证法”,英文称为“proof in contrapositive form”,也就是以证明“对偶命题”来达到证明目的的方法.http://zh.wikipedia.org/wiki/User_talk:æ¾å
反证法（英文之Proof by contradiction,拉丁文之Reductio ad absurdum）
Keywords:Contradiction,Logic gist,Negativeness,Existence,Uniqueness,Infinity
[References]
关于”反证法”的翻译,居然发现了两个说法:
至于“反证法”,英文称为“proof in contrapositive form”,也就是以证明“对偶命题”来达到证明目的的方法.http://zh.wikipedia.org/wiki/User_talk:æ¾å
反证法（英文之Proof by contradiction,拉丁文之Reductio ad absurdum）