离散数学 谓词逻辑

【文件属性】：

文件名称：离散数学 谓词逻辑

文件大小：545KB

文件格式：PDF

更新时间：2017-07-18 17:33:27

离散数学

第二章谓词逻辑问题的提出：即命题逻辑的局限性在第一章,一个原子命题只用一个字母表示，而不再对命题中的句子成分细分。这样有一些逻辑问题无法解决。请看下面的例子。例