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

前提が以下のように与えられた場合:

  1. P ∨ Q
  2. ¬P

証明せよ: Q

P ∨ Q, ¬P ⊢ Q

目標: ?を証明する

証明を段階的に構築する

1.
P ∨ Q
前提
2.
¬P
前提