0:00
GevorderdLogische EquivalentieBewijs Voltooiing

Completeer het volgende bewijs met behulp van gevallenanalyse:

  1. P ∨ Q (Premisse)
  2. P → R (Premisse)
  3. Q → R (Premisse)
  4. Geval 1: Veronderstel P
  5. _____ (?)
  6. Geval 2: Veronderstel Q
  7. _____ (?)
  8. _____ (?)

Doel: Bewijs R

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

Doel: Bewijs ?

Klik op de lege velden om het bewijs in te vullen