离散数学2

 复习一下，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就理解了