论文部分内容阅读
陈慕泽教授在<全称概括规则和受限制的演绎定理>一文①中指出,国内一些有代表性的数理逻辑教材(如王宪钧的<数理逻辑引论>,北京大学出版社1982年版,以下简称<引论>)关于推理规则的表述存在一个问题:推理规则(变形规则)作为逻辑系统的出发点之一,其表述带有符号'|-',而后来在关于'有前提推演'和'演绎定理'的表述中,推理规则又没有了'|-'.这里存在不一致性或不协调性.