0:00
AvanzadoEquivalencia LógicaCompletar Demostración

Completa la siguiente demostración usando análisis de casos:

  1. P ∨ Q (Premisa)
  2. P → R (Premisa)
  3. Q → R (Premisa)
  4. Caso 1: Suponer P
  5. _____ (?)
  6. Caso 2: Suponer Q
  7. _____ (?)
  8. _____ (?)

Objetivo: Demostrar R

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

Objetivo: Demostrar ?

Haz clic en los campos vacíos para completar la demostración