*注：该笔记为学习【【华南师范大学】逻辑学（全38讲）陈晓平】 https://www.bilibili.com/video/BV1X84y1t7bW/?share_source=copy_web&vd_source=cda669443fe5fb241b9390b1393c5680后记录下的一些文字。

推论的有效性和可靠性

什么推论有效？

当一个论题的前提为真时，结论一定真时，那么这个推论有效。

(资料图片仅供参考)

那么我们怎么证明一个推论有效？

1.替换例子：通过一个对推论形式中的变项作替换，而得到的一个具体推论，叫做该推论形式的一个替换例子。

(命题变项和词项变相—有些变项只可带入特定变相。)

一个推论是有效的，当且仅当，该推论形式的所有替换例子并非所有前提真结论假→一个推论是有效的，当且仅当，它是一个有效推论形式的替换例子。

推论是否有效：1-直觉 2-满足上述系统，所有替换例子带入后都满足有效的定义。

如何确定一个推论形式的有效性和无效性

不能通过举例的方法来正向证明一个推论的有效性，因为一个推论的替换形式有无数。

然而我们可以证明一个推论形式无效，即反例。

构造一个前提真，而结论假的推论形式。

例:有M不是P，有S是M，那么S不是P。(反例:有些人不是学生，有些小学生是学生，那么有些小学生不是人。)

有些的含义： 1.有些S是P，有些S不是P。 2.至少有一S是P。逻辑学中，统一规定为“2”。

逻辑学中的自我中心词：

我 这 那 现在

什么是推论的可靠性：

论题存在的四种形式：

1.所有前提真且结论真。 2.所有前提真且结论假。 3.至少有一前提假并且结论真。 4.至少有一前提假并且结论假。