0:00
GemiddeldLogische EquivalentieBewijs Voltooiing

Voltooi het volgende bewijs door contradictie:

  1. P → Q (Premisse)
  2. P (Premisse)
  3. ¬Q (Premisse)
  4. _____ (?)
  5. _____ (?)

Doel: Leid een contradictie af

P → Q, P, ¬Q ⊢ ⊥

Doel: Bewijs ?

Klik op de lege velden om het bewijs in te vullen