有一些含有未知数的命题,我们不知道真或假,因为无法判断。这叫做命题函数**P(x1,x2,x3….xn)在(x1,x2,x3….xn)的值,**n元谓词
我们用它做什么用呢 ,否则我们干嘛要创造它。
函数在取得变量值后,可以变作命题,也就可以判断真值。
函数这个时候就叫做谓词,它可以不是数学的,可以是文字的描述关系的语句,中间包含变量。
全称量词,量化-论域中的所有未知数都让谓词为真
存在量词,量化-论域中存在一个未知数让谓词为真
他们的否定关系,是我们需要学习的。在学习了之后,可以非常顺利的得到命题的否定
有的政治家诚实—否定:全部政治家都不诚实
所有中国人都吃汉堡堡–否定:有一个中国人不吃汉堡堡
学了所有的关于逻辑的东西,有利于我们逻辑程序的设计,可以是电路的,也可以是软件的。
学习最好的方法就是抽象,抽象可以让每一个具体的事物在你眼中都是一样的。就像每一种程序语言,都有同样功能的函数,可以看作是谓词。
一个永远为真的命题,是我们都喜欢的,如果有很多命题,他们相互关系在一起,最后可以得出一个永远为真的结论,那我们要计算多少次逻辑关系运算,寻找多少次逻辑等价,进行的工作非常多。我们需要整理一些推理规则,方便使用,把很多命题轻松合并一个推理,加快效率的最好办法就是总结规律。
(不要做演戏的,要做导演)哈哈哈。所以,抛弃以前一个罗布一个坑,要活学活用。
突然有一个例子,在案件推理过程中,经常使用一些推理规则,肯定前件,否定后件,透过逻辑我们可以知道一些隐藏的答案。