逻辑基础

最新推荐文章于 2023-05-10 19:45:53 发布

TD_时缔

最新推荐文章于 2023-05-10 19:45:53 发布

阅读量938

点赞数

分类专栏：数学

本文链接：https://blog.csdn.net/emperor_21ad_shidi/article/details/54344993

版权

这篇内容详细阐述了逻辑等价的基本规则，包括恒等律、支配律、幂等律、双非律等，并介绍了条件逻辑等价和双条件逻辑等价的概念。此外，还探讨了命题函数、量词的使用，如全称量词和存在量词，以及量词的德摩根律。内容中提到了量词的优先级和绑定变量的规则，帮助理解逻辑表达式的运算。

摘要由CSDN通过智能技术生成

逻辑等价

p∧T≡p
p∨F≡p 恒等律

p∨T≡T
p∧F≡F 支配律

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∨r)∧(p∨q)
p∧(q∨r)≡(p∧q)∨(p∧r) 分配律

┐(p∧q)≡┐p∨┐q
┐(p∨q)≡┐p∧┐q 德摩根律

p∧(p∨q)≡p
p∨(p∧q)≡p 吸收律

p∧┐p≡F
p∨┐p≡T 否定律

条件逻辑等价

p→q≡┐p∨q
p→q≡┐q→┐p
p∨q≡┐p→q
p∧q≡┐(p→┐q)
(p→q)∧(p→r)≡p→(q∧r)
(p→r)∧(q→r)≡(p∨q)→r
(p→q)∨(p→r)≡p→(q∨r)
(p→r)∨(q→r)≡(p∧q)→r
http://www.hdb.com/party/npb8u?hdb_from=AQQ 互动吧指南车
双条件逻辑等价

p←→q≡(p→q)∧(q→p)
p←→q≡┐p←→┐q
p←→q≡(p∧q)∨(┐p∧┐q)
┐(p←→q)≡p←→┐q

命题函数 P(x) P为谓词 x为变量
Q(x,y) 变量被赋值后有真值
P(x1,x2,…，xn)表示命题P在n元组(x1,x2,…&#x