Zmn-1374 一阳生 : 薛老师对我的误解甚深

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

文老师，我下面的文章请求转发薛老师和在专栏发表，谢谢！期待薛老师和所有老师的批评！

薛老师对我的误解甚深

一阳生

1、薛老师说：“请问一阳生先生。你是否认为所有的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是【对何自然数n，都有n+1>n。】这个恒真的命题。显然p的恒真是由自然数公理推出的，【p在客观上不参与推理q的直值】，可是不仅这个p和q能形成蕴含命题p→q，而且是真的蕴含命题。”

对于孤立的q，q真值的推理规则为：q真值一般由q本身、其他已知条件以及相关背景知识进行推理。薛老师根据q本身和作为相关背景知识的自然数公理推理出了q的真值是恒真的，说【p在客观上不参与推理q的直值】。对于孤立的p和q，且在相关背景知识的条件下，薛老师推理q恒真的操作方式是对的，说【p在客观上不参与推理q的直值】也是对的。但是我们是在蕴含命题中讨论问题，在蕴含命题中【p在客观上参与推理q的直值】，说【p在客观上不参与推理q的直值】就不对了。

薛老师在蕴含命题中犯了孤立看待q的错误，因为题意给出了蕴含命题p→q。p→q中的q的真值推理规则为：q真值一般由p、q本身、其他已知条件以及相关背景知识进行推理，其中p在客观上必然参与推理q的真值。在这个例子里，我们要让哥德巴赫猜想(p)参与进来，以符合p→q中的q真值的推理规则。p参与推理后的结果为：在哥德巴赫猜想(既包括真时也包括假时)的条件下(当然还有在自然数公理的条件下)，q是真的。所以薛老师要分清是在蕴含命题p→q中讨论q的真值，还是孤立的讨论q的真值，不同情形下q真值的推理规则是不一样的。

3、薛老师说：“哥德巴赫猜想当然不能作为条件参与推理。因为你的条件是【客观上必然参与】，显然不能满足。”

【在p的条件下】的这个条件或【客观上必然参与】的这个要求是专属于蕴含命题的，不是指以相关知识背景为依据的充分条件或必要条件。【必然】是指必不可少。【客观】强调的是这是蕴含命题p→q中q真值的推理规则，强调这是蕴含命题的定义和形成条件，强调这是蕴含命题中的客观规律，强调不以主观的错误认知为转移，强调主观认知和操作过程要符合客观要求。所以【在p的条件下】和【客观上必然参与】的语义是清楚的，逻辑是通顺的。语义是自然语言的解释，通俗易懂。逻辑上是自洽的，且不违反数学定义和公理，不带来逻辑矛盾和错误结果。

我说这两个条件不同，但在蕴含命题中不冲突。薛老师说这两个条件不同，但在蕴含命题中冲突。现在我们来求同存异，我在前篇文章中已说了这两个条件的不同之处，请薛老师说说您所认为的不同之处。看看我们的认知是不是真的有相同之处？注意这两个条件是指【蕴含命题中的在p的条件下】和【以相关知识背景为依据的充分条件或必要条件】。

4、薛老师说：“请问你说的条件是什么？是在p为真的条件下的真值，还是在p为假的条件下的真值？p只有两个条件，你依赖的是哪个条件？从一阳生的叙述来看是【在p(x)真(或假二选一)的条件下】，就是不考虑p是真是假的条件，也就是不考虑p的条件。所以一阳生实际上所说的【q的真值是p条件下的真值】就是说的【q的真值是不考虑p条件的真值】。一阳生所说的毫无意义。”

我说的条件是指【在p的条件下】。如果p可真可假，就分别在p真和p假两种条件下，如果p恒真或恒假，就只在p恒真或恒假的一种条件下。像哥德巴赫猜想这种条件，那就分别假设在其真时的条件下和在其假时的条件下。然后看看在如此条件下推理q真值的结果会怎样。所以我说【在p(x)真(或假二选一)的条件下】，是指既在p真的条件下，又在p假的条件下，是完整的考虑了p的条件。我是为了简洁，不过于赘述。

5、薛老师说：“一阳生所说的【进一步我的基本特征还能推导出真值表。】完全是空话，开的是空投支票，何时才有【进一步】？我很怀疑你基本特征能推导出真值表来。不能等进一步，现在就要求你推出！

我前面的文章《Zmn-1270》、《Zmn-1275》、《Zmn-1288》等，都是在论述我所认为的蕴含命题基本特征是如何推导出蕴含命题真值表的。

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