逻辑学 笔记一 推论的有效性和可靠性

演绎推论

1.推论形式、变项和常项

非P即Q
1.>变项：没有确定含义的符号或语词 (P,Q，相当于空位)
2.>常项：具有确定含义的符号或语词 (非，即)
3.>变域：变项的变化范围（变项是有范围的，决定了变项的性质，）

命题的集合----命题变项
词项的集合----词项变项
个体的集合----个体变项

2.推论的有效性

当一个演绎推论的所有前提为真时，其结论必然为真，那么具有这样性质的推论，就是有效的。

例推论1：所有爬行动物都是用肺呼吸的，蛇是动物，所以，蛇是用肺呼吸的。（前提为真，有效）

例推论2：所有动物都是用肺呼吸的，鱼是动物，所以，鱼是用肺呼吸的。（前提为假，结论也是假的，有效）

推论的有效取决于推论的形式，而不是推论的内容（形式逻辑）。有效不一定为真。

替换例子：用过对一个推论形式中的变量作替换，而得到的一个具体推论，叫做该推论形式的一个替换例子。（具体推论）

推论形式 有效性：一个推论形式是有效的，当且仅当，该推论形式的所有替换例子并非所有前提真而结论假。（概念，要素一：是人的直觉。要素二：可以系统化）

推论的有效性：一个推论是有效的，当且仅当，它是一个有效推论形式的替换例子。

问题在于推论形式是有效的还是无效的。

反例：前提真，结论假
什么是无效推论：如果一个推论的所有前提是真的而结论是假的，那么该推论是一个无效的推论。

有些：逻辑学里规定解释为 至少有一个