论文部分内容阅读
本文构造了一个不矛盾律普遍有效、排中律在一定范围内有效的命题演算系统PC5，证明了PC5的可靠性和完全性，并以PC5为逻辑基础阐明了反证法的适用范围等问题。
一个限制排中律适用范围的命题演算系统
【摘 要】
：
本文构造了一个不矛盾律普遍有效、排中律在一定范围内有效的命题演算系统PC5，证明了PC5的可靠性和完全性，并以PC5为逻辑基础阐明了反证法的适用范围等问题。
【机 构】
：
中共陕西省委党校哲学部，陕西西安710061
【出 处】
：
第五届两岸逻辑教学与研究学术会议
【发表日期】
：
2012年4期
其他文献
<正>初夏,凉风有信,小雨无边,要怎么度过这样的周末呢?是睡一场360度随意旋转的觉,还是发一个12小时长的呆?不无聊吗?那就一起看韩剧吧,混迹韩饭圈的小编精心为你打造一个观
期刊
语言是人类特有的一种表达交流思想的工具。人们总是借助于语言达到一定的交际目的。要充分发挥语言的交际功能,使思想被信息接受者恰当地理解,达到预期的效果,就需要突出重
20世纪初期,中国社会经济重要支柱之一的蚕丝业,因难以适应工业革命后国际市场的需求,在质量、价格等方面又受到日本、意大利等国家同行的强烈竞争,逐渐衰微。在内外形势的压
美棉的引种与推广是近代中国棉业品种质量改进的代表性事件。描述性统计结果表明：在棉花等代表性行业方面,近代中国农业的品种质量获得了较快的改进,而品种质量的改进或在一定
<正>脑出血为临床常见病、多发病,中老年人为脑出血的高发人群,具有致残率高、病死率高、治疗时间长、预后较差等特点,给患者家庭及社会带来较大的负担[1-2]。甘露醇为降颅压
<正>不知道自己能干什么?想干什么?适合干什么?不知道当前社会需要什么样的人才如果你有很多这方面的困惑,那就得好好进行一下职业生涯规划了。所谓的职业生涯规划,就是借助
清华大学环境系固体废物污染控制及资源化研究所的统计数据表明，中国城市每年产生餐厨垃圾不低于6000万吨^[1]。餐厨垃圾已经成为垃圾收集、运输和填埋处理的主要污染源，严重影
当前我国政府大力推行直接融资方式,强调提高直接融资的比例。2015年公司债券利好政策的出台使得公司债券市场受到了越来越多的关注,发行门槛较低的公司债券融资得到了许多企业的青睐。会计信息质量、中介机构声誉作为公司的内外部治理机制能够有效降低市场的信息不对称,帮助投资人做出合理的价值判断。本文通过研究会计信息质量、中介机构声誉与公司债券融资成本三者间的关系,为企业在当前的公司债券市场发展背景下降低融资