大拱桥--暨南大学学生门户 » 图书馆 » 逻辑学(论理学) » 逻辑中的表列方法
名称 逻辑中的表列方法
索引号 B81/201315
分类号 B81
B81(逻辑学(论理学))
B(哲学、宗教)
作者 孔红、
出版社 北京 : 中国政法大学出版社, 2013
ISBN 978-7-5620-4916-6
页数 236页 ; 21cm
价格 CNY24.00
标签
简介
注解 有书目 (第229-232页) 和索引 分析表列是20世纪50年代由Beth与Hintikka等人建立、后由Smullyan加以发展的一种形式证明方法，基于分析表列方法的逻辑系统称为表列系统。表列系统与公理系统、自然推理系统一样，是目前最为流行的逻辑证明方法之一，在自动定理证明方面有重要应用。表列方法具有通用于各种逻辑的一般性，不仅经典命题逻辑和一阶谓词逻辑有其表列，在模态逻辑、非单调逻辑等非经典逻辑分支中，表列方法也以不同的形式存在着。 适用于高等学校逻辑学课程的学生及其相关专业的从业人员、哲学爱好者和相关读者。