Usuario:Aaaw04/ejercicio 12

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

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