mysql 逻辑值的真和假_如何区分逻辑真与事实真？

逻辑的真假与事实的真假

当给出A→B为真这个条件时。我们只能确定，不可能出现与它矛盾，即A真B假的情况。剩下三种可能均有可能为真，分析如下：

可能性(1)：A真and B真

在这种可能性下，A→非B为假，B→A为真

可能性(2)：A假and B假

在这种可能性下，A→非B为真，B→A为真。

可能性(3)：A假and B真

在这种可能性下，A→非B为真，B→A为假。

所以，A→B为真，我们不能确定A→非B的真假，同时也不能确定B→A的真假。

这时候有的同学会问，为什么我们会觉得这两个逻辑同时为真的时候好像会产生矛盾呢？之所以会犯这个错误，是因为很多学认为，A→B为真，就等同于A、B为真A→非B为真，就等同于A为真，B为假，看起来B又为真，又为假，产生了矛盾。

实际上，A→B为真，是指的“A→B”这个逻辑关系为真。但是逻辑关系为真并不能确定A、B的真假。所以“A→B”和“A→非B”同时为真，并不等于“B和非B同时为真”，并不会产生矛盾。在A为假的时候，因为不能同时满足前真后假，这两个逻辑“A→B”和A→非B”在逻辑层面上都为真。

有的同学进一步再问，那么什么时候会产生矛盾呢？

如果不仅这两个逻辑都为真，再多给出一个条件，A为真。这时候把A真带人两个逻辑→里面，就既可以推出B为真，同时也可以推出B为假，这时候才会产生矛盾。

所以，A→B，A→非B这两个逻辑同时为真意味着，A不能为真。在A为真的情况下，就会推出“B和非B同时为真”，产生矛盾。

所以同学一定要理解和牢记下面的口诀：

命题真不等于逻辑真，逻辑真不等于命题真。

仅知道A→B为真的情况下，A、B、A→非B、和B→A的真假都不能确定。

如果A→B，和A→非B同时为真，可以推出A必须为假。

============================