((p→q)∧(q→r))→(p→r)
<==> ┐((┐p∨q)∧(┐q∨r))∨(┐p∨r)
<==> (┐(┐p∨q)∨┐(┐q∨r))∨(┐p∨r)
<==> ((p∧┐q)∨(q∧┐r))∨(┐p∨r)
<==> ((p∧┐q)∨┐p)∨((q∧┐r)∨r)
<==> ((p∨┐p)∧(┐q∨┐p))∨((q∨r)∧(┐r∨r))
<==> (1∧(┐q∨┐p))∨((q∨r)∧1)
<==> (┐q∨┐p)∨(q∨r)
<==> (┐q∨q)∨(┐p∨r)
<==> 1∨(┐p∨r)
<==> 1
即该命题公式是永真式。
这个是永真式
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024