问一个概念性问题

看图

顶

不感兴趣

开通SVIP免广告

意思是知道中国的所有物体且物体是人类,若且有p(x)->q(x)成立，则q(x)->p(x)成立，即所有知道中国的是人类

这一节内容应该是谓词逻辑一章中的命题符号化的内容，这个应该是添加特性谓词的方法：
1）前边是全称量词，特性谓词后面是蕴含；
2）前面是存在量词，特性谓词后面是合取。
所以，应该不存在全称量词之后出现的是合取的表示方法吧？！（离散数学小萌新，对于这个问题有些小疑问）

楼主第一个公式，表示全称肯定命题；所有人都是知道中国的。第二个，特称肯定命题；有些人是知道中国的。它们都表示传统逻辑里的直言命题。直言命题只有四个，这是其中的二个。
但是，第三个公式，不是直言命题。意思是，所有事物、他们既是人又是知道中国的。

下载贴吧APP
看高清直播、视频！

分享到: