“不可得兼”型命题逻辑自然推演系统

The natural deduction system of propositional logic

汉语中的"不可得兼"型联结词是一个在表达命题之间逻辑关系上能力完备的逻辑联结词,和析舍的表达能力等价。使用括号表示法,"不可得兼"型联结词只需使用一对括号作为初始联结词就可以表达所有的二值逻辑真值函数,并且不需要其他辅助性的句法符号。以此为基础可以重新构建一个新型的命题逻辑自然推演系统,它可以比较直观地表达所有命题逻辑的推理规律,可以证明它和经典命题逻辑公理系统相等价。