复习一下,P->Q,只有真的原因推假的结果,才是错的(正常逻辑),其余情况都是对的(善意规定以及正常逻辑)
反P析取Q,可以这样理解,因为是析取,结果为T的可能性更大。因为只要有一方为T结果就为T,那什么时候结果为F呢,就是两边都为F的时候。
再记一次,^ 小王能歌善舞是合取,相反的^小王会唱歌或者或跳舞是析取。
第二行的第二个的T解释:相反p也就是T,p是F,析取的意思是会唱歌或者或跳舞,会一种就好,如果两种都会,那更好。
第二行的第三个的F解释:相反P也就是T,p是F,合取的意思就是唱歌跳舞必须都得会,而p是f,所以结果为F。
因为,如果是析取的话,只要满足其一就可以了,而有相互矛盾的两个P在,就必定有一个为真一个为假在,所以一定可以满足能唱歌或者能跳舞,因此一定为T。而合并的话,一定要都为真结果才为真,而因为有相互矛盾的两个p在,就一定不能满足这个要求,因此一定是假。
对于重言式,最后一列都是T,对于矛盾式,最后一列都是F
有两种证明:
第一种是假设前者为真,若后者也为真,就成立
第二种是假设后者为假,若前者也为假,就成立
很明显,用后假推前假这个方法不好用,前真推后真好用,因此,我们要学会选择适用的方法。
析取范式与合取范式?
上面这个例题用到了,以及析取范式和合取范式的定义
复习一下
可以把析取看成加法,合取看成乘法运算会比较方便
把这点看成(a+b)*(c+d)=ac+ad+bc+bd就理解了