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

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

Objetivo: Demostrar Q

P → Q, P ⊢ Q

Pasos disponibles

P → QPremisa
PPremisa
QModus Ponens (1, 2)

Objetivo: Demostrar Q

Arrastra los pasos aquí para construir tu prueba