![](https://img-blog.csdnimg.cn/20201014180756930.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
数理逻辑笔记
Wenxin_Shen
这个作者很懒,什么都没留下…
展开
-
数理逻辑p6
对偶式:例子可得公式:(A∗)∗=A(A^{*})^* =A(A∗)∗=A(字符串的角度完全一样)内否式:(为内否式,ppt写错了)例子:可得公式(A−1)⇔A(A^{-1}) \Leftrightarrow A (A−1)⇔A(¬A)∗=¬A∗(\neg A )^* = \neg A^*(¬A)∗=¬A∗与对偶式的相关定理其中 对于3\5¬A⇔(A−)∗⇔(A∗)−\neg A \Leftrightarrow (A^-)^* \Leftrightarrow (A^*)^-¬原创 2020-05-29 15:58:15 · 565 阅读 · 0 评论 -
数理逻辑0528
数理逻辑0528公式记忆:1、真值表2、命题赋值的计算3、常用的逻辑等价式逻辑蕴含,逻辑等价 例题:逻辑等价的证明原创 2020-05-29 14:02:21 · 148 阅读 · 0 评论