1.2练习题解答
15,证明(p→q) Λ (q→r) → (p→r)是永真式
证明过程
(p→q) Λ (q→r) → (p→r)
=¬[(p→q) Λ (q→r)] V (p→r) 设x=(p→q)Λ(q→r),y=(p→r),x→y=¬xVy
=[¬(p→q) V ¬(q→r)] V (p→r) 根据德摩根定律,展开¬[(p→q)Λ(q→r)]
=¬(p→q) V [¬(q→r) V (p→r)] 根据结合律
=¬(p→q) V [¬(¬q V r) V(¬p V r)] 将x→y变换为¬xVy
=¬(p→q) V [(q Λ ¬r) V ¬p V r] 根据德摩根定律,展开¬(¬qVr)
=¬(p→q) V [(q Λ ¬r) V r] V ¬p 根据结合律
=¬(p→q) V [(q V r) Λ (¬r V r)] V¬p 根据分配律展开(qΛ¬r)Vr
=¬(p→q) V [(q V r) Λ T] V ¬p 根据否定律,¬rVr=T
=¬(p→q) V (q V r) V ¬p 根据恒等律,(qVr)ΛT=qVr
=¬(p→q) V (¬p V q) V r 根据交换律
=¬(p→q) V (p→q) V r
=TVr 根据否定率¬(p→q)V(p→q)=T
=T 根据支配律
26,只用运算符↓构造一个等价于p→q的命题
根据NOR的定义可以知道p↓q等价于¬(p V q)
而根据幂等律p=p V p,所以¬p=¬(p V p)=p ↓ p
又已知p→q=¬p V q
先用↓构造简单p V q
p V q
=¬[¬(p V q)]
=¬(p↓q)
=(p ↓ q) ↓ (p ↓ q) 上面已经证明过¬p=p ↓ p
所以¬p V q
=(¬p ↓ q) ↓ (¬p ↓ q) 将¬p=p ↓ p代入得到
=[(p ↓ p) ↓ q] ↓ [(p ↓ p) ↓ q]
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 智能桌面机器人:用.NET IoT库控制舵机并多方法播放表情
· Linux glibc自带哈希表的用例及性能测试
· 深入理解 Mybatis 分库分表执行原理
· 如何打造一个高并发系统?
· .NET Core GC压缩(compact_phase)底层原理浅谈
· 新年开篇:在本地部署DeepSeek大模型实现联网增强的AI应用
· DeepSeek火爆全网,官网宕机?本地部署一个随便玩「LLM探索」
· Janus Pro:DeepSeek 开源革新,多模态 AI 的未来
· 上周热点回顾(1.20-1.26)
· 【译】.NET 升级助手现在支持升级到集中式包管理