离散数学 命题符号化及联结词

命题符号化及联结词

0x00 前置知识

命题:能判断真假的陈述句,是具有唯一真值的陈述句 😄

命题符号化:使用小写的英文字母 p , q , r , . . . , q i , p i , r i , . . . {p},{q},{r},{...},{q_i},{p_i},{r_i},{...} p,q,r,...,qi,pi,ri,... 来表示命题

例1-1:
p : 2 是 素 数 q : 雪 是 黑 的 {p}: 2是素数 \\ {q}: 雪是黑的 p:2q:

0x10 简单命题

据教科书的定义,把不含逻辑联结词“或”、“且”、“非”的命题称为简单命题(有逻辑书称为原子命题).认为简单命题是逻辑演算最基本的单位,应被看做是一个不可再分割的整体.例如,“3是12的约数”、“0.5是整数”,它们都是简单命题.

在例1-1中p,q的真值是确定的,此时 p , q {p},{q} p,q 又被称为命题常项(有书称为命题常元)

而对于像例1-2:
p : x + y > 7 {p}:{x}+{y}>7 p:x+y>7
这样的命题,当 x , y {x},{y} x,y 的值确定下来以后命题的真值才能确定的这种 真值可以变化的简单陈述句 称为命题变项(命题变元)

注:命题变项不是命题

0x20 复合命题

由简单命题与逻辑联结词构成的命题是复合命题.例如,“20可被4或5整除”、“平行四边形的对边相等且平行”、“2非素数”,上述三个命题都是复合命题,因为它们分别含有逻辑联结词“或”、“且”、“非”.

例1-3:
p : 3 不 是 偶 数 q : 2 是 偶 数 和 素 数 r : 林 芳 学 过 日 语 或 英 语 {p}:{3不是偶数} \\ {q}:{2是偶数和素数} \\ {r}:{林芳学过日语或英语} p:3q:2r:

0x30 联结词运算优先级

¬ 、 ⋀ 、 ⋁ 、 → 、 ↔ \neg、\bigwedge、\bigvee、\rightarrow、\leftrightarrow ¬

联结词也称作逻辑运算符,在运算时有优先级,有括号先算括号里的内容,然后按照上面的优先级进行运算

命题一般以 1来表示真,0来表示假

p {p} p q {q} q p ⋀ q {p}\bigwedge{q} pq p ⋁ q {p}\bigvee{q} pq p → q {p}\rightarrow{q} pq p ↔ q {p}\leftrightarrow{q} pq
010110
100100
000011
111111

0x90 课后习题

例题 1-5

解:(1)
设 : p : 2 是 偶 数 . q : 2 是 素 数 故 : 可 用 p ⋀ q 表 示 2 是 偶 数 又 是 素 数 {设}:{p}:2是偶数.{q}:2是素数\\ 故:可用{p}\bigwedge{q}表示2是偶数又是素数 :p:2.q:2:pq2
​ (2)
设 : p : 小 王 聪 明 . q : 小 王 用 功 故 : 可 用 p ⋀ q 来 表 示 小 王 不 但 聪 明 而 且 用 功 {设}:{p}:小王聪明.{q}:小王用功\\ {故}:可用{p}\bigwedge{q}来表示小王不但聪明而且用功 :p:.q::pq
​ (3)
设 : p : 天 气 很 冷 . q : 老 王 来 了 故 可 用 p ⋀ q 来 表 示 虽 然 天 气 很 冷 , 老 王 还 是 来 了 设:{p}:天气很冷.{q}:老王来了\\ 故可用{p}\bigwedge{q}来表示虽然天气很冷,老王还是来了 :p:.q:pq
​ (4)
设 : p : 他 吃 饭 . q : 他 看 电 视 故 可 用 p ⋀ q 来 表 示 他 一 边 吃 饭 一 边 看 电 视 设:{p}:他吃饭.{q}:他看电视\\ 故可用{p}\bigwedge{q}来表示他一边吃饭一边看电视 :p:.q:pq
(5)
设 : p : 天 下 大 雨 . q : 他 乘 公 交 汽 车 上 班 故 可 用 p → q 如 果 天 下 大 雨 他 就 乘 公 交 车 设:{p}:天下大雨.{q}:他乘公交汽车上班\\ 故可用{p}\rightarrow{q}如果天下大雨他就乘公交车 :p:.q:pq
(6)
设 : p : 天 下 大 雨 . q : 他 乘 公 交 汽 车 上 班 故 可 用 q → p 只 有 天 下 大 雨 , 他 才 乘 公 共 汽 车 上 班 设:{p}:天下大雨.{q}:他乘公交汽车上班\\ 故可用{q}\rightarrow{p}只有天下大雨,他才乘公共汽车上班 :p:.q:qp
(7)
设 : p : 天 下 大 雨 . q : 他 乘 公 交 汽 车 上 班 故 可 用 q → p 除 非 天 下 大 雨 , 否 则 他 不 乘 公 交 汽 车 上 班 设:{p}:天下大雨.{q}:他乘公交汽车上班\\ 故可用{q}\rightarrow{p}除非天下大雨,否则他不乘公交汽车上班 :p:.q:qp
总结:命题符号化,需要将命题先转换成简单命题,值得注意的是符号化的p,q不能带不,非这样的文字

例题 1-6

解:(1)
∵ p , q 的 真 值 为 0 , r 的 真 值 为 1 ∴ q ⋀ r 的 真 值 为 0 ∴ p ⋁ ( q ⋀ r ) 的 真 值 为 0 \because{p},{q}的真值为0,{r}的真值为1\\ \therefore{q}\bigwedge{r}的真值为0\\ \therefore{p}\bigvee({q}\bigwedge{r})的真值为0 p,q0r1qr0p(qr)0
​ (2)
∵ p ↔ r 的 真 值 为 0 , ¬ q ⋁ s 的 真 值 为 1 ∴ ( p ↔ q ) ⋀ ( ¬ q ⋁ s ) 的 真 值 为 0 \because{p}\leftrightarrow{r}的真值为0,\neg{q}\bigvee{s}的真值为1\\ \therefore ({p}\leftrightarrow{q})\bigwedge(\neg{q}\bigvee{s})的真值为0 pr0¬qs1(pq)(¬qs)0

​ (3)
∵ q ⋁ r 的 真 值 为 1 , p ⋁ q 的 真 值 为 0 , r ⋀ s 的 真 值 为 1 ∴ ( p ⋀ ( q ⋁ r ) ) → ( ( p ⋁ q ) ⋀ ( r ⋀ s ) ) 的 真 值 为 1 \because{q}\bigvee{r}的真值为1,{p}\bigvee{q}的真值为0,{r}\bigwedge{s}的真值为1\\ \therefore({p}\bigwedge({q}\bigvee{r}))\rightarrow(({p}\bigvee{q})\bigwedge({r}\bigwedge{s}))的真值为1 qr1,pq0rs1(p(qr))((pq)(rs))1

0x100 参考资料

屈婉婷《离散数学(第五版)》——第一章 命题逻辑

公式使用LaTeX😆

  • 5
    点赞
  • 18
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值