高等学校21卌纪教材 第二章谓词逻舞 在Ls中,把命题分解到原子命题为止,认 为原子命题是不能再分解的,仅仅研究以原子 命题为基本单位的复合命题之间的逻辑关系和 推理。这样,有些推理用命题逻辑就难以确切 地表示出来。例如,著名的亚里士多德三段论 苏格拉底推理: PT PRESS 人民邮电出版社 退出第二章 谓词逻辑 在Ls中，把命题分解到原子命题为止，认 为原子命题是不能再分解的，仅仅研究以原子 命题为基本单位的复合命题之间的逻辑关系和 推理。这样，有些推理用命题逻辑就难以确切 地表示出来。例如，著名的亚里士多德三段论 苏格拉底推理： 退出