0:00
IntermedioEquivalencia LógicaDemostración Arrastrar y Soltar

Organiza los siguientes pasos en el orden correcto para probar S a partir de las premisas dadas.

Objetivo: Probar S

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

Pasos disponibles

P → QPremisa
Q → RPremisa
R → SPremisa
PPremisa
QModus Ponens (1, 4)
RModus Ponens (2, 5)
SModus Ponens (3, 6)

Objetivo: Demostrar S

Arrastra los pasos aquí para construir tu prueba