黄荣彬个人博客---图示思维规则 ...分享 http://blog.sciencenet.cn/u/rbhuang5907 个人主页:http://chem.xmu.edu.cn/teacher.asp?id=234

博文

没有省略主语的语言使用者发展出了谓词逻辑

已有 202 次阅读 2021-6-9 09:48 |系统分类:教学心得

没有省略主语的语言使用者发展出了谓词逻辑


今天读到这么一段话:

从“世界一流大学都有哲学系”这一命题,那么,我们可以得到这样一个推论:“没有哲学系,就没有世界一流大学”。

不论这个命题真不真,也不论一流大学与有哲学系是多强的关联,只是试着用谓词命题把推理过程写出来,并有了如题的感想:

“世界一流大学都有哲学系”(“世界一流大学都是有哲学系的大学”)这一直言命题,等价于蕴涵命题:
“只要是一流大学,就是有哲学系的大学”,这句话省略了主语。

用谓词命题可表示为:
∀x[l(x)→z(x)]  l(x)---x是一流大学,z(x)---x是有哲学系的大学,x为个体变量,没有省略主语。
可做如下推理:
①  ∀x[l(x)→z(x)]    前提引入
②  l(y)→z(y)      UI
③  ¬z(y)→¬l(y)     Trans
④  ∀x[¬z(x)→¬l(x)]   UG     “没有哲学系,就没有世界一流大学”

没有省略主语的语言使用者发展出了谓词逻辑。



https://wap.sciencenet.cn/blog-626289-1290384.html

上一篇:两题答案相同吗?
下一篇:如此用集合知识说明三段论是不对的

0

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...
扫一扫,分享此博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2021-7-26 08:12

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部