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

前提が以下のように与えられている:

  1. P → Q
  2. R → S
  3. P ∨ R

証明せよ: Q ∨ S

P → Q, R → S, P ∨ R ⊢ Q ∨ S

目標: ?を証明する

証明を段階的に構築する

1.
P → Q
前提
2.
R → S
前提
3.
P ∨ R
前提