Usuario:Aaaw04/ejercicio 12
Apariencia
Use el teorema de la deduccion para mostrar Q╞ ( P → Q ). Use este resultado para mostrar ╞ Q → ( P → Q ).
1. Q Premisa 1. Q Suposicion 2. P Suposicion 2. P → Q 1, dem. previa 3. Q 1, copia 3. Q → ( P → Q ) 1,2, deduccion 4. P → Q 2,3, deduccion