0:00
IntermedioEquivalencia 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 R

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

1.
P → Q
Premisa
2.
Q → R
Premisa
3.
P
Premisa
4.
Q
Seleccionar regla
Seleccionar referencias de línea
5.
R
Seleccionar regla
Seleccionar referencias de línea