0:00
MellanliggandeLogisk EkvivalensDra och Släpp Bevis

Ordna följande steg i rätt ordning för att bevisa S från de givna premisserna.

Mål: Bevisa S

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

Tillgängliga steg

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

Mål: Bevisa S

Dra steg hit för att bygga ditt bevis