《形式逻辑第》课件_4第四章 简单命题及其推理（下）.pptxVIP

第一节三段论;三段论：以两个包含共同项的性质命题为前提，推出一个新的性质命题为结论的演绎推理，也称为“直言三段论”。

它是间接推理的一种。（以两个或两个以上命题作为前提推出结论的推理）;三段论的结构;例题分析;二、三段论的公理和规则;三段论的一般规则有五条;;;;;;;;;证明;;三、三段论的格与式;三段论的四个格;;;;四、复合三段论和省略三段论;前进式的复合三段论;;后退式的复合三段论;;注意;2、省略三段论;注意;五、用凡恩图解的方法检验三段论的有效性;;;;;;;;第二节关系命题及其推理;一、什么是关系命题;;二、关系的性质;;;二、关系的性质;;;三、关系推理;;;;;;;混合关系三段论的推理规则