关于负不相容选言命题与负充要条件假言命题的.pdf

张家 口师专学报 (社会科学版 ) 1992年第 2期 关于负不相容选言命题 与 负充要条件假言命题的 褚 木 等 值 命 题 关于负不相容选言命题与负充要条件假言命题的等值命题，目前在逻辑 界 说 法 不 一 ， 现就这两个问题谈谈我的看法。 一 、 负不相容选言命题的等值命题 不相容选言命题虽然在数理逻辑 中用相容选言命题来表示，但是 ，由于 自然语言中 二者有明显的区别 ，所以，传统形式逻辑为它们规定了各 自的逻辑形式。目前我国一般 的形式逻辑教材也将二者作为两种不同的命题形式。负不相容选言命题的等值命题也不 同于德摩根律否定选言得联言的原理，而是得相应的选言命题。但是 ，一般逻辑教材将 它等值为相应的相容选言命题 ，等值命题符号表达式为： 一 (pVq) 八g)V (一 八一g) 对于这一等值命题符号表达式我有不同的看法． 首先，让我们看下面的真值表： P g— —g PVq Vg一 (pqq) 八g)V (一 八一口)(八g) (一 八一g) 1 1 1 0 0 1 0 1 1 1 O 1 1 0 1 0 0 1 1 1 0 0 0 O O O O O 1 1 0 1 1 0 0 0 O O O O 0 0 1 1 0 0 1 0 1 1 0 1 1 真值表中的 八g)与 (一 八一g)是一真另一必假，一假另一真假 不 定 的 反对 关 系，反对关系的判断不可能有同真的情况，所 以，将负不相容选言命题等值为相容选言 命题是不恰当的，等值为不相容选言命题似乎更恰当 ，因为选言支一真一假是不相容选 言命题真值的特征。 从真值表看出，相容选言命题的真假值是 “真真真假”，不相容选言命题的真假值 是 “假真真假”，二者是差等关系，．即不相容选言命题真，相容选言命题必真；不相容 选言命题假，相容选言命题真假不定。相容选言命题真，不相容选言命题真假不定；相容 选言命题假，不相容选言命题必假。不相容选言命题蕴涵着相容选 言命 题。所 以，将 一 (pCq)等值为相容选言命题，还是不相容选言命题是有本质差别的。虽然 上 面 真 值 收 稿 日期 ： 1992年 4月 1日 34 表中的 (pAq)V (一p八一g)与 入g)V(一p八 q)真假值相同，鉴于上述分析的差 等 关系，等值为不相容关系比等值为相容关系更准确，更有普遍意义。 持等值命题为相容选言命题观点的教材，举例基本为两类。 、 一 类是用不相容关系的命题代替P和q，例如： (1) “并非那封信要么寄往北京 ，要么寄往上海”等值于 “那封信寄往北京，又 寄往上海 ，或者 “不寄往北京，又不寄往上海”。 (2) “并非这盘棋要么胜 ，要么输”等值于 “这盘棋又胜又输，或者不胜不输”。 例 (1)中的 “那封信寄往北京，又寄往上海”显然是不可能的；例 (2)中的 “这盘 棋又胜又输”也是不会出现的。在现实中，事物和属性呈现着不同情况，在一定的语境 中，有的事物不能兼有某些不 同的属性。某一封信具有寄往北京的属性 就不能兼有寄 往上海的属性；某 一盘棋对下棋的一方来说 ，具有胜的属性 ，就不能兼有输的属性。如 果我们在对一个命题作逻辑否定时，希望得到一个真命题，这就要求原来的命 题 是 假 的，在一 (pCq)中，p g要为 假，P、g就不能是不相容关系。例 (1)(2)中的pg都 是 不相容关系中的反对命题 ，P八q是反对命题的合取。反对命题