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

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
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值