关于推理规则的表述——也谈数理逻辑教材中的一个问题  

作　　者：陈晓平[1] 

机构地区：[1]华南师范大学政法学院,广东广州510631

出　　处：《华南师范大学学报（社会科学版）》2002年第6期130-131,144,共3页Journal of South China Normal University：Social Science Edition

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

关 键 词：推理规则 数理逻辑 教材 

分 类 号：O14[理学—数学]