0:00
難易度: 上級カテゴリ: 論理等価性タイプ: 証明完成場合分けを使って以下の証明を完成させなさい:
- P ∨ Q (前提)
- P → R (前提)
- Q → R (前提)
- Case 1: P を仮定
- _____ (?)
- Case 2: Q を仮定
- _____ (?)
- _____ (?)
目標: R を証明する
P ∨ Q, P → R, Q → R ⊢ R目標: ?を証明する
空白のフィールドをクリックして証明を入力してください
場合分けを使って以下の証明を完成させなさい:
目標: R を証明する
P ∨ Q, P → R, Q → R ⊢ R空白のフィールドをクリックして証明を入力してください