Algunos consejos para los ejercicios con reglas

La deduccin tiene un poco de arte, y como tal requiere cierta prctica. Lo principal es tener siempre en cuenta cul es la frmula-conclusin que se quiere obtener, y manipular las frmulas por medio de las reglas hasta obtener la conclusin deseada. Lo siguiente son algunos consejos muy generales para evitar algunos errores tpicos a la hora de derivar. 1. Dise una estrategia Dos problemas tpicos al empezar una derivacin son el bloqueo mental y la precipitacin. El bloqueo consiste en que uno se encuentra ante la deduccin que se le pide y no sabe por dnde empezar. La precipitacin es lo opuesto: uno empieza a aplicar reglas al tuntn sobre las premisas que se le dan. Contra estos problemas el antdoto es disear una estrategia para atacar la deduccin: a) Fijate en la forma de la conclusin. sta a menudo te va a dar una pista de qu estrategia es apropiada. Ejemplos: Se trata de una conjuncin: |- . . En este caso, si podemos obtener cada uno de los conyuntos y , por separado, habremos logrado el objetivo, pues bastar con aplicar Prod. Problo con este ejercicio (con los nmeros se indican las premisas, y con la conclusin): 1 2 3 (p q) r r q p |- r . q

Se trata de una disyuncin: . En este caso, bastara con obtener uno cualquiera de los disyuntos, o , para obtener la conclusin, pues bastara con aplicar Ad. Ejercicio: 1 2 3 q (r . p) s q s |- r q

Se trata de un condicional: |- . Aqu podramos intentar introducir en algn momento como supuesto el antecedente , y ver si podemos obtener el consecuente . Si lo conseguimos, cerraremos el proceso aplicando TD. Ejercicio: 1 2 3 p (r . q) rs q t |- p (s . t)

Se trata de un bicondicional: |- Aqu necesitaramos obtener dos condicionales, y e unirlos con la regla de IB (introduccin del bicondicional). Ejercicio: 1 2 q . (r p) p (q r) |- p r

Se trata de una negacin: . Habr que fijarse en la conectiva principal de la frmula, y habr que pensar que la RA (poniendo como hiptesis) puede ser una buena estrategia. Ejercicio: 1 r (q . p) 2 p (r q) |- (r . p)

b) Fijte en la forma de las premisas. Intent ver si los elementos que componen la conclusin se encuentran como partes en las diferentes premisas. Algunas partes de las frmulas que sern ms fciles de obtener que otras. And obtenindolas para que salte a la vista la posible aplicacin de nuevas reglas. c) Manipula la conclusin antes de empezar a derivar. Supongamos que se te pide derivar (p r). Escrib en borrador alguna de sus posibles equivalencias: (p . r), (p r), (r p) (esta ltima es menos evidente, pero fijte en ella). Si pods obtener desde las premisas alguna de esas frmulas, tendrs la conclusin en el bolsillo. 2. No inventes reglas! A veces uno intenta obtener lneas de derivacin que ninguna regla autoriza. Un ejemplo tpico es eliminar gratuitamente el disyuntor: 1 2 p q p (???)

No hay ninguna regla que permita pasar de 1 a 2. El disyuntor nos dice que al menos uno de los disyuntos es verdadero, pero no nos dice cul. No hay que confundir este paso errneo con el paso lcito de: 1 2 p . q p Simp1, 1

El conjuntor s que nos permite obtener cualquiera de los conyuntos, pues afirma la verdad de ambos. Otro ejemplo tpico ocurre al intentar eliminar el disyuntor usando silogismo disyuntivo: 1 2 3 p q p q Premisa Premisa SD 1, 2 ????

Para poder llegar a q necesito la negacin del otro disyunto p, la cual es p (o lo que es lo mismo: p) Otro problema viene de confundir o mezclar las reglas relacionadas con las leyes de De Morgan. Por ejemplo: de ( ) se sigue , pero no 3. Ojo con los negadores fuera de parntesis Sabemos por las leyes de De Morgan que (p . q) es equivalente a p q, y que (p q) es equivalente a p . q. Tenemos reglas que me permiten ir de una de esas frmulas a su equivalente, eliminando (o aadiendo, segn el caso) el negador externo al parntesis. Pero no hay que confundirlas con los siguientes pasos ilcitos: 1 2 (p . q) p . q (???) 1 2 (p q) p q (???)

Al eliminar el negador externo, hay que cambiar la conectiva del parntesis. 4. El poder del absurdo

La regla RA es prctica en muchos casos. Pero uno tiene que fijarse bien en cul es la conclusin que se pide, para colocar su negacin como hiptesis de partida. Si se nos pide |- p q su negacin ser: (p q) y no: (p q). A partir de ah, uno tiene que intentar llegar a una contradiccin. La contradiccin puede venir expresada con constantes proposicionales: p . p Pero tambin puede ser una contradiccin que involucre frmulas ms largas: (p r) . (p r). La cuestin es que la contradiccin se ajuste al esquema . . La RA, junto con el TD, es una regla que se puede usar para demostrar teoremas sin necesidad de partir de premisa alguna. Supongamos que queremos demostrar que es un teorema: podemos partir primero de su negacin, , como hiptesis; si a partir de ah llegamos a una contradiccin, entonces hemos demostrado que es teorema. Ejemplo: Demuestra por medio de RA que (p . (q p)) es un teorema. 5. Vuelve la vista arriba Cuando se llevan obtenidas varias lneas de derivacin, a veces uno se centra demasiado en las ltimas lneas y se olvida de las lneas de ms arriba. Pero es conveniente echar la vista atrs: mira las primeras lneas y pregntate si se pueden combinar con alguna de las que acabas de obtener. Sobre todo, fjate en si hay alguna premisa que an no has utilizado. Normalmente (aunque no siempre), cuando se dan varias premisas es porque vamos a tener que jugar con todas ellas tarde o temprano. 6. No saltarse el corchete Cuando introducimos un supuesto, lo indicamos marcndolo a la izquierda con un corchete. Todo aquello que obtenemos dentro del corchete tiene carcter provisional. Solamente cuando sacamos una frmula fuera del corchete (de todos los corchetes que hayas abierto) podemos decir que se sigue de las premisas. Para ello hay que cerrar el corchete y esto slo se puede hacer con TD, RA y CASOS. Las siguientes derivaciones son incorrectas: 1 p q Pr. 1 r (p q) Pr

2 3 4

p q q

Sup. MP 1, 2 ???

2 3 4 5

p pq r r

Sup. Ad. 2 MT 1,3 ???

En la primera slo podemos obtener otra vez p q (TD 2-3) En la segunda podramos obtener p r (TD 2-4) 7. Las 3 (meta)reglas fundamentales Son las mismas que para el ajedrez!! (i) (ii) (iii) Cuidadosamente Cuidadosamente Cuidadosamente