网络参考例句
例句 1：
必要条件假言命题的负命题的逻辑（直接）等值式应表述为：——《必要条件假言命题若干问题新探》，载于《徐州师范大学学报》2003年第3期
例句 2：
以麻黄、桂枝、芍药、半夏为例，探求《伤寒杂病论》中药物主治。应用命题逻辑中的充分条件假言命题推理有效式——肯定前件式及否定后件式，必要条件假言命题否定前件式以及肯定后件式的推理有效式确认《伤寒杂病论》中麻黄、桂枝、芍药、半夏的主治。发现麻黄治疗实证水肿；桂枝治疗大便不坚之小便不利；芍药适应于非虚寒性腹痛；半夏适应于呕吐。应用推理有效式的方法研究张仲景方剂中的药物主治所得出的结论更为直观、可靠，使得中医学者更容易把握药与证的对应关系，同时也尽可能地保证了解释药物疗效时思维结构的有效性。——“基于推理有效式的张仲景药物主治分析”，载于《北京中医药大学学报》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.