现代谓词演算的认知角度 传统谓词逻辑 现代谓词逻辑 (局限性:单称归全称;关系作性质;对结构缺乏深层把握) 现代谓词逻辑 谓词演算方法 (自然演绎法、公理化方法) (关注简单命题及其推理有效性) 元谓词演算二元谓词演算现代谓词演算的认知角度 传统谓词逻辑 现代谓词逻辑 （局限性：单称归全称；关系作性质；对结构缺乏深层把握） 现代谓词逻辑 谓词演算方法 （自然演绎法、公理化方法） （关注简单命题及其推理有效性） 一元谓词演算 二元谓词演算