0:00
MellomLogisk EkvivalensDra og Slipp Bevis

Ordne følgende steg i riktig rekkefølge for å bevise S fra de gitte premissene.

Mål: Bevis S

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

Tilgjengelige trinn

P → QPremiss
Q → RPremiss
R → SPremiss
PPremiss
QModus Ponens (1, 4)
RModus Ponens (2, 5)
SModus Ponens (3, 6)

Mål: Bevis S

Dra trinn hit for å bygge beviset ditt