简述命题逻辑与谓词逻辑的异同点

分类: 作业答案 • 2021-12-19 11:57:15

问题描述：

简述命题逻辑与谓词逻辑的异同点

答

1、命题逻辑显然可以看作谓词逻辑的一个子集.因为谓词逻辑中一般是允许出现0元谓词的.全部由0元谓词的构成的公式就是命题逻辑公式了.2、正如前面庄老师所说,当论域为一个大小确定的有限集时,一个谓词公式可以等价地...