命题逻辑——命题逻辑等值演算(3)

命题逻辑等值演算

等值式

等值式

基本等值式

基本等值式1
基本等值式2
基本等值式3

等值演算与置换规则

等值演算与置换规则

应用举例——证明两个公式等值

证明两个公式等值

应用举例——证明两个公式不等值

证明两个公式不等值

应用举例——判断公式类型

判断公式类型1
判断公式类型2
判断公式类型3

再次吐槽,学离散数学真的好枯燥(手动哭)~