<<离散数学>>逻辑运算

有一些含有未知数的命题，我们不知道真或假，因为无法判断。这叫做命题函数**P(x1,x2,x3….xn)在(x1,x2,x3….xn)的值，**n元谓词
我们用它做什么用呢 ，否则我们干嘛要创造它。
函数在取得变量值后，可以变作命题，也就可以判断真值。
函数这个时候就叫做谓词，它可以不是数学的，可以是文字的描述关系的语句，中间包含变量。
全称量词，量化-论域中的所有未知数都让谓词为真
存在量词，量化-论域中存在一个未知数让谓词为真

他们的否定关系，是我们需要学习的。在学习了之后，可以非常顺利的得到命题的否定

有的政治家诚实—否定：全部政治家都不诚实
所有中国人都吃汉堡堡–否定：有一个中国人不吃汉堡堡

学了所有的关于逻辑的东西，有利于我们逻辑程序的设计，可以是电路的，也可以是软件的。

学习最好的方法就是抽象，抽象可以让每一个具体的事物在你眼中都是一样的。就像每一种程序语言，都有同样功能的函数，可以看作是谓词。

一个永远为真的命题，是我们都喜欢的，如果有很多命题，他们相互关系在一起，最后可以得出一个永远为真的结论，那我们要计算多少次逻辑关系运算，寻找多少次逻辑等价，进行的工作非常多。我们需要整理一些推理规则，方便使用，把很多命题轻松合并一个推理，加快效率的最好办法就是总结规律。
（不要做演戏的，要做导演）哈哈哈。所以，抛弃以前一个罗布一个坑，要活学活用。

突然有一个例子，在案件推理过程中，经常使用一些推理规则，肯定前件，否定后件，透过逻辑我们可以知道一些隐藏的答案。