一阶谓词逻辑

【文件属性】：
文件名称：一阶谓词逻辑
文件大小：192KB
文件格式：PPT
更新时间：2014-10-09 10:51:22
一阶 谓词 逻辑 在Ls中，把命题分解到原子命题为止，认为原子命题是不能再分解的，仅仅研究以原子命题为基本单位的复合命题之间的逻辑关系和推理。这样，有些推理用命题逻辑就难以确切地表示出来。