离散数学—证明下列式子为永真式

离散数学—证明下列式子为永真式

梧桐不语 1年前 已收到1个回答 举报

蚂蚁囡囡 幼苗

共回答了18个问题采纳率:88.9% 举报

(p→q)∧(q→r)
=(~p∨q)∧(~q∨r)
=(~p∧(~q∨r))∨(q∧(~q∨r))
=((~p∧~q)∨(~p∧r))∨((q∧~q)∨(q∧r))
=(~p∧~q)∨(~p∧r)∨(0)∨(q∧r)
=(~p∧~q)∨(~p∨q)∧r)
=(~p∨((~p∨q)∧r))∧(~q∨((~p∨q)∧r))
= p∨(~p∨q))∧(~p∨r))∧(~q∨(~p∨q))∧(~q∨r)
=(~p∨q)∧(~p∨r))∧(~q∨r)
=((~p∨q)∧(~q∨r) ))∧(~p∨r)
即:
((p→q)∧(q→r)) = ((p→q)∧(q→r))∧( p→r)

1年前 追问

8

举报 蚂蚁囡囡

设 A=(p→q)∧(q→r), B= p→r 由上有 A=A∧B 于是 ~A∨B=~(A∧B)∨B=~A∨~B∨B = 1 即 A=> B 恒成立。 所以:(p→q)∧(q→r)=> p→r

梧桐不语 举报

第二个呢~

举报 蚂蚁囡囡

(P∧(P→Q))→Q<=>(p∧(┐P∨Q))→Q <=>┐((P∧┐P)∨(P∧Q))∨Q <=>┐(F∨(P∧Q))∨Q <=>┐(P∧Q)∨Q <=>┐P∨┐Q∨Q <=>┐P∨T <=>T 所以原式是永真式

举报 蚂蚁囡囡

怎么样

梧桐不语 举报

OK~thx
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 0.023 s. - webmaster@yulucn.com