一阶谓词逻辑

【文件属性】：

文件名称：一阶谓词逻辑

文件大小：192KB

文件格式：PPT

更新时间：2014-10-09 10:51:22

一阶 谓词 逻辑

在Ls中，把命题分解到原子命题为止，认为原子命题是不能再分解的，仅仅研究以原子命题为基本单位的复合命题之间的逻辑关系和推理。这样，有些推理用命题逻辑就难以确切地表示出来。