0:00
Dificultad: IntermedioCategoría: Equivalencia LógicaTipo: DemostraciónDadas las premisas:
- P → Q
- P
Demostrar: Q
P → Q, P ⊢ QObjetivo: Demostrar ?
Construye tu prueba paso a paso
1.
P → Q
Premisa
2.
P
Premisa
Dadas las premisas:
Demostrar: Q
P → Q, P ⊢ QConstruye tu prueba paso a paso