离散数学笔记(一)数理逻辑

1、什么是命题

命题是表达判断的陈述句

  • 原子命题(简单命题)
    不能再分解成更简单陈述句的命题
  • 复合命题(分子命题)
    由若干个连结词、标点符号及原子命题复合构成的命题
2、命题公式
  • 命题公式的三种数据类型

命题常项:命题的真值
常值命题:具体命题
命题变元:用大写字母表示的任一命题

  • 合式公式定义

(1)单个命题变元、常值命题及命题常项是合式公式
(2)若A是合式公式,则﹁A是合式公式
(3)若A和B是合式公式,则(A∧B),(A∨B),(A→B),(A↔B)都是合式公式
(4)当且仅当有限次地应用(1)(2)(3)所得到的符号串是合式公式。

  • 命题公式的等价

对合律 ﹁﹁P<=>P
幂等律 P∨P<=>P、 P∧P<=>P
交换律 P∧Q<=>Q∧P、P∨Q<=>Q∨P
结合律 P∨(Q∨R)<=>(P∨Q)∨R
P∧(Q∧R)<=>(P∧Q)∧R
分配律 P∨(Q∧R)<=>(P∨Q)∧(P∨R)
P∧(Q∨R)<=>(P∧Q)∨(P∧R)
吸收率 P∨(P∧Q)<=>P、P∧(P∨Q)<=>P
德·摩根定律 ﹁(P∨Q)<=>﹁P∧﹁Q
﹁(P∧Q)<=>﹁P∨﹁Q

同一律 P∨F<=>P、P∧T<=>P
零律 P∨T<=>T、P∧F<=>F
互补律 P∨﹁P<=>T、P∧﹁P<=>F
P→Q<=>﹁P∨Q
P→Q<=>﹁Q→﹁P
P↔Q<=>(P→Q)∧( Q→P)
<

  • 6
    点赞
  • 29
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
离散数学的命题逻辑是一种研究命题之间关系的数学分支。命题逻辑主要涉及命题的定义、联结词(如非、与、或、蕴含、等价、异或)的运算规则及其真值表、命题的语义等。等价是命题逻辑中重要的概念之一。 当两个命题具有相同的真值时,它们被称为等价命题。例如,命题P与Q分别是“今天是周日”和“明天是周一”,那么这两个命题的真值相同时,即今天是周日的时候明天是周一,它们可以称为等价命题。 在离散数学中,我们可以使用真值表来判断两个命题是否等价。真值表是将所有可能的命题取值列出,并对每个命题的取值进行判断的表格。通过比较真值表中相应的列的取值,可以判断两个命题是否等价。 例如,在真值表的第三列中,如果两个命题的取值均为真(T),那么这两个命题等价。如果两个命题的取值均为假(F),也可以认为这两个命题等价。但如果它们的取值一个为真一个为假,那么它们不等价。 以命题P:“今天天气晴朗”和命题Q:“太阳照耀着”为例,它们的等价关系可以通过真值表进行判断。在真值表中,当天气晴朗时太阳照耀着,因此P和Q的真值列完全相同,即它们是等价的。 综上所述,离散数学中的命题逻辑通过真值表等方法来判断命题的等价关系。等价命题在数学和计算机科学中有着广泛的应用,可以帮助我们简化、判断、推导命题的逻辑关系。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值