0:00
AvanceretLogisk ÆkvivalensTræk og Slip Bevis

Arrangér følgende trin i den rigtige rækkefølge for at bevise ¬P ud fra de givne præmisser.

Tilgængelige trin:

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

Mål: Bevis ¬P

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

Tilgængelige trin

Alle trin brugt i bevis

Mål: Bevis Q

Træk trin hertil for at bygge dit bevis