0:00
AvanzadoEquivalencia LógicaCompletar Demostración

Completa la siguiente demostración:

  1. P ↔ Q (Premisa)
  2. Q ↔ R (Premisa)
  3. P (Premisa)
  4. _____ (?)
  5. _____ (?)

Objetivo: Demostrar R

P ↔ Q, Q ↔ R, P ⊢ R

Objetivo: Demostrar ?

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