人工智能基础——为什么逻辑学中“假推真”、“假推假”永远是真命题？

实际上这章讲的是逻辑学，什么合取范式、析取范式啥的，但是哪些形式化的东西我懒得去写，我们不如考虑其中一个最令人感到费解的问题，为什么“假推真”、“假推假”是真命题。

我直接抛出结论，“如果假”是没有意义的，因为无法消除不确定性，而逻辑世界只有真假，无意义就是真。

首先，我们为什么会觉得“假推真”一看就不对，那是我们认为这句话的意思是“假和真同时成立了”，但那是等价啊，我们考虑的是假推出了真，是假设的不成立，推出了结果的成立。

明确了问题之后我们再看，为什么说“如果假”是没有意义的？a推出b，a是条件。“如果我不是人，那么地球是糖做的”，这两个都是假的，但是，结果不成立不等于命题不成立。事实是我是人，地球也不是糖做的，我是人可以推出地球是糖做的，而我现在不是人，那么就什么也推不出。（a能推出b，但是非a推不出b也推不出非b）所以“如果假”这句话说了等于白说，你不能因为说了一句废话而得出假的判断。也就是说条件永远不成立时，结果是不定态的，而且这种不定态没有划分（条件是变量时是一条真假的分界线）。
感觉前面讲的太复杂了，简言之就是你提了一个永远不会成立的条件，那你说了等于白说。

逻辑世界只有真假是前提，这是在创造逻辑时规定的，这种规定本身也许不一定合理，这得上升到哲学层次。
我们现在已知逻辑世界只有真假，那为什么不确定就是真，而不是假呢？我们用和取式（用和连接的关系）描述一个问题，我们在枚举条件的时候，实际上都是自动忽略了其他很多无关条件，那么在找到一个实例去判断条件真假时，只要满足了我们枚举的条件就可以使用推出关系了，而不需要关注这些无关条件，即便这些无关条件是不确定的。和取式，把各种条件和起来，如果无意义是假的话，那么和一个恒假的条件，任何条件都恒假了，这显然破坏了逻辑。
也就是说，所有的逻辑关系为了保持逻辑自身的闭合，在命题中无意义必须是真。
但这也可能是一种对偶关系，恕我还没有完全想清楚，可能存在一种把不确定当作假的判断方式

另外，变量和条件是判断真假的分界线，它是“不确定”，但它是消除不确定性的工具，不是无意义。而“如果假”是无意义，它什么都没有提供。

最后，从集合的角度很容易就可以记住结论。0就是空集，1就是全集，推出关系是完全满足的。但是，任何条件都不是全集的一部分，而是划分0和1的工具，条件一旦被确定（赋值），不是0就是1了，而不存在子集这种东西，所以只是帮助记住结论。

---

我再从哲学意义思考一下这个问题，真可以推出真，但是真推不出假。假既可以推出假，又可以推出真。也就是说，真只能推出本身，假却可以真和假。那么如果我们有真，我们将永远只有真。正是因为有了“假”，我们才有了逻辑，很奇妙不是吗。所以说，假才是逻辑世界的根本。老子说：“一生二、二生三、三生万物”，可以说，假才是那个一，而真则是0。这就像基础运算空间（不引入极限）种，给你一个0，无论使用什么方法都无法衍生出其他数字。如果把除了0以外的其他数字都当作“有”，而把0当作“无”，就和逻辑空间有异曲同工之妙。不去考虑一些高等数学运算（如0/0，0阶乘之类的），其实就是保证了空间元素的“原子性”，也就是假设存在最小单元，是绝对可分的概念。在这种概念下，未知的概念必须被划分到某个定态，这种定义方式可能是不完备的。你看高等数学中的0/0，就是把0变成了各阶无穷小，0有了不定态的意义。就好像量子力学中的不确定性，如果世界只是原子组成的，那我们可以预测一切可能，但因为有了不定，所以世界才如此奇妙，而不是所有的一切都可以被“逻辑”所推演出来。

事实上我根本没读过《逻辑》，也就最近课上这个问题让我觉得很困惑，这些都是我瞎想的，“思而不学则殆”，等有空了还得仔细研究一下别人是如何思考这些问题的。但另一方面，如果在自己的思维空间里可以把某些概念理论自圆其说，也算是形成自己的知识体系了，这么想倒也不错。