论文部分内容阅读
由于数理逻辑非常抽象，我们很难用图示的方法给以表达。但是图示法在逻辑学中是行之有效的方法。本文试图采用文恩图方法，用封闭图形表示集合，特别用圆表示一阶逻辑的合式公式集，用一直径表示对称轴，把一阶逻辑的公式分为相矛盾的两组。这样便能较好地表达一阶逻辑和模型论中的一些概念和命题。
一阶逻辑中概念的图形表示
【摘 要】
：
由于数理逻辑非常抽象，我们很难用图示的方法给以表达。但是图示法在逻辑学中是行之有效的方法。本文试图采用文恩图方法，用封闭图形表示集合，特别用圆表示一阶逻辑的合式公式集
【机 构】
：
中山大学哲学系
【出 处】
：
中山大学研究生学刊：社会科学版
【发表日期】
：
2001年1期
其他文献
苏联科学哲学的兴起有着不同于西方的社会文化背景，因而它的研究方向、研究内容都具有独到之处。通过对比苏联与西方科学研究的出发点，不仅能加深对苏联科学哲学研究的认识，而且
本文较详细的介绍了日本线型马达驱动方式轻型地下铁道的概况和优点。日本为了推广该地铁所进行的技术开发,经济性与安全性评价以及大阪、东京都营采用线型马达驱动方式轻型
仪器分析在科学研究和生产应用中发挥着重要作用,本文针对仪器分析的课程特点及教学过程中出现的学生理解困难、学习积极性不高等问题,提出从授课模式与时间安排等多方面调整
东周乱世，诸侯争战，处士横议，处在这样的社会里，“世蕲乎乱，孰肯弊弊焉以天下为事!”。(《逍遨游》14页)庄子身处其中，以其广阔、深邃的道体意识，深切的生命体验，始终在思考如何超脱
【摘 要】杜甫是唐代最伟大的现实主义诗人之一，儒家思想对他影响很深，因此研究者认为杜甫是积极入世的、以天下为己任的伟大诗人，而较少关注其诗中流露出的隐逸思想，甚至认为他没有隐逸思想。但通过对杜甫诗歌的深入分析发现，杜甫一生也存在隐逸思想，只是没有实现真正的隐逸。本文主要从杜甫诗歌中流露的隐逸思想入手，分析杜甫隐逸思想产生的原因。 【关键词】杜甫；隐逸思想；原因 提起杜甫，都知道他是我国唐代最伟
前段时间，我在广东省东莞中学进行了为期三天的教育见习。见习的基本内容包括三部分：一是了解语文教学环节和方法，进行教学设计；二是协助班主任的工作，参与班级管理、集体与个体教育；三是观察学生们的早操、早读和执勤情况。在班主任谢老师和指导老师洪老师的耐心指导下，我较好地完成教育见习的任务，见习工作得到圆满的成功。 一、见习单位简介 广东省东莞中学创建于1902年，如今，莞中已成为一所具有深厚历史文化
本文运用数学工具——应用概率统计中的方差分析,对光面爆破中出现的超、欠挖问题进行了具体的、数值上的计算分析,针对影响光爆效果的各种因素,结合日本专家吉见宪一采用现
为确定某金属加工用水基润滑剂组成成分,采用先经溶剂萃取预处理,再通过柱层析进行分离和提纯,然后对收集的馏分进行红外光谱、元素分析.用其它已知原料作为组分进行复配后,
高校对高层次人才不但要重引进,更要发挥其优势。本文从高层次人才促进高校师资队伍建设的角度,对国内某直辖市九所主要高校发挥高层次人才优势、促进师资队伍建设的情况进行
公司法规范的属性和结构问题,是公司法学重要的基本理论问题之一.公司作为多种利益关系的集合体,决定了公司法规范具有综合性.我国<公司法>规范的形式结构既不同于大陆法系,