离散数学

zhanglinlove

于 2019-08-20 22:25:56 发布

阅读量2.9k

点赞数 1

分类专栏：工具文章标签：离散数学

本文链接：https://blog.csdn.net/zhanglinlove/article/details/99891672

版权

工具专栏收录该内容

41 篇文章 0 订阅

订阅专栏

数学符号的意思
∈意思：属于
⊆意思：子集
∩表示交集设A，B是两个集合，由所有属于集合A且属于集合B的元素所组成的集合，叫做集合A与集合B的交集（intersection）
∪表示并集若A和B是集合，则A和B并集是有所有A的元素和所有B的元素，而没有其他元素的集合
∑符号表示求和 ∑读音为sigma，英文意思为Sum，Summation,就是和其中i表示下界，n表示上界， k从i开始取数，一直取到n,全部加起来。
π表示求积

一，逻辑与证明
p v q ==> p or q
p ∧ q ===> p and q

p加个上划线表示 not p
一个语句，如果它或是真的，或是假的（但不是既真又假），称为一个命题。

如果p和q都是命题，如p则q，称为条件命题。

p   F     q    F             ====>     p-->q             T
p   F     q    T            ===⇒       p--->q           T
p   T     q    F            ====>      p----->q          F
p   T     q    T            ===⇒       p------>q        T

q —> p为p—>q的逆命题

如果p和q都是命题，复合命题p当且仅当q称为双条件命题
p <----> q

p T q T ===> p --> q T
p F q T ====> p—>q F
p T q F =====> p—>q F
p F q F ===⇒ p—> q T

两个不同的复合命题不管组成的命题取什么值，真值总是相同（同时为真或假），这样的命题称为逻辑等价。

德摩根第一定律：
在这里插入图片描述
一个条件命题p—>q的逆反式是命题q(-在q上) —> p(-在p上)
逆反式不但把p和q的作用互换，还对它们进行了否认。
条件命题和逆反式是等价的。