Zmn-1375 薛问天: 题意给出的蕴含命题p→q有真有假，评一阳生《1374》

【编者按。下面是薛问天先生的文章，是对一阳生先生的《Zmn-1374》一文的评论。现在发布如下，供网友们共享。请大家关注并积极评论。另外本《专栏》重申，这里纯属学术讨论，所有发布的各种意见仅代表作者本人，不代表本《专栏》编辑部的意见。《专栏》中有些文章发扬了啄木鸟精神，对一些错误的观点和言论进行了说理的批评。但请大家注意，也有些有严重错误的文章在这里发布，就是为了引起和得到广大网友们的评论。不要以为在这里发布的文章都是正确无误的。】

题意给出的蕴含命题p→q有真有假

评一阳生《1374》

薛问天

xuewentian2006@sina.cn

1，一阳生没有弄懂复合命题的基本原理。蕴含命题是由两个单独的命题p和q构成的复合命题。要知道任何命题p和q都可构成蕴含命题p→q，只不过有的p和q构成的p→q是真命题，有的p和q构成的p→q是假命题。所谓【蕴含命题的基本特征】，就是要说明在什么条件下为真，什么条件下为假这种关系。

一阳生不说真假，认为蕴含命题p→q 的基本特征是：【q的真值是在p条件下的q真值】。又说【对【在p条件下的q真值】的解释是：q真值一般来说由p、q、其他已知条件以及相关背景知识共同推出，但其中p在客观上必然参与推理q的真值。】

要知道在事实上，有的p和q满足【p在客观上必然参与推理q的真值。】而有的p和q並不满足这个条件。对此客观事实必须承认。例如我们所举的实例，其中的p和q就不满足这个条件。所以一阳生说的这个【蕴含命题基本特征】是毫无意义和不切实际的。

我们向一阳生提出问题〖请问一阳生先生。你是否认为所有的p和q【其中p在客观上必然参与推理q 的真值。】是否存在有这样的p和q，【p在客观上不参与推理q的真值】？〗而一阳生竟然回答说【如果题意给出蕴含命题p→q，且p→q中的p和q可以取所有的命题，那么对所有的p和q， 都要求【p在客观上必然参与推理q的值】。因为题意先行给出了蕴含命题，p和q是蕴含命题p→q中的p和q。】

要知道，是否存在有p和q【p在客观上必然参与推理q的真值】。存在或不存在这是客观事实。不是你主观想像【题意绐出蕴含命题】就能【滿足要求】。要知道给出蕴含命题，是对任何p和q都会给出，绐出的蕴含命题可能为真还可能有假。给出个蕴含命题不会满足你提出的任何要求。说什么【一旦p和q组成蕴含命题了，对所有的p和q(即p→q中的p和q)就有这个要求了，这个要求作为基本特征是专属于蕴含命题的。】要知道这个要求纯属一阳生不切实际的主观想像 ，【题意绐出蕴含命题】不一定就能【滿足要求】。

2，我们举的反例正好说明，存在着这样的p和q，【p在客观上不参与 推理q的直值】，可是不仅这个p和q能形成蕴含命题p→q，而且形成的是真的蕴含命题。

一阳生说【薛老师在蕴含命题中犯了孤立看待q的错误，因为题意给出了蕴含命题p→q。p→q中的q 的真值推理规则为：q真值一般由p、q本身、其他已知条件以及相关背景知识进行推理， 其中p在客观上必然参与推理q的真值。】

有趣的是一阳生竟然把他自己给出的主观论断，明明是错误的，还要作为推理的根据。明明是【p在客观上不参与 推理q的直值】，却要硬说成是【其中p在客观上必然参与推理q的真值。】不讲任何道理。明明是由自然数公理可直接证明q，却硬要让把哥德巴赫猜想【参与进来】说成是【必然参与】。

3，一阳生说【【在p的条件下】的这个条件或【客观上必然参与】的这个要求是专属于蕴含命题的，不是指以相关知识背景为依据的充分条件或必要条件。【必然】是指必不可少。【客观】强调的是这是蕴含命题p→q中q真值的推理规则，强调这是蕴含命题的定义和形成条件，】

这纯属一阳生的无理狡辩。所谓【在p的条件下】当然所指就是部分充分条件或必要条件。请问一阳生先生除了必要条件和充分条件外，还有什么【必不可少】的【必然参与】的条件。要知道一阳生所说的【q的真值是在p条件下的q真值】和【p在客观上必然参与推理q的真值】，纯属一阳生的错误的主观论断，根本不是客观的【蕴含命题的定义和形成条件】和【推理规则】。

4，命题推理当然同真假有关。说在下雨的条件下路很滑湿，当然指的是下雨为真的条件下，路很滑湿。不会指【下雨的条件可真可假】时路很滑湿。所以你说的在p条件下指的一定是指在p为真的条件下，如果p可真可假，你说的以p为条件就毫无意义。就是不以p为条件。

一阳生说【像哥德巴赫猜想这种条件，那就分别假设在其真时的条件下和在其假时的条件下。然后看看在如此条件下推理q真值的结果会怎样。所以我说【在p(x)真(或假二选一)的条件下】，是指既在p真的条件下，又在p假的条件下，是完整的考虑了p的条件。】要知道一阳生全说错了，在我们举的这个例子中，只要证明q恒真，就跟据真值表判定了p→q为真，不以p的真假为条件，根本不需要一阳生所说的【在p(x)真(或假二选一)的条件下】，是指既在p真的条件下，又在p假的条件下，是完整的考虑了p的条件。】

5，我又重看了一遍一阳生的文章《Zmn-1270》、《Zmn-1275》和《Zmn-1288》等。 这些文章都没有真正在论述是如何由他所说的蕴含命题基本特征，推导出蕴含命题真值表的。

【编者注。读者可点击頁面最上面的〖博文〗这个选項，来查找本《专栏》的其它文章。】