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

完成以下证明：

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

目标：证明 R

P → Q, Q → R, P ⊢ R

目标：证明 R

点击空白字段填写证明

1.
P → Q
前提
2.
Q → R
前提
3.
P
前提
4.
Q
选择规则
选择行引用
5.
R
选择规则
选择行引用