摘要： 以合舍作为唯一初始联结词，在括号表示法中，只需要使用一对左右括号“「」”就可以无歧义 地表达所有的逻辑函数，并进而建立包括括号“「」”的引入规则和消去规则在内的自然推演系统 ＮＰＤ１， 可以证明该系统与通常的命题逻辑推理系统相等价。通过定义可以给出常见的其他联结词并证明相关 定理。受亚里士多德化归思想的启发，构建了系统 ＮＰＤ１的７组化归规则，并给出化归程序；依据此程序， 可以将系统内的任一定理能行地化归为一个形如 ＜Ａ（Ａ）＞的公式。
中图分类号:
. 合舍系统及其定理的能行证明[J]. 重庆理工大学学报（社会科学）, 2021, 35(6): 53-61.
主管单位：重庆市教育委员会