0:00
MellanliggandeLogisk EkvivalensBevisavslutning

Komplettera följande bevis genom motsägelse:

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

Mål: Härleda en motsägelse

P → Q, P, ¬Q ⊢ ⊥

Mål: Bevisa ?

Klicka på de tomma fälten för att fylla i beviset