离散数学笔记 (命题逻辑)

来自: 课时2：命题逻辑（下）_哔哩哔哩_bilibili

特别注意:常元和变元

 

 下面的栗子看看就行了:

注意:永真和永假式: (重言和矛盾)

栗子: 

 

 

 真值表的2个应用: 

1 判断永真

 

2 判断式子是否等价:

 

 

 

重点看标红的公式:

 

 

 栗子:

 

 

 合取范式和析取范式:

 

  过程: 消去箭头, 利用否等内移, 在利用分配律

 

2个范式的应用: 

主范式没有管 ???

下面例子看看他整么推的,还是之前一样去箭头,移否定 ...

重点看勾画的式子: 

 

 自然推理系统: 就是条件为真, 然后 去证明后面的东西也为真:

下面这个例子,可以直接从某个元素中推出某值为真,为假. 

 

法二: 前提附加法(假设法)

 

 

法三: 归谬法 (让结论错误,推出前面的条件错误)