0:00
Dificultad: PrincipianteCategoría: Equivalencia LógicaTipo: Completar DemostraciónCompleta 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