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

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

P ∨ Q, ¬P, Q → R ⊢ R

Pasos disponibles

P ∨ QPremisa
¬PPremisa
Q → RPremisa
QSilogismo Disyuntivo (1, 2)
RModus Ponens (3, 4)

Objetivo: Demostrar R

Arrastra los pasos aquí para construir tu prueba