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
規則を選択
行参照を選択