Resumen de deducci on natural

F. Javier Gil Chica 2010

1.

Orientaci on de estas notas

El c alculo de argumentos mediante tablas de verdad es un m etodo r apido y seguro. Tambi en mec anico, puesto que se puede programar. Pero, por esa misma raz on, deja poco espacio al razonamiento. Una objecci on que tambi en se le ha hecho es el excesivo espacio necesario para almacenar las tablas de verdad, que crece como 2n , siendo n el n umero de sentencias at omicas de un argumento. En realidad, no es precio almacenar la tabla entera para decidir despu es si el argumento es v alido o no, y, adem as, la capacidad de los ordenadores actuales cubre m as all a que cualquier necesidad pr actica. Queda en pie entonces el hecho de que, siendo un procedimiento mec anico, deja sin ejercitar en el estudiante precisamente el razonamiento l ogico. Por eso la conveniencia de un m etodo alternativo. A este m etodo se le llama deducci on natural porque se basa en unas pocas reglas evidentes por s mismas, o bien demostrables con facilidad mediante el m etodo de las tablas de verdad. A partir de estas reglas simples pueden demostrarse argumentos m as complejos. El tema est a desarrollado paso a paso, con abundancia de ejemplos y todas las explicaciones necesarias, en el texto de Hardegree, cap tulo 5, a lo largo de unas 50 p aginas. Es perfecto para un primer estudio del tema, pero se vuelve farragoso cuando lo que se quiere es un refresco r apido del tema. Entonces el ritmo pausado se vuelve excesivamente parsimonioso. De ah estas pocas notas, que, siguiendo el texto citado, adoptan un estilo m as conciso y una exposici on m as informal.

2.

Reglas, notaci on, estrategias

Dos aspectos son importantes: qu e conjunto de reglas b asicas elegir y qu e notaci on adoptar en las demostraciones. Respecto a lo primero, propondremos unas pocas reglas b asicas que ampliaremos con otras cuando sea 1

necesario, para completar el cuadro. Respecto a lo segundo, no seremos excesivamente formales: adoptaremos una notaci on que sea visualmente adecuada a lo que hacemos y en lugar de denirla formalmente simplemente proponemos el principio de mira c omo se hace e im talo. Hay un tercer aspecto, y es el de las estrategias adecuadas para seg un qu e demostraciones. Procederemos desde las m as sencillas a las m as complejas, ilustrando estas notas con alguno de los muchos ejemplos y ejercicios contenidos en nuestro texto de referencia. T engase presente que las conectivas forman sentencias a partir de sentencias. Por consiguiente, tienen la misma forma los argumentos (por ejemplo) PQ;P/Q y (PQ)(PR);PQ/PR. Por este motivo usaremos letras may usculas para sentencias simples o compuestas. Es decir, una letra representa o una sentencia simple o una f ormula.

3.

Reglas b asicas

Las reglas b asicas, es decir, los argumentos b asicos a partir de los cuales se demuestran argumentos m as complejos son los tres siguientes: Modus ponens: PQ;P/ Q Modus tollens: PQ;Q/P Modus tollendo ponens: PQ;P/Q o bien PQ;Q/P Veamos algunos ejemplos, para lo cual introduciremos una notaci on a tres columnas: la primera columna contiene el n umero de l nea. La segunda columna contiene propiamente las l neas de la demostraci on. La tercera columna es un comentario a cada l nea, que indica c omo se produjo esa l nea. Ejemplo: demostrar P;PQ;QR/R. (1) (2) (3) (4) (5) (6) P PQ QR R Q R Premisa Premisa Premisa ?? 1,2,MP 3,5,MP

Las tres primeras l neas son premisas, como se indica en la tercera columna. La cuarta establece qu e es lo que hay que demostrar. La l nea (5) se obtiene de la (1) y la (2) aplicando modus ponens (1,2,MP); La l nea (6) 2

proviene de (3) y (5) por aplicaci on de modus ponens. Obtenida la conclusi on, R, termina la demostraci on. Apliquemos ahora el m etodo mira e imita escribiendo algunas demostraciones m as. 1 Demostrar PQ;QR;RS;S/P: (1) (2) (3) (4) (5) (6) (7) (8) Demostrar
2

PQ QR RS S P R Q P

Pr Pr Pr Pr ?? 3,4,MT 2,6,MT 1,7,MT

PQ;P;QR/R: (1) (2) (3) (4) (5) (6) P Q P QR R Q R Pr Pr Pr ?? 1,2,MTP 3,5,MP

Demostrar

PQ;P;RQ;RS/S: (1) (2) (3) (4) (5) (6) (7) (8) PQ P RQ RS S Q R S Pr Pr Pr Pr ?? 1,2,MTP 3,6,MT 4,7,MP

1 2

p ag. 206, ejerc. 2 p ag. 206, ejerc. 4 3 p ag. 206, ejerc. 6

Demostrar

PQ;RQ;RS; S/P: (1) (2) (3) (4) (5) (6) (7) (8) PQ RQ RS S P R Q P Pr Pr Pr Pr ?? 3,4,MT 2,6,MP 1,7,MTP

Demostrar

(PQ)(RS);(RT)(PQ);(RT) /RS: (1) (2) (3) (4) (5) (6) (PQ)(RS) (RT)(PQ) (RT) RS PQ RS Pr Pr Pr ?? 2,3,MTP 1,5,MP

Demostrar

(PQ)R;[(PQ)R]R; (PQ)(QR)/Q: (1) (2) (3) (4) (5) (6) (7) (8) (PQ)R [(PQ)R]R (PQ)(QR) Q R PQ QR Q Pr Pr Pr ?? 1,2,MP 1,5,MTP 3,6,MP 5,7,MT

4.

M as reglas

Introduciremos m as reglas, que permiten demostrar argumentos m as complejos. De nuevo estas reglas, o bien son evidentes por s mismas, o bien se demuestran sin dicultad mediante tablas de verdad. Usaremos la notaci on ac, donde a puede ser o bien i, de introducir o bien e, de eliminar y o es una conectiva. Por ejemplo, i& es la regla introducir la conjunci on y e es la regla eliminar la disyunci on. Pues bien, estas son las nuevas reglas:
4 5

p ag. 206, ejerc. 16 p ag. 206, ejerc. 18 6 p ag. 206, ejerc. 20

i&: A;B/A&B e&; A&B/A o A&B/B i: A/AB e: AB;A/B o AB;B/A e: AB;A/B i: AB;BA/AB e: AB/AB o AB/BA : A/A o A/A La u ltima regla tiene nombre especial: es la introducci on o eliminaci on de la doble negaci on. Del resto de reglas, e es nuestra conocida MTP; e es nuestra conocida MP.

5.

M as ejemplos que ilustran las reglas reci en dadas

Demostrar
7

P&Q;(PR)S/P&S: (1) (2) (3) (4) (5) (6) (7) P&Q (PR)S P&S P P R S P&S Pr Pr ?? 1,e& 4,i 2,5,MP 4,6,i&

Demostrar

PQ;PR;Q/R&P: (1) (2) (3) (4) (5) (6) (7) PQ P R Q P&P P R R&P Pr Pr Pr ?? 1,4,MT 2,5,MTP 5,6,i&

7 8

p ag. 207, ejerc. 22 p ag. 207, ejerc. 24

Demostrar

PQ;RQ;RS;(P&S)T/T: (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) PQ RQ R&S (P&S)T T R Q P S P&S T Pr Pr Pr Pr ?? 3,e& 2,6,MTP 1,7,MT 3,e& 8,4,i& 4,10,MP

Demostrar

10

PQ;Q;PS/S: (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) PQ Q PS S PQ Q P SP S S Pr Pr Pr ?? 1,e 2, 5,6,MT 3,e 7,8,MT 9,

Demostrar

11

PQ;(PQ)(QP);(PQ)P/P&Q: (1) (2) (3) (4) (5) (6) (7) (8) (9) PQ (PQ)(QP) (PQ)P P&Q QP PQ P Q P&Q Pr Pr Pr ?? 1,2,MP 1,5,i 3,6,MP 1,7,MP 7,8,i&

p ag. 207, ejerc. 26 p ag. 207, ejerc. 36 11 p ag. 207, ejerc. 38

10

Demostrar 12 P&Q;Q(RS);VP;V(SR);(RS)T; U(Q&T)/U: (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15) (16) (17) (18) (19) P&Q Q(RS) VP V(SR) (RS)T U(Q&T) U P P V V SR Q RS SR T T&Q (T&Q)U U Pr Pr Pr Pr Pt Pr ?? 1,e& 8, 3,9,MT 10, 4,11,MP 1,e& 2,13,MTP 12,14,i 5,15,MP 13,16,i& 6,e 17,18,MP

6.

Derivaci on condicional

Hay una clase de demostraciones donde se desea probar que AB. Esto no es probar A, ni probar B dado A mediante modus ponens. De hecho, en este tipo de problemas las premisas no permiten establecer A. Ahora bien: no es esto lo que se pide. Bien entendido, AB signica que si A fuese cierto, entonces B. Por tanto, es irrelevante si A es o no es cierto. La estrategia consiste en suponer A y entonces demostrar B. Veamos dos primeros ejemplos: Demostrar 13 (PQ)R/QR: (1) (2) (3) (4) (5)
12 13

(PQ)R QR Q P Q R

Pr Pr Sup 3,i 1,4,MP

p ag. 207, ejerc. 40 p ag. 208, ejerc. 41

Demostrar

14

QR/(P&Q)(P&R): (1) (2) (3) (4) (5) (6) (7) QR (P&Q)(P&R) P&Q P Q R P&R Pr ?? Sup 3,e& 3,e& 1,5,MP 4,6,i&

En el siguiente ejemplo introduciremos subdemostraciones dentro de demostraciones. Una demostraci on comienza con una l nea ?? y termina con aquello que se quiere probar. Cuando sea preciso insertar una subdemostraci on dentro de una demostraci on, se escribir an las l neas de la subdemostraci on desplazadas a la derecha, en tanto dure la subdemostraci on, al modo del ejemplo siguiente 15 : (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) PQ (QR)(PR) QR ** PR ** P **** R **** Q **** R ** PR (QR)(PR) Pr ?? Sup ?? Sup ?? 1,5,MP 3,7,MP 5,8,DC 3,9,DC

La l nea (2) muestra un condicional. Para demostrarlo, comenzamos suponiendo QR y tratando de demostrar que PR. Pero esta es ya una demostraci on dentro de la demostraci on original, y por eso nos desplazamos a la derecha. A su vez, esta nueva demostraci on es condicional. Suponemos P y tratamos de demostrar R, lo que supone un nuevo nivel de sub-demostraci on, que indicamos con un nuevo desplazamiento. El inicio de cada nivel est a se nalado con ?? en las l neas (2), (4) y (6). En cuanto al cierre de los subniveles, en la l nea (5) suponemos P y en la (8) obtenemos R, de donde cerramos el nivel m as interno escribiendo PR en la l nea (9), en cuya tercera columna hemos anotado DC (demostraci on condicional). De la misma forma, la suposici on de la l nea (3) y la obtenci on de PR en la (9) permite cerrar el primer nivel y dar por probado el resultado que se pide, en la l nea (10). El patr on entonces est a claro
14 15

p ag. 208, ejerc. 42 p ag. 208, ejerc. 43

(1) (2) (3) (4) (5) (6) (7)

AB A ** B ** ** B AB

?? Sup ??

DC

Este no es el patr on seguido en los dos primeros ejemplos de esta secci on, que son muy sencillos. Pero en lo sucesivo, para hacerlo de una forma sistem atica apta tanto para los casos sencillos como para los complejos, seguiremos este esquema. Demostrar 16 (P&Q)(RS)/(PQ)[(P&R)S]: (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (P&Q)(RS) (PQ)[(P&R)S] PQ ** (P&R)S ** P&R **** S **** P **** Q **** P&Q **** RS **** R **** S ** (P&R)S (PQ)[(P&R)S] Pr ?? Sup ?? Sup ?? 5,e& 3,7,MP 7,8,i& 1,9,MP 5,e& 10,11,MP 5,12,DC 2,13,DC

7.

Demostraci on por contradicci on

Puede suceder que no est e a disposici on regla alguna para demostrar una f ormula A. En ese caso, una posibilidad es suponer A y tratar de llegar a una contradicci on. Una contradicci on tiene la forma gen erica de Q&Q.

16

p ag. 208, ejerc. 48

Demostrar

17

PQ;QP/P: (1) (2) (3) (4) (5) (6) (7) (8) PQ QP P P Q P P&P P Pr Pr ?? Sup 1,4,MP 2,5,MP 4,6,i& 4,7,Co

Demostrar

18

PR;QR/(P&Q): (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) PR QR (P&Q) P&Q P Q R R R&R (P&Q) Pr Pr ?? Sup 4,e& 4,e& 1,5,MP 2,6,MP 7,8,i& 4,9,Co

Demostrar

19

P&Q/(PQ): (1) (2) (3) (4) (5) (6) (7) (8) P&Q (PQ) PQ P Q Q Q&Q (PQ) Pr ?? Sup 1,e& 3,4,MP 1,e& 5,6,i& 3,7,Co

17 18

p ag. 209, ejerc. 52 p ag. 209, ejerc. 54 19 p ag. 209, ejerc. 56

10

Demostrar

20

(P&Q)R/P(Q&R): (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (P&Q)R P(Q&R) P ** (Q&R) ** Q&R ** Q ** P&Q ** R ** R ** R&R (Q&R) Pr ?? Sup ?? Sup 5,e& 3,6,i& 1,7,MP 5,e& 8,9,i& 5,10,Co

Demostrar

21

P(Q&R)/(P&Q)R: (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) P(Q&R) (P&Q)R P&Q ** R ** R ** Q ** Q&R ** (Q&R) ** P ** P ** P&P R (P&Q)R Pr ?? Sup ?? Sup 3,e& 5,6,i& 7, 1,8,MT 3,e& 9,10,i& 5,11,Co 3,11,DC

20 21

p ag. 209, ejerc. 66 p ag. 209, ejerc. 68

11

Demostrar

22

P(QR)/(PR)(PQ): (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15) P(QR) (PR)(PQ) PR ** PQ ** P **** Q **** Q **** QR **** R **** R **** P **** P&P ** Q ** PQ (PR)(PQ) Pr ?? Sup ?? Sup ?? Sup 1,5,MP 7,8,MP 9, 3,10,MT 5,11,i& 7,12,Co 5,13,DC 3,14,DC

8.

Demostraci on de disyunciones

Una disyunci on tiene la forma AB, y se demuestra por reducci on al absurdo a partir de (AB), y con el auxilio de la siguiente regla (que llamamos e): (AB)/A (AB)/B Demostrar
23

(P&Q)/PQ: (1) (2) (3) (4) (5) (6) (7) (8) (9) (P&Q) PQ (PQ) P Q P Q P&Q PQ Pr ?? Sup 3,e 3,e 4, 5, 6,7,i& 1,8,Co

22 23

p ag. 209, ejerc. 70 p ag. 210, ejerc. 81

12

Demostrar

24

(PQ)(P&Q)/(P&Q)(P&Q): (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (PQ)(P&Q) (P&Q)(P &Q) [(P&Q)(P&Q)] (P&Q) (P&Q) (PQ) P Q P&Q (P&Q)(P&Q) Pr ?? Sup 3,e 3,3 1,4,MT 6,e 6,e 7,8,i& 5,9,Co

Puede suceder que el objetivo no sea la demostraci on de una disyunci on, sino que esta se encuentre disponible como medio para probar otra cosa. En general, dada AB y siendo preciso demostrar C, la estrategia consiste en demostrar A, de donde se sigue B, que queda disponible para la demostraci on de C. La regla de eliminaci on de la disyunci on (e) es evidente, o si se desea se puede probar mediante tablas de verdad: AB;A/B AB;B/A

9.

Conjunciones y bicondicionales

La demostraci on de una conjunci on A&B se traduce en la demostraci on de A seguida de la demostraci on de B. A su vez, estas demostraciones remiten a t ecnicas ya citadas, por lo que no incluyo ning un ejercicio al respecto. Ocurre igual con los bicondicionales AB que equivalen a la demostraci on de AB seguida de la demostraci on de BA. En cualquier caso, el texto de referencia contiene algunos ejemplos.

24

p ag. 201, ejerc. 90

13