作者LongboardDC (薰儿和她的长板)
看板Math
标题Re: 请教一题等价的证明
时间Sat Oct 16 01:14:58 2021
※ 引述《rfvbgtsport (uygh)》之铭言：
: https://i.imgur.com/YnktdrT.jpg
: 请教大大们，这一题该如何证明？可否指点一下，谢谢
(手机使用者请用ANSI模式阅读)
～[rＶ
(qΛ
(～r→～p
))]
≡～[rＶ
(qΛ
(～～rＶ～p
))] Material implication
≡～[rＶ
(qΛ
(rＶ～p
))] Double negation
≡～[rＶ
((qΛr
)Ｖ
(qΛ～p
))] Distribution
≡～[
(rＶ
(qΛr
))Ｖ
(qΛ～p
)] Associativity
≡～[
(rＶ
(rΛq
))Ｖ
(qΛ～p
)] Commutativity
≡～[rＶ(qΛ～p)] Absorption law
≡～[rＶ(～pΛq)] Commutativity
≡～[rＶ(～pΛ～～q)] Double negation
≡～[rＶ
(～
(pＶ～q
))] De Morgan's law
≡～rΛ[～～(pＶ～q)] De Morgan's law
≡～rΛ(pＶ～q) Double negation
Material implication:
(p→q)≡(～pＶq)
Double negation:
p≡～～p
Distribution:
[pΛ(qＶr)]≡[(pΛq)Ｖ(pΛr)]
[pＶ(qΛr)]≡[(pＶq)Λ(pＶr)]
Associativity:
[pＶ(qＶr)]≡[(pＶq)Ｖr]
[pΛ(qΛr)]≡[(pΛq)Λr]
Commutativity:
pＶq≡qＶp
pΛq≡qΛp
Absorption laws:
pＶ(pΛq)≡p
pΛ(pＶq)≡p
De Morgan's laws:
～(pΛq)≡(～pＶ～q)
～(pＶq)≡(～pΛ～q)
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 111.242.45.143 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1634318100.A.CF3.html
※ 编辑: LongboardDC (111.242.45.143 台湾), 10/16/2021 01:32:49
※ 编辑: LongboardDC (111.242.45.143 台湾), 10/16/2021 01:35:52
※ 编辑: LongboardDC (111.242.45.143 台湾), 10/16/2021 03:23:57
1F：推 rfvbgtsport : 谢谢大大 10/16 12:23