![](https://img-blog.csdnimg.cn/20201014180756780.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学
文章平均质量分 82
离散梦
这个作者很懒,什么都没留下…
展开
-
命题逻辑的基本概念
作者:离散梦欢迎大家给出宝贵的建议! 命题逻辑的基本概念 1.1 命题与联结词:非真即假的陈述句称作命题。【祈使句、疑问句、感叹句、悖论都不是命题】作为命题的陈述句所表达的判断结果称作命题的真值,真值只取两个值:真或假。真值为真的命题称作真命题,真值为假的命题称作假命题。 不能被分解成更简单的命题称作简单命题或原子命题: 由简单命题通...原创 2018-07-11 15:12:15 · 10991 阅读 · 0 评论 -
命题逻辑等值演算
作者:离散梦欢迎大家给出宝贵的建议! 命题逻辑等值演算 一、等值式定义1设A,B是两个命题公式,若A,B构成的等价式为重言式,则称A与B是等值的,记作。 16组常用的重要等值式模式:1.双重否定律:2.幂等律:3.交换律:4.结合律:5.分配率:6.德摩根律:7.吸收律:8.零律:9.同一律:10.排中律:11.矛盾律...原创 2018-07-12 22:26:37 · 12597 阅读 · 0 评论