0:00
GevorderdLogische EquivalentieBewijs

Gegeven de premissen:

  1. P ∨ Q
  2. ¬P

Bewijs: Q

P ∨ Q, ¬P ⊢ Q

Doel: Bewijs ?

Bouw je bewijs stap voor stap

1.
P ∨ Q
Premisse
2.
¬P
Premisse