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

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

Pasos Disponibles:

  • R ∧ S (Introducción de Conjunción en 5, 6)
  • P ∧ Q (Premisa)
  • P (Eliminación de Conjunción en 1)
  • P → R (Premisa)
  • Q → S (Premisa)
  • R (Modus Ponens en 4, 3)
  • Q (Eliminación de Conjunción en 1)
  • S (Modus Ponens en 5, 7)

Objetivo: Demostrar R ∧ S

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

Pasos disponibles

Todos los pasos usados en la prueba

Objetivo: Demostrar Q

Arrastra los pasos aquí para construir tu prueba