Usuario:Alvaro Otero/ejercicio 12

Demostrar que las siguientes proposiciones son tautologias

a) (p => q) <=> (¬q => ¬p)

b) (p => ¬p) => ¬p

SOLUCION

a)

   (p => q) <=> (¬q => ¬p)
   (p => q) <=> (p => q)
    por lo tanto es una tautología

b)

   (¬p v ¬p)=> ¬p
  ¬(¬p v ¬p) v ¬p
  ¬(¬p) v ¬p
   p v ¬p
   V