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

完成以下证明：

  1. P ↔ Q (前提)
  2. Q ↔ R (前提)
  3. P (前提)
  4. _____ (?)
  5. _____ (?)

目标：证明 R

P ↔ Q, Q ↔ R, P ⊢ R

目标：证明 ?

点击空白字段填写证明