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

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

Pasos Disponibles:

  • Q → R (Premisa)
  • ¬R (Premisa)
  • ¬Q (Modus Tollens en 1, 2)
  • P → Q (Premisa)
  • ¬P (Modus Tollens en 4, 5)

Objetivo: Demostrar ¬P

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

Pasos disponibles

Todos los pasos usados en la prueba

Objetivo: Demostrar Q

Arrastra los pasos aquí para construir tu prueba