经典命题逻辑的一个公理系统  

作　　者：张清宇 

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

出　　处：《哲学研究》1997年第8期51-58,共8页Philosophical Research

关 键 词：经典命题逻辑 公理系统Z 重言式 双重否定 可证性 子公式 原子桥 初始符号 真值指派 树图 

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