Question

帮忙证明一道离散数学的逻辑证明题

Answer 1

其推理式为：(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④⑥