Usuario:Galindo6/ejercicio 19

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

ejercicios pagina 44

15.[editar]

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[editar]

 (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