Usuario:Galindo6/ejercicio 19

ejercicios pagina 44

15.

Usando la regla: P es la negación de ￢P, evitar la regla de doble negación en las deducciones siguientes:

1. Demostrar: ￢P

SOLUCION

 (1) P → ￢Q                 (premisa)
 (2) Q                       (premisa)
 (3) ￢P                      (modus tollens 1,2)

== pagina del solucionario == http://es.wikibooks.org/wiki/Pensamiento_Algor%C3%ADtmico:Solucionario