0:00
MellemliggendeLogisk ÆkvivalensBevisfuldførelse

Fuldfør følgende bevis ved modstrid:

  1. P → Q (Præmis)
  2. P (Præmis)
  3. ¬Q (Præmis)
  4. _____ (?)
  5. _____ (?)

Mål: Aflед en modstrid

P → Q, P, ¬Q ⊢ ⊥

Mål: Bevis ?

Klik på de tomme felter for at udfylde beviset