复合命题直接推理的图式化系统——复合命题直接推理系统再探

对于复合命题直接推理问题,传统形式逻辑虽然作过一些研究,但未能形成类似三段论那样一个完整的推理系统。现代数理逻辑所构建的命题演算公理系统虽然可以涵盖复合命题直接推理的一切有效式,但也未能形成一个相对独立的复合命题直接推理的完整系统,而且,对于初学者来说,命题演算系统的公式、公理、推演规则远离自然语言,缺乏直观性,推演过程也过于顼琐复杂,难以迅速准确地推导出所需的结论。笔者曾在《复合命题之间的真值关系及其直接推理系统初探》一文中对此作了初步的探讨。现在看来,原文所列的公式系统不够完全,且过于顼琐,难记难用。本文采用新的思路,尝试构建一个与自然语言相近的,直观简便,具有一致性和相对完全性的复合命题直接推理图式化系统(以下简称ZT系统),就教于同行专家。 一、ZT系统内容的基本规定 ㈠、初始符号 1、命题变项:p,q,p_1,q_1,p_2,…; 2、联结词:┌,∧,∨,→,←,←→,∨; 3、左右括号:(,)。 ㈡、公式的形成规则 1、一命题变项是一公式;