0:00
AvansertLogisk EkvivalensDra og Slipp Bevis

Arranger følgende steg i riktig rekkefølge for å bevise ¬P fra de gitte premissene.

Tilgjengelige steg:

  • Q → R (Premiss)
  • ¬R (Premiss)
  • ¬Q (Modus Tollens på 1, 2)
  • P → Q (Premiss)
  • ¬P (Modus Tollens på 4, 5)

Mål: Bevis ¬P

P → Q, Q → R, ¬R ⊢ ¬P

Tilgjengelige trinn

Alle trinn brukt i bevis

Mål: Bevis Q

Dra trinn hit for å bygge beviset ditt