命题逻辑的基础等价公式

最新推荐文章于 2023-03-09 01:04:13 发布

FakeOccupational

最新推荐文章于 2023-03-09 01:04:13 发布

阅读量3.7k

点赞数 1

分类专栏：代数

本文链接：https://blog.csdn.net/ResumeProject/article/details/113085093

版权

代数专栏收录该内容

40 篇文章 7 订阅

订阅专栏

1.对合律
$\neg\neg P\Leftrightarrow P$
2.幂等律
$P\vee P\Leftrightarrow P\;\;\;P\wedge P\Leftrightarrow P$
3.交换律
$P\vee Q\Leftrightarrow Q\vee P\;\;\;P\wedge Q\Leftrightarrow Q\wedge P$
4.结合律
$P\vee(Q\vee R)\Leftrightarrow(P\vee Q)\vee R\;\;\;\;\;\;\;P\wedge(Q\wedge R)\Leftrightarrow(P\wedge Q)\wedge R$
5.分配律
$P\vee(Q\wedge R)\Leftrightarrow(P\vee Q)\wedge(P\vee R)\;\;\;\;\;\;P\wedge(Q\vee R)\Leftrightarrow(P\wedge Q)\vee(P\wedge R)$
6.吸收率
$P\vee(P\wedge Q)\Leftrightarrow P\;\;\;\;P\wedge(P\vee Q)\Leftrightarrow P$
7.德摩根律
$\neg(P\vee Q)\Leftrightarrow\neg P\;\wedge\neg Q\;\;\;\;\;\neg(P\wedge Q)\Leftrightarrow\neg P\vee\neg Q$
8.同一律
$P\vee F\Leftrightarrow P\;\;\;\;\;\;\;\;P\wedge T\Leftrightarrow P$
9.零率
$P\vee T\Leftrightarrow T\;\;\;\;\;\;\;\;P\wedge F\Leftrightarrow F$
10.互补律
$P\vee\neg P\Leftrightarrow T\;\;\;\;P\wedge\neg P\Leftrightarrow F$
11.
$\color{blue} P\rightarrow Q\Leftrightarrow\neg P\vee Q\;(q\rightarrow q 非q或q是永真式)$

$P\rightarrow Q\Leftrightarrow\neg P\rightarrow\neg Q\;$
13.
$P\leftrightarrow Q\Leftrightarrow(P\rightarrow Q)\;\wedge(Q\rightarrow P)$

FakeOccupational

关注

1
点赞
踩
8

收藏

觉得还不错? 一键收藏
0
评论
命题逻辑的基础等价公式

1.对合律¬¬P⇔P \neg\neg P\Leftrightarrow P¬¬P⇔P2.幂等律P∨P⇔P P∧P⇔P P\vee P\Leftrightarrow P\;\;\;P\wedge P\Leftrightarrow PP∨P⇔PP∧P⇔P3.交换律P∨Q⇔Q∨P P∧Q⇔Q∧P P\vee Q\Leftrightarrow Q\vee P\;\;\;P\wedge Q\Leftrightarrow Q\wedge PP∨Q⇔Q∨PP∧Q⇔Q∧P4.结合律P∨(
复制链接

扫一扫

专栏目录