0:00
GemiddeldLogische EquivalentieSleep en Laat Bewijs

Rangschik de volgende stappen in de juiste volgorde om S te bewijzen uit de gegeven premissen.

Doel: Bewijs S

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

Beschikbare stappen

P → QPremisse
Q → RPremisse
R → SPremisse
PPremisse
QModus Ponens (1, 4)
RModus Ponens (2, 5)
SModus Ponens (3, 6)

Doel: Bewijs S

Sleep stappen hierheen om je bewijs op te bouwen