Usuario:Alvaro Otero/ejercicio 20

  DEMOSTRAR QUE LA PROPOSICION (P => Q) V (Q => P) ES UNA TAUTOLOGIA

  SOLUCION

  La negación de (P => Q) v (Q => P), (sabiendo que ~(a => b) <=> a ^ ~b, por De Morgan),
es ~((P => Q) v (Q => P)) <=> ~(P => Q) ^ ~(Q => P) <=>  (P ^~Q) ^(Q ^ ~P),
que es una contradicción, lo que prueba que la sentencia dada es una tautología.