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

三段论（论证形式）有效性判定引入三段论的背景2.什么是三段论3.五规则法判定三段论有效性4.文恩图法判定三段论有效性5.课堂练习

1.引入三段论的背景 针对以原子命题（符号）为最小组成单位的论证形式，我们学习了真值表方法、归谬赋值法和命题自然演绎法，这些方法都是值得信赖的。然而，这些方法却不是“全能的”。针对另外一些论证，用这些方法，我们无法判定其有效性。请看：

所有中国人都希望中国强大 所有华中大学生是中国人 所以，所有华中大学生希望中国强大 不难看出，这个论证是有效的。若前提为真，则结论必真。但是，若用前面的翻译方法，该论证只能翻译为：

pq所以，r根据真值表或归谬赋值法，不难判定该论证形式是无效的。此时，我们需找出该论证更精细的结构。前面学习的关于性质命题的知识，给我们提供了这样的资源。逻辑学家将上述论证翻译为：

所有M是P所有S是M所以，所有S是P具有类似这种形式的论证被称作三段论。我们将学习如何判定三段论的有效性。有了这些知识之后，我们会知道，上面论证形式是有效的。具有这种形式的所有论证都是有效的。

2.什么是三段论 （1）所有中国人都希望中国强大 （2）所有华中大学生是中国人 所以，（3）所有华中大学生希望中国强大三段论论证是以包含一个共同项的两个性质命题为前提，以一个新的性质命题为结论的论证。三段论论证简称为三段论。任何一个三段论都由三个性质命题组成，其中两