性质命题推理有效性的欧拉图解法判定

凡性质命题推理有效式。就是在欧拉图解中证明为前提真结论必然真的推理形式；凡性质命题推理无效式．就是在欧拉图解中证明为前提真结论并非必然真的推理形式。运用欧拉图解法要掌握三个要点：准确画图、准确识图和准确判定。判定三段论的有效性。要能根据假定前提为真时的大、小前提命题形式的欧拉图．准确无误地画出S、P、M三者外延关系的欧拉图。判定性质命题变形推理的有效性，必须把S、P两个主、谓项的欧拉图。改造成S、P、S、P四个主、谓项的欧拉图，并能准确识别四种性质命题形式欧拉图中S与P、S与P、S与P、S与P这四种外延关系分图。

The Use of Euler Diagram in Characteristic Proposition Reasoning Validity Decision