INTRODUCCIN: Todos estamos familiarizados con la lgica y con la idea de que algunas personas poseen una mentalidad lgica

mientras que otras no. Esta idea muy particular de lgica est seguramente ligada a la manera en como percibimos la manera de razonar y la validez de conclusiones que esas personas obtienen Cmo llegar a ser lgicos?.... Esta pregunta fue la que probablemente se hizo el gran matemtico alemn Gottfried Leibniz (1646-1716) cuando a la edad de 14 aos intent reformar la lgica clsica1. Alos 20 aos escribi que deseaba

crear un mtodo general en el cual todas las verdades de la razn seran reducidas a una especie de clculos. ....Sera muy difcil formar o inventar este lenguaje o caracterstica, pero muy fcil de entenderlo sin necesidad de diccionarios....no habra ya mayor necesidad de discusin entre dos filsofos que entre dos contables. Les bastara tomar sus lpices, sentarse en el tablero y decir: calculemos.
Este sueo de Leibniz no se realiz hasta que el matemtico George Boole (1815-1864) separ los smbolos de las operaciones matemticas de los conceptos sobre los cuales operaban y estableci un sistema factible y sencillo de lgica simblica. Estas ideas fueron expuestas en su obra An investigation of the laws of thought , pero este trabajo no tuvo aceptacin y es slo hasta que Bertrand Russell (1872-1970) y Alfred North Whitehead (1861- 1947) utilizaron la lgica simblica en la obra Principia Mathematica , cuando el mundo de la matemtica dio importancia a las ideas propuestas por Leibniz unos 250 aos antes. El propsito de la lgica simblica es pues, tratar de establecer un lenguaje simblico artificial que se pueda utilizar para simplificar los argumentos lgicos complicados. En este curso daremos sus reglas y definiciones bsicas y pretendemos que con la prctica podamos mejorar nuestra capacidad para analizar los argumentos que constantemente nos rodean, tales como los de legisladores y dirigentes, anunciantes publicitarios, padres, otros. Segn distintos estudiosos de la lgica, la definicin de lgica es:

La lgica es la ciencia de las formas del pensamiento (conceptos, juicios y razonamientos), investiga las leyes que le dan validez formal al pensamiento. En su forma actual utiliza un lenguaje simblico y procedimientos de derivacin semejantes a las matemticas. Tambin se le ha concebido como una disciplina normativa que proporciona reglas para la correcta conduccin del pensamiento
LGICA, DEFINICIN: Proposiciones En la lgica simblica, cada uno de los conceptos se define de manera estricta; no debe quedar lugar a dudas o imprecisiones en su significado. Nada se da por supuesto. Por ejemplo, en el lenguaje ordinario un enunciado u oracin
La lgica clsica, comenz con los silogismos de Aristteles de los cuales uno de los ms famosos es: Todos los hombres son mortales; todos los hroes son hombres; por tanto todos los hroes son mortales. El filsofo griego propuso 14 silogismos de este tipo y pens que constituan la mayor parte de las operaciones del razonamiento. Los telogos medievales aadieron 5 silogismos a los 14 de Aristteles y durante aos estos 19 silogismos han sido el fundamento de la enseanza de la lgica.
1

se puede definir como una palabra o un grupo de palabras, que declara, pregunta, ordena, solicita o exclama algo; unidad convencional del habla o escritura coherente, que normalmente tiene un sujeto y un predicado, que empieza con mayscula y termina con un punto. Sin embargo en la lgica simblica una oracin tiene un significado mucho ms limitado y se llama proposicin.

Una proposicin es un enunciado al cual se le puede asociar uno de los conceptos verdadero o falso, pero no ambos. Las caractersticas esenciales en esta definicin las podemos expresar con estos dos principios:

Principio del tercero excluido: Cada proposicin es o verdadera o falsa. Principio de no contradiccin: Ninguna proposicin es a la vez verdadera y falsa.
Si el enunciado es una pregunta o una orden, si es demasiado imprecisa o si carece de sentido, no se podr clasificar como verdadera o falsa y por tanto no se llamara proposicin. Tomando en cuenta la definicin dada, rellena la siguiente tabla: Enunciado 3+2 = 7 Sal de aqu! Mickey Mouse es presidente Te sientes bien? Neil Armstrong camin sobre la luna Dios cre los nmeros naturales El prximo presidente ser un militar En el principio cre Dios los cielos y la tierra T y yo coincidimos en nuestras aficiones Es proposicin? Si

Conectivos Lgicos y Proposiciones compuestas: En el lenguaje corriente se pueden enlazar proposiciones para formar otras ms complejas. Para traducir del lenguaje comn al simblico, se establece una especie de taquigrafa notacional. Se denotan las proposiciones simples con letras minsculas tales como p,q,r,s, . . . y luego se definen ciertos conectivos.

Veamos un ejemplo: Si decimos Hoy es un da tormentoso y hace calor, podemos desglosar esta proposicin de la siguiente manera p: Hoy es un da tormentoso q: Hoy hace calor Al conectarlas con la conjuncin y estamos formando una nueva proposicin. En lgica, esta conjuncin tambin tiene un smbolo y es : La simbolizacin de la proposicin inicial sera entonces: p q

EJEMPLOS

1. Encontrar las proposiciones simples que componen los siguientes enunciados compuestos: Carlos es un estudiante y Juan es un ingeniero. El nmero 2 es un nmero par y el nmero 3 es un nmero primo. En Cartagena hay mar y en Bogot hace fro SOLUCIN: Carlos es un estudiante; Juan es un ingeniero PROPOSICIN SIMPLE PROPOSICIN SIMPLE El nmero dos es un nmero par; El nmero 3 es un nmero primo. PROPOSICIN SIMPLE PROPOSICIN SIMPLE En Cartagena hay mar; En Bogot hace fro. PROPOSICIN SIMPLE PROPOSICIN SIMPLE Si P denota la proposicin: Luis es mdico. Si Q denota la proposicin: El sol calienta la tierra; Escriba las siguientes proposiciones en forma simblica: Luis es mdico o el sol calienta la tierra. Luis es mdico y el sol calienta la tierra. SOLUCIN PQ PQ

Una proposicin compuesta se forma enlazando proposiciones simples con conectivos.

Una conectiva es un elemento del lenguaje que permite construir frases nuevas a partir de las existentes, obteniendo as nuevos significados.
A continuacin se especifican las posibles conectivas: Los conectivos que abordaremos inicialmente en este curso sern:

conectivo y o no Si...entonces

nombre conjuncin disyuncin negacin condicional

Smbolo ~

Nombre de la conectiva Negacin

Representacin ~p

Ejemplos de frases en las que aparece no p es falso p no es cierto p

Conjuncin

pq

Disyuncin

pq

Condicional (Implicacin)

pq

Bicondicional (Equivalencia)

pq

pyq p pero q p sin embargo q p no obstante q p a pesar de q poq o p o q o ambos al menos p o q como mnimo p o q si p entonces q p slo si q q si p q cuando p q es necesario para p para p es necesario q p es suficiente para q para q es suficiente p no p a menos que q p es necesario y suficiente para q p s y slo si q

El valor de certeza de una proposicin simple puede ser verdadero (V) o falso (F). Podremos determinar el valor de certeza de una proposicin compuesta, el cual depender de los valores de certeza de las proposiciones simples que la componen. Tablas de certeza o tablas de verdad para los conectivos: Negacin: Dada la proposicin p consideremos los posibilidades para la validacin de la proposicin ~ p Si p es verdadera, su negacin ser falsa y si p es falsa, su negacin ser verdadera. Esto lo podemos resumir con la siguiente tabla: p ~p V F F V

Ej: Si p es Reprob el primer parcial de Lgica La negacin de p ser: No reprob el primer parcial de lgica Conjuncin: Dadas las proposiciones p , q , consideremos los posibilidades para la validacin de la proposicin compuesta p q: Opcin 1: p verdadera q verdadera Opcin 2: p verdadera q falsa Opcin 3: p falsa q verdadera Opcin 4: p falsa q falsa Estas opciones las podemos esquematizar en una tabla como se muestra a continuacin: p q V V V F F V F F

Para obtener los valores de certeza de la conjuncin p q, completaramos la tabla anterior de la siguiente manera: Esta tabla se llama Tabla de verdad o tabla de certeza para la conjuncin de dos proposiciones. p V V F F q V F V F pq V F F F

La conjuncin de dos proposiciones p, q es otra proposicin denotada por p q, la cual es cierta, si y slo si p y q son ciertas. Al clculo proposicional de la lgica simblica no le interesa el contenido especfico de las proposiciones, sino la validacin o no de las proposiciones en funcin de la validacin o no de las proposiciones que la conforman. La fuerza de la lgica proposicional radica en que no se deja ningn significado al azar o a la interpretacin individual. Sin embargo, para definir los valores de certeza correspondientes a las proposiciones compuestas y los conectivos, trataremos de ajustarnos al uso comn. Si las proposiciones p, q son: p: Hoy es un da tormentoso y q: Hoy hace calor, podemos constatar fcilmente los valores asignados en la tabla para la conjuncin de p y q.

Disyuncin:

Dadas las proposiciones p, q, consideremos las posibilidades para la validacin de la proposicin compuesta p q:

Para obtener los valores de certeza de la disyuncin p p V V F F

q, completaramos la tabla de la siguiente manera: Q p q V V F V V V F F

La disyuncin de dos proposiciones ser falsa, slo en el caso en que ambas proposiciones sean falsas. Condicional: Dadas las proposiciones p , q , se denota por p q y se lee si p entonces q, al condicional de dos proposiciones A p se le da el nombre de antecedente y q es el consecuente. Tambin se dice que p es condicin suficiente para (que ocurra) q o que q es condicin necesaria para p. Para obtener los valores de certeza del condicional p q, conviene pensar en el condicional como una promesa. Dada la siguiente proposicin:Si hoy no llueve, entonces iremos a la playa Podemos establecer que p es: Hoy no llueve y q: Iremos a la playa; observamos que la promesa no se cumple en el caso en que no llueva y no vayamos a la playa; es decir p verdadero y q falso. Slo en este caso, el enunciado:Si hoy no llueve, entonces iremos a la playa es falso (no se cumpli la promesa!)

La tabla de verdad del condicional viene dada por: p V V F F q p q V V F F V V F V

Notemos que si hoy llueve (p falso) , vayamos o no vayamos a la playa , no se est incumpliendo la promesa.

As pues, podemos definir el condicional verdadero y el consecuente falso.

como otra proposicin que slo ser falsa cuando el antecedente sea

Lo que sigue, es IMPORTANTE para la simbolizacin. Muchas veces nos encontraremos con proposiciones condicionales, que estn redactadas o enunciadas de manera que no aparece primero el si del condicional. Lo importante es detectar cual es la consecuencia. Veamos un ejemplo: Dado el condicional Si gano la lotera entonces te regalar 10.000 dlares, lo podramos enunciar tambin como:

Que gane la lotera , implica que te regalar 10.000 dlares (p q ) Te dar 10.000 dlares si gano la lotera. (q si p) Para darte 10.000 dlares es suficiente que gane la lotera. (p es suficiente para q) Que gane la lotera hace necesario que te de 10000 dlares (q es necesario para p) Te dar 10.000 dlares cuando gane la lotera (q cuando p) Te dar 10.000 dlares siempre y cuando gane la lotera (q siempre que p)

Algunas expresiones que no estn escritas originalmente como condicionales, se pueden expresar de la forma Si..... entonces....; por ejemplo todos los hombres son mortales lo pudiramos escribir : Si eres hombre, entonces eres mortal

2. Sintaxis de la Lgica de Proposiciones Una vez que se ha definido lo que es una proposicin as como los posibles tipos de conexiones existentes entre proposiciones, estamos en condiciones de definir formalmente un lenguaje proposicional. Un lenguaje proposicional se define formalmente en virtud de su alfabeto y de sus reglas de sintaxis. 2.1. Definicin. Un alfabeto es el conjunto de smbolos (que se pueden utilizar para construir las cadenas del lenguaje) El alfabeto que sirve para definir el lenguaje proposicional est formado por smbolos de cuatro tipos: Smbolos de Proposiciones: p, q, r, Smbolos de Conectivas: ~, , , , Smbolos de verdad: V, F Smbolos auxiliares: (, ), [, ], {, }

Del mismo modo que en el lenguaje natural no toda combinacin de proposiciones y conectivas es sintcticamente correcta, y por ello hay definidas unas determinadas normas de sintaxis, aqu tambin es necesario definir unas reglas de sintaxis para la obtencin de frmulas de lenguaje proposicional bien formuladas. 2.2. Definicin (Reglas de Sintaxis) Se definen las llamadas frmulas bien formadas (fbf) (tambin denominadas

de forma abreviada frmulas o simplemente proposiciones) del lenguaje proposicional en virtud de la siguiente definidin recursiva

Los smbolos de verdad V y F son fbf. Los smbolos proposicionales p, q, r, son fbf y se denominan proposiciones elementales Si A y B son dos fbf, entonces tambin lo son ~A, ~B, A B, A B, A B, A B.

Existen reglas de combinacin de conectivas para que la composicin de stas y de proposiciones den lugar a fbf. Estas reglas se reflejan a continuacin:

2.1 Observacin: Dos conectivas no pueden ser adyacentes, salvo si una de ellas es la negacin. Entre las conectivas existe una jerarqua de prioridades para evitar ambigedades. Esta jerarqua es la siguiente: ~ , ,

Ejemplo 3
Sean las proposiciones del ejemplo anterior:

p: 7 es mayor que 20 q: 5 es menor que 7

cuyo valor de verdad es F para p V para q. Como los smbolos proposicionales son por definicin fbf, podemos asegurar que p y q son fbf. Aplicando reglas de sintaxis tambin podemos asegurar que las frmulas A=~p B=pq q p AB son fbf.

En general los valores de verdad pueden resumirse en: F I

p ~G GH GH GH GH

pI
V si G = F F si G = V V si G = H = V F en caso contrario F si G = H = F V en caso contrario F si G = V y H = F V en caso contrario V si G = H F en caso contrario

La siguiente tabla muestra las evaluaciones para todas las combinaciones de valores: p V q V p F pq V pq V pq F Pq V pq V

V F F

F V F

F V V

F F F

V V F

V V F

F V V

F F V

A continuacin se proponen una serie de ejercicios. Algunos podrn ser resueltos en clase, sin embargo, la mayora tendrn que hacerlos individualmente en sus horas de estudio. Ejercicios Varios: Simbolizacin 1. Use las letras p,q,r,s, para simbolizar las proposiciones simbolizar las proposiciones que se dan a continuacin:

simples y los conectivos

,, ~

para

Ana estudia o trabaja Eduardo y Carlos prometen mucho Ni Carlos ni Eduardo cumplirn No niego que no trabaj No es cierto que trabaj Eduardo y Carlos prometen mucho, pero ni Eduardo ni Carlos cumplirn Ana estudia o trabaja, pero no se divierte y est contenta 2. Decide en cuales casos son falsas las proposiciones anteriores. 3. Sean: p: usaremos pisos de madera q: usaremos pisos de baldosas Se pide traducir al lenguaje comn: ~pq p ~ q ~ (p q) ~ p ~q ~~ p ~ (~p ~q) ~ (p ~q) 4.Escribe la tabla de verdad de las proposiciones anteriores. Compralas Cules tienen la misma tabla de verdad? Indica las proposiciones que niegan otras.

5. Consideremos la proposicin ( pq ) (r p ), en donde: p: estamos en buena situacin econmica q: necesitamos un crdito r: tenemos el proyecto aprobado

Siendo p falso y q y r verdadero, indica el valor de verdad de la proposicin compuesta considerada. 6. Para cada una de las siguientes formas proposicionales suponga : p verdadero, q y r falsas. Encuentra el valor de verdad de : ( ~ p q ) ( r ~ q ) ~ p ( q ~ r) (rp ) ( q p) ( ~ p p) p ~ r ( q ~ q ) 7. Cuntos valores de verdad resultantes hay en una tabla de verdad correspondiente a una proposicin? 8. Cuntos valores resultantes hay en una tabla de verdad correspondiente a dos proposiciones? 9. Cuntos valores resultantes hay en una tabla de verdad correspondiente a tres proposiciones? 10. Cuntos valores resultantes hay en una tabla de verdad correspondiente cuatro proposiciones? 11. Cuntos valores de verdad resultantes hay en una tabla de verdad correspondiente a n proposiciones? Qu tipo de razonamiento ests usando para responder esta pregunta? 12. Traduce los siguientes enunciados a la forma si-entonces ( en lenguaje comn) y luego a la forma simblica. Asegrate de indicar los literales que utilices para cada proposicin simple. Ejemplo:

Tendrs xito solamente si aprecias la opinin de los dems. p: Aprecias la opinin de los dems q :Tendrs xito Si aprecias la opinin de los dems entonces tendrs xito. Forma simblica: p q

Ir el domingo si me pagan. Todo le sucede a todo mundo tarde o temprano si hay tiempo suficiente ( G. B Shaw) Juan es razonable slo si sabe todos los hechos.

x < 5 siempre que x sea no negativo.

No me dejes caer en el orgullo si triunfo, ni en la desesperacin si fracaso (M. Gandhi) Si yo faltara a la gente, dame valor para disculparme y si la gente faltara conmigo dame valor para perdonar. (M. Gandhi)

13. Examinando la veracidad de las proposiciones simples, determina el valor de verdad de siguientes proposiciones compuestas. Si 7+9 = 16, entonces 16-9= 7 Si (-2)(-3) =- 6 entonces (2) (3)= -6 T eres millonario slo si el ratn Mickey tiene menos de 65 aos. 15+ 3 =18, si 72 (-10)=82. 3 x 5=15, si 58 (-8) =50

cada una de las

14. Dadas:

p: Te gustan las matemticas. q: Te gusta esta gua

Traduce cada una de las siguientes proposiciones al lenguaje comn. p q

~pq ~q (~ p) q

[ p (~ p)] ~p q

15. Escribe la tabla de verdad para las siguientes proposiciones. Se presenta un ejemplo resuelto: La tabla de verdad de (p q) [ (p q) q] es: q]

p q (p q) (p q) (p q) q (p q) [ (p q) V V V V V V V F F V F V F V V V V V F F V F V V Hacer lo mismo para las siguientes proposiciones. p (~p p) ( ~q)]

(p q) [ p (p ~p [(p p)

[ q ( ~q)]

[ ~ (p q )] q) r] [(p q) r]

(p q)

[p (~ p q)]

2. Tautologas y Contradicciones: (Frmulas Vlidas) 3.1.3 Definicin. Frmula Vlida (Tautologa). Para toda interpretacin I, I = V.

Ejemplo 5
La frmula ~(p q) q es una tautologa. Si q es V, la frmula ~( p q) q siempre es cierta ya que es una conjuncin donde uno de los elementos de la conjuncin es siempre cierta. Si q es F, entonces p q es siempre falso porque es disyuncin de literales, donde uno de los elementos es siempre falso. Como p q es F, ~ (p q) es siempre V, luego ~(p q) q. Conclusin, la frmula anterior es cierta para cualquier valor de verdad de p y q. 3.1.4 Definicin. Frmula Satisfacible. Para al menos una interpretacin I, I = V.

Ejemplo 6
La frmula (p q) ~ p es satisfacible. Si p es V, ~ p es F, luego (p q) ~ p es F por ser disyuncin de literales donde uno de ellos es F. Si p es F y q tambin lo es, entonces p q es F, y por tanto la frmula (p q) ~ p es F ya que es una disyuncin donde uno de los elementos es F. Finalmente, si p es F y q es V, entonces p q es V, y por tanto la frmula (p q) ~ p es V ya que es una disyuncin donde los dos elementos son ciertos. Por tanto, existe una interpretacin bajo la cual esta frmula es cierta, luego es satisfacible. 3.1.5 Definicin. Frmula Insatisfacible (Contradictoria) Para toda interpretacin I, I = F.

Ejemplo 7
La frmula (p q) ~p es insatisfacible. Cuando p es V, ~p es F, luego (p q) ~p siempre es F. Si p es F la frmula (p q) es siempre F ya que es una disyuncin donde uno de los elementos de la disyuncin es siempre falso. Por tanto (p q) ~p es insatisfacible

Satisfacibles Insatisfacibles Vlidas

3.1.6 Definicin. Un conjunto de frmulas es inconsistente si la conjuncin de todas ellas no es una frmula

satisfacible. En otras palabras, {F1, ...,Fn} es inconsistente: no existe I, (F1)I = V y....

y (Fn)I = V .

3.1.7 Definicin. Un conjunto de frmulas es consistente si la conjuncin de todas ellas es una frmula satisfacible. y (Fn)I = V En otras palabras, {F1, ...,Fn} es consistente: existe I, (F1)I = V y....

Definimos tautologa a una proposicin compuesta que es siempre verdadera , cualesquiera que sean los valores de verdad de las proposiciones que la conforman. (La tabla de verdad de una tautologa contiene exclusivamente el valor V. ). Por convencin denotaremos una tautologa como V0.

Definimos contradiccin a una proposicin compuesta que es siempre falsa , cualesquiera que sean los valores de verdad de las proposiciones que la conforman. (La tabla de verdad de una contradiccin contiene exclusivamente el valor F). Por convencin denotaremos una tautologa como F0.

Ejercicio: 1. Tomando en cuenta las definiciones anteriores, decida cules de las siguientes proposiciones compuestas son tautologas, cuales contradicciones y cuales proposiciones cualesquiera. a) p q b) q q c) (r q) d) (p p) e) (pq) q f) [(~p q) p ]. g) [(p q) p ]. Proposiciones equivalentes. Definiremos proposiciones equivalentes a aquellas que tienen la misma tabla de verdad.

A continuacin daremos una serie de proposiciones equivalentes que adems tienen un nombre que las particulariza e identifica. (Ms adelante las utilizaremos para validar argumentos). Se deja como ejercicio comprobar la equivalencia de las mismas (construya sus tablas de verdad y verifique que stas son idnticas)

Proposicin P p V0 p F0 p ~p p ~p pq pq (p q) r (p q) r p ( q r) p ( q r) ~ (p q) ~ (p q)

Equivalente a ~ ~p p p F0 V0

Nombre de la equivalencia Ley de la doble negacin Ley del neutro para la conjuncin Ley del neutro para la disyuncin Ley inversa Ley inversa qp Ley conmutativa para la conjuncin qr Ley conmutativa para la disyuncin p ( q r) Ley asociativa para la conjuncin p ( q r) Ley asociativa para la disyuncin (p q) (p r) Ley distributiva del respecto al (p q) (p r) Ley distributiva del respecto al ~p ~q Ley de Morgan (negacin de una conjuncin) ~p ~q Ley de Morgan (negacin de una disyuncin)

Formas derivadas de un condicional. Existen otras proposiciones relacionadas con el condicional p Dado el condicional p q, se definen : El recproco : q p El inverso o contrario : ~p ~q El contrarrecproco : ~q ~p Ejemplo: Dado el condicional Si quebrantamos la ley, entonces vamos a la crcel , veamos cuales seran las formas derivadas: El recproco (q p) : Si vamos a la crcel, entonces quebrantamos la ley El inverso o contrario ( ~p ~q) : Si no quebrantamos la ley, entonces no vamos a la crcel El contrarrecproco : ~q ~p : Si no vamos a la crcel, entonces no quebrantamos la ley q que definimos a continuacin :

~p

~q

~q

~p

En las flechas dobles horizontales cada proposicin es recproca de la otra. En las verticales, cada proposicin es contraria (inversa) de la otra y en la diagonales, cada proposicin es contra-recproca de la otra. Construyamos la tabla de verdad para estas formas derivadas: Directo Recproco Contrario p q q p ~p ~q V V V F V V V F F V V V Contrarrecproco ~q ~p V F V V

p V V F F

q V F V F

Observemos que un condicional y su contra-recproca son equivalentes y que a su vez la inversa y la recproca son equivalentes .

Ejercicios Varios:

q ; luego, aplicando la ley de Morgan para la conjuncin, ** 1. Prueba que p ~ q es la negacin del condicional p encuentra una proposicin equivalente para el condicional , expresada en funcin de la disyuncin y de la negacin.

2. Para cada una de las siguientes proposiciones se pide : a) Negarlas b) Encontrar la forma equivalente con un condicional c) Hallar el contrarrecproco de la forma encontrada en b) d) Expresar el contrarrecproco en su forma equivalente (sin el condicional)
1. 2. 3. 4. 5. 6.

~ p ( ~ q ) ~ (p q ) ~p~q (r s) (~ s) ~r~s (p q) (p q)

4. Escribe la negacin, el recproco, el inverso y el contrarrecproco de cada una de las proposiciones siguientes:

Si p, entonces q. ~p (~ q )

El sol brilla slo si ests feliz. Si tu automvil no tiene aire acondicionado, no tendrs amigos. Ir el sbado, si me pagan. Si los deseos fueran caballos, entonces los mendigos cabalgarn. Si te cepillas los dientes con el dentfrico Sonrisas, tendrs entonces menos caries. Tus nietos no sobrevivirn si no detenemos la contaminacin del ambiente.

5. Estas instrucciones aparecen en un formulario: Llene y presente este cuestionario a su jefe inmediato, slo si llen la encuesta F-16 o si no ha participado en la comisin Plan 007K Exprese en la forma Si... entonces las instrucciones anteriores

La ley es el orden y la buena ley es el buen orden

ARISTTELES La razn es la vida de la ley; an ms, la ley comn en s misma no puede ir ms all de la razn... SIR EDWARD COKE

NOTA BIOGRFICA GEORGE CANTOR

Cantor, George(1845-1918), matemtico alemn, nacido en San Petersburgo (Rusia). Dio clases en la Universidad de Halle y a partir de 1.842 fue catedrtico. Sus primeros trabajos con las series de Fourier lo condujeron al desarrollo de una teora de los nmeros irracionales. Cantor tambin formul la teora de conjuntos, sobre la que se basa la matemtica moderna. Esta teora extiende el concepto de nmero al introducir los nmeros infinitos o, como l los denominaba, nmeros transfinitos. La obra de Cantor fue responsable en gran medida de la posterior investigacin crtica de los fundamentos de las matemticas y de la lgica matemtica.

CONTENIDO
Introduccin Objetivos 3.1 Tautologas y contradicciones 3.2 Tipos de tautologas 3.3 Leyes de la lgica 3.4 Algunos mtodos para manipular expresiones 3.5 Aplicaciones de la lgica simblica 3.6 Ejercicios

INTRODUCCIN

onociendo ya, la estructura de las proposiciones, su notacin mediante letras proposicionales, cada uno de los conectivos lgicos y la obtencin de proposiciones compuestas, al igual que sus

valores de verdad, hemos encontrado aquellas cuyo valor es verdadero en todas sus posibilidades, las tautologas, de las que se han enumerado las 27 ms importantes y en las que nos apoyamos para presentar las leyes de la lgica, como se dijo en su momento. Con las leyes, demostraremos las equivalencias lgicas, la simplificacin de algunos enunciados, lo que nos aportar las bases para enfrentar en captulos posteriores las reglas de inferencia, lo mismo que, las aplicaciones de la lgica en la tecnologa. Para todo ello ser indispensable retomar de nuevo el concepto de tautologa y contradiccin, para as definir los conceptos de implicacin y equivalencia lgica. Teniendo los fundamentos necesarios, resolveremos algunos ejercicios, para mostrar los procedimientos a seguir para cada caso, bien sea equivalencia o implicacin lgica. una simplificacin o demostracin de una

OBJETIVOS

Al concluir el presente captulo el estudiante estar en capacidad de:

1. Identificar cada una de las leyes lgicas. 2. Explicar cada una de las leyes. 3. Relacionar cada una de las leyes en la simplificacin de enunciados, mediante los teoremas de intercambiabilidad. 4. Interpretar cada una de las equivalencias lgicas que se le presenten y demostrarlas aplicando cada una de las leyes.

3.1 TAUTOLOGAS Y CONTRADICCIONES

Ya es sabido que las tablas de verdad nos permiten clasificar las proposiciones lgicas como sigue:

DEFINICIN:

Una

expresin

lgica,

es

decir,

una

proposicin, es una TAUTOLOGA si es verdadera en todas las asignaciones posibles. DEFINICIN: Una expresin lgica, es decir, una

proposicin es una CONTRADICCIN si es falsa en todas las asignaciones posibles. DEFINICIN: Una expresin lgica que no sea ni una tautologa ni una contradiccin se denomina CONTINGENCI A (casualidad o eventualidad)

Existe un cierto nmero muy sencillo y muy importante de tautologas, las que presentamos a continuacin:
PP PP ( P P ) P P P ( P ) (PQ)P P(PQ) (PQ)(QP) ( P Q ) ( Q P)

T1. T2. T3. T4. T5. T6. T7. T8. T9.

T10. ( p Q ) ( Q P )

T11. [( P Q ) R ] [ P ( Q R ) ] T12. [( P Q ) R ] [ P ( Q R ) ] T13. [(P Q) R] [(P (Q R)] T14. [P (Q R)] [(P Q) (P R)] T15. [P (Q R)] [(P Q) (P R)] T16. [P (Q R)] [(P Q) (P R) T17. [P (Q R)] [( P Q) (P R)] T18. [(P Q) ( Q R)] (P R) T19. {[(P Q) (R S)] (P R)} (Q S) T20. (P Q) (Q P) T21. (P Q) [(P Q) (Q P)] T22. (P Q) (P Q) T23. [(P Q) P] Q T24. [(P Q) Q] P T25. [(P Q) P] Q T26. (P Q) (P Q) T27. (P Q) (P Q)

3.2 TIPOS DE TAUTOLOGAS

Se hace necesario hacer algunas observaciones en torno a las relaciones entre condicional e implicacin, por una parte, y por otra, entre bicondicional y equivalencia. Es muy corriente, que se presente confusin con el condicional y la implicacin. Se llega, entonces, a decir que una expresin como P Q se puede leer, indiferentemente, si P, entonces Q, o bien, P implica Q.

Es falso que esto sea as: si P, entonces Q y P implica Q significan cosas distintas. Cuando decimos si P, entonces Q estamos usando el lenguaje, el lenguaje de la lgica de enunciados, para expresar que lo enunciado por P es condicin suficiente de lo enunciado por Q, es decir, para expresar una relacin entre enunciados. En cambio,

cuando decimos P implica Q estamos utilizando el metalenguaje2 del clculo de enunciados para expresar una relacin no entre enunciados, sino entre nombres de enunciados, y en este sentido lo correcto estrictamente sera decir P implica Q. Cuando decimos si P, entonces Q, estamos diciendo que si se da el hecho enunciado por el

antecedente, entonces se dar el hecho enunciado por el consecuente. Cuando decimos P implica Q estamos diciendo que la verdad del antecedente implica la verdad del consecuente.
Y de sobra sabemos que verdad y falsedad son predicados metalingisticos por respecto a aquello de lo que predican.

Condicional e implicacin son, por tanto, nociones situadas en niveles distintos del lenguaje.

Hay, sin embargo, entre uno y otro concepto, una relacin que merece la pena sealar. Condicional e implicacin se relacionan del siguiente modo: Cuando un condicional es lgicamente verdadero, se puede decir que su antecedente implica su consecuente. Pero, esto slo cuando el condicional sea lgicamente verdadero; y adems, no se trata de que ambas expresiones: Si P, entonces Q (o ms claramente, el enunciado P implica el enunciado Q), quieran decir lo mismo; sino que la segunda constituye un comentario sobre la primera hecho desde el metalenguaje. As, por ejemplo: (P P) P (P P) P
Son esquemas vlidos de inferencia, podemos decir que (P Q) implica a P; o tambin que (P P) implica a P.
En cambio, esquemas como el condicional: (P Q) S, que no es una tautologa, no podemos decir con verdad, que el antecedente implique al consecuente. Decir por tanto, el enunciado:

No est el maana ni el ayer escrito (A. Machado) implica el enunciado no est el maana escrito; es
decir P Q, IMPLICA P, equivale a decir la expresin:
2

Es de gran importancia sealar la siguiente distincin: El clculo proposicional puede ensearse como lenguaje para formular proposiciones. Cuando hablamos acerca de este lenguaje, utilizamos el espaol para describir los hechos de inters acerca del mismo. En general, un lenguaje utilizado para describir otro lenguaje se denomina un METALENGUAJE. Por ejemplo, si el espaol se le ensea a estudiantes cuya lengua materna es el ingls, los hechos del lenguaje espaol se explican en ingls, en cuyo caso el ingls es el metalenguaje que se utiliza para ensear espaol. Cuando decimos que una proposicin es siempre verdadera, esta afirmacin dice algo relativo al lenguaje del clculo proposicional, y por tanto ste no es parte del clculo proposicional, del mismo modo que las palabras de espaol utilizadas para describir ciertas entidades del ingls no pertenecen al lenguaje ingls. En este sentido concluimos que una tautologa no es parte del clculo proposicional, sino que es parte de nuestro metalenguaje para describir el clculo proposicional.

Si no est el maana ni el ayer escrito , entonces no est el maana escrito, es lgicamente verdadera. O lo que
es lo mismo: el condicional as formado est construido de acuerdo con un esquema formalmente vlido. En ambos casos estamos usando un metalenguaje, estamos mencionando enunciados para decir que existe una relacin, la relacin de implicacin, entre sus nombres. No estamos, en cambio, usando un metalenguaje cuando decimos:

Si no est el maana ni el ayer escrito, entonces no est el maana escrito.

Otro tanto cabe decir respecto a la relacin que hay entre BICONDICIONAL y EQUIVALENCIA. Es falso que Si y solo si P,
entonces Q signifique lo mismo que P es equivalente a Q. Cuando decimos si y solo si P, entonces Q, estamos utilizando el

lenguaje para decir que lo enunciado por P es condicin suficiente y necesaria de lo enunciado por Q. Cuando decimos P es equivalente a Q estamos utilizando el metalenguaje para expresar una relacin entre nombres de enunciados, reducidos a sus valores de verdad, y no entre los enunciados mismos. En este sentido, lo correcto estrictamente sera decir P es equivalente a Q. Cuando decimos si y solo si P, entonces Q, estamos diciendo que slo en el caso de que se de lo enunciado por el antecedente, se dar lo enunciado por el consecuente. Cuando decimos, P es equivalente a Q estamos diciendo que los valores de verdad del antecedente son en todos los casos los mismos que los del consecuente. BICONDICIONAL y equivalencia, se relacionan del siguiente modo: Cuando un bicondicional es lgicamente verdadero, se puede decir que su antecedente equivale a su consecuente. En efecto: Puesto que en lgica, slo se toman en cuenta los valores de verdad de los enunciados, de tal manera que, para el caso, es como si la variable P, por ejemplo designara, uno de los valores, V o F, puesto que un bicondicional slo es verdadero cuando los valores de verdad de ambas proposiciones son verdaderos o falsos. Si encontramos que un bicondicional es lgicamente verdadero podemos comentarlo en el metalenguaje diciendo que su primer miembro (antecedente) equivale a su segundo miembro (el consecuente). As, por ejemplo: (P Q) (P Q) Es un esquema vlido de inferencia, podemos decir que P Q es equivalente a P Q. En el caso que un bicondicional se presente como: (P Q) (P Q),

que no es una tautologa, no podemos decir con verdad que el antecedente de la expresin equivalga a su consecuente. El bicondicional plantea problemas importantes: El bicondicional posee a diferencia del condicional la propiedad conmutativa, (as se expresa ms adelante en las leyes de la lgica). El condicional no es conmutativo; no es conmutativo por que lo que expresa es justamente que lo enunciado por una proposicin es condicin de, (antecedente), desde el punto de vista lgico, a, lo enunciado por otra proposicin. Y siendo esta relacin, una relacin ordenada (es decir, en trminos tcnicos, una relacin que entre otra propiedades, tiene la de ser asimtrica), es obvio que de la afirmacin de que se da esa relacin no cabe inferir que se de una relacin equivalente. Entonces, si lo que afirmamos mediante un bicondicional es un condicional reforzado, y se entendera con ello, que no cumplira tampoco, la propiedad conmutativa; pero la posee, y la posee por la sencilla razn, de que en lgica operamos nicamente a base de los valores de verdad de los enunciados, si aceptamos esta limitacin, entonces, todo est en orden.

3.3 LEYES BSICAS DE LA LGICA DE PROPOSICIONES

En esta seccin, recopilaremos las equivalencias ms comunes e importantes del lgebra de proposiciones, que son tiles para simplificar o manipular expresiones lgicas.

Comenzaremos por examinar las tautologas o leyes dadas a continuacin. Estas se pueden demostrar fcilmente mediante tablas de verdad.

Las leyes, incluyendo la ley de la doble negacin, nos permiten simplificar una expresin, y suele ser buena idea aplicarlas siempre que sea posible; considere, por ejemplo, la expresin P (Q Q). La ley de doble negacin permite escribir esto como: P (Q Q) y debido a la ley del medio excluido, (la que dice: P P es verdadero) entonces la expresin se convierte en P V. La ley de identidad, muestra que esto es P, y concluimos que

P (Q Q) P o lo que es lo mismo: P (Q Q) P3

Las leyes asociativas, conmutativas y distributivas, tienen sus equivalentes del lgebra de las matemticas.

P (Q Q) P o lo que es lo mismo: P (Q Q) P, significa que la equivalencia lgica se puede expresar con el smbolo .

Recuerde: La conexin o ( ), se trata con frecuencia, como suma ( + ) y la conexin y ( ), se trata como un Producto (x)

Por ejemplo: P Q Q P, corresponde a la ley conmutativa B + C = C + B en el lgebra de las matemticas. Recordemos que las tautologas son esquemas vlidos de inferencia, por lo que se consideran el punto de partida de las leyes de la lgica, las que son vlidas universalmente, las leyes de la lgica constituyen, por lo tanto, el conjunto de bases tericas sobre las que se fundamentan las reglas del razonar correcto. A continuacin enumeramos algunas de las leyes de la lgica proposicional, las que han sido seleccionadas por la regularidad con que se presentan en el razonamiento cientfico o por su gran importancia en la argumentacin cotidiana.

LEYES DE LA LGICA
SI P, Q, R, son proposiciones cualesquiera, entonces podemos enunciar los siguientes esquemas tautolgicos como leyes:

TABLA 1: LEYES DE LA LGICA PROPOSICIONAL

L EYES
L1. L2. P P PP PP

NOMBRE
Ley de la doble negacin

Leyes de identidad

L3.

PFP PVP PVV PFF

Ley de dominacin 1 Ley de dominacin 2 Ley de dominacin 3 Ley de dominacin 4

L4.

PPP PPP

Ley de idempotencia 1 Ley de idempotencia 2

L5. L6. L7.

P P F P P V PQP PQQ

Ley de contradiccin Ley del medio o tercero excluido Ley para la simplificacin. Ley para la simplificacin. Leyes de adicin

L8.

P (P Q) Q (P Q)

L9. (P Q) (Q P)

Ley conmutativa para la disyuncin Ley conmutativa para la conjuncin Ley conmutativa para el bicondicional

(P Q) (Q P) (P Q) (Q P) (P Q) NO es conmutativo

L10. [(P Q) R] [(P (Q R)] [(P Q) R] [(P ( Q R)] [(P Q) R] [(P (Q R) L11. [P (Q R)] [( P Q) (P R)] [P (Q R)] [( P Q) ( P R)]

Ley asociativa de la conjuncin. Ley asociativa de la disyuncin. Ley asociativa del bicondicional.
Ley distributiva de la conjuncin por la disyuncin Ley distributiva de la disyuncin por la conjuncin

[P (Q R)] [(P Q) (P R)] Ley distributiva del condicional por la conjuncin [P (Q R)] [(P Q) (P R)] Ley distributiva del condicional por la disyuncin. [( P Q) ( P R)] [P (Q R)] Otra presentacin para la ley distributiva [( P Q) (P R)] [P (Q R)]

L12. [(P Q) R] [P (Q R)] L14. [(P Q) (Q R)] (P R) [(P Q) (Q R)] (P R) L15. [(P Q) (P R) (Q R)] R

Ley de exportacin o transportacin. Ley de transitividad del condicional. Ley de transitividad del bicondicional. Ley del dilema constructivo.

[(P Q) (P R) (Q S)] (R S) Segunda ley del dilema constructivo.

[(P Q) (R P) (S Q)] (R S) Ley del dilema destructivo.

L16. (P Q) ( Q P) (P Q) (Q P) L17. (P Q) [(P Q) (Q P)] (P Q) [(P Q) (P Q)] (P Q) (P Q) (P Q) L18. (P Q) (P Q) (P Q) (P Q) (P Q) (Q P) L19. (P Q) (P Q) (P Q) (P Q) (P Q) (P Q) L20. [(P Q) P] Q L21. [(P Q) Q] P L22. [(P Q) P] Q

Ley de transposicin para el condicional.

Ley de transposicin para el bicondicional

Ley del bicondicional (definicin de ). Segunda ley del bicondicional. Tercera ley del bicondicional. Ley del condicional disyuncin Ley del condicional conjuncin Ley del contrarrecproco Ley de dualidad de Morgan. Segunda ley de Morgan. Tercera ley de Morgan. Ley de Modus Ponendo Ponens Ley de Modus Tollendo Tollens. Ley de Modus Tollendo Ponens.

Como ya es sabido, las leyes de la tabla anterior, nos sirven para abreviar proposiciones o expresiones, mediante la simplificacin o transformacin en otras equivalentes o simplemente demostrar si corresponde a una tautologa, concluyendo con un valor de verdad V, o una contradiccin si su valor de verdad es F, despus de aplicar cada una de las leyes correspondientes a cada caso. Para estudiar cuidadosamente este tipo de procedimientos se presentan los siguientes ejemplos:

EJEMPLO 1: En la ley de idempotencia P P P, debe tenerse en cuenta que el conectivo es una equivalencia lgica, Lo que indica que nuestra demostracin podr iniciar partiendo del primer trmino, ( P P), para llegar al segundo (P) o de igual manera, partir del segundo trmino, (P), para legar al primero, (P P), el procedimiento paso a paso, es el siguiente:

Demostrar que P P P Partiendo del segundo miembro se llega al primero, el proceso es:

1. P P V ............................................... ley de dominacin 2 2. P P (P P) .................................... ley del medio o tercero excluido 3. P (P P) (P P) ........................... ley distributiva de la conj. por la disy. 4. P (P P) F .................................... ley de contradiccin. 5. P (P P) ........................................... ley de dominacin 1 6. P (P P) ........................................... es lo que queramos demostrar

EXPLICACIN:

El paso 1: significa que P P, puesto que la ley de dominacin 2 afirma que

P V equivale a P.

El paso 2: cambia la expresin verdadera por (P P) que corresponde a la ley del medio o tercero excluido, la que se presenta como (P P) V El paso 3: presenta la distribucin de la conjuncin por la disyuncin, observe la ley original: [P (Q R)] [( P Q) (P R)], nuestro ejercicio no presenta la proposicin Q, pero, es que Q , puede ser remplazada por otra proposicin, en este caso se toma a la proposicin P y permite la aplicacin de la propiedad distributiva. El paso 4: obsrvese el numeral 3, este contiene una expresin contradictoria: podemos afirmar que es falso, as que en este paso aparece P (P P) F. El paso 5: Obsrvese, que para este numeral ha desaparecido la F (falso), esto es permitido, por la existencia de la ley de dominacin 1, la que afirma que P F equivale a tener a P; as nuestra expresin se resume a: P (P P). El paso 6: este paso al igual que el 5 muestra la expresin a la que se pretenda llegar: P (P P). Lo que significa la conclusin de nuestra demostracin. (P P), la que por la ley 4,

EJEMPLO 2

Demostrar que P (P Q) P, es la ley de absorcin.

1. 2. 3.

P (P Q) ( P V) (P Q) ............ ley de dominacin 2 P ( V Q)...................... ley distributiva P V ................................ ley de dominacin 3

4. P (P Q) P ...................................... ley de dominacin 2 EXPLICACIN:

Paso 1: Obsrvese en el paso 1, en la proposicin ( P V) (P Q), se permite introduce la V, por la ley de dominacin 2, la que nos afirma que P V P, por lo tanto, la expresin 1: ( P V) (P Q), es la misma o equivalente a P (P Q), la que aparece al lado izquierdo de la equivalencia.

Paso 2: Por medio de la ley distributiva, es posible agrupar la V con la proposicin Q, unidas por la disyuncin. Paso 3: Lo obtenido en el paso 2, ( V Q), aplicando la ley de dominacin 3 para esta expresin, se obtiene que esta es V, as pues, la proposicin queda reducida a (P V). Paso 4 : En este paso aplicando la ley de dominacin 2, P V P, es posible concluir la proposicin P, que es lo que se pretende demostrar.

EJEMPLO 3 Demostrar (P Q) (P Q) Q

1. 2. 3.

(P Q) (P Q) (P P) Q ............ ley distributiva V Q................. ley del medio o tercero excluido. Q ..................... ley de dominacin 2

4. (P Q) (P Q) Q ................................. es nuestra expresin original, la que se quera demostrar.

3.4 ALGUNOS MTODOS PARA MANIPULAR EXPRESIONES.

Habiendo presentado las leyes de la lgica y efectuado algunas aplicaciones exactamente como se enunciaron, para un desempeo prctico esto con frecuencia resulta dificultoso, por lo que es necesario utilizar mtodos abreviados, para ver como funciona, tngase en cuenta la siguiente proposicin: [(P Q) R] ( V P) (1)

Puesto que ( V P) P, se puede omitir la V. Es fcil ver que debido a la ley asociativa no importa donde estn los parntesis. Se pueden omitir tambin. Adems la ley conmutativa permite reordenar los trminos libremente. Por lo tanto,

[(P Q) R)] P P Q R P PPRQ En la expresin P P R Q, se tiene la proposicin P dos veces, unida por la conjuncin, una de stas proposiciones puede omitirse de acuerdo con la ley de idempotencia 2, por esto la expresin 1 se simplifica a: P R Q . Ahora considere la expresin: PFQ Por la ley de dominacin 4, se puede tomar a P F que equivale a F y luego a F Q que de igual forma produce a F.

En general cualquier conjuncin en la cual aparezca el trmino F, produce F. Lo mismo es verdadero si una conjuncin contiene dos literales complementarios. Por ejemplo,

P Q P, esta expresin produce F; para ver esto , debe escribirse P Q P como P P Q y aplicando la ley de contradiccin se obtiene: F Q, la cual es F, se ha aplicado la ley de dominacin 4, la que se enuncia de la siguiente forma: P F F.

En resumen, para simplificar conjunciones que contienen solo literales lgicos se dispone de las siguientes reglas. Antes de aplicar estas reglas es mejor clasificar los literales lexicogrficamente de acuerdo con los nombres de las variables. 1. Si una conjuncin contiene literales complementarios o si contiene la constante lgica F, siempre produce F; estando as frente a una contradiccin. 2. Todas las apariciones de la constante lgica V y todas las copias duplicadas de cualquier literal puede omitirse.

Para tratar las disyunciones, se pueden utilizar las duales de estas dos reglas.

1. Si una disyuncin contiene literales complementarios o si contiene las constante lgica V, siempre produce V; esto es, se est frente a una tautologa.

2. Todas las apariciones de la constante lgica F y todas las copias duplicadas de cualquier literal pueden omitirse.

Por ejemplo:

1.

P Q P produce V, si tenemos presente la ley del medio o tercero excluido, P P es V, entonces, V Q por la ley de dominacin 3 se concluye la constante lgica V.

2. P Q P F produce P Q; para este caso se ha aplicado la ley de idempotencia, P P genera P, como resultado de ello, se obtiene a P Q. Es importante anotar y observar la diferencia entre las conjunciones y las disyunciones:

Una disyuncin con literales complementarios o una disyuncin conteniendo V siempre produce V; por lo tanto, esta es una Tautologa. Una conjuncin que contenga literales complementarios o una conjuncin con una de sus proposiciones F, siempre ser una contradiccin.

Obviamente existen conjunciones con cuatro , tres o dos trminos, por ejemplo: P1 P2 P3 P4 es una conjuncin de cuatro trminos, P Q es una conjuncin con dos trminos. Una nica variable proposicional puede interpretarse como una conjuncin con un trmino. Adems resulta conveniente definir V como la conjuncin con cero trminos. Esto puede justificase, por ejemplo, considerando las siguientes cuatro expresiones: P1 P2 P3 V P1 P2 V P1 V V

Si se elimina V, la primera expresin se convierte en una conjuncin de tres trminos, la segunda en una conjuncin de dos trminos y la tercera en una conjuncin de slo un trmino. Esto sugiere que la cuarta expresin se convierta en una conjuncin de cero trminos. Las conjunciones con cero trminos son tiles para establecer patrones

correctos para demostracin. Al definir una conjuncin con cero trminos para producir V, todas las tautologas se
pueden ver como casos especiales de argumentos lgicos correctos. Tambin existen disyunciones con cero trminos, sin embargo una disyuncin con cero trminos siempre ser F.

EJEMPLO 4: Simplifique la siguiente expresin: [(P Q) R] ]

SOLUCIN 1. 2. 3. 4. 5. [(P Q) R] (P Q) R ................... Ley de dualidad de Morgan. (P Q) R ...................... Ley de la doble negacin ( P Q) R .................... segunda ley de Morgan ( P Q) R ........................ Doble negacin R ( P Q) ........................ Ley conmutativa de la disyuncin. 6. (R P) (R Q) ................ Ley distributiva de la de la disyuncin por la conjuncin

La expresin del paso 6 en la demostracin, es una proposicin a la que no es posible aplicarle ninguna de las leyes enumeradas en le tabla 1, (R P) (R Q), est completamente simplificada.

EJEMPLO 5: Para resolver la proposicin (P Q) R, se pide: 1. Su negacin.

2. Simplificarla completamente.

SOLUCIN: 1. La negacin de la proposicin (P Q) R es: [(P Q) R]

2. La simplificacin, requiere la aplicacin de las leyes de la tabla 1:

1. 2. 3. 4.

[(P Q) R] (P Q) R ........ Segunda ley de Morgan. (P Q) R ............ Ley de doble negacin. (P Q) R.......... Ley de dualidad de Morgan. (P R) (Q R) .Ley distributiva de la conjuncin por la disyuncin.

NOTA: Es de gran importancia que se observe el ejemplo 4, en sus numerales 5 y 6; en el numeral 5, se aplic la ley conmutativa con el fin de visualizar de una mejor manera la ley distributiva. Ahora, en el ejemplo 5, en su numeral 3 para pasar al 4 se debi aplicar antes sta, lo que no se hace, significando ello que para expresiones con esta presentacin no es necesario aplicar la conmutacin para luego aplicar la ley distributiva, puede aplicarse directamente.

EJEMPLO 6: Demostrar que esta proposicin es una tautologa: [(P Q) Q] P ]

1. [(P Q) Q] P [(P Q) Q] P .. Ley del condicional disyuncin,

2. 3. 4. 5. [(P Q) Q] P..Ley de dualidad de Morgan. [(P Q) Q] P ....Ley de la doble negacin. (P Q) Q P .......Ley de condicional disyuncin, [(P Q) Q] P ..

Segunda ley de dualidad de Morgan.

6

[(P Q) Q] P ..... 7. 8. 9. 10. 11. 12.

Ley de la doble negacin.

[(P Q) (Q Q)] P. Ley distributiva [(P Q ) V] P .Ley del medio o tercero excluido. (P Q) P .................

Ley de dominacin 2.

(P P) Q .................... Ley asociativa. V Q.................. Ley del medio o tercero excluido V ............................... Ley de dominacin 3

EJEMPLO 7: Para la siguiente proposicin compuesta, demostrar que es una tautologa, aplicando las leyes de la lgica proposicional: (P Q) P

1. 2. 3. 4. 5.

[(P Q) P] (P Q) Q............. Ley de la condicional disyuncin. (P Q) Q ........... Ley de dualidad de Morgan. P (Q Q) ........... Ley asociativa. P V ...................... Ley del medio o tercero excluido. V .......................... Ley de dominacin 3.

EJEMPLO 8: Para las siguientes proposiciones, elimine los conectivos , , aplicando las definiciones alternas para cada uno o las leyes correspondientes de la lgica proposicional. a) (P Q) ( P R) b) (P Q) (Q R) c) P (Q R) d) P (P R)

SOLUCIN: Para el presente ejemplo, se resuelven los numerales ( a ) y ( d ); los dems, son para la prctica del estudiante.

a) (P Q) ( P R) : Para eliminar el condicional de sta proposicin, es necesario aplicar la ley 18: ley que corresponde a la definicin alterna del condicional o ley del condicional disyuncin; Adems, puede aplicar la ley del condicional conjuncin, cualquiera de las dos presentaciones es equivalente:

a). (P Q) ( P R) (P Q) (P R)..... Ley de la condicional disyuncin.

d). P (P R) [ P (P R) (P R) P] Definicin de bicondicional. [P (P R) (P R) P] ..Ley del condicional disyuncin.

3.5

APLICACIONES DE LA LGICA SIMBLICA

Una de las aplicaciones de la lgica simblica fue vista en la tesis de maestra de Caude Shanon en 1.937. Shanon mostr como la lgica podra usarse como ayuda al disear circuitos elctricos. Su trabajo fue inmediatamente aceptado por los diseadores de computadoras. Estas computadoras pudieron simplificarse en la etapa de desarrollo y construirse por menos dinero usando las ideas de Shanon.

Para ver como trabajan las ideas de Shanon, observemos el interruptor elctrico mostrado en la figura 1. Suponemos que la corriente fluir a travs del interruptor cuando est cerrado, y no cuando est abierto.

Figura 1

Circuitos en serie Figura 2

La figura 2 muestra dos interruptores conectados en serie; en tal circuito la corriente fluir solo ciando ambos interruptores estn cerrados. Note la similitud de un circuito en serie y la conjuncin P Q. Sabemos que P Q es verdadero solo cuando ambos, P y Q, son verdaderas.

El circuito correspondiente a la disyuncin P Q puede encontrarse trazando un circuito en paralelo, como se puede observar en el figura 3. Aqu, la corriente fluye, si cualquiera de los dos, P o Q, est cerrado o si ambos, P y Q estn cerrados.

Figura 3

El circuito de la figura 4 corresponde a la proposicin (P Q) Q, la cual es una proposicin compuesta que incluye una conjuncin y una disyuncin.

La forma que una la lgica para simplificar un circuito elctrico depende de la idea de proposiciones equivalentes. Recuerde que dos proposiciones son equivalentes si tienen exactamente la misma tabla de verdad. Se usa el smbolo para indicar que dos proposiciones son equivalentes. Algunas de las proposiciones equivalentes que necesitaremos se muestran en el cuadro siguiente:

PROPOSICIONES EQUIVALENTES PARA SIMPLIFICAR CIRCUITOS: P ( Q R) (P Q) ( P R) P ( Q R) (P Q) ( P R) P Q Q P P Q P Q PPP PPP (P Q) P Q (P Q) P Q SI V representa cualquier proposicin verdadera y F cualquier proposicin falsa; entonces: PVV PFF P P V P P F

Los circuitos pueden usarse como modelos de proposiciones compuestas, con un interruptor cerrado que corresponde a VERDADRO, mientras que un interruptor abierto que corresponde a FALSO. En el ejemplo siguiente se explica el mtodo para simplificar circuitos.

EJEMPLO Simplificar el circuio de la iguiente figura:

En la parte superior de la figura P y Q estn conectados en serie, y en la parte inferior, P y R estn conectados en serie. Esto se interpreta como las proposiciones compuestas P Q y P R, respectivamente. Estas dos conjunciones estn conectadas en paralelo, como se indica en la figura vista como un todo. Por lo tanto, escribimos la disyuncin de las dos conjunciones:

(P Q) (P R)

(Pensemos que los dos interruptores marcados con P, estn controlados con la misma mano.) Por uno de los pares de proposiciones equivalentes anteriores.

(P Q) (P R) P ( Q R),

el cual est representado por el circuito siguiente

Este circuito nuevo es el equivalente lgico a aquel que aparece anteriormente, y contiene slo tres interruptores en vez de cuatro, lo cual bie podra llevar a grandes ahorros en costos de manufactura.

EJEMPLO

Trace un circuito para P ( P R).

De la lista de proposiciones equivalentes en el cuadro, P Q es equivalente a P Q, esta equivalencia de P ( Q R) P ( Q R), representado en la siguiente figura:

EJERCICIOS DE APLICACION

1. a.

Utilizando las leyes de la tabla 1, demuestre las siguientes equivalencias: (P Q) (Q R) Q (P R)

b. (P Q) P F c. [ P (R S)] (P R) (P S)

d. (P R) (Q S) (P Q) (P S) (R Q) (R S)

2. Simplifique las siguientes expresiones:

a. b.

(Q R S) (Q R S) (P R) (P R S)

c. [P (Q S)] (Q S)

3. utilizando las leyes del algebra proposicional, tabla 1, transforme las iguientes expresiones: a. [P (Q S)]

b. P [P (Q R)]

4. Simplifique las siguientes expresiones: a. P Q (P Q) (P Q) P Q

b. (P Q) (P Q) [P R) Q] c. [(P Q) R] Q

5. Utilizando las leyes del lgebra de proposiciones demostrar que: [( P Q R) (P Q R)] (P R)

6. Utilizando las leyes del algebra proposicional demostrar que: [(P Q R) (P Q R)] [(Q R) (Q R) (Q R)] (Q R)

7. Determinar que tipo de proposiciones son las siguientes, aplicando las leyes del algebra declarativa y las tablas de verdad. a. PP

b. [P (P Q)] Q c. P ( P Q)

d. [(P Q) (Q R)] (P R)

8. demostrar utilizando las leyes del algebra de proposiciones: a. (P Q) (P Q) (P Q)

b. (P Q) [(P Q) (P Q)] c. (P Q) [(P Q) (P Q)]

9. Para los siguientes ejercicios, convierta las proposiciones simblicas a proposiciones sin condicional.

a.

(P Q (P R)

b. (P Q) (Q R) c. P (Q R)

d. P (P Q) e. (P Q)

10. Simplifique las expresiones: a. R [S (R T)]

b. [(R S) (R S)] [(R S) (R S)

11. Demuestre las siguientes equivalencias: a. (Q P) (P Q) (Q P) (Q P)

b. P P P

12. P Q representa la proposicin (P Q) (P Q), que se traduce como P o Q y no ambas P y Q. A continuacin se debe demostrar la ley distributiva : (P Q) R (P R) (Q R).

13. En los ejercicios siguientes debe simplificar las expresiones a proposiciones equivalentes que contengan el menor nmero de smbolos posible: a. (P Q) (P Q) b. [P (P Q] Q c. [(P R) (P Q)] d. (P Q) (Q P) e.[ Q (P Q)] P f. [(P Q) (R Q)]

14. Demuestre que (P Q) R ( P R) (Q R) Ayuda: P Q puede escribirse como (P Q) (P Q); para iniciar la demostracin es recomendable hacerlo con la expresin ( P R) (Q R).

15. Escriba una proposicin lgica que represente cada uno de los circuitos siguientes, si es posible simplifique cada circuito.

a)

b)

c)

d)

e)

LEYES DE LA LGICA
:AICNETOPMEDI

pp p pp p

:)NAGROM ED ED SEYEL( DADILAUD ED SEYEL

:NOICAGEN ELBOD ED YEL

(p) p

:NOICATUMNOC ED SEYEL

pq qp pq qp pq qp

:NOICUBIRTSID ED SEYEL

:NOICAICOSA ED SEYEL

p(qr) (pq)r p(qr) (pq)r p(qr) (pq)r

p(qr) (qr)p p(qr) (qr)p

(pq)(pr) (qp)(rp) (pq)(pr) (qp)(rp)

:NOICROSBA ED SEYEL

p(pq) p p(pq) p

(pq) pq (pq) pq

:DADITNEDI ED SEYEL

pV pV pF pF

V p p F

TAUTOLOGIAS: 1) 2) 3) 4) 5) 6) 7) 8) 9) 10) 11) 12) 13) 14) 15) 16) 17) 18) p p pq p(pq) pq q(pq) pq qp pq qp (pq) pq (qp) pq p(qq) p (pq)p pq (pq)q pq (pq)p (pq) (pq)q (pq) pq (pq)(pq) pq (pq)(pq) pq (pq)(qp) pq (pq)(pq) pq pq pq pq

p(

p(

)
r

p(

p(

:NOICACIFILPMIS ED SEYEL

:OTNEMELPMOC ED SEYEL

pp V pp F V F F V

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

q(

q(

OSNECNOC ED SEYEL

p(

p(

) )
q q

) )

p( p( q q

p(

p(

p( p( p( p p

p(

38) 39) 40) 41) 42) 43) 44) 45) 46) 47) 48) 49) 50) 51) 52) 53) 54) 55) 56) 57) 58) 59) 60) 61) 62) 63) 64)

pp q pq p pq pq pq pq pq qp pq pq (pq)p q (pq) (pq) (pq) (pq) (pq) p (pq) q (pq)p q (pq)q p pq (qr)(pr) pq (rp)(rq) (pq)(qr) pr (pr)(qr)(pq) r (pr)(qs)(pq) rs (pr)(qs)(rs) pq pq pq pq qp pq (pr)(qr) pq (pr)(qr) pq (pr)(qr) pq (rp)(rq) pq (pr)(qr) (pq)(qr) pr

EQUIVALENCIAS CON LOS CONECTIVOS NEGACION Y CONJUNCION: 65) pq (pq) 66) pq (pq) 67) pq (pq)(pq) 68) pq (pq)(pq) 69) p q (pq) 70) p q pq EQUIVALENCIAS CON LOS CONECTIVOS NEGACION Y DISYUNCION: A partir de los conectivos negacin ( ) y disyuncin ( ) se definen: p q =def ( p q ) p q =def p q p q =def ( p q ) ( q p ) p q =def ( p q ) ( p q ) p q =def ( p q ) p q =def ( p q )

Utilizando esas definiciones y las leyes de lgica matemtica, demostrar las siguientes tautologas:

1 ) p q q p q p ( q ) p ( Definicin ) q p ( Doble Negacin ) p q ( Conmutatividad ) pq ( Definicin ) 2 ) ( p q ) p q ( p q ) ( p q ) ( p ) q p q 3 ) p ( q q ) p p ( q q ) p F p F p 4 ) ( q q ) p p ( q q ) p (

( Definicin ) ( De Morgan ) ( Doble Negacin )

( Complemento ) ( Definicin ) ( Identidad )

q q ) p ( Definicin ) V p ( Complemento ) Fp ( Complemento ) p ( Identidad )

5) (pq)r p(qr) ( p q ) r ( p q ) r ( p q ) r p ( q r ) p(qr) 6) p(qr) q(pr) p ( q r ) p ( q r ) ( p q ) r ( q p ) r q ( p r ) q(pr)

( ( ( (

Definicin ) De Morgan ) Asociatividad ) Definicin )

( ( ( ( (

Definicin ) Asociatividad ) Conmutatividad ) Asociatividad ) Definicin )

7) (pq)p pq (pq)p ((pq)p)(p(pq)) ( ( p q ) p ) ( p ( p q ) ) ( ( p q ) p ) ( p ( p q ) ) ( ( p q ) p ) ( p ( p q ) ) p ( p ( p q ) ) p ( ( p p ) q ) p ( p q ) ( p p ) ( p q )

( ( ( ( ( ( ( (

Definicin ) Definicin ) Definicin ) De Morgan ) Absorcin ) Asociatividad ) Idempotencia ) Distributividad )

 F(pq) pq 8) (pq)q pq (pq)q ((pq)q)(q(pq)) ( ( p q ) q ) ( q ( p q ) ) ( ( p q ) q ) ( q ( p q ) ) ( ( ( p ) q ) q ) ( q ( p q ) ) ( ( p q ) q ) ( q ( p q ) ) ( ( p q ) q ) ( q ( q p ) ) ( ( p q ) q ) ( ( q q ) p ) ( ( p q ) q ) ( V p ) ( ( p q ) q ) V ( ( p q ) q ) ( p q ) ( q q ) (pq)V pq

( Complemento ) ( Identidad ) ( ( ( ( ( ( ( ( ( ( ( ( ( Definicin ) Definicin ) Definicin ) De Morgan ) Doble Negacin ) Conmutatividad ) Asociatividad ) Complemento ) Identidad ) Identidad ) Distributividad ) Complemento ) Identidad )

9 ) p q ( p q ) ( p q ) pq (pq)(qp) ( Definicin ) ( p q ) ( q p ) ( Definicin ) ( p ( q p ) ) ( q ( q p ) ) ( Distributividad ) ( ( p q ) ( p p ) ) ( ( q q ) ( q p ) ) ( Distributividad ) ( ( p q ) F ) ( F ( q p ) ) ( Complemento ) ( p q ) ( q p ) ( Identidad ) ( p q ) ( p q ) ( Conmutatividad ) 10 ) p q p q p q ( p q ) ( q p ) ( ( p ) q ) ( ( q ) p ) ( p q ) ( q p ) ( q p ) ( p q ) (qp)(pq) (pq)(qp) pq

( ( ( ( ( ( (

Definicin ) Definicin ) Doble Negacin ) Conmutatividad ) Definicin ) Conmutatividad ) Definicin )

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

( ( ( ( ( ( (

Definicin ) Definicin ) De Morgan ) De Morgan ) Doble Negacin ) Distributividad ) Distributividad )

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

( ( ( ( (

Complemento ) Identidad ) Doble Negacin ) Definicin ) Definicin )

12 ) ( p q ) ( p r ) p ( q r ) ( p q ) ( p r ) ( p q ) ( p r ) p ( q r ) p(qr) 13 ) ( p q ) ( p r ) p ( q r ) ( p q ) ( p r ) ( p q ) ( p r ) ( ( p q ) p ) ( p ( q p ) ) ( p ( p q ) ) ( ( p p ) q ) ( p q ) r p ( q r ) p(qr) 14 ) ( p r ) ( q r ) ( p q ) r ( p r ) ( q r ) ( p r ) ( q r ) ( p q ) r ( p q ) r (pq)r 15 ) ( p r ) ( q r ) ( p q ) r ( p r ) ( q r ) ( p r ) ( q r ) p ( r ( q r ) ) p ( ( r q ) r ) p ( ( q r ) r ) p ( q ( r r ) ) p ( q r ) ( p q ) r ( p q ) r (pq)r

( Definicin ) ( Distributividad ) ( Definicin )

r r r r

( ( ( ( ( ( ( (

Definicin ) Asociatividad ) Asociatividad ) Conmutatividad ) Asociatividad ) Idempotencia ) Asociatividad ) Definicin )

( ( ( (

Definicin ) Distributividad ) De Morgan ) Definicin )

( ( ( ( ( ( ( ( (

Definicin ) Asociatividad ) Asociatividad ) Conmutatividad ) Asociatividad ) Idempotencia ) Asociatividad ) De Morgan ) Definicin )

16 ) p p q Sea p Verdadero, entonces: pq Vq V 17 ) p q p Sea p Verdadero, entonces:

(p V) ( Identidad )

q p q p q V V 18 ) p p q Sea p Verdadero, entonces: p q p q Vq V 19 ) ( p p ) q Equivale a demostrar: q ( p p ) Sea q Verdadero, entonces: ( p p ) F V 20 ) ( p q ) p q Equivale a demostrar: q ( ( p q ) p ) Sea q Verdadero, entonces: ( ( p q ) p ) (

( Definicin ) (p V) ( Identidad )

( Definicin ) ( p V ) ( Identidad )

( Contra recproco ) ( Complemento ) ( Complemento )

( Contra recproco ) ( p q ) p ) ( p q ) p ( ( p ) q ) p ( p q ) p ( p V ) p p p V ( ( ( ( ( ( ( Definicin ) De Morgan ) De Morgan ) Doble Negacin ) q V ) Identidad ) Complemento )

21 ) ( p q ) q p Equivale a demostrar: p ( ( p q ) q ) ( Contra recproco ) Sea p Verdadero, entonces: ( ( p q ) q ) ( ( p q ) q ) ( Definicin ) ( ( p q ) ( q q ) ) ( Distributividad ) ( ( p q ) F ) ( Complemento ) ( p q ) ( Identidad ) pq ( De Morgan y Doble Negacin ) Vq (p V) V ( Identidad )

22 ) p p p p p ( p p ) p

( Definicin ) ( Idempotencia )

23 ) p p p p p ( p p ) p

( Definicin ) ( Idempotencia )

24 ) p q ( p q ) ( p q ) ( p q ) ( p q ) ( ( p q ) ( p q ) ) ( ( p q ) ) pq 25 ) p q ( p p ) ( q q ) ( p p ) ( q q ) ( ( p p ) ( q q ) ) ( p q ) pq 26 ) p q ( p q ) ( p q ) ( p q ) ( p q ) ( ( p q ) ( p q ) ) ( ( p q ) ) pq 27 ) p q ( p p ) ( q q ) (pp)(qq) ( ( p p ) ( q q ) ) ( p q ) p q

( Definicin ) ( Idempotencia ) ( Doble Negacin )

( Definicin ) ( Idempotencia ) ( Definicin )

( Definicin ) ( Idempotencia ) ( Doble Negacin )

( Definicin ) ( Idempotencia ) (De Morgan y Doble Negacin)

DEMOSTRAR : 1)p(pq) 2)(pq)p 3)q(pq) 4 ) p ( p q ) 5)(pq pr)(p(qr)) 6)(pq pr)(p(qr)) 7)(pq)(qr) (pr) 8 ) ( p q ) ( q p )