0:00
MellemliggendeLogisk ÆkvivalensTræk og Slip Bevis

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

Mål: Bevis S

P → Q, Q → R, R → S, P ⊢ S

Tilgængelige trin

P → QPræmis
Q → RPræmis
R → SPræmis
PPræmis
QModus Ponens (1, 4)
RModus Ponens (2, 5)
SModus Ponens (3, 6)

Mål: Bevis S

Træk trin hertil for at bygge dit bevis