一个限制排中律适用范围的命题演算系统

摘要：

　　本文构造了一个不矛盾律普遍有效、排中律在一定范围内有效的命题演算系统PC5，证明了PC5的可靠性和完全性，并以PC5为逻辑基础阐明了反证法的适用范围等问题。

关键词： 命题演算系统 排中律 不矛盾律 反证法

作者: 曹飞

作者单位: 中共陕西省委党校 哲学部，陕西 西安 710061

会议类型: 国内会议

会议名称: 第五届两岸逻辑教学与研究学术会议

会议地点: 重庆

会议语种:中文

页码: 252-256

在线出版日期: 2012-04-27（万方平台首次上网日期，不代表论文的发表时间）