系统Z中的范式和插入定理  

作　　者：张清宇 

机构地区：[1]中国社会科学院哲学研究所

出　　处：《哲学研究》1999年第12期74-78,共5页Philosophical Research

关 键 词：范式 子公式 系统Z 插入式 经典命题逻辑 原子 公理系统 重言式 析取 真值表 

分 类 号：B81[哲学宗教—逻辑学]