赞 ssjjqq5506 幼苗
共回答了18个问题采纳率：94.4% 举报
逻辑上的“蕴含→”,是指 A→B 等同于 ┐A∨B
而 ┐p→q 则等同于 ┐(┐p)∨q ,即 p∨q
(┐p→q)→(┐q∨p)
⇔ ┐(┐p→q)∨(┐q∨p)
⇔ ┐(p∨q)∨(┐q∨p)
⇔┐p∧┐q∨┐q∨p
⇔（┐p∧┐q∨┐q）∨p
⇔┐q∨p
而 ┐p→q 则等同于 ┐(┐p)∨q ,即 p∨q
(┐p→q)→(┐q∨p)
⇔ ┐(┐p→q)∨(┐q∨p)
⇔ ┐(p∨q)∨(┐q∨p)
⇔┐p∧┐q∨┐q∨p
⇔（┐p∧┐q∨┐q）∨p
⇔┐q∨p
1年前
6
可能相似的问题
-
1年前1个回答
-
1年前1个回答
-
1年前1个回答
-
1年前1个回答
-
求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦
1年前1个回答
-
1年前2个回答