0:00
AdvancedLogical EquivalenceProof

Given the premises:

  1. P ∨ Q
  2. ¬P

Prove: Q

P ∨ Q, ¬P ⊢ Q

Goal: Prove Q

Build your proof step by step

1.
P ∨ Q
Premise
2.
¬P
Premise