【基础逻辑】孙明湘谭希培.pdf
基础逻辑 孙明湘谭希培编著
前言“全面实现我国逻辑学研究的现代化,与国际逻辑学研究水 平接轨”,这是20世纪90年代初,我国逻辑学界所确立的战略 目标。为实现这一目标,基础的工作是在大学所有相关专业开设 现代逻辑课程。这一工作,在我们中南大学已初见成效。本书就 是我们在应用数学与应用软件系、信息工程学院、文法学院讲授 数理逻辑的基础课和文化素质课的基础上,编撰完成的.本书的内容为一阶逻辑,包括命题演算和谓词演算。共五 章。第-一章讲述逻辑学的研究对象和方法.第二、四章给出两个 演算的非形式描述.第三、五章给出两个演算的形式系统,各演 算又包括两个等价的公理系统和自然推理系统。
第六节谓词公式的形式证明(一)第七节谓词公式的形式证明(二)第五章谓词逻辑的形式系统第一节公理演算QP系统的出发点第二节 QP系统的导出推理规则和定理的证明