Ir al contenido

Usuario:Rafael~eswikibooks/ejercicio 21

De Wikilibros, la colección de libros de texto de contenido libre.

DEMOSTRAR: ¬p

  1. p¬(sq)................p1
  2. hq...........................p2
  3. ps...........................p3
  4. h..................................p4

_________________________________________

5. hp.........................p5 (doble simplificacion p4)

6. sq.........................p6 (regla del dilema p2,p3,p5)

7. ¬p................................conclusion (tollendo tollens p1,p7)













________________________________________