(一)数理逻辑

希望多次阅读,汲取知识

命题逻辑

(不关注内容,只关心抽象逻辑)

命题    具有确定真值的陈述句

连接词    

一元连接词:非( ¬ )

二元连接词:合取( ∧ ),析取( ∨ ),蕴含( → ),当且仅当( ↔ )

(一)数理逻辑_第1张图片

(一)数理逻辑_第2张图片

等价公式

(一)数理逻辑_第3张图片

推论

(一)数理逻辑_第4张图片 

范式 

范式有合取范式析取范式两种

将一个命题公式转化为主范式的方法主要由2种:真值表法和基本等价式推理法,主要介绍一下后者:

(1)化归为合取(析取)范式

(2)去除其中为永假(永真)的合取(析取)项

(3)合并相同项

(4)补入没有出现的命题变元,然后应用分配律展开


 

你可能感兴趣的:(01-离散数学,笔记)