0:00
高级逻辑等价证明完成

使用情况分析完成以下证明：

  1. P ∨ Q (前提)
  2. P → R (前提)
  3. Q → R (前提)
  4. 情况1：假设 P
  5. _____ (?)
  6. 情况2：假设 Q
  7. _____ (?)
  8. _____ (?)

目标：证明 R

P ∨ Q, P → R, Q → R ⊢ R

目标：证明 ?

点击空白字段填写证明