gps定位天线:人工智能基础问题：P->Q 为什么可以变为~ P V Q

在命题非真即假的基本假设下，根据p->q的涵义，p->q等价于~p∨q。如果~p为假，则p为真，根据p->q的涵义，q为真，因此~p∨q为真；反过来，如果~p∨q为真，当p为真时，~p为假，从而q必为真，这正是p->q的涵义

p->q的意思是"p蕴涵q"，"如果p，则q"，表示从p到q的推理关系。这个推理关系的正确性能够仅仅由p和q的真假决定吗？设p1="狗是动物"，q1="1+1=2"，p2="狗是植物"，q2="1+1>5"，对于p1->q1，我们不觉得q1和p1有内在联系，也根本不去研究两者有什么联系，对于p2->q2，谁知道它说的是什么呢，p2->q1同样是乱弹琴，只有对p1->q2，我们可以肯定它不对，狗是动物，但1+1>5吗？错了!只要p为真，而q为假，我们都可以断定p->q为假。一个表示推理关系的命题，根据前提和结论的真假可以马上断定其为假，但无法肯定其为真，即使前提和结论都为真，两者未必有关系，我们不能因此断定命题是对的。同时，即使我们知道前提和结论无关，也不能说这个推理关系就是错的，万一多少年后，发现真有这么回事呢。还有命题无意义的可能，也就是前提为假的两种情况，前提都为假了，还推什么呢？(我们也使用归谬的推理，只要推理关系正确，p错误，但p->q却没错，不过这种命题只是在一个归谬的过程中有意义，单独是无意义的)。总的来说，p->q不是非真即假的，分确定为假，无法确定，没有意义三种情况，p和q的真假不能决定p->q的真假。

古典逻辑的基本假设是命题非真即假。在实际推理过程中，如果我们一开始只选择p为真的情况来构成形如p->q的命题，并要求q为真时，p必然蕴含q，那么只要推理规则可靠，就可以认为所有形如p->q的命题都是非真即假的。而在理论上允许按照非真即假的要求，规定p为真q为假时p->q为假，其他情况下p->q为真。只要所有推理规则都可靠，我们允许把无法确定的，无意义的命题当真，从而推出一些难以理解的结论，这样的结论我们也不把它当真就行了。这样理论和实践就可以存异而求同，只要我们明白古典逻辑基本假设的局限性，只在合适的情况下使用它的理论就可以了。

在命题非真即假的基本假设下，根据p->q的涵义，p->q等价于~p∨q。如果~p为假，则p为真，根据p->q的涵义，q为真，因此~p∨q为真；反过来，如果~p∨q为真，当p为真时，~p为假，从而q必为真，这正是p->q的涵义