谓词逻辑 在命题逻辑中,把命题分解到原子命题为 止,认为原子命题是不能再分解的,仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样,有些推理用命题逻辑就难 以确切地表示出来。例如,著名的亚里士多德 三段论苏格拉底推理: Guoyongfang.2006@yahoo.com.cnGuoyongfang.2006@yahoo.com.cn 在命题逻辑中，把命题分解到原子命题为 止，认为原子命题是不能再分解的，仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样，有些推理用命题逻辑就难 以确切地表示出来。例如，著名的亚里士多德 三段论苏格拉底推理： 谓词逻辑