0:00
PrincipianteEquivalencia LógicaCompletar Demostración
Completa las justificaciones faltantes para esta demostración.
Objetivo: Demostrar Q
P → Q, P ⊢ QObjetivo: Demostrar Q
Haz clic en los campos vacíos para completar la demostración
1.
P → Q
Premisa
2.
P
Premisa
3.
Q
Seleccionar regla
Seleccionar referencias de línea