逻辑中的表列方法

【书名】 逻辑中的表列方法
【作者】 孔红
【出版社】 北京中国政法大学出版社
【关键词】 逻辑方法
【摘要描述】 分析表列是世纪年代由与等人建立、后由加以发展的一种形式证明方法,基于分析表列方法的逻辑系统称为表列系统。
表列系统与公理系统、自然推理系统一样,是目前最为流行的逻辑证明方法之一,在自动定理证明方面有重要应用。
表列方法具有通用于各种逻辑的一般性,不仅经典命题逻辑和一阶谓词逻辑有其表列,在模态逻辑、非单调逻辑等非经典逻辑分支中,表列方法也以不同的形式存在着。
【中国图书分类号】 B81

在线工具导航