充分必要条件假言推理【英】
hypothetical inference under necessary and sufficient conditions
译文来源
Transposition. via: https://en.wikipedia.org/wiki/Transposition_(logic)
定义
充分必要条件假言推理是假言推理的一种形式，即假言前提是充分必要条件的假言判断，根据充分必要条件假言判断的逻辑性质进行的假言推理。充分必要条件假言判断的逻辑性质是：有前件就一定有后件，没有前件就一定没有后件；有后件就一定有前件，无后件就一定无前件。充分必要条件假言推理就是依据这种逻辑性质进行推演的（充分必要条件的假言推理.via: http://book.duxiu.com/EncyDetail.jsp?dxid=900008248512&d=225B3241A6B37C5943AE8FC3F4FB2EDC）。充分必要条件假言判断反映的是客观事物之间的唯一条件联系，即前件反映的情况与后件反映的情况（后继现象）之间互为唯一条件的关系。客观事物间的唯一条件联系是充分必要条件假言推理的客观基础（充分必要条件假言推理的客观基础.via: http://book.duxiu.com/EncyDetail.jsp?dxid=900008248513&d=CF8ACE47FA574BD08EC2A672D1149A9D）。因此它有四种正确形式：其一，肯定前件式：“当且仅当p，则q：p；所以q。”其二，肯定后件式：“当且仅当p，则q；q；所以p。”其三，否定前件式：“当且仅当p，则q：非p；所以非q。”其四，否定后件式：“当且仅当p，则q；非q；所以非p”（金炳华,冯契，2001：170）。
定义来源
[1] 充分必要条件的假言推理.via: http://book.duxiu.com/EncyDetail.jsp?dxid=900008248512&d=225B3241A6B37C5943AE8FC3F4FB2EDC
[2] 充分必要条件假言推理的客观基础.via: http://book.duxiu.com/EncyDetail.jsp?dxid=900008248513&d=CF8ACE47FA574BD08EC2A672D1149A9D
[3] 金炳华，冯契.哲学大辞典[Z].上海辞书出版社，2001.
网络参考例句
例句 1：
假说的验证表现为充分必要条件假言推理。——“试论理论创新的几个问题”，载于《西南大学学报(社会科学版)》2014年第4期
例句 2：
根据条件关系的不同，假言推理分为充分条件假言推理、必要条件假言推理和充分必要条件假言推理，但是在侦查思维中运用较多的是前两种推理。——“刑事案件侦查思维中的假言推理”，载于《贵州警官职业学院学报》2016年第3期
例句 3：
讨论并举例介绍了几种常见的命题逻辑推理，包括假言推理(充分条件假言推理、必要条件假言推理、充分必要条件假言推理)、尽举选言推理(尽举相容选言推理、尽举反相容选言推理、尽举不相容选言推理)、非推导逻辑定理(不矛盾定理、排中定理)等在科技管理中的应用。在科技管理中应用逻辑定理理论会更有利于搞好科技管理工作。——“逻辑定理在科技管理中的应用”，载于《重庆工学院学报(社会科学版)》2009年第3期
Discuss and introduce several common propositional logic reasoning, hypothetical reasoning (including sufficient conditions and necessary conditions of hypothetical reasoning, hypothetical reasoning, the necessary and sufficient conditions for hypothetical reasoning) disjunctive reasoning (as for disjunctive reasoning, as an anti disjunctive reasoning, as an incompatible disjunctive reasoning, non logical theorem (derived) no contradiction between the row theorem, theorem) is applied in the management of science and technology. The application of logical theorem theory in the management of science and technology will be more conducive to the management of science and technology.