论文部分内容阅读
从现代逻辑观点看，三段论理论的核心问题是正确式的证明问题，即找出证明正确的三段论形式的方法。自数理逻辑产生以来，有不少人提出用数理逻辑工具证明三段论正确式的各自方案。
三段论形式化的新系统
【摘 要】
：
从现代逻辑观点看，三段论理论的核心问题是正确式的证明问题，即找出证明正确的三段论形式的方法。自数理逻辑产生以来，有不少人提出用数理逻辑工具证明三段论正确式的各自方案。
【出 处】
：
北方论丛
【发表日期】
：
1988年4期
其他文献
1905年，中国资产阶级革命民主派的领袖孙中山在中国同盟会成立大会上提出了“驱除鞑虏，恢复中华，建立民国，平均地权”的政治纲领。后来在（《民报发刊词》中，他把这一纲领概括为民族
作为明清之际一位杰出的思想家、文学家和艺术家，傅山对诗歌问题发表过不少精辟的议论；提出了许多富于独到性的意见，表现了他敢于向封建正统诗论挑战的解放精神。
以Philips公司的USB主控芯片ISP1160芯片为核心,设计并实现了一种以AT89S52为主控芯片和ISP1160芯片为核心的U盘读写系统.该系统能稳定地对U盘进行读写,可广泛应用在需要大容
关于孙中山在中国提倡社会主义的主要论述及其在中国社会主义传播中的历史作用，本文试探如下，不妥之处，请同志指正。社会主义学说在中国的传播有一个漫长、曲折的过程。康有为在
改革开放以来,我国民营经济发展经过了曲折反复的几个重要阶段;十六大的召开,标志着民营经济大发展的时代已经到来.本文分析了"国退民进"格局下民营经济的发展架构、总体走向及其面临的矛盾、冲突,提出了缓解矛盾、避免冲突的逻辑与机制选择.
外国资本主义对中国的侵略，对地主阶级产生了什幺重大影响？清王朝封建统治集团内部发生了那些变化？同此相适应的晚清政权在阶级结构上又有什么变动？这些问题，显然是近代史研究中不
制度分析是近年来被社会科学研究界广泛采用的分析范式。本文采用制度分析方法从制度环境、制度安排和制度文化三个层次分析我国农民政治参与的制度基础，对农民政治参与的制度
荀子，名况。他是先秦儒家最后一位大师，杰出的新兴地土阶级思想家。虽然他在年轻时即崇拜孔子，研究儒术，但由于他生活在商鞅变法之后，又两次游学齐国，接受了墨、道等诸家学说，发展了
所谓“联号”，以往缺乏深入的研究，其定义也无明确的界定。本文认为联号主要有并列、分支、和复合三种类型，在中国近代史上，既有相互保持完全独立，只发生业务特殊密切联系的并列联