逻辑学判定三段论有效性.ppt

例6： 所有M不是P 有的S是M 所以，有的S不是P 例6： 所有M不是P 有的S是M 所以，有的S不是P 第一步：解释（为真条件） 例6： 所有M不是P 有的S是M 所以，有的S不是P 第一步：解释（为真条件） M∩P = 0 S∩M ≠ 0 S∩P ˉ ≠ 0 例6： 所有M不是P 有的S是M 所以，有的S不是P 第二步：画图 第一步：解释（为真条件） M∩P = 0 S∩M ≠ 0 S∩P ˉ ≠ 0 例6： 所有M不是P 有的S是M 所以，有的S不是P 第二步：画图 M P S 第一步：解释（为真条件） M∩P = 0 S∩M ≠ 0 S∩P ˉ ≠ 0 例6： 所有M不是P 有的S是M 所以，有的S不是P 第二步：画图 M P S 第一步：解释（为真条件） M∩P = 0 S∩M ≠ 0 S∩P ˉ ≠ 0 例6： 所有M不是P 有的S是M 所以，有的S不是P 第二步：画图 M P + S 第一步：解释（为真条件） M∩P = 0 S∩M ≠ 0 S∩P ˉ ≠ 0 例6： 所有M不是P 有的S是M 所以，有的S不是P 第二步：画图 M P + S 第一步：解释（为真条件） M∩P = 0 S∩M ≠ 0 S∩P ˉ ≠ 0 第三步：观察判定 例6： 所有M不是P 有的S是M 所以，有的S不是P 第二步：画图 M P + S 第一步：解释（为真条件） M∩P = 0 S∩M ≠ 0 S∩P ˉ ≠ 0 第三步：观察判定 S和P ˉ相交的部分出现+，即非空。就是说，S∩P ˉ ≠ 0成立。该三段论形式有效。 5. 课堂练习：先写出下面三段论的论证形式，再分别用五规则法和文恩图法判断其论证形式是否有效 （1）所有人都是哺乳动物 （2）有的生物不是哺乳动物 所以，（3）有的生物不是人 中项：哺乳动物 大项：人 小项目：生物 （1）所有人都是哺乳动物 （2）有的生物不是哺乳动物 所以，（3）有的人不是生物 中项：哺乳动物 大项：生物 小项：人 例2： 所有M不是P 所有S是M 所以，所有S不是P 第二步：画图 M P S 第一步：解释（为真条件） M∩P = 0 S∩Mˉ=0 S∩P =0 例2： 所有M不是P 所有S是M 所以，所有S不是P 第二步：画图 M P S 第一步：解释（为真条件） M∩P = 0 S∩Mˉ=0 S∩P =0 例2： 所有M不是P 所有S是M 所以，所有S不是P 第二步：画图 M P S 第一步：解释（为真条件） M∩P = 0 S∩Mˉ=0 S∩P =0 例2： 所有M不是P 所有S是M 所以，所有S不是P 第二步：画图 M P S 第一步：解释（为真条件） M∩P = 0 S∩Mˉ=0 S∩P =0 第三步：观察判定 例2： 所有M不是P 所有S是M 所以，所有S不是P 第二步：画图 M P S 第一步：解释（为真条件） M∩P = 0 S∩Mˉ=0 S∩P =0 第三步：观察判定 S和P相交的部分为横线，即为空。S∩P=0 成立。因此，该三段论形式有效。 例3： 所有M是P 所有M是S 所以，所有S是P 例3： 所有M是P 所有M是S 所以，所有S是P 第一步：解释（为真条件） 例3： 所有M是P 所有M是S 所以，所有S是P 第一步：解释（为真条件） M∩Pˉ = 0 M∩Sˉ=0 S∩Pˉ =0 例3： 所有M是P 所有M是S 所以，所有S是P 第二步：画图 第一步：解释（为真条件） M∩Pˉ = 0 M∩Sˉ=0 S∩Pˉ =0 例3： 所有M是P 所有M是S 所以，所有S是P 第二步：画图 M P