逻辑学学习笔记(1)……三段式推论(一)

三段式推论表示方法:

小写字母表示某个个体。

大写字母表示一类群体。

如 小明是中国人。 可表示为 小明 a  中国人C  。(a is C)

 

包含的5个逻辑连接词。

all no some is not.  被称作wff.

其中 only A is B.all A is not B. some c is d. A is B. 这四种方式不符合wffs。(逻辑上也不通顺)

 

标星检测

通常三段式推论由一个或多个wff组成。每一个字母通常会出现两次。

最后一个wff为结论,其余的wff为前提。

 

第一步 以下划线形式标记出离散字母:

1. 左边在all之后的字母。 如 all A is B.

2. no 后面的所有字母。 如 no B is C

3. not后的字母。如 a is not A.

第二步 标星

1. 前提中所有离散字母,以及结论中所有非离散字母。

如: all A* is B.

        some C is A.

        ∴ some C* is B*.

如果每一个大写字母都刚好被标记一次星(若都为小写字母则也可),右边仅有一颗星,则可说名此推论为有效推论。

例如:

很多身高高的人是打篮球好的人。some A is B.

姚明是身高高的人。                     y  is A.

所以姚明是打篮球好的人。                  y is B*.    

因为A没有标星,所以推论无效。

 

所有人都长两条腿。       all A* is B.

小明是人。                      c is A.

所以小明两条腿。               c is B*.  右侧仅有一星,大写字母均被标星一次,所以推论正确。

当看到一个推论时,首先凭直觉判断,多数时候会比较清晰,当觉得混乱时,可以用星标检测,检验推论是否有效。

学习资料: 《Introduction to logic》

 

发布了5 篇原创文章 · 获赞 5 · 访问量 4561
展开阅读全文

没有更多推荐了,返回首页

©️2019 CSDN 皮肤主题: 大白 设计师: CSDN官方博客

分享到微信朋友圈

×

扫一扫,手机浏览