求证 p∨(q→p) ≡q→p

WO是谁的宝贝 1年前 已收到1个回答 举报

-烟雨飘遥- 幼苗

共回答了21个问题采纳率:85.7% 举报

q→p的等值式是┐q∨p,所以
p∨(q→p) ≡ p∨(┐q∨p) ≡ ┐q∨p ≡ q→p

1年前 追问

7

WO是谁的宝贝 举报

请问一下 为什么p∨(┐q∨p) ≡ ┐q∨p 中的p∨ 可以直接去掉呢~~~谢谢

举报 -烟雨飘遥-

p∨(┐q∨p) ≡ p∨p∨┐q ≡ ┐q∨p ≡ q→p 交换律 p∨p ≡ p,这个是等幂律
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 0.042 s. - webmaster@yulucn.com