多值逻辑的公理化.pdfVIP

第 18卷第4期 青岛建筑工程学院学报 Vo_【18№4 1997 JournalofQingda0Institute 0fArchitectureandEngineering 2土 一 0f车3 多值逻辑的公理化 韭耋鱼 青‘岛建筑工程学茂图书分馆 ，青岛266033) 摘 要 蛤出了一种新的多值逻辑系统，公理化所得到的GM 形式系统与二值逻辑有率质的区 别．二值逻辑是它的一个退化 ． 关羹词 垄堕显担．墨墨煎一竺堡 一 中圈法分类号 0143 多值逻辑的公理化问题是逻辑科学中的一个重要 问题，虽然有各种各样的多值逻辑系统 和多值逻辑代数系统 【】】，但是将这些系统真正形式化，如同二值逻辑那样能进行有效推理和 应用的多值逻辑公理系统不是很多．比较成功的有量子逻辑公理系统，一阶多值逻辑谓词演算 的公理系统等 “】．但它们都是以二值逻辑公理系统为基础的，因而不能反映出多值逻辑的固 有性质．在软件方面，以二值逻辑理论为基础的开发出推理系统的软件方法 比较成熟，三值 以 上的多值逻辑推理系统软件还未见到．3【】．【l为此，作者定义了一种新的三值逻辑系统 ，并将它 进行了公理化，而且能进行有效的推理． 1 一种新的多值逻辑 1921年 。Post首先提出了具有 m 个不同值的有限多值命题逻辑．【ll初始联结词有否定 “]，析取。V ，1、(]p)=T(p)+l，1、(pV口)：ma】【{1、(p)，1、(口)}，其中 1、(p)为命题 p的 真值，1、(p)：m时，1、(1p)=l，其它命题联结词定义如下：p人口=l(7pVlq)。p一口=IpV 口，p一口=(p—q)^(口一p)，不难看出，合取联结词 “^”是根据二值逻辑的合取联结词的性 质来定义的，其依据是德 ·摩根定律．实际上德 ·摩根定律是二值逻辑所特有的，在多值逻辑中 不一定成立．￡2l 在Post系统的基础上，定义多值逻辑系统ML 为：初始联结词有否定 “]”，析取…V ，合 取“^ ，1、(]p)=1、(p)+l(m m)，1、(pV口)=ma】【l1、(p)，1、(口)I，1、(pA口)=rain {1、(p)．T(q)}，其它联结词有。一 ，“一 ，p一口=lpV口，p一口=(p一口)^(q—p)，下面的 命题是显然的 命题 1．1 ·．州 = T(1 p川Vlqg)),， } 收甍 日嬲 ：1996—09—20 第4期 张孝伍：多值逻辑的公理化 2．T(]( ))= T(]pVq),04 川 q)．T ) ： 定义 1．1 ML 中的合式公式递归定义为 (1)，原子 P，口，r．…。0。1．…。m—l是舍式公式 (2)若A、B是合式公式．则 A，A^B。AVB，A—B．A—B都是合式公式． (3)只有有限次使用规则(1)、(2)构成的符号串才是舍式公式． 定义 1．2 对于ML 中的任一合式公式 p，如果对于每一种真值指派，T(P)=m—l。那 么称P是重言式 (或恒真式)，若 1’(P)=0。则称 P是矛盾式(或恒假式) 命题 1．2 (1)PVm—l= —l，P^m—l=P，PV0=P．P^0=O (2)pVlpV11pV…]一P=m一1，P^7p^11p^…]一P=0 (3)]p=P 其中]p=](] P‘)。]0P=P 利用真值表方法．易证命题 1．2成立。显然 m=2时M 就是二值逻辑系统． 2 M 的公理化 将M 公理化得到GM 形式系统，它 由下面几个部分组成： 2．1 初始符号 (1)P