离散数学证明逻辑蕴涵关系 (P→(Q→R))툡(P→Q)→(P→R)

2025-12-17 00:28:36
推荐回答(1个)
回答1:

1)┐s 前提引入
  2)q→s 前提引入
  3)┐q 1)2)拒取式
  4)(p∧┐q)→r 前提引入
  5)p 前提引入
  6)p∧┐q 3)5)合取
  7)r 6)4)假言推理
故结论成立.