充分条件假言推理【英】
hypothetical inference under sufficient conditions
译文来源
《数学辞海》编辑委员会.数学辞海（第一卷）[Z].中国科学技术出版社，2002. via: http://epub.cnki.net/kns/brief/default_result.aspx
定义
充分条件假言推理是以充分条件假言命题为假言前提的假言直言推理，根据充分条件假言命题的逻辑特性，有两条必须遵守的逻辑规则：其一，肯定前件就要肯定后件，否定前件不能否定后件。因为充分条件假言判断的前件是能够必然地导致后件的许多条件之一，前件存在，后件就必然存在，所以，肯定前件就要肯定后件；而前件不存在，导致后件的其他条件不一定不存在，所以否定前件不能必然地否定后件。其二，否定后件就要否定前件，肯定后件不能肯定前件。因为充分条件假言判断的后件可由许多条件引起，后件不出现说明导致后件的任何条件都不存在，所以，否定后件就要否定前件；而后件存在，不一定是哪一个条件导致的，所以，肯定后件不能肯定前件（充分条件假言推理的规则.via: http://book.duxiu.com/EncyDetail.jsp?dxid=900008248506&d=57F5B406383E9053F5C6DDAFFB438600）。按这两条规则，有肯定前件式和否定后件式两种正确的形式：肯定前件式即直言前提肯定假言前提的前件，结论则肯定假言前提的后件。如：“如果两个三角形全等，则它们的对应边相等；△ABC与△ABD全等；所以，它们的对应边相等。”其推理形式是：“如果p，那么q；p，所以q。”否定后件式即直言前提否定假言前提的后件，结论则否定假言前提的前件。如：“如果两个三角形全等，则它们的对应边相等；△ABC与△ABD的对应边不等，所以，这两个三角形不全等。”其推理形式是：“如果p，那么q；非q，所以，非p。”常见的逻辑错误是直言前提否定假言前提的前件，而结论则否定其后件；或直言前提肯定假言前提的后件，而结论则肯定其前件（金炳华，冯契，2001：170）。“充分条件假言判断所反映的是客观事物之间的多条件联系，即有好多条件（p、R、S等），这些条件与后继现象（q）有着制约关系，条件导致后果，并且每一个条件（p，或R，或S等）都可以单独地、必然地导致同一个后果（q）。所以说多条件与其后继现象之间的联系是充分条件假言推理的客观基础”（充分条件假言推理的客观基础.via:
http://book.duxiu.com/EncyDetail.jsp?dxid=900008248505&d=CC100C850E4D3D693A0A04AB013E7E77）。
定义来源
[1] 充分条件假言推理的规则.via:
http://book.duxiu.com/EncyDetail.jsp?dxid=900008248506&d=57F5B406383E9053F5C6DDAFFB438600
[2] 金炳华，冯契.哲学大辞典[Z].上海辞书出版社，2001.
[3] 充分条件假言推理的客观基础.via:
http://book.duxiu.com/EncyDetail.jsp?dxid=900008248505&d=CC100C850E4D3D693A0A04AB013E7E77
网络参考例句
例句 1：
第四部分利用普通逻辑的宣言选言命题、联言推理、充分条件假言推理、类比推理对莎噶游戏的四个经典例子进行深度分析，从而勾勒出莎噶游戏所蕴含的逻辑思维体系。——《蒙古族莎噶游戏的结构研究》，内蒙古师范大学硕士学位论文，2014
After analyzing and discussing anklebone game’s five classical example through the relationship between concepts of ordinary logic, disjunctive proposition,conjunction reasoning, hypothetical reasoning sufficient condition and analogism, the fourth part acquires logical thinking system of anklebone game.
例句 2:
因此，文章通过商榷的形式，针对藏传因明推理的概念、全称消去后的充分条件假言推理以及推理的格式三方面在文章中进行了探讨。——《关于藏传因明为自比量的研究》，燕山大学硕士学位论文，2011
This thesis discussed three aspects, including concept of Tibetan hetuvidy inference, conditional syllogistic inference without full name and inference format.
例句 3:
当前的主流理论把裁判推理的有效模式刻画为一个充分条件假言推理，其缺陷在于忽视了法律规定的多样性和事实不明的可能性，特别是不能说明否定式裁判推理之有效性。——“裁判推理的四种有效模式——以否定式裁判推理为中心”，载于《重庆理工大学学报（社会科学）》2013年第6期
In the popular theory, the valid form of judicial deduction is regarded as a sufficient condition hypothetical deduction. It ignores the diversity of norms, and the possibility of unknown facts. Especially it can not exlpain the validity of negative judicial deductions.