Está en la página 1de 32

La lgica es la disciplina que se ocupa del estudio de los razonamientos, deducciones e o inferencias.

Por razonamiento entendemos un proceso en el cual se concluye una armacin o a partir de un conjunto de armaciones. Diremos que el razonamiento es correcto si cada vez que las armaciones iniciales son verdaderas, tambin lo es la armacin inferida. Una e o parte importante de la lgica est dedicada al estudio de los razonamientos correctos. Los o a razonamientos en matemticas deben ser de ese tipo y solamente de ellos hablaremos en este a libro. En este cap tulo, lo primero que haremos es precisar que tipo de armaciones podemos usar en los razonamientos y despus veremos cules son las reglas que permiten inferir una armae a cin a partir de otras. Esencialmente nos ocuparemos de la parte de la lgica llamada lgica o o o proposicional, que trata de la propiedades formales de las proposiciones y de las reglas de inferencia, todo esto con el n de facilitar el aprendizaje de mtodos para hacer demostraciones e que son una herramienta imprescindible para el estudio de las matemticas. El lector interesado a en profundizar el estudio de la lgica puede consultar los libros [3, 12]. o
ww w.

at e

m at

ic

a1

.c o

En matemticas es fundamental poder reconocer cundo un razonamiento es correcto y tama a bin saber cmo construirlo. Veamos un ejemplo sencillo de un razonamiento en matemticas. e o a Supongamos nos dicen que cierto n mero entero positivo es menor que 14. Nos dicen adems u a que el n mero en cuestin es divisible por 3 y que al sumarle 2 obtenemos un n mero divisible u o u por 4. Podemos a partir de esta informacin inferir cual era el n mero? Veamos. Como el o u n mero buscado es divisible por 3 y menor que 14, entonces el n mero debe ser alguno de los u u siguientes: 3, 6, 9 o 12. Pero tambin nos dicen que al sumarle 2 es divisible por 4. Sumemos e 2 a cada uno de los n meros que vimos ern una posible solucin y obtenemos: 5, 8, 11 y 14. u a o Como entre estos, el 8 es el unico que es divisible por 4, concluimos que el n mero buscado es el u 6. Por qu es correcto este razonamiento? Qu es lo que hace a este argumento inobjetable? e e Aclarar estas preguntas es el objetivo de este cap tulo.

1.1.

Proposiciones y tablas de verdad

Ya hemos dicho que para entender cules razonamientos son correctos debemos en primer a lugar determinar el tipo de armaciones permitidas en los razonamientos. Ese es el objetivo de esta seccin. o Una proposicin es una armacin de la que podemos decir, sin ambig edad, que es vero o u dadera o falsa. Las proposiciones corresponden a las oraciones declarativas del lenguaje espa ol. n Ejemplos 1.1. Las siguientes armaciones son proposiciones: 1. Mrida es el nombre de una ciudad andina. e 2. 1 + 1 = 2 3. 1 + 1 = 3 4. 21245 < 31001 5. El d 15 de julio de 2008 llovi en la ciudad de Mrida (Venezuela) a o e

7. Todo entero par mayor que 4 es la suma de dos n meros primos u La oracin 5 es una proposicin, pues, obviamente, es verdadera o falsa, aunque lo ms o o a probable es que ninguno de los lectores pueda decir si es o no verdadera (pero el autor s lo sabe). La oracin 6 es una proposicin, pues uno acepta, al menos intuitivamente, que lo que o o dice debe ser verdadero o falso, aunque en este momento no veamos cmo decidir cul de las o a dos alternativas se cumple. De hecho, esta proposicin es verdadera. Por otra parte, cualquiera o que entienda lo que dice la oracin 7 deber aceptar que es verdadera o falsa. Sin embargo, o a hasta hoy no se sabe si es verdadera o falsa. Esta proposicin se conoce como la Conjetura de o Goldbach (matemtico prusiano que en 1742 propuso este problema). a 21 Ejemplos 1.2. Las siguientes oraciones no son proposiciones: 1. Esprame! e 2. Por qu estudias matemticas? e a 3. x + y = x 4. A estudiar! 5. El es un estudiante
1 El s mbolo 2 lo usaremos para indicar que hemos terminado una denicin, una demostracin o la preo o sentacin de un ejemplo. o

ww w.

M at

em

at

ic a1

.c o

6. El cuadrado de todo n mero par tambin es par u e

La oracin 3 no es una proposicin, pues no hemos especicado el signicado de los s o o mbolos x e y y por eso no podemos decir si es verdadera o falsa. Si dijramos que e x + y = x para alg n x, y Z, u entonces esa armaicin es una proposicin verdadera. Pues tenemos, por ejemplo, que cuando o o x = 1 y y = 0 se cumple que x + y = x. La oracin 5 tampoco es una proposicin, pues no se o o sabe a quien se reere el pronombre El. 2

1.1.1.

Conectivos lgicos o

Las proposiciones se pueden combinar para obtener otras proposiciones utilizando los conectivos lgicos (tambin llamados enlaces). Los conectivos son los siguientes: o e Negacin: No tengo fro o Disyuncin: El carro es de color rojo o blanco o Conjuncin: 5 < 8 y 13 < 27 o Condicional: Si llueve, entonces no voy al cine Bicondicional: Voy al cine si, y slo si, no llueve o

Una proposicin que no contenga ning n conectivo se dice que es una proposicin simple, o u o 4 tambin se les llama proposiciones atmicas. Por ejemplo, la armacin 3 es menor e o o que 100 es una proposicin simple. Las proposiciones que contengan alg n conectivo se llaman o u proposiciones compuestas. Un ejemplo de proposicin compuesta es 3 es un nmero impar o u y 28 es par. En general, la oracin declarativa con que se expresa una proposicin puede ser larga y o o compleja y por esto es conveniente, para simplicar su presentacin y manipulacin, sustituirla o o por un letra. Usaremos las letras P , Q, R para simbolizar proposiciones. De igual manera, los conectivos sern representados en forma simblica de la siguiente manera: a o

ww w.

M at

em
para para para para para

Al usar los conectivos para combinar proposiciones obtenemos:

at

la negacin o la disyuncin o la conjuncin o el condicional el bicondicional

ic a1

.c o

P P Q P Q P Q P Q

se se se se se

lee lee lee lee lee

no P P Q o P yQ Si P , entonces Q P si, y slo si Q o

Ejemplo 1.3. Considere las siguiente propocisiones: P Q R = est lloviendo a = el Sol est brillando a = hay nubes en el cielo

Con estas tres proposiciones simples podemos construir varias proposiciones compuestas como se ilustra a continuacin. o
Est lloviendo y el Sol est brillando a a Si est lloviendo, entonces hay nubes en el cielo a Si no est lloviendo, entonces el Sol no est brillando a a y hay nubes en el cielo El Sol est brillando si, y slo si, no est lloviendo a o a Si no hay nubes en el cielo, entonces el Sol est brillando a P Q P R P (Q R) Q P R Q

at

ic a1

.c o

1. (P Q) R 2. P (Q R) 3. (P Q) R 4. (P R) Q 5. (P (Q R))

La primera de ellas dice Si est lloviendo y el sol est brillando, entonces hay nubes en el a a cielo. La tercera podr traducirse como: no es el caso que est lloviendo o el sol est brillando, a e e pero hay nubes en el cielo. Se recurri a la frase pero... en lugar de y...para indicar que la o frase que segu no estaba afectada por la expresin no es el caso. Dejamos a cargo del lector a o traducir las otras proposiciones a oraciones en espa ol. Tenga presente que al hacerlo puede n obtener oraciones, como antes, que no son de uso frecuente en espa ol. n 2

ww w.

M at

Ejemplo 1.4. Sean P , Q y R como en el ejemplo 1.3. Considere las siguientes proposiciones compuestas.

em

Existen dos tipos de disyuncin: La inclusiva y la exclusiva. Un ejemplo de disyuncin o o exclusiva se encuentra en la frase O corre o se encarama. En cambio la o en su sentido inclusivo, la encontramos en la frase Los que estn hablando o estn de pie. La disyuncin e e o inclusiva se usa cuando ambas alternativas son posibles (o permitidas). En cambio, se usa la disyuncin exclusiva cuando slo una de las alternativas es posible. En matemticas usaremos o o a 2 unicamente la disyuncin en su sentido inclusivo. o Las proposiciones que tienen la forma Si P , entonces Q se llaman proposiciones condicionales. P se llama antecedente y Q consecuente. Usando la notacin simblica, las proposiciones condicionales se denotan por P Q. o o La rec proca de una proposicin condicional P Q es la proposicin o o Q P. La contrarrec proca (tambin llamada contrapositiva) de una proposicin condicional P e o Q es la proposicin o Q P Si est lloviendo, entonces hay nubes en el cielo. a

Si no hay nubes en el cielo, entonces no est lloviendo. a 2 Ejemplo 1.6. En este ejemplo calcularemos la negacin de algunas proposiciones. Usaremos o las proposiciones presentadas en el ejemplo 1.3. 1. La negacin de o Est lloviendo y el Sol est brillando a a es No est lloviendo o el Sol no est brillando. a a Es decir, la negacin de una proposicin de la forma P Q dice lo mismo que la siguiente o o proposicin o P Q.
2

El s mbolo para la disyuncin viene de la palabra latina vel que signica o [3]. o

ww w.

En cambio la contrapositiva, que simblicamente se escribe R P , dice o

M at

Si hay nubes en el cielo, entonces est lloviendo a

em

Usando la notacin del ejemplo 1.3 podemos expresar simblicamente esta proposicin por o o o P R. La rec proca expresada simblicamente es R P y dice o

at

ic a1

Ejemplo 1.5. Considere la proposicin o

.c o

2. La negacin de o Est lloviendo o el Sol est brillando a a es No est lloviendo y el Sol no est brillando. a a Pero usualmente decimos: Ni est lloviendo ni el sol est brillando. a a Es decir, la negacin de una proposicin de la forma P Q dice lo mismo que la proposicin o o o siguiente P Q. 3. La negacin de o Si est lloviendo, entonces hay nubes en el cielo a es Est lloviendo y no hay nubes en el cielo. a La negacin de un proposicin condicional P Q dice lo mismo que la proposicin o o o

ic a1

.c o

P Q.

Aqu tenemos la conjuncin de dos expresiones. La primera es o

La cual expresa lo mismo que la condicional si Q, entonces P . La segunda expresin es o P , slo si Q. o Esta proposicin dice que P ocurre solamente si Q ocurre. Por eso decimos que Q es o una condicin necesaria para que P ocurra. En otras palabras, cada vez que P se cumple, o necesariamente Q tambin. Por eso esa expresin equivale a decir que Si P , entonces Q. Por e o ejemplo, la proposicin Ir a la playa slo si Gabriela me acompa a se interpreta como Si o e o n voy a la playa, entonces Gabriela me acompa a. Pues si realmente fu a la playa, necesariamente n Gabriela me acompa . no En resumen, el signicado de P Q es el mismo que la conjuncin de P Q y Q P . o

ww w.

M at

em

P si, y slo si, Q. o

P , si Q.

at

Por ultimo, queremos hacer un comentario sobre la expresin o

Ejercicios 1.1.1 1. Cules de las siguientes son proposiciones? En caso que sea una proposicin, diga si es a o verdadera o falsa. a) 5 + 2 = 7 b) 24 < 32 c) El Presidente actu en contra de la Ley o d ) Tu voto es tu opinin o e) Te duele? f ) Me duele g) El polo norte es fr y el polo sur es caliente o h) Perro que ladra no muerde i ) Si llueve el mircoles, no saldremos de paseo e j ) Si Venezuela gana el campeonato, entonces Colombia pierde

Traduzca las siguientes oraciones a notacin lgica utilizando las letras P , Q, R y los o o conectivos lgicos. o a) Si Juan llega demasiado pronto Mar demasiado tarde, entonces el jefe se molesta o a b) Si Mar llega demasiado tarde, entonces Juan no llega demasiado pronto a c) O el jefe se molesta Mar no llega demasiado tarde o a d ) Mar llega demasiado tarde, Juan llega demasiado pronto y el jefe se molesta a e) Si el jefe no se molesta, entonces Juan no llega demasiado pronto y Mar no llega a demasiado tarde f ) O Mar no llega demasiado tarde o Juan llega demasiado pronto a g) Si Mar no llega demasiado tarde y Juan no llega demasiado pronto, entonces el jefe a no se molesta 3. Traduzca cada una de las siguientes oraciones a notacin lgica de manera anloga a lo o o a hecho en el ejercicio 2 (introduzca las letras que le haga falta). a) El n mero de cdula de Genaro es menor que 5 millones o es mayor que seis millones u e

ww w.

M at

em

P Q R

= Juan llega demasiado pronto = Mar llega demasiado tarde a = El jefe se molesta

at

ic a1

.c o

2. Sean P , Q y R las proposiciones siguientes:

b) Alejandra est comiendo, bebiendo y divirtindose a e c) El gordo Alberto vive para comer y come para vivir d ) O yo estoy equivocado, o la pregunta n mero uno es cierta y la pregunta n mero dos u u es falsa e) Si el libro cuesta ms de Bs. 20, entonces Ramn no podr comprarlo a o a f ) Si el n mero en la pantalla es menor que cuatro o mayor que diez, entonces no es u igual a seis 4. Niegue las siguientes proposiciones: a) Ganaremos el primer partido o el segundo b) 5 3 c) Las rosas son rojas y las margaritas amarillas

d ) Alejandra quiere comer fruta pero no helado e) Si 210 < 35 , entonces 1010 < 155

a) Si soy listo, entonces soy rico b) Si 2 + 2 = 4, entonces 2 + 4 = 8

b) Cul (o cules) de las siguientes proposiciones es verdadera: la proposicin original, a a o la rec proca o la contrapositiva?

1.1.2.

Tablas de verdad

En la introduccin de este cap o tulo dijimos que para razonar correctamente debemos garantizar que a partir de proposiciones verdaderas se inera otra proposicin verdadera. Por eso es o fundamental poder decidir cuando una proposicin es verdadera. Dijimos que una proposicin o o es una armacin que es verdadera o falsa, no puede ser ambig a. Ahora bien, las proposiciones o u compuestas pueden ser complejas. Por ejemplo, considere una proposicin que tenga la siguiente o forma ((P Q) (Q R)) (P R). Aun sabiendo cuales de las proposiciones P , Q y R son verdaderas, no es del todo claro cmo o decidir si la proposicin de arriba es verdadera o no. Este es el problema que analizaremos en o esta seccin. o

ww w.

a) Proporcione la rec proca y la contrapositiva de la proposicin o

M at

6. Considere la proposicin si a es un n mero real y a > 0, entonces a2 > 0 . o u

em

c) Si Juan llega demasiado pronto Mar demasiado tarde, entonces el jefe se molesta o a

at

ic a1

.c o

5. Proporcione la rec proca y la contrapositiva de cada una de las siguientes proposiciones.

Comenzaremos con un ejemplo relativamente sencillo. Considere las siguientes proposiciones:

P Q R

= 25 < 3 3 = 3 < 16 = 22999 < 121000 .

Cules de las siguientes proposiciones son verdaderas (y en consecuencia, cules son falsas)?: a a P Q, P Q, P Q, P , R Q, R P . Antes de dar respuesta a estas preguntas, debemos saber cules de las proposiciones P , Q y R a son verdaderas. Un clculo sencillo nos muestra que P es falsa, pues 25 = 32 y 33 = 27. Q es a verdadera. Es claro que R es una proposicin, pues, necesariamente, alguna de las siguientes o dos alternativas se cumple: (i) 22999 < 121000 o (ii) 22999 < 121000 . Dejaremos al lector averiguar cul de las dos alternativas se cumple. a

(iv) Un momento de reexin deber convencer al lector de que una proposicin condicional o a o Si S, entonces T , solamente puede ser falsa cuando S es verdadera y T no lo es. En todos los otros casos, necesariamente, es verdadera (pues no hay otra alternativa). Por eso Q P es falsa, pues Q es verdadera y P no lo es. Por la misma razn tenemos que o R Q es verdadera, independientemente de si R es o no verdadera. Los valores de verdad son las dos alternativas que tenemos para una proposicin: ser o verdadera o ser falsa. Sern denotados respectivamente con las letras V y F. Si una proposicin a o es verdadera diremos que su valor de verdad es V, y si es falsa, diremos que es F. Ahora veremos algo fundamental para todo lo que sigue en este cap tulo. Volvamos al ejemplo al comienzo de esta seccin. Si en lugar de las proposiciones P y Q usamos las siguientes (P se o lee P prima). P Q = = 24 < 3 2 5 < 10

ww w.

(iii) La proposicin P es verdadera, pues P es falsa. o

M at

em

(ii) La proposicin P Q es falsa, pues P es falsa. Lo mismo ocurre con P R. Qu podemos o e decir acerca de Q R? Hasta tanto no resolvamos si R es verdadera o no, no podemos decir nada.

at

ic a1

(i) Podemos concluir que P Q es verdadera, pues al menos Q lo es. Note que tambin e podemos armar que Q R es verdadera, aun cuando no sabemos si R es verdadera o no.

.c o

Entonces P y P son ambas falsas y Q y Q son ambas verdaderas. Deber ser claro que al igual a que antes tenemos que P Q es verdadera; P Q es falsa; P es verdadera y Q P es falsa. Lo mismo es vlido si en lugar de P usamos cualquier otra proposicin que sea falsa y en a o lugar de Q usamos cualquier otra proposicin que sea verdadera. o En resumen tenemos que:

El valor de verdad de una proposicin compuesta o depende exclusivamente de los valores de verdad de las proposiciones simples que aparecen en ella.

Ejemplo 1.7. Considere la frmula o

Si 37 < 48 y 48 < 315 , entonces 37 < 315 . Ejemplo 1.8. A continuacin presentamos algunos ejemplos de frmulas proposicionales. o o (p q) r p (q r) (p q) r (p r) q (p (q r)) (p q) (p q) ((p q) (q r)) (p r)

ww w.

M at

Sustituiremos p por la proposicin 37 < 48 , q por la proposicin 48 < 315 y r por la o o 7 15 proposicin 3 < 3 . Obtenemos la proposicin que dice: o o

em

(p q) r.

at

ic a1

Por lo dicho arriba, en el estudio de la lgica proposicional no trabajaremos con proposiciones o concretas; en su lugar usaremos simplemente letras que llamaremos variables proposicionales (a veces tambin las llaman letras proposicionales). Con estas variables y los conectivos lgicos e o se construyen las frmulas proposicionales de la misma manera que se construyeron las o proposiciones compuestas. Usaremos letras min sculas p, q, r, etc. para denotar las variables o u frmulas proposicionales y dejaremos las may sculas para denotar proposiciones. o u Si cada una de las variables que aparecen en una frmula proposicional se sustituye por o una proposicin se obtiene una proposicin (compuesta). El ejemplo que sigue ilustra lo que o o acabamos de decir.

.c o

De ahora en adelante, simplemente diremos frmula en lugar de frmula proposicional. Tamo o bin es usual denotar las frmulas con letras del alfabeto griego, , , , , que se leen respece o tivamente alfa, beta , si (como en la palabra psicolog y ro . Usaremos la misma a) terminolog que usamos para las proposiciones. Por ejemplo, si y son frmulas, entonces a o la negacin de es , la rec o proca de es y la contrarrec proca es . El comportamiento de los conectivos lgicos en relacin con el valor de verdad es muy o o sencillo de establecer y se hace a travs de las tablas de verdad que veremos ms adelante3 . e a Comenzaremos con la tabla de verdad para . Es claro que p debe ser verdadera exactamente cuando p no lo es. Por eso la tabla de verdad para la negacin es la siguiente: o p p V F F V Una disjuncin es verdadera cuando al menos una de las proposiciones es verdadera. La o tabla de la disyuncin es: o p q pq V V V V F V F V V F F F

p q pq V V V V F F F F V F F F

ww w.

Estas tablas se leen horizontalmente. Por ejemplo, la primera l nea dice que si p es verdadera y q es verdadera, entonces p q tambin es verdadera. La tercera l e nea dice que si p es falsa y q es verdadera, entonces p q es verdadera etc. Las tablas de verdad para los otros conectivos son:

M at

em

at

ic a1
p q pq V V V V F F V F V F F V

A cada frmula le asociamos una tabla de verdad. Construiremos la tabla de verdad para la o frmula o (p q) (p q). Las primeras columnas de la tabla sern ocupadas por las variables involucradas, en este caso a p y q. Observe que tendremos 4 las que corresponden al n mero de posibles combinaciones u distintas de los valores de verdad de p y q.
3 Las tablas de verdad en forma tabular aparecen en 1918 con los trabajos de Lukasiewicz, Post y Wittgenstein (ver [8, pag. 87]).

.c o

p q F F F V V F V V

pq F F F V

pq V V F V

(p q) F F V F

(p q) (p q) F F V V

Un hecho importante, que se deduce de la tabla de verdad de una frmula, es el siguiente. o La tabla nos indica el valor de verdad que tiene la proposicin obtenida cuando cada variable o de la frmula se sustituye por una proposicin. Por ejemplo, si en la frmula (p q) (p q) o o o sustituimos p por una proposicin verdadera y q por una falsa, entonces la proposicin obtenida o o es verdadera (pues su valor viene dado por la tercera la de la tabla de (p q) (p q)). Ejemplo 1.9. Hay una manera ms simple de presentar las tablas de verdad. En la ultima la a indicaremos a cul paso del procedimiento corresponde esa columna. a p q F F F V V F V V 1 1 pq F F F V 2 F F V V 4 F F V F 3 (p q) V V F V 2

paso

at

Los valores en la columna 4 nos dan la tabla de verdad de la frmula original. o Algunas frmula tienen la propiedad de recibir slo el valor V. Es decir, en su tabla de verdad, o o la ultima columna slo contiene V. Un ejemplo es la frmula pp. Este tipo de frmulas reciben o o o el nombre de tautolog Las tautolog forman una clase muy importante de frmulas. as. as o Ejemplos 1.10. 1. p p es una tautolog a. p V F 2. [p (p q)] q es una tautolog a. p q V V V F F V F F pq V F V V p (p q) [p (p q)] q V V F V F V F V 2 pp V V

ic a1

.c o

ww w.

M at

em

Un frmula que reciba F en cada una de las las de su tabla de verdad se dice que es una o contradiccin. Note que una frmula es una contradiccin si, y slo si, su negacin es una o o o o o tautolog La contradiccin ms simple es p p. a. o a Ejercicios 1.1.2 1. Considere las siguientes frmulas: o p q, p q, q p, q p,

p (q r), p (q r), (p q) r, (p q) r Para cada una de ellas, responda las siguientes preguntas: a) Cul es la rec a proca? b) Cul es la contrapositiva? a 2. Construya la tabla de verdad de cada una de la frmulas dadas en el ejemplo 1.8. o

4. Cada una de las tarjetas indicadas tiene en un lado un n mero y en el otro una letra. u

M at

em

at
E K 4 7

b) (p q) q

c) ( (p q) p) q

Alguien arm: Todas las tarjetas que tienen una vocal en una cara tienen un nmero par o u en la otra. Cul es la menor cantidad de tarjetas que hay que voltear para vericar si tal a armacin es verdadera? Cules hay que voltear? o a 5. Rodolfo y Margarita estn hablando. Rodolfo dice: (1) Qu iremos a comer hoy? Mara e garita, que parece molesta, le responde: (2) Si quieres comer, o preparas tu comida o comes lo que sobr de anoche. Y Rodolfo responde: (3) Uhm....Como que no tengo hambre. Obo serve que (2) y (3) pueden ser ambas verdaderas y de esta manera Rodolfo no contradice lo dicho por Margarita y no tiene que cocinar y ni comer recalentado! 6. Jos est mirando una fotograf de un hombre. Alguien llega y le pregunta: Quin es la e a a e persona que aparece en la foto? Jos responde diciendo: No tengo hermanos ni hermanas. e Pero el padre del hombre de la foto es el hijo de mi padre. Quin es la persona que aparece e en la foto? (a) El abuelo de Jos. (b) El padre de Jos. (c) Jos. (d) El hijo de Jos. (e) e e e e Ninguna de las anteriores.

ww w.

ic a1

a) p (p q)

.c o

3. Muestre que las siguientes frmulas son tautolog o as.

7. En un pueblo sus habitantes siempre dicen la verdad o siempre dicen mentiras. El grupo V est formado por aquellos que dicen siempre la verdad y el grupo M por aquellos que a siempre dicen mentiras. Tres habitantes P , Q y R del pueblo estaban conversando en la plaza. Una persona que caminaba por la plaza le pregunt a P : Eres del grupo V o del o grupo M? Como no pudo escuchar la respuesta de P , entonces le pregunt a Q: Qu fu lo o e e que dijo P ? Y Q respondi: P dijo que l era del grupo M. En este momento R habl y o e o dijo: No le creas a Q, l est mintiendo A qu grupo pertenecen Q y R? e a e

1.1.3.

Otras expresiones formales

En Matemticas, con frecuencia trabajamos con expresiones que no son necesariamente a proposiciones, pues contienen variables no especicadas (llamadas variables libres). Esto ocurre con expresiones algebraicas como las siguientes x2 + y 2 = z 2 , x3 + z 4 y 3 x. Observe que una vez que las variables se sustituyen por n meros obtenemos una proposicin. u o Por ejemplo, colocando x = 3, y = 4 y z = 5 obtenemos

Ambas, en este caso, son verdaderas. Pero si sustituimos x = 0, y = 0 y z = 1, entonces obtenemos en la primera 0 = 1 que es falsa y en la segunda 1 0 que es verdadera. Lo que queremos decir es que una expresin como x2 + y 2 = z 2 no es ni verdadera ni falsa hasta o tanto no se le den valores a las variables x, y y z. Esto es exactamente lo que ocurre con las frmulas proposicionales. No son ni verdaderas ni falsas hasta tanto cada variable proposicional o se sustituya por una proposicin (o lo que es lo mismo, hasta tanto se le asigne a cada variable o alguno de los valores V o F). Por otra parte, aun cuando las frmulas algebraicas no son proposiciones, podemos manipuo larlas como si lo fueran. En el ejemplo de arriba, podemos negarlas y obtener x2 + y 2 = z 2 , x3 + z 4 y 3 x. Podemos tambin formar expresiones ms complejas. Por ejemplo e a Si x 5 y y 8, entonces y 2 x2 39. Y as podemos hablar de la rec proca o de la contrarrec proca de estas expresiones. En este ejemplo tenemos que la rec proca es: Si y 2 x2 39, entonces x 5 y y 8; y la contrarrec proca es: Si y 2 x2 39, entonces x 5 o y 8.

ww w.

M at

em

at

ic a1

.c o

32 + 42 = 52 ,

33 + 54 43 3.

Ejercicios 1.1.3 1. Proporcione la rec proca y la contrapositiva de cada una de las siguientes expresiones. a) Si x + y = 1, entonces x2 + y 2 1, b) Si x2 = x, entonces x = 0 x = 1. o

1.2.

Clculo proposicional a

En esta seccin analizaremos los razonamientos que tienen como punto de partida una sola o premisa. En la seccin 1.2.2 veremos el caso general con ms de una premisa. o a Diremos que una frmula implica lgicamente a otra frmula si es verdadera o o o cada vez que lo sea. Ms precisamente, en las tablas de verdad de y de , las las donde a tiene una V, tambin tiene una V. Note que slo nos interesa las las donde tiene valor V. e o Usaremos la siguiente notacin para la implicacin lgica o o o

ww w.

M at

Usaremos para indicar que no implica lgicamente a . o Otra maneras equivalentes de leer son las siguientes: (1) es una condicin suciente para . Pues es suciente que sea verdadera (o que lo o que arma se cumpla) para que tambin lo sea. e (2) es una condicin necesaria para . Pues cada vez que se cumple (es verdadera), o necesariamente tambin se cumple. e Veamos un ejemplo sencillo. Si Ud. est inscrito en el registro electoral, entonces es mayor de edad. a

em

at
.

1.2.1.

Implicacin lgica o o

ic a1

Recordemos que un razonamiento es un conjunto de proposiciones, llamadas premisas o hiptesis, y otra llamada conclusin o tesis. Ahora comenzaremos el estudio de las reglas o o de inferencia, es decir, los mtodos para inferir una conclusin a partir de unas premisas. Por e o supuesto, la reglas que nos interesan son aquellas que garaticen que la conclusin es verdadera o cada vez que todas las premisas sean verdaderas. Es decir, aquellas reglas de inferencia que produzcan razonamiento correctos. As como existe una teor para hacer clculos con n meros (la aritmtica) con obje a a u e o tos ms complejos como en el clculo diferencial e integral, tambin hay reglas precisas para a a e manejar frmulas proposicionales. En esta seccin introduciremos los rudimentos del clculo con o o a proposiciones, o, como usualmente se dice, clculo proposicional. a

.c o

En este caso, que alguien est inscrito en el registro electoral es suciente informacin para e o concluir que esa persona es mayor de edad. Por otra parte, ser mayor de edad es una condicin o necesaria para poder inscribirse en el registro electoral. Ejemplo 1.11. La proposicin Los perros ladran y muerden lgicamente implica cada una o o de las siguientes proposiciones: Los perros ladran y Los perros muerden. Aqu hemos usado el siguiente hecho (p q) q.

Esto puede fcilmente vericarse usando tablas de verdad. En efecto, observemos que la unica a l nea de la tabla de verdad de p q que recibe una V es cuando p y q reciben tambin V. e Observe tambin que p (p q). Pues, por ejemplo, cuando p recibe valor V y q valor F, e se tiene que p q recibe valor F y p valor V. 2 Ejemplo 1.12. La proposicin Los estudiantes son competentes implica lgicamente la sio o guiente proposicin: Los estudiantes son competentes o los profesores son injustos. El lector o vericar que este argumento ilustra la siguiente armacin: a o

at

El lector deber hacer las tablas de verdad correspondientes y vericar esta ultima armacin. a o Observe que tambin tenemos que e (p q) p

ic a1

.c o

p (p q)

Ejemplo 1.13. Considere las proposiciones Juan compr la entrada para el cine, denotmosla o e con la letra P , y Juan tiene derecho a entrar al cine, que denotaremos con la letra Q. La proposicin P Q dice que si Juan compr la entrada, entonces tiene derecho a entrar al o o cine. Si aceptamos las proposiciones P y P Q, entonces podemos lgicamente concluir Q, o es decir, Juan tiene derecho a entrar al cine. El ejemplo anterior es un caso particular de una regla general. Considere las frmulas [p o (p q)] y q. Mostraremos que [p (p q)] q A continuacin presentamos la tabla de verdad de p (p q): o p q V V V F F V F F pq V F V V p (p q) V F F F

Comparando las columnas 1 y 4 vemos que en efecto [p (p q)] q. Observe, como otro ejemplo ms, que q [p (p q)]. Pues en la la 3 tenemos que q a tiene valor V pero [p (p q)] recibe valor F. 2

ww w.

M at

em

Ejemplo 1.14. Considere las proposiciones Si llueve, entonces voy al cine y No voy al cine. Si aceptamos ambas proposiciones, entonces podemos lgicamente concluir la proposicin No o o llueve. La regla general detrs de este argumento es la siguiente. Considere las frmulas (p q) a o y q. Tenemos que [(p q) q ] p 2 Ejemplo 1.15. Considere las proposiciones Voy al cine o a dormir y No voy al cine. Si aceptamos ambas proposiciones, entonces podemos lgicamente concluir la proposicin Voy a o o dormir. La regla general detrs de este argumento es la siguiente. Considere las frmulas (p q) a o y q. Tenemos que [(p q) q ] p 2 Ejemplo 1.16. Si el lunes voy a clase, no ir al banco y Si no voy al banco el lunes, entonces e no podr comprar el disco. Si aceptamos ambas proposiciones, entonces podemos lgicamente e o concluir que Si el lunes voy a clase, no podr comprar el disco. La regla general detrs de este e a argumento es la siguiente: [(p q) (q r) ] (p r)

ic a1

.c o

ww w.

[(p r) (q r) ] (p q) r 2

La tabla 1.1 resume algunas implicaciones lgicas. Dejamos a cargo del lector hacer las o correspondientes tablas de verdad. En lat la palabra Modus signica modo o procedimiento, Ponens proviene de la pan, labra ponere, que signica armar, y Tollens viene de tollere, que signica negar. La terminolog completa para la regla Modus Ponens es Modus Ponendo Ponens, que signica un a procedimiento que arma (ponens) el consecuente de una condicional armando (ponendo) el antecedente. De igual forma, Modus Tollendo Tollens signica el procedimiento que niega el antecedente de una condicional negando el consecuente. Observacin 1.18. En resumen tenemos que si , entonces podemos decir que se o concluye a partir de la premisa y que este razonamiento es correcto. Pues por la dencin de o la implicacin lgica, cada vez que es verdadera, tambin lo es. o o e

M at

Ejemplo 1.17. Si Rodrigo viene, ir al cine y Si Isabel viene, ir al cine. Si aceptamos e e ambas proposiciones, entonces podemos lgicamente concluir que Si Rodrigo o Isabel vienen, o ir al cine. La regla general detrs de este argumento es la siguiente: e a

em

at

Implicaciones lgicas o p (p q) (p q) p [ p (p q) ] q [ q (p q) ] p [ (p q) q ] p [ (p q) (q r) ] (p r) [ (p r) (q r) ] (p q) r Tabla 1.1: adicin o simplicacin o Modus Ponens Modus Tollens silogismo disyuntivo silogismo hipottico e prueba por casos

Ejercicios 1.2.1

2. Determine si las siguientes armaciones son vlidas: a a) (p q) (p (p q)). c) ((p q) q) p.

b) (p q) (p r) (p (q r)).

1.2.2.

Razonamientos vlidos a

Ahora ya estamos listos para analizar los razonamientos correctos. Recordemos que por razonamiento se entiende un conjunto de proposiciones, llamadas premisas o hiptesis, y otra o llamada conclusin o tesis. Ya hemos analizado en la seccin 1.2.1 los razonamientos que tienen o o una sola premisa, es decir, si tenemos una frmula (llamada premisa) y otra frmula o o (llamada conclusin), entonces diremos que el razonamiento que a partir de se inere es o correcto si . Qu podemos decir si en lugar de una premisa tenemos dos, por ejemplo, e y ?. Cundo podemos decir que una frmula se inere correctamente a partir de y a o ? Un momento de reexin deber convencer al lector de que lo que debemos pedir es que o a

ww w.

M at

1. Demuestre las implicaciones lgicas de la tabla 1.1 dada en la seccin 1.2.1, es decir, o o compare las correspondientes tablas de verdad.

em

at

ic a1

.c o

implique lgicamente a . Esa es precisamente la denicin que usaremos de razonamiento o o vlido o correcto. a Un razonamiento es vlido cuando la conjuncin de las premisas lgicamente implica la a o o conclusin. o Antes de precisar esta nocin recordemos el ejemplo 1.14 donde mostramos que de las o premisas: Si llueve, entonces voy al cine, No voy al cine, se concluye lgicamente la proposicin o o No llueve. En otras palabras, si aceptamos como verdaderas las premisas, necesariamente debemos aceptar como verdadera la conclusin. Y por eso nuestro razonamiento es correcto. o Denotaremos un razonamiento que tenga como premisas las frmulas 1 , 2 , , n y como o conclusin la frmula de la siguiente manera: o o Premisas: Conclusin: o 1 , 2 , , n . .

ww w.

n Un razonamiento con premisas 1 , , n y conclusin es vlido si o a En decir, si es una consecuencia lgica de 1 n . En este caso, tambin se acostumbra o e decir que se deduce a partir de 1 , , n . En esta seccin veremos un mtodo para vericar que un razonamiento es correcto. Comenceo e mos con un ejemplo. Ejemplo 1.19. Considere el siguiente conjunto de premisas: Juan tiene trabajo, Si Juan tiene trabajo, entonces debe ser licenciado, Si Juan es licenciado, entonces debi estudiar en o la universidad. Como veremos a continuacin, de este conjunto de premisas podemos lgicao o mente concluir que Juan debi estudiar en la universidad. Usaremos letras para denotar las o proposiciones. (P ) Juan tiene trabajo (Q) Juan es licenciado

M at

1 2 n .

em

at

ic a1
1 2 . . .

La siguiente notacin tambin es usada en los textos de lgica: o e o

.c o

(R) Juan estudi en la universidad o En forma simblica tenemos que las premisas y la conclusin son las siguientes: o o Premisas: Conclusin: o p, p q, q r. r.

Para justicar que este razonamiento es vlido haremos una deduccin o derivacin. a o o Justicacin o (1) (2) (3) (4) (5) p pq q qr r Premisa Premisa De (1) y (2) por Modus Ponens Premisa De (3) y (4) por Modus Ponens

La regla Modus Ponens puede verse como una derivacin que tiene dos premisas: p y p q o y que como conclusin tiene q. De manera similar, la regla Modus Tollens y los silogismos o hipottico y disyuntivo son derivaciones con dos premisas. Por otra parte, las reglas de sime plicacin y de adicin son derivaciones que tienen solamente una premisa. Estas derivaciones o o tambin suelen llamarse reglas de inferencia. En la tabla 1.2 indicamos algunas de las reglas e de inferencia vlidas ms comunes. Como observar el lector, la mayor de ellas provienen de a a a a las implicaciones lgicas que presentamos en la tabla 1.1. o El silogismo es un argumento en el que se inere una conclusin a partir de dos premisas. o El silogismo es una de las derivaciones ms simples posibles. Lo interesante de las derivaciones a es que, aunque cada paso de ellas es muy sencillo y fcil de justicar, el resultado nal puede a ser una frmula muy compleja. Veremos en esta seccin ejemplos de cmo se pueden usar las o o o derivaciones para justicar la validez de algunos razonamientos. Hay otro aspecto de la deducciones que queremos resaltar. El lector habr observado que las a deducciones estn escritas con frmulas proposicionales (recuerde nuestra convencin de usar a o o las letras may sculas para denotar proposiciones y las min sculas para las variables proposiu u cionales). La razn es que lo que hace vlido a un razonamiento no es el contenido espec o a co de las proposiciones involucradas, sino la forma que tiene. Y las frmulas precisamente nos dicen o cul es la forma que tiene una proposicin. En el ejemplo anterior (1.19), la validez de ese razoa o namiento no se altera si en lugar de Juan hablamos de Rubn o si la proposicin P es Rubn e o e tiene gripe, Q es Ruben es Mesonero y R Ruben trabaj en Par Aunque en este caso o s.

ww w.

M at

em

at

ic a1

El argumento anterior es vlido pues en cada paso de la derivacin hemos incluido una frmula a o o que es una de las premisas o una frmula que es lgicamente implicada por algunas de las o o anteriores. Y la ultima l nea de la deduccin contiene precisamente r, que es la conclusin de o o nuestro argumento. 2

.c o

Reglas de inferencia

Adicin o

Simplicacin o

em
Tabla 1.2:

at
Silogismo Hipottico e

Silogismo Disyuntivo

Conjuncin o

ww w.

M at

ic a1

.c o

Modus Ponens

Modus Tollens

lo que dice el razonamiento no tenga mucho sentido, es lgicamente correcto. Quiz la siguiente o a analog aclare aun ms lo que queremos decir. Cuando un ingeniero hace los clculos para la a a a construccin de una casa, no le interesa el color con el que pintarn las paredes ni el nombre o a de quienes la habitarn. Eso es irrelevante. Si el ingeniero hace bien su trabajo, la casa no se a derrumba, pero si no lo hace bien, entonces se le caer encima, ya sean blancas o amarillas las a paredes o se llame Juan o Rubn la persona que la habite. e Ejemplo 1.20. Si llueve por la noche, entonces la grama del jard amanece mojada. Veo que n est mojada la grama. Por lo tanto llovi anoche. Es vlido este razonamiento? No lo es, pues a o a la grama pudo amanecer mojada por otra razn. Veamos cul es la forma de este razonamiento. o a Sea P la proposicin llueve por la noche y Q la proposicin la grama est mojada. o o a Premisas: Conclusin: o p q, q. p

As que la forma de este razonamiento es (p q) q p. Sin embargo, esto no es correcto, pues (p q) q p

Antes de continuar con otros ejemplos de derivaciones tenemos que hacer unos comentarios sobre el papel que puede desempe ar una tautolog en un razonamiento. Recordemos que una n a tautolog es una frmula cuya tabla de verdad en su ultima columna slo tiene valor V. Esto a o o dice que no importa qu valor de verdad se asigne a las variables, siempre obtendremos como e resultado nal el valor V. La tautolog ms sencilla es p p. En el curso de un razonamiento, a a uno puede armar cualquier tautolog como parte del argumento y esto no altera la validez del a argumento. Ilustraremos este armacin con un ejemplo. o Imag nese que Ud. est discutiendo con alguien acerca del futuro de un equipo de f tbol. a u Suponga que Ud. dice que O bien Juan viene o no viene. Esta armacin es una tautolog y o a ser aceptada por todos los participantes en la discusin. Por ejemplo, este argumento imaginario a o podr continuar de la siguiente manera. Si Juan viene, entonces el equipo tiene ms chance de a a ganar este partido. Pero si Juan no viene y no ganamos, entonces el prximo partido lo jugarn o a con el equipo de Valencia. Por lo tanto, como O bien Juan viene o no viene, podemos concluir que ganamos este partido o el prximo juego ser con el Valencia. En este argumento se us la o a o tautolog p p como una herramienta auxiliar para presentar el argumento de manera ms a a convincente. Esto tambin se puede hacer en las derivaciones. e En conclusin, en cualquier paso de una derivacin se puede incluir una tautolog En el o o a. ejemplo que sigue usaremos la tautolog q (q u). Dejaremos a cargo del lector convencerse a: de que esa es, en efecto, una tautolog a. Ejemplo 1.21. Si compramos una parcela, entonces construimos una casa o esperamos para vender la parcela a un precio mayor. Si construimos una casa o compramos un apartamento,

ww w.

M at

em

at

ic a1

Dejamos al lector hacer las correspondientes tablas de verdad y vericar que cuando p es falso y q es verdadero, entonces (p q) q es verdadero pero p es falso. 2

.c o

entonces compramos muebles. Si compramos muebles, entonces compramos un televisor. Si nos esperamos para vender la parcela, tendremos dinero suciente para comprar un apartamento. Por lo tanto, si compramos una parcela, entonces compraremos un televisor. Es este razonamiento vlido? a (P) Compramos una parcela (Q) Construimos una casa (R) Compramos muebles (S) Compramos un televisor (T) Esperamos para vender la parcela ms adelante a mejor precio a (U) Compramos un apartamento En forma simblica, el razonamiento que estamos estudiando es o Premisas: Conclusin: o p (q t), (q u) r, r s, t u. p s.

Observemos que bastar mostrar que a partir de las premisas podemos deducir la siguiente a frmula: o (q t) (q u) p (q t) , (q t) (q u) , (q u) r , r s.

em

y a partir de estas podemos obtener p s usando repetidamente el silogismo hipottico. e Usaremos esta idea para construir la derivacin que presentamos a continuacin. o o

(1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11)

(q u) r rs (q u) s q (q u) u (q u) tu t (q u) (q t) (q u) (q t) s p (q t) ps

M at

ww w.

at

ic a1

Justicacin o Premisa Premisa Silogismo hipottico e Tautolog a Tautolog a Premisa Silogismo hipottico e Prueba por casos en Silogismo hipottico e Premisa Silogismo hipottico e

.c o

pues de esa forma obtendr amos la cadena:

en (1) y (2)

en (5) y (6) (4) y (7) en (3) y (8) en (9) y (10) 2

Otra manera de mostrar la validez del razonamiento en el ultimo ejemplo es vericando la siguiente implicacin lgica: o o [ (p (q t)) ((q u) r) (r s) (t u) ] (p s)

Para hacerlo usando una tabla de verdad tendr amos que hacer una tabla con 26 = 64 las, pues tenemos 6 variables proposicionales. Ahora deber quedar claro que el mtodo de la derivacin a e o es mucho ms corto que el de hacer tablas de verdad, pero requiere ms ingenio para llevarlo a a a cabo. En resumen, una derivacin puede verse como una sucesin de frmulas 1 , 2 , , n que o o o cumplen con las siguientes condiciones: (i) 1 es una de las premisas o es una tautolog a. (ii) k+1 es una premisa, es una tautolog o se deduce a partir de 1 , 2 , , k , es decir, a 1 2 k k+1 Con frecuencia, k+1 es la conclusin de una regla de inferencia cuyas premisas se escogen o entre las frmulas 1 , 2 , , k . o (iii) n es la conclusin de la derivacin. o o Observacin 1.22. La razn de por qu se puede incluir una tautolog en cualquier paso de o o e a una derivacin es que una tautolog es una consecuencia lgica de cualquier frmula. En efecto, o a o o suponga que es una frmula cualquiera y es una tautolog Dejaremos al lector la tarea de o a. convencerse que es una tautolog El lector interesado tambin comprobar que al ser a. e a una tautolog entonces . En palabras, una tautolog es una consecuencia lgica a, a o de cualquier frmula. o

1. Represente en forma simblica los siguientes razonamientos y determine si son vlidos. Si o a lo son, halle una derivacin y en caso contrario explique por qu no hallando valores de o e verdad que hagan verdaderas todas las premisas pero falsa a la conclusin. o a) Si gana Beatriz o Alicia, entonces pierden tanto Luisa como Carmen. Beatriz gana. Por lo tanto, pierde Juana. b) Si Bol var fu asesinado, entonces Bol e var muri. Bol o var muri. Por lo tanto, Bol o var fu asesinado. e c) Cuando Pedro sali pudo haber ido hacia el norte o hacia el sur. Si Pedro fu al o e norte, entonces lleg a Trujillo. Cada vez que Pedro va a Trujillo visita a Ramn. o o Si se fu hacia el sur, entonces pas por El Vig Cuando Pedro pasa por El Vig e o a. a contin a el viaje hasta San Cristobal o hasta C cuta. Pedro no lleg a San Cristobal u u o y Ramn no vi a Pedro. Por lo tanto, Pedro est en C cuta. o o a u d ) Si Mar termina pronto su trabajo, entonces se ir con Rosa a su casa. Mar se a a a ir con Rosa a su casa se reunir con Luisa. Mar termin pronto su trabajo. Por a o a a o lo tanto, Mar no se reunir con Luisa. a a

ww w.

M at

Ejercicios 1.2.2

em

at

ic a1

.c o

e) Si Mar no se equivoca, entonces Jaime est equivocado. Si Jaime est equivocado, a a a entonces Luis tambin se equivoca. Si Luis est equivocado, entonces esta noche no e a es el espectculo. Pero esta noche es el espectculo o Jos se quedar trabajando. a a e a Mar no se equivoca. Por lo tanto, Jos se quedar trabajando. a e a f ) Si Jos es primo de Dar entonces su edad es m ltiplo de 3. Si la edad de Jos es e o, u e m ltiplo de 3, entonces el n mero 17 es m ltiplo de 3. Pero el n mero 17 no es m ltiu u u u u plo de 3. Si Luis es primo de Dar entonces vive entre Maracaibo y la Concepcin. o, o Si Luis vive en Maracaibo, entonces no vive entre Maracaibo y la Concepcin. Luis o vive en Maracaibo. Si Jos es primo de Dar entonces o Luis o Alberto son primos e o, de Dar Por lo tanto, Alberto es primo de Dar o. o. g) Si el cajero o el contador hubieran apretado el botn de alarma, la bveda se habr o o a cerrado automticamente y la polic habr llegado en tres minutos. Si la polic a a a a hubiera llegado en tres minutos, habr podido alcanzar el automvil de los ladrones. a o Pero no pudo alcanzar el automvil de los ladrones. Por lo tanto, el cajero no apret el o o botn de alarma. o 2. Halle una deduccin de la conclusin a partir de las premisas dadas. o o

e)

Premisas: Conclusin: o

(p q) r, s r, p. s.

3. Sean and frmulas. o a) Suponga que es una tautolog Convnzase de que es una tautolog Esto a. e a. dice que . En palabras, una tautolog es una consecuencia lgica de cualquier a o frmula. o b) Suponga que es una contradiccin. Convnzase de que es una tautolog o e a. Esto dice que . En palabras, cualquier frmula se puede deducir de una cono tradiccin. o 4. Yoana, una ni a de 7 a os, acaba de conocer a Elena, hija de Carmen. Carmen dice que n n Yoana se parece bastante a su mam y pregunta a Yoana: A quin se parece Elena, a a e la mam o al pap? Aunque Yoana nunca ha visto al padre de Elena, dice que Elena se a a

ww w.

d)

Premisas: Conclusin: o

p q, p s, q r. s r.

M at

c)

Premisas: Conclusin: o

s r, s p. p q.

em

at

b)

Premisas: Conclusin: o

p (r q), s t, s p, q t. r.

ic a1

a)

Premisas: Conclusin: o

r s, p, q r, q p. s.

.c o

parece a su pap. Cul pudo ser el razonamiento usado por Yoana para concluir esto? a a Qu premisas us Yoana tcitamente? e o a 5. Un prisionero debe hacer una eleccin entre dos puertas: detrs de una de ellas est una o a a hermosa dama y detrs de la otra se halla un tigre hambriento. Suponga que cada una de a las puertas tuviera un letrero y el prisionero sabe que solamente un letrero es verdadero. El letrero de la primera puerta dice: En este cuarto hay un dama y en el otro cuarto hay un tigre. El letrero de la segunda puerta dice: En uno de estos cuartos hay una dama y en uno de estos cuartos hay un tigre. Con esta informacin, el prisionero es capaz de elegir la puerta correcta (la del tigre?). o (Este problema es tomado de [6]) 6. Recordemos el problema que presentamos en la introduccin de este cap o tulo. Supongamos que tenemos un n mero entero positivo menor que 14 y que satisface las siguientes condiu ciones: es divisible por 3 y al sumarle 2 se obtiene un n mero divisible por 4. Entonces u ese n mero es el 6. En la introduccin mostramos que este razonamiento es correcto. Exu o prese este razonamiento usando la lgica proposicional e indique cules son las reglas de o a inferencia usadas en la demostracin. o

Ejemplo 1.23. Supongamos que alguien dice que Si llueve, no ir a trotar y sucedi que esa e o persona no fu a trotar. Entonces concluimos que llovi. e o Premisas: Conclusin: o Si llueve, entonces no ir a trotar y No fu a trotar. e e Llueve

Este argumento es incorrecto, pues como ya comentramos en el ejemplo 1.20 tenemos que: a (p q) q p Sin embargo, la regla Modus Ponens nos asegura que (p q) p q. Es decir, el siguiente argumento s es correcto. Premisas: Conclusin: o Si llueve, entonces no ir a trotar y Llueve. e No ir a trotar e 2

ww w.

M at

Una falacia es un argumento invlido que tiene la apariencia de ser correcto. En algunos a casos, su aparente correctitud se debe a que es similar a uno que s es correcto.

em

1.2.3.

Falacias

at

ic a1

.c o

Ejemplo 1.24. Considere el siguiente razonamiento: Premisas: Conclusin: o Si llueve, entonces no ir a trotar y No llueve. e Ir a trotar e

Es este argumento correcto? La respuesta es que no lo es, pues tenemos que (p q) p q como lo puede vericar el lector interesado. Sin embargo, la regla Modus Tollens dice precisamente que (p q) q p. Que corresponder al siguiente argumento vlido: a a Premisas: Conclusin: o Si llueve, entonces no ir a trotar y Voy a trotar. e No llueve. 2

1.2.4.

Equivalencia lgica o

ww w.

M at

Algunas frmulas, aun siendo distintas, tienen la misma tabla de verdad. Considere por o ejemplo las frmulas (p q) y p q. A continuacin calcularemos simultnemente las tablas o o a de verdad de estas frmulas. o p q V V V F F V F F pq V V V F (p q) p F F F F F V V V q F V F V p q F F F V

Observemos que las columnas 4 y 7 son idnticas. Es decir, independientemente de los valores e de verdad que se le asigne a las variables p y q las proposiciones (p q) y p q reciben el mismo valor. Para entender lo que esto signica notemos que (p q) es verdadera exactamente cuando p q no lo es. Lo cual ocurre exactamente cuando ni p ni q es verdadera. Es decir, cuando p y q son falsas. Esto es, cuando p q es verdadera. En otras palabras, desde el punto de vista de su veracidad, las frmulas (p q) y p q dicen lo mismo (pero de manera diferente). o Veamos otro ejemplo. Considere ahora las frmulas p q y q p. La tabla de verdad o de ellas (calculadas simultneamente) es la siguiente: a

em

at

ic a1

El lector interesado en conocer ms sobre las falacias puede consultar el libro [3] o la siguiente a direccin de internet: http://www.xtec.es/ lvallmaj/preso/fal-log2.htm. o

.c o

p q V V V F F V F F

pq V F V V

p F F V V

q F V F V

q p V F V V

De nuevo obtenemos que p q y q p tienen tablas de verdad idnticas. Esto muestra que e una frmula condicional y su contrarrec o proca son equivalentes en el sentido de que arman lo mismo. Dos frmulas y se dice que son lgicamente equivalentes si sus tablas de verdad son o o idnticas. Usaremos la siguiente notacin para expresar que y son lgicamente equivalentes: e o o La nocin de equivalencia lgica est presente en el lenguaje natural cotidiano. Esto se observa o o a cuando en el transcurso de una conversacin o discusin se usa una expresin como Bueno, en o o o realidad estamos diciendo la misma cosa, pero cada uno lo dice a su manera. La equivalencia lgica es de cierta forma una versin matemtica de la nocin com n de estar hablando de la o o a o u misma cosa. Otra propiedad importante de la equivalencia lgica viene dada por las reglas de sustituo cin que veremos a continuacin. Sean , , , y frmulas. o o o Reglas de sustitucin o Suponga y . Entonces

M at

ww w.

S1

em

S2 S3

La primera armacin es vlida, pues la ultima columna de la tabla de verdad se obtienen o a de la de sustituyendo V por F y viceversa. Y lo mismo ocurre con y . Dejamos al lector la tarea de convencerse de las otras armaciones. A travs de equivalencias lgicas es posible transformar las frmulas y obtener expresiones e o o ms simples. Ilustraremos con un ejemplo cmo simplicar un frmula del tipo . Pero para a o o hacerlo necesitaremos otra regla de sustitucin: La transitividad. o

Transitividad

Si y , entonces .

at

ic a1

.c o

Equivalencias lgicas o 1 2a 2b 3a 3b 4a 4b 5a 5b 6 7 (p) p pq qp pq qp p (q r) (p q) r p (q r) (p q) r Doble negacin o Leyes conmutativas

p q p q Tabla 1.3:

ww w.

p q q p

M at

(p q) (p q) (p q) (p q)

em

p (q r) (p q) (p r) p (q r) (p q) (p r)

ic a1

.c o
Leyes distributivas Leyes de De Morgan Contrapositiva Implicacin o

at

Leyes asociativas

La tabla 1.3 muestra algunas equivalencias lgicas importantes. Dejamos a cargo del lector o comprobar estas equivalencias haciendo las correspondientes tablas de verdad. Ejemplo 1.25. Considere la siguiente frmula: o (p (q r)) (1.1)

Usaremos las equivalencias presentadas en la tabla de arriba junto con la propiedad que enunciamos justo despus de la tabla para mostrar que esa frmula es equivalente a e o p (q r). Seguiremos un procedimiento similar al de las derivaciones indicando en cada paso las reglas usadas. Justicacin o (1) (p (q r)) (2) (p (q r)) (3) ((p) (q r)) (4) (p) (5) (q r) (6) (p) (q r) (7) (p (q r)) (8) (p (q r)) p (q r) implicacin o ((p) (q r)) sustitucin S1, linea (1) o (p) (q r) De Morgan p doble negacin o q r De Morgan p (q r) sustitucin S2, l o neas (4) y (5) (p) (q r) Transitividad, (2) y (3) p (q r) Transitividad, (7) y (6)

(p (q r)) ((p) (q r)) (p) (q r) p (q r) 2 Observacin 1.26. Es importante que el lector note que ocurre cuando se cumplen o simultneamente que y tambin que . Por esta razn, cuando se quiere establecer a e o la equivalencia lgica entre dos proposiciones, uno puede hacerlo mostrando dos implicaciones o lgicas. o De lo dicho anteriormente concluimos que las equivalencias lgicas que aparecen en la tabla o 1.3 tambin pueden ser usadas como implicaciones lgicas y por lo tanto como reglas de inferene o cia. El prximo ejemplo ilustra eso, pues haremos uso de la regla que llamamos contrapositiva: o (p q) (q p).

ww w.

La l nea (8) nos dice que la frmula (p (q r)) es lgicamente equivalente a p q r, o o que es claramente mas simple que la primera. Una vez que se tenga destreza con el manejo de las reglas de equivalencia uno puede resumir lo anterior de la siguiente manera:

M at

em

at

ic a1

.c o

En la prctica, esto signica que en cualquier momento de una deduccin uno puede sustituir a o una frmula del tipo p q por q p. o Ejemplo 1.27. Mostraremos que el siguiente razonamiento es vlido. a Premisas: Conclusin: o q r, p q, p t, t s, r. s. Justicacin o (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) qr r q r q pq q p p pt t ts s Premisa Contrapositiva de (1) Premisa Modus Ponens en (2) y (3) Premisa Contrapositiva de (5) Modus Ponens en (4) y (6) Premisa Silogismo Disyuntivo en (7) y (8) Premisa Modus Ponens (9) y (10)

ic a1

.c o

2. Simplique las siguientes frmulas siguiendo un procedimiento similar al usado en el ejemo plo 1.25. a) (p q)

b) ((p q) r)

d ) (p (q r))

c) (p (q r))

e) ((p q) (r s))

g) ( p ((q r) (r s))) 3. Determine si las siguientes armaciones son vlidas: a a) (p (q r)) (p (q r))

f ) ((p q) (r p))

ww w.

M at

1. Demuestre las equivalencias lgicas de la tabla dada en la seccin 1.2.4. Es decir, compare o o las correspondientes tablas de verdad.

em

Ejercicios 1.2.4

at

b) ((p r) q) ((p r) q) 4. Halle una deduccin de la conclusin a partir de las premisas dadas. o o Premisas: Conclusin: o (p q) r, s r, p. s.

5. Hemos visto varias formas de la implicacin: y ; y tambin del bicondicional: y o e . Este ejercicio deber aclarar la relacin entre ellos. a o a) Muestre que armar que es equivalente a decir dos cosas: y . b) Muestre que es equivalente a decir que es una tautolog a. c) Muestre que es equivalente a decir que es una tautolog a.

ww w.

M at

em

at

ic a1

.c o

También podría gustarte