题目：证明(p→q)∧(q→r)→(p→r)是永真式
请高手把证明过程写出来
其推理式为：(p→q)∧(q→r)→(p→r)，要求从(p→q)∧(q→r)能推导出p→r。以下用命题自然推理来证明：
①｛1｝(p→q)∧(q→r) P/∴p→r
②｛1｝p→q T①
③｛1｝q→r T①
④｛2｝p P
⑤｛12｝q T②④
⑥｛12｝r T③⑤
⑦｛1｝p→r D④⑥
①｛1｝(p→q)∧(q→r) P/∴p→r
②｛1｝p→q T①
③｛1｝q→r T①
④｛2｝p P
⑤｛12｝q T②④
⑥｛12｝r T③⑤
⑦｛1｝p→r D④⑥
温馨提示：答案为网友推荐，仅供参考
第1个回答 2013-12-02
永真式
p→(p∨q∨r)
《＝》┐p∨(p∨q∨r)
《＝》(┐p∨p)∨(q∨r)
《＝》1∨(q∨r)
《＝》1
p→(p∨q∨r)
《＝》┐p∨(p∨q∨r)
《＝》(┐p∨p)∨(q∨r)
《＝》1∨(q∨r)
《＝》1
