必要条件假言易位推理（假言易位推理）【英】

hypothetical transposition inference for necessary condition

译文来源

Transposition. via: https://en.wikipedia.org/wiki/Transposition_(logic)

定义

前提为必要条件假言判断的一种假言易位推理。必要条件假言判断的逻辑性质是前件为后件的必要条件，前件假后件必假。后件为前件的充分条件，后件真前件必真。据此，可以得到一个如下的结论：在此结论中，以前提中的后件作为前件，以前提中的前件作为后件，结论中的前后件表现为充分条件关系。其推理形式可表示为：只有p，才q；所以，如果q，则p。例如：只有稻田供水适当，才能获得大面积的水稻丰收，所以，如果获得了水稻大面积的丰收，则必是稻田供水适当（汪馥郁，1990：104）。

定义来源

汪馥郁.实用逻辑学词典[Z].冶金工业出版社，1990.

网络参考例句

例句 1：
以麻黄、桂枝、芍药、半夏为例，探求《伤寒杂病论》中药物主治。应用命题逻辑中的充分条件假言命题推理有效式——肯定前件式及否定后件式，必要条件假言命题否定前件式以及肯定后件式的推理有效式确认《伤寒杂病论》中麻黄、桂枝、芍药、半夏的主治。发现麻黄治疗实证水肿；桂枝治疗大便不坚之小便不利；芍药适应于非虚寒性腹痛；半夏适应于呕吐。应用推理有效式的方法研究张仲景方剂中的药物主治所得出的结论更为直观、可靠，使得中医学者更容易把握药与证的对应关系，同时也尽可能地保证了解释药物疗效时思维结构的有效性。——“基于推理有效式的张仲景药物主治分析”，载于《北京中医药大学学报》2016年10期
To explore the drug indications in Treatise on Febrile and Miscellaneous Diseases, taking ephedra, cassiatwig, peony and pinellia as examples. Using inferential validity of sufficient condition hypothetical proposition and necessary condition hypothetical proposition of propositional logic, to confirm the indication of ephedra, cassia twig, peony and pinellia. It stated that ephedrais was used for edema in excess pattern, cassia twig was used for dysuria with loose stool, peony was suitable for bellyache in no-deficiency-cold pattern, and pinellia for vomiting. It is more intuitive and reliable to use inferential validity in the study on drugs. And researchers can grasp the correspondence between drugs and syndromes more easily. Meanwhile, the effectiveness of thinking structure could be guaranteed as much as possible, when the indications of drugs is explained.