离散数学命题逻辑连接词的解释

命题逻辑连接词
在自然语言中,常常使用“或”,“与”,“但是”等一些联结词,对于这种联结词的使用,一般没有很严格的定义,因此有时显得不很确切。在数理逻辑中,复合命题是由原子命题与逻辑联结词组合而成,联结词是复合命题中的重要组成部分,为了便于书写和进行推演,必须对联结词作出明确规定并符号化。下面介绍各个联结词。
(1)否定
定义1-2.1设p为一命题,p的否定是一个新的命题,记作┓p.若p为t, ┓p为f;若p为f,┓p为t.联结词"┓"表示命题的否定.否定联结词有时亦可记作"-".

命题p与其否定┓p的关系如表1-2.1所示.

表1-2.1
在这里插入图片描述

例 用p表示命题“3是素数”
则┓p即为命题“3不是素数”

“否定”的意义仅是修改了命题的内容,我们仍把它看作为联结词,它是一个一元运算.

(2)合取

定义1-2.2 两个命题p和q的合取是一个复合命题,记作p∧q.,读作“p与q”或“p与q的合取”。当且仅当p、q同时为t时, p∧q为t,在其他情况下, p∧q的真值都是f.。

联结词"∧"的定义如表1-2.2所示.

表1-2.2

合取连接词的含义相当于自然语言中的“p和q”,“p与q”,“p且q,“p,同时q”等。
命题联结词“合取”也可以将若干个命题联结在一起.

p表示命题“3是素数”

  • 7
    点赞
  • 18
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值