0:00
上級論理等価性証明完成

以下の証明を完成させなさい:

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

目標: R を証明する

P ↔ Q, Q ↔ R, P ⊢ R

目標: ?を証明する

空白のフィールドをクリックして証明を入力してください