论文部分内容阅读
由于数理逻辑非常抽象，我们很难用图示的方法给以表达。但是图示法在逻辑学中是行之有效的方法。本文试图采用文恩图方法，用封闭图形表示集合，特别用圆表示一阶逻辑的合式公式集，用一直径表示对称轴，把一阶逻辑的公式分为相矛盾的两组。这样便能较好地表达一阶逻辑和模型论中的一些概念和命题。
一阶逻辑中概念的图形表示
【摘 要】
：
由于数理逻辑非常抽象，我们很难用图示的方法给以表达。但是图示法在逻辑学中是行之有效的方法。本文试图采用文恩图方法，用封闭图形表示集合，特别用圆表示一阶逻辑的合式公式集
【机 构】
：
中山大学哲学系
【出 处】
：
中山大学研究生学刊：社会科学版
【发表日期】
：
2001年1期
其他文献
【摘 要】杜甫是唐代最伟大的现实主义诗人之一，儒家思想对他影响很深，因此研究者认为杜甫是积极入世的、以天下为己任的伟大诗人，而较少关注其诗中流露出的隐逸思想，甚至认为他没有隐逸思想。但通过对杜甫诗歌的深入分析发现，杜甫一生也存在隐逸思想，只是没有实现真正的隐逸。本文主要从杜甫诗歌中流露的隐逸思想入手，分析杜甫隐逸思想产生的原因。 【关键词】杜甫；隐逸思想；原因 提起杜甫，都知道他是我国唐代最伟