Lenguaje natural y conectivos lgicos: bases para el lenguaje matemtico 1

Contenido Introduccin .................................................................................................... 1 1.1.- Las proposiciones ................................................................................... 4 Conectivas en el lenguaje natural y en el lenguaje lgico. ............................. 6 NO ................................................................................................................ 6 Y ................................................................................................................... 7 O,O BIEN...O BIEN .................................................................................... 8 SI...ENTONCES ( , , , ..) ................................................................... 10 SI Y SOLO SI ............................................................................................. 13 1.1.2 Frmulas proposicionales y tablas de verdad. ..................................... 15 1.1.3 Tautologas. ......................................................................................... 19 1.1.4 Equivalencia de frmulas. .................................................................... 20 1.1.5 Ley de dualidad. .................................................................................. 21

Introduccin
El lenguaje cotidiano tiene una gran riqueza, precisamente por muchas de las razones que lo hacen inapropiado para la matemtica. Gracias a su ambigedad poseemos la capacidad de usarlo analgicamente, de transmitir sentimientos y matices inexpresables con exactitud, incluso de formular aproximaciones a situaciones irrepetibles para nosotros mismos (la misma palabra no significa para nosotros lo mismo en circunstancias distintas), podemos usarlo con humor, con irona, con sarcasmo, con rabia,... En la comunicacin matemtica, en cambio, lo que interesa son las situaciones claras, unvocas, que para todos y en todas las circunstancias signifiquen lo mismo, y las conexiones lgicas precisas. El tiempo no cuenta, los matices indicando deseo, deber, intencionalidad,... estn ausentes. El lenguaje matemtico no formalizado, el que se utiliza normalmente en las clases y en los libros de texto, viene a constituir una
Al material del Dr. Miguel de Guzmn se le hicieron pequeas modificaciones y anexos, esperando que no se pierda su sentido original. Esperamos que esas modificaciones faciliten su lectura y sea ms familiar para un estudiante de ciencias de la computacin. http://www.mat.ucm.es/~angelin/labred/lengnatlengmat/00intro.htm (consultado el 25/06/07)
1

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

depuracin (y al mismo tiempo un empobrecimiento) del lenguaje ordinario. Comparte con l muchos de los vocablos y las expresiones cotidianas. Sin embargo, tambin es cierto que, debido a la intencin del lenguaje matemtico de hacer ms exacta, coherente y lgicamente consistente la comunicacin, en l se da a las mismas expresiones del lenguaje ordinario un sentido tcnico que, en ciertos casos, no corresponde a la forma en que cotidianamente nos comunicamos con ellos. Para quien empieza a adentrarse en la jerga de la matemtica profesional, es conveniente estar atento a estos cambios de sentido que pueden convertir sus primeros pasos en un camino lleno de trampas. Vamos a examinar a continuacin algunos de los resultados de esos intentos de depuracin del lenguaje cotidiano en el lenguaje matemtico no plenamente formalizado, ese en que los matemticos se comunican la mayor parte de las veces. La actividad ms tpica del razonamiento matemtico se puede describir de la forma siguiente: si la situacin A tiene lugar, entonces la situacin B tiene lugar. Se trata de la implicacin lgica. Como veremos, para ejercitar esta actividad con eficacia, el matemtico habr de poner en claro las situaciones A y B a travs de las definiciones de los objetos que intervienen en ellas y del examen detenido de sus relaciones mutuas y habr de tratar, mediante las reglas vlidas del razonamiento lgico, de poner de manifiesto que en caso de darse la situacin A se da necesariamente la B tambin. Es claro que en trminos generales este ejercicio no difiere de cualquier razonamiento argumentativo con el que queremos convencer a otra persona en nuestra actividad cotidiana de la realidad de una situacin. Las situaciones A y B se describen mediante unas cuantas expresiones o proposiciones, que podemos considerar los ladrillos bsicos del discurso que se enlazan a travs de ciertos elementos modificadores, los conectores lgicos (o conectivas lgicas), que fundamentalmente son: (no), (y), (o), o bien... o bien, (si... entonces), (si y slo si). Por otra parte, en las proposiciones fundamentales aparecen con mucha frecuencia en matemticas, y tambin en el lenguaje ordinario, modos constantes de referirse a ciertos o a todos los elementos de una colectividad, de un conjunto bien determinado. Estos modos son los llamados cuantificadores lgicos: para cada..., para algn... (en lenguaje cotidiano ms cercano: todos los..., alguno de los...). Vamos a examinar primero estos elementos aglutinantes (conectivos lgicos) para tratar de detectar alguna posible diferencia que en su utilizacin matemtica se puede encontrar respecto del uso cotidiano, a fin de prevenir posibles malentendidos. Ms adelante examinaremos detenidamente la forma de uso en el lenguaje ordinario y en matemticas de los cuantificadores lgicos. En resumen, la base del lenguaje matemtico es el lenguaje de la Lgica de primer orden (LPO) en el que los conectivos lgicos (, , , y ) y los cuantificadores (, ) tienen un significado especfico.

CENIDET 2010

DDA DCC

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

En esta primera unidad del curso estableceremos por un lado, los elementos fundamentales para leer y comprender el lenguaje matemtico y por otro estableceremos las bases para estudiar la componente deductiva de las matemticas. Por esta razn, estudiaremos la lgica de primer orden desde el punto de vista de su lenguaje y su relacin con el lenguaje natural y veremos una introduccin a la lgica desde el punto de vista de los sistemas deductivos. El estudio se dividir en dos partes: en primer lugar se estudiar el lenguaje y la lgica proposicional y en segundo lugar el lenguaje de la lgica de predicados. Esta unidad nos dar las bases para interpretar el lenguaje de las matemticas y comprender las formas especficas de validar sus conocimientos por medio de los mtodos de demostracin.

CENIDET 2010

DDA DCC

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

1.1.- Las proposiciones

En la lgica proposicional, las unidades bsicas (primitivas o atmicas), a partir de las cuales articulamos nuestros discursos argumentativos, se denominan proposiciones primitivas (simples). Consisten de expresiones declarativas que no pueden dividirse o analizarse por medio de expresiones declarativas ms sencillas y, adems, slo puede decirse de ellas que son verdaderas o falsas. En otras palabras, las proposiciones son afirmaciones sobre los hechos que se observan. En el estudio de la lgica proposicional slo se admiten expresiones declarativas; no se admiten expresiones interrogativas, exclamativas, etc. Leamos algunos prrafos del prlogo del famoso libro de Niklaus Wirth "Algoritmos y Estructura de Datos" 2, e intentemos identificar las proposiciones simples que en l aparecen: "Los programas, despus de todo, son formulaciones concretas de algoritmos abstractos basados en ciertas representaciones y estructuras de datos. Una contribucin sobresaliente que permiti poner orden en la abrumadora diversidad de terminologa y conceptos referentes a estructuras de datos fue hecha por Hoare en su tratado "Notes on Data Structuring". Este libro demostr que las decisiones acerca de la estructuracin de datos no pueden tomarse sin tener conocimiento de los algoritmos que se aplican a los datos y que, viceversa, la estructura y seleccin de los algoritmos con frecuencia dependen mucho de la estructura de los datos subyacentes. En resumen, los temas de composicin de programas y estructuras de datos se interrelacionan y son inseparables. No obstante, este libro comienza con un captulo acerca de las estructuras de datos por dos razones. Primero, uno tiene una sensacin intuitiva de que los datos preceden a los algoritmos: se deben estudiar algunos temas antes de poder efectuar operaciones con ellos. Segundo, y sta es la razn ms inmediata, este libro supone que el lector est familiarizado con las nociones bsicas de la programacin de computadoras. Sin embargo, es tradicional y razonable que los cursos introductorios de programacin se concentren en los algoritmos que operan en estructuras de datos relativamente simples. En consecuencia, parece adecuado un captulo introductorio sobre las estructuras de datos. ..." Algunas de las proposiciones simples o atmicas que aparecen en el texto o que podemos extraer, son: 1) Un programa es una formulacin concreta de un algoritmo. 2) La estructura de un algoritmo depende de la estructura de los datos. 3) Hoare escribi el tratado: "Notes on Data Structuring". 4) El libro "Notes on Data Structuring" comienza con un captulo sobre estructuras de datos.
2

Wirth, N. "Algoritmos y estructura de datos", ed. PHI Iberoamericana, 1990.

CENIDET 2010

DDA DCC

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

Por convencin las proposiciones se denotarn por las letras maysculas: P, Q, R, S, T, O, P1, Q1, ... en ocasiones por las letras minsculas: p, q, r, s, t, u, v, .... Las proposiciones anteriores las podemos simbolizar de la siguiente manera: P:= Un programa es una formulacin concreta de un algoritmo. Q:= La estructura de un algoritmo depende de la estructura de los datos. R:= Hoare escribi el tratado: "Notes on Data Structuring". S:= El libro "Notes on Data Structuring" comienza con un captulo sobre estructuras de datos. Ejercicio 1: Identifique dos proposiciones ms que estn presentes en el texto citado. Ejercicio 2: Indicar la razn por la cual las siguientes expresiones no son proposiciones: a) Apaga la computadora. b) Reglame un diskette. c) SILENCIO! d) Quin escribi "Notes on Data Structuring"? e) De qu trata el libro de Wirth?

NOTA: Realiza los ejercicios propuestos, de forma individual, al finalizar la explicacin de cada conectivo.
CENIDET 2010 DDA DCC

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

Conectivas en el lenguaje natural y en el lenguaje lgico 3. NO (, , )

En la negacin de una expresin sencilla no suele haber problema ninguno. Su uso es el mismo en el lenguaje ordinario y en el matemtico. Aseverar A no A significa lo mismo que afirmar que no es cierto que A o bien que A no tiene lugar, con un mismo sentido en ambos lenguajes, ordinario y matemtico: ~ A no A ser cierto, tendr lugar, cuando A sea falso, no se verifique, y no A ser verdadero, no tendr lugar, cuando A se verifique 4. La tabla de verdad de la verdad de la negacin es la siguiente: A V F A F V

En el lenguaje matemtico, la negacin de una negacin equivale siempre a una afirmacin. En nuestro lenguaje natural, en castellano, no siempre es as, sino que a veces, utilizamos la acumulacin de negaciones para dar mayor nfasis a nuestra expresin. No ir nunca es para nosotros ms o menos lo mismo que nunca ir. En lenguaje ms formal no es verdad que no est en casa equivale a est en casa y, en general (A) no-(no-A) es lo mismo que A. Ejercicio 3. Niega las siguientes proposiciones: P:= Un programa es una formulacin concreta de un algoritmo. Q:= La estructura de un algoritmo depende de la estructura de los datos. R:= Hoare escribi el tratado: "Notes on Data Structuring". S:= El libro "Notes on Data Structuring" comienza con un captulo sobre estructuras de datos. Ejercicio 4. Considera la expresin siguiente De ninguna manera ir nunca jams ni contigo ni con tu padre a Berln

Material adaptado de: http://www.mat.ucm.es/~angelin/labred/lengnatlengmat/01conect.htm (consultado el 25/06/07)

CENIDET 2010

DDA DCC

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

Construye una expresin equivalente con negaciones ms simples eliminando el nfasis retrico. ******************************************************************

Y (, &, , )
Tanto en el lenguaje normal como en el lenguaje matemtico, si A es una proposicin y B otra, entonces A B A y B tendr lugar, ser verdadera, si es que A es verdadera y B tambin lo es, y en todo otro caso ser falsa. No se presenta gran problema en el uso de y en matemticas. La tabla de verdad de conectivo es la siguiente: A V F V F B V V F F AB V F F F

El efecto del no sobre A y B es bien claro. No es verdad que el sbado llovi y que el lunes llovi es lo mismo que decir es verdad que el sbado no llovi o el lunes no llovi con la significacin tcnica concreta (no excluyente) de o que veremos enseguida. En general (A B) no (A y B) es lo mismo que A B (no-A) o (no-B) teniendo aqu o el significado que a continuacin presentaremos. Conviene observar que en el lenguaje ordinario A y B suele presentar connotaciones diversas, tal vez temporales, causales, etc..., de las que el lenguaje matemtico las ha despojado. Como deca nuestro gran profesor Germn Ancochea, no es lo mismo en el lenguaje natural decir de alguien se cas y tuvo un hijo que tuvo un hijo y se cas, si bien para el matemtico A B A y B es equivalente a B A B y A. Por otra parte se ha hecho notar (D. Lacombe), que y se utiliza con sentidos diferentes en contextos tales como Pedro y Juan son rubios, que equivale a Pedro es rubio y Juan es rubio, y Pedro y Juan son hermanos, que ciertamente no equivale a Pedro es hermano y Juan es hermano. Como se ve, esta circunstancia se da frecuentemente cuando el predicado de "son" es un adjetivo de relacin entre los sujetos. As mismo en matemticas: los tringulos ABC y A'B'C' son equilteros y los tringulos ABC y A'B'C' son semejantes. 7

CENIDET 2010

DDA DCC

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

Ejercicio 5. Aclara el sentido de las siguientes frases con una ms explcita. a) No mand que Juan y Pedro lo hicieran. Lo que orden fue que Juan o Pedro lo hicieran. b) Orden que lo hicieran Pedro y Juan. No dije que lo hicieran Pedro o Juan. Ejercicio 6. Construye una frase sencilla y clara equivalente a la siguiente: No es verdad que t eres brasileo y que tu padre es cataln Ejercicio 7. Construye una frase sencilla equivalente a No es verdad que t eres brasileo ni que tu padre es cataln Ejercicio 8. Construye una frase sencilla equivalente a: No es verdad que t no eres irlands ni que tu hermano es ingls ****************************************************************

O,O BIEN...O BIEN (, )

El vocablo o tiene dos significados en el uso cotidiano. En el escaparate de la librera de la universidad aparece escrito Nuestros clientes en posesin de carnet de estudiante o empleado de la universidad tendrn derecho al 15% de descuento. Est claro que no se pretende excluir del descuento a aquellos que estn en posesin de los dos carnets. Se trata del significado no excluyente de o. Segn l A B A o B tendr lugar, ser verdadera, cuando tenga lugar, sea verdadera, al menos una de las dos proposiciones. Y A o B ser falsa cuando A sea falsa y B sea falsa, lo que indica en la siguiente tabla de verdad:
A V F V F B V V F F AB V V V F

CENIDET 2010

DDA DCC

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

Pero este no es el nico significado de o en nuestro uso normal. Una nia se empea en que su padre la lleve el domingo por la maana al parque de atracciones y por la tarde al cine de su barrio. El padre le dice No. Saldremos por la tarde e iremos al cine o al parque de atracciones. Este es el sentido excluyente de o: A B A o B significa en este caso que tiene lugar exactamente una de las dos proposiciones. Segn este sentido A B A o B ser verdad en los casos siguientes: (1) A verdadero y B falso; (2) A falso y B verdadero. Ser A o B falso en los casos siguientes: (3) A verdadero y B verdadero; (4) A falso y B falso. En la siguiente tabla se resumen esos significados: A V F V F B V V F F AB F V V F

En el lenguaje ordinario, cuando queremos poner bien claramente de manifiesto que se trata del sentido excluyente, usamos o bien... o bien o incluso nos hacemos ms explcitos: No insistas. Haremos una sola cosa. Vamos al cine o vamos al parque de atracciones. En el lenguaje matemtico, por convencin, o tiene siempre un significado no excluyente. Esto implica a veces una patente diferencia con el uso del lenguaje ordinario que llama la atencin a quien esta convencin no se le ha hecho bien explcita y familiar. En el lenguaje matemtico es una expresin verdadera 3 es menor o igual que 5 y tambin lo es 5 es menor o igual que 5 aunque todos sabemos bien que lo verdadero es que 3 es menor que 5 y que 5 es igual que 5. Tambin, de acuerdo con esta convencin, en matemticas la expresin 5 es mayor que 7 o Madrid tiene ms de 3 millones de habitantes es, tal vez sorprendentemente para el ciudadano normal, una expresin con perfecto sentido, ms an, verdadera. Como consecuencia de lo dicho hasta ahora, en el lenguaje matemtico, si se desea utilizar el significado excluyente, es preciso hacerlo bien explcito como se ha indicado antes con frases tales como: o bien A o bien B, tiene lugar una exactamente de entre las situaciones A y B.

CENIDET 2010

DDA DCC

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

El efecto del no sobre A B A o B es en cierto modo dual del efecto del no sobre A y B. Decir no es verdad que vinieras t o tu hermano (recuerda el sentido no excluyente de o) es lo mismo que decir es verdad que t no viniste y que tu hermano no vino. En general (A B) no-(A o B) es lo mismo que A B (no-A) y (no-B) (verifquelo construyendo la tabla de verdad de ambas expresiones. Ejercicio 10. Pepe dice: orden que vinieran Pedro o Juan. Han venido Pedro y Juan. Se cumpli la orden? Ejercicio 11. Julio dice:Orden que vinieran o bien Pedro o bien Juan Han venido Pedro y Juan. Se cumpli la orden? Ejercicio 12. Construye una frase explicativa equivalente a: No es verdad que vinieran Pedro o Juan Ejercicio 13. Construye una frase explicativa equivalente a: No es verdad que vinieran o bien Pedro o bien Juan Ejercicio 14. Cul ser la negacin de (A B)? De un ejemplo en lenguaje natural explicando dicha negacin. ******************************************************************

SI...ENTONCES ( , , , ..)
En nuestra vida ordinaria una expresin de este tipo,si A, B, lleva aparejadas connotaciones muy diversas, tal vez de causalidad, temporalidad, a veces sobreentendiendo tcitamente relaciones nada fciles de desentraar. Si A entonces B A B, viene a significar normalmente que el constatar que la situacin indicada por A tiene lugar, es verdadera, ya nos basta para poder estar seguros de que la situacin B tiene tambin lugar. Esto nos lleva a concluir que el que B no tenga lugar, que B sea falso, lleva consigo que A haya de ser falso, es decir si no B entonces no A, es ms, las dos afirmaciones son verdaderas y falsas al mismo tiempo, son equivalentes (verifquelo construyendo la tabla de verdad de A B y B A). Utilizamos si en muchos casos que no corresponden a la descripcin anterior.

CENIDET 2010

DDA DCC

10

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

Si tienes sed, hay agua fresca en el frigorfico, no nos lleva a pensar que si no hay agua fresca en el frigorfico entonces es que no tienes sed. Si te interesa, nac en Madrid no nos lleva a pensar que si no nac en Madrid no te interesa. Si t eres diputado, yo soy obispo es un modo de significar la conviccin tan fuerte que tengo de que no eres diputado, y se acerca ms al significado adoptado en el lenguaje matemtico para el A B si A entonces B, como veremos ms abajo, puesto que, en buena lgica formal, la expresin anterior slo es falsa cuando t eres diputado (ya que yo ya s que no soy obispo). La tabla de verdad de A B es: A V F V F B V V F F AB V V F V

En el lenguaje matemtico si A entonces B o lo que es lo mismo A implica B se interpreta en un sentido bien definido. Ser verdad siempre que: (1) A se verifica y B tambin; (2) A no se verifica y B s se verifica; (3) A no se verifica y B tampoco. Ser falsa cuando A se verifica y B no se verifica. En otras ocasiones sucede que interpretamos mal nuestro A B si... entonces del lenguaje ordinario porque nos inclinamos a sobre entender lo que no est dicho. Dijo si llueve me quedo en casa. Resulta que est en casa. Qu deduces? Tal vez tu tendencia, como la de muchos otros, es decir: que llueve. Mal hecho. No dijo nada sobre lo que hara si no llova. Y si resulta que no est en casa? Qu deduces? Ahora s que se puede deducir que no llueve. Es interesante observar que A B si A entonces B es equivalente a una expresin que solamente utilice los conectores anteriormente introducidos. Decir si llueve, entonces me quedo en casa es lo mismo que decir no suceder que llueva y yo no est en casa. En general A B si A entonces B es equivalente a (A B) no-(A y no-B). Esto facilita el examen del efecto de la negacin sobre A B si A entonces B. No es verdad que si A entonces B, es decir ( A B ) no-(si A entonces B) es lo mismo que ( (A B)) no-(no-(A y no-B)), y esto (negacin de negacin es afirmacin) es lo mismo que (A B) A y no-B. Esto coincide con el sentido del lenguaje
CENIDET 2010 DDA DCC

11

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

cotidiano: la falsedad de que A implica B coincide con que se verifica A y no se verifica B. Como hemos podido ver, para la verdad de A implica B desde el punto de vista estrictamente lgico, no se tiene en cuenta para nada la influencia del significado de A sobre el de B, lo que, naturalmente, no suele ocurrir en el lenguaje ordinario, ni tampoco en el matemtico normalmente. La razn profunda para introducir en lgica, por convencin, este significado de la implicacin (implicacin material), un tanto alejado del uso normal, es la necesidad de dar un sentido uniforme a nuestro discurso, mediante la exclusiva atencin a la coherencia lgica interna, a travs de una asignacin precisa del valor de verdad o falsedad de nuestras afirmaciones (aqu si A entonces B) segn el valor de verdad o falsedad de las proposiciones de las que dependen (aqu A y B). En matemticas se suele utilizar a menudo si para introducir una definicin. Un nmero natural se llamar par si resulta al multiplicar otro nmero natural por 2. Es bueno tener presente que el si de las definiciones tiene significado distinto del anterior. No se trata aqu de una implicacin sino de una equivalencia. El si de las definiciones es ms bien la asignacin de un nombre,se llama D cuando B, y quiere decir que donde vea B puedo poner D y viceversa. Ejercicio 16. Si el Necaxa no gana el partido el domingo, Pepe ser muy infeliz. Resulta que el domingo gana el Necaxa y encuentras a Pepe, por la noche, totalmente infeliz. Era la verdad de la proposicin entre comillas compatible con esta situacin? Ejercicio 17. Seala cules de las expresiones siguientes son verdaderas y cules falsas: (a) Si 2 > 7, entonces 1 > 3 (b) Si 2 < 7, entonces 1< 3 (c) Si x = 3, entonces 1 < 2 (d) Si x = 3, entonces 1 > 2 Ejercicio 18. Cules son las proposiciones simples que aparecen en los siguientes enunciados? a) Si los datos preceden a los algoritmos, entonces se deben estudiar primero antes de hacer operaciones con ellos. b) Un programa es legible solamente si est bien estructurado. c) Si T es un rbol binario completo con i vrtices internos, entonces T tiene i + 1 vrtices terminales y 2i + 1 vrtices en total.

CENIDET 2010

DDA DCC

12

MATEMTICAS

Edited by Foxit Reader Copyright(C) by Foxit Software Company,2005-2008 PARA CIENCIAS DE LA COMPUTACIN For Evaluation Only.

Introduccin a la Lgica de primer orden

d) Si una funcin f es inyectiva y sobreyectiva, entonces f es invertible. e) Si (A, R) es un conjunto parcialmente ordenado y A es finito, entonces A tiene elementos maximal y minimal. Ejercicio 19. Los siguientes enunciados se reducen a la forma lgica P Q, Cul sera la forma de rescribirlos usando la estructura Si ... entonces ...? a) Es agradable caminar sobre la lluvia, siempre que se tenga algo suficientemente triste en que pensar. b) Cuando alguien escribe como Borges, puede disculprsele todo. c) Bien pensado, no hay por qu ser bienpensante. d) En caso de que sople el viento, podremos navegar a vela. e) De haberlo meditado bien, no me habra atrevido a escribir estas notas.

SI Y SOLO SI (, )
La expresin si y slo si es relativamente reciente en el lenguaje matemtico. En el lenguaje ms tradicional se expresaba A es condicin necesaria y suficiente para B. Expresiones del tipo A B A si y slo si B donde A y B son proposiciones, solamente se suelen encontrar en nuestro idioma en el lenguaje matemtico. No son usuales en el lenguaje natural. A B A si y slo si B significa que se verifican a la vez las dos implicaciones si A entonces B y si B entonces A en el sentido de la seccin anterior. Por lo tanto, segn se comprueba fcilmente A si y solo si B tendr lugar, ser verdadera, cuando: (1) A es verdadera y B es verdadera; (2) A es falsa y B es falsa. Ser falsa cuando: (3) A es verdadera y B es falsa; (4) A es falsa y B es verdadera. Lo anterior se muestra en la siguiente tabla: A V F V F B V V F F A B V F F V

CENIDET 2010

DDA DCC

13

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

Una abreviacin de la expresin si y slo si que se usa en la literatura de matemticas es sii que es una traduccin un tanto curiosa del if and only if (iff) anglosajn. Quiz con esta abreviacin se pasa por alto el A si y slo si B y coloca la atencin directamente en la implicacin doble A implica B y B implica A. Ejemplos: a) Juan presenta el examen si y solo Juan ha estudiado: P:= Juan presenta el examen; Q:= Juan ha estudiado. P Q. b) Que vengas los lunes es lo mismo que vengas los martes: R Q. c) Las respuestas en el examen de lgica de Javier son los mismos que los de Miguel: T W. A veces, pero no siempre, una equivalencia material se presenta como: P si y slo si Q P es lo mismo que Q No hay diferencia entre decir P o decir Q. P siempre y cuando Q. Es tan verdadero P como Q, u otras maneras. Ejercicio 20. Reescribe la siguiente oracin utilizando las expresiones anteriores o de otras maneras: El procedimiento A es equivalente al procedimiento B

CENIDET 2010

DDA DCC

14

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

1.1.2 Frmulas proposicionales y tablas de verdad.

A la representacin simblica de una proposicin compuesta le llamaremos frmula proposicional o simplemente frmula. La frmula proposicional es una expresin del lenguaje de la Lgica de proposiciones. Dicho lenguaje est constituido por los siguientes elementos: un conjunto de smbolos para representar las proposiciones, un conjunto de smbolos para representar los conectivos y algunos smbolos de agrupacin. Ms adelante se definir con precisin dicho lenguaje y las reglas para formar expresiones validas. En la siguiente tabla se muestran algunas frmulas proposicionales asociadas a proposiciones compuestas: Frmula proposicional PQ

Proposicin 1.- Java es un lenguaje de programacin y se usa para disear Webs dinmicas. P Java es un lenguaje de programacin. Q Java se usa para disear Webs dinmicas 5.-Estudio la maestra en computacin si y slo si obtengo la beca P Estudio la maestra en computacin. Q Obtengo la beca. 3.- Si Internet Explorer y Netscape Communicator son herramientas para navegar en Internet, entonces ambos compiten en el mercado de los navegadores. P Internet Explorer es una herramienta para el uso de internet. Q Netscape Communicator es una herramienta para el uso de internet. R Internet Explorer y Netscape Communicator compiten en el mercado de los navegadores 4.- Si Luisa sabe ingls o informtica, entonces consigue el trabajo R Luisa sabe ingls. T Luisa sabe informtica. U Luisa consigue el trabajo. A las letras

P Q

(P Q) R

(R T) U

P, Q, R, T y U se les denomina variables proposicionales.

Si una proposicin es una expresin declarativa cuyo valor de verdad puede ser verdadero o falso:

CENIDET 2010

DDA DCC

15

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

Cmo determinamos el valor de verdad de una proposicin compuesta? De qu depender el valor de verdad de una frmula proposicional compuesta? ESCRIBIR las posibles respuestas a estas preguntas antes de continuar con la lectura del material.

CENIDET 2010

DDA DCC

16

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

El valor de verdad de una proposicin compuesta lo podemos obtener a partir de las tablas de verdad de los conectivos. Ejemplo: Construye la tabla de verdad de la frmula: (P Q) v R. Para obtener el valor de verdad, construimos una tabla en la que se escriben las variables que componen la frmula y las subfrmulas necesarias para determinar dicho valor. En la tabla deben aparecen todas las combinaciones posibles de los valores de verdad de las variables proposicionales, que componen la frmula. P V V V V F F F F Q V V F F V V F F R V F V F V F V F Q F F V V F F V V * P Q F F V V F F F F ** (P Q) V R V F V V V F V F +++

* (la negacin de Q), ** (conjuncin entre P y Q), +++(disyuncin entre (P Q) y R), donde cada rengln ha sido evaluado de acuerdo a los criterios establecidos. Para una combinacin determinada, podemos decir el valor de verdad de la frmula. Por ejemplo, tomando los valores de P verdadera, Q falsa y R falsa, se tiene que (P Q) v R es verdadera, segn se puede apreciar. En la tabla anterior aparecen todos los posibles valores de verdad que pueden tener las variables proposicionales P, Q, y R. Si la frmula contiene dos variables, Cuntos renglones aparecen en la tabla? _____________________________________ Si la frmula contiene tres variables, Cuntos renglones aparecen en la tabla? _____________________________________ Si la frmula tuviera n variables, Cuntos renglones deberan aparecer en la tabla? ______________________________

CENIDET 2010

DDA DCC

17

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

ESCRIBIR las posibles respuestas a estas preguntas antes de continuar con la lectura del material. Ejemplo: Construir la tabla de verdad de la proposicin compuesta: (P Q) R

P V V V V F F F F

Q V V F F V V F F

R V F V F V F V F

P F F F F V V V V

P Q V V F F V V V V

(P Q) R V F V V V F V F

Como puede observarse, el valor de verdad de (P Q) R es falso en los siguientes casos: P y R falsas y Q verdadera; P, Q, R falsas. Ejercicio 21: Construir la tabla de verdad para las siguientes proposiciones compuestas, e indicar los casos en que sean verdaderas: a) P (R Q) b) (P (P Q)) Q. c) (P Q) (P v Q)

CENIDET 2010

DDA DCC

18

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

1.1.3 Tautologas.
Una frmula proposicional se puede clasificar de acuerdo a los siguientes casos: a) Si los valores de verdad son siempre verdaderos, sin importar cuales son los valores de verdad de las variables proposicionales que en ella intervienen, a esa frmula se le llama tautologa. b) Si los valores de verdad son siempre falsos, sin importar cuales son los valores de verdad de las variables proposicionales que en ella intervienen, a esa frmula se le llama contradiccin. c) Si los valores de verdad de la frmula son en algunos casos verdaderos y en otros falsos, a la frmula se le llama contingencia.

Ejercicio 22. Clasifica las siguientes frmulas proposicionales: a) b) c) d) e) f) g) [ (P Q) P] Q [ (P Q) P] Q [(P Q) (Q R)] (P R) (P Q) (P Q) P P (P Q) (P Q) (P Q) ( P Q)

CENIDET 2010

DDA DCC

19

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

1.1.4 Equivalencia de frmulas.

Equivalencia de frmulas En nuestros procesos de razonamiento, muchas veces, empleamos expresiones que consideramos como equivalentes. Esto es, reemplazamos una por otra considerando que tienen el mismo significado, aunque tengan formas diferentes. La idea de equivalencia, al trasladarse a la lgica, toma una forma particular, la que analizaremos al construir las tablas de verdad de los siguientes pares de frmulas: a) P Q; Q P b) (P Q) R; P (Q R) c) P Q; P v Q d) (P Q); P Q e) P Q; Q P f) P (Q R); (P Q) R

Qu se observ en cada caso? Escribir las conclusiones.

Cmo podemos definir la equivalencia de dos frmulas?

CENIDET 2010

DDA DCC

20

MATEMTICAS PARA CIENCIAS DE LA COMPUTACIN Introduccin a la Lgica de primer orden

Definicin: Dos frmulas son equivalentes si al evaluarse tienen el mismo valor de verdad, para cada combinacin de los valores de verdad de sus variables.

1.1.5 Ley de dualidad.

Ejercicio 23. Investigue el concepto de dualidad de frmulas y de tres ejemplos donde se aplica.

Para finalizar esta seccin, agregaremos que con el conocimiento del significado de los conectivos lgicos, se puede iniciar el reconocimiento de la estructura lgica de un enunciado del lenguaje natural y del lenguaje matemtico. Y como se coment en la introduccin, una de las formas lgicas que ms se presenta en matemticas es: P Q, con la cual se enuncian muchos teoremas. Pero los conectivos no son suficientes para describir la estructura lgica de muchos enunciados tanto del lenguaje natural como del matemtico, hace falta estudiar los cuantificadores lgicos (, ) para comprender mejor los enunciados en matemticas. Dichos cuantificadores se estudiarn posteriormente.

CENIDET 2010

DDA DCC

21