离散数学笔记 (命题逻辑)
特别注意:常元和变元
下面的栗子看看就行了:
注意:永真和永假式: (重言和矛盾)
栗子:
真值表的2个应用:
1 判断永真
2 判断式子是否等价:
重点看标红的公式:
栗子:
合取范式和析取范式:
过程: 消去箭头, 利用否等内移, 在利用分配律
2个范式的应用:
主范式没有管 ???
下面例子看看他整么推的,还是之前一样去箭头,移否定 ...
重点看勾画的式子:
自然推理系统: 就是条件为真, 然后 去证明后面的东西也为真:
下面这个例子,可以直接从某个元素中推出某值为真,为假.
法二: 前提附加法(假设法)
法三: 归谬法 (让结论错误,推出前面的条件错误)
