一阶逻辑中概念的图形表示

• 作者: 霍书全
• 来源期刊: 中山大学研究生学刊：社会科学版
• 学科: 数学
• 关键词: 一阶语言 可靠性 完全性 可满足 合式公式集 文恩图 数理逻辑 概念 图示法
• 年，卷（期）: 2001,（1）
• 页码范围: 1-5
• 页数: 5页
• 分类号: O141

摘要

由于数理逻辑非常抽象，我们很难用图示的方法给以表达。但是图示法在逻辑学中是行之有效的方法。本文试图采用文恩图方法，用封闭图形表示集合，特别用圆表示一阶逻辑的合式公式集，用一直径表示对称轴，把一阶逻辑的公式分为相矛盾的两组。这样便能较好地表达一阶逻辑和模型论中的一些概念和命题。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	霍书全	中山大学哲学系	3	10	1.0	3.0