Tema 1 Lgica de Proposiciones

Juan ngel Aledo Snchez Jaime Penabad Vzquez

Logica p. 1/32

Lgica de Proposiciones
El conocimiento humano puede producirse bien por constatacin de hechos o ideas (que se expresan mediante frases de tipo declarativo), bien como deduccin de nuevas declaraciones a partir de otras iniciales. La deduccin, como proceso que nos permite generar elementos de conocimiento a partir de otros ya conocidos, es el objeto de estudio de la lgica formal. As, podemos considerar la lgica como la ciencia que estudia los modos de razonamiento formalmente vlidos. La parte ms elemental de la Lgica es la Lgica de Proposiciones, que estudia la formacin de expresiones moleculares o compuestas a partir de expresiones atmicas o simples, que se unen mediante el uso de lo que llamaremos conectivos, as como la verdad de dichas expresiones compuestas a partir de la verdad de las expresiones simples que las componen.
Logica p. 2/32

Proposiciones
Denicin: Una proposicin -o proposicin simple- es una expresin (del lenguaje ordinario) tal que: i) tiene sentido ii) arma o niega algo iii) de la que se puede saber inequvocamente su verdad Toda proposicin admite dos valores de verdad, verdadero y falso,que denotaremos por V y F respectivamente. Desde el punto de vista de la Lgica de proposiciones slo interesarn los enunciados declarativos expresados en el modo indicativo.
Logica p. 3/32

Proposiciones. Ejemplos
Ejemplos: Discutir si las siguientes expresiones son o no proposiciones. Todo nmero entero es un nmero real 2 + 3 = 5. 1 + 2. C + O2 = CO2 . x + 1. x + 1 = 2 Maana llover. Maana ser lunes. Ayer llovi E. Sbato es el mejor novelista argentino vivo El modelo social sueco es el ms justo de Europa Dnde?, Cmo?, Oh! Todos los das del ao. Me gustara saber pintar Es posible que suba el petrleo. Siempre hace fro en otoo
Logica p. 4/32

Variables Proposicionales
Notacin: El concepto de proposicin se puede simbolizar mediante una variable proposicional. Una variable proposicional representa una proposicin y para escribirlas usaremos letras minsculas p, q, r, s, ... Llamaremos P al conjunto de todas las proposiciones: P = {p : p es proposicin } Intuitivamente, una proposicin simple o atmica puede considerarse como una unidad mnima de lenguaje con un contenido de informacin: - Siete es un nmero primo Proposicin simple - Juan y Jos son mdicosJuan es mdico y Jos es mdico
Logica p. 5/32

Proposiciones Compuestas
Una proposicin compuesta o molecular es un enunciado formado por proposiciones (simples) que se unen mediante enlaces llamados conectivos, que son caracteres matemticos que permiten unir varias proposiciones obteniendo as nuevas proposiciones. A la hora de obtener el valor de verdad de una proposicin compuesta, resulta til construir la correspondiente tabla de verdad, que es un esquema tabular que expresa el valor de verdad de una proposicin compuesta a partir del valor de verdad de las proposiciones simples. La tabla de verdad de una proposicin compuesta formada por n proposiciones simples tiene 2n las. Los posibles valores de verdad, verdadero y falso, se representan por V o 1 y F o 0 respectivamente. Cuando dos proposiciones p y q, simples o compuestas, tienen siempre el mismo valor de verdad, escribiremos p = q o p q.

Logica p. 6/32

Conjuncin Lgica
Conectivo y: Dadas las proposiciones p, q P formamos la expresin p y q tal que: i) tiene sentido ii) arma o niega algo iii) su verdad viene dada por la tabla: p V F V F q V V F F pq V F F F
Logica p. 7/32

Conjuncin Lgica
Simbolizamos y por , de manera que para cualesquiera p, q P, p q P (proposicin compuesta!). Por tanto es una operacin interna en P, es decir, : P P P Ejemplos: 2 N y 1/2 Q. Todo tringulo es un polgono y algn polgono tiene cuatro lados. recoge el sentido de la conjuncin y usual, pero formaliza tambin expresiones del tipo: No abre la Escuela, aunque es lunes. p es proposicin simple, pero p y q es compuesta. Hoy no es festivo, maana tampoco.
Logica p. 8/32

Disyuncin Lgica
Conectivo o: Dadas las proposiciones p, q P formamos la expresin p o q tal que: i) tiene sentido ii) arma o niega algo iii) su verdad viene dada por la tabla: p V F V F q V V F F pq V V V F
Logica p. 9/32

Disyuncin Lgica
Simbolizamos o por , de manera que para cualesquiera p, q P, p q P. Por tanto es una operacin interna en P, es decir, : P P P Ejemplos: 2 N o 1/2 Q. Todo tringulo es un polgono o algn polgono es redondo. recoge el sentido de la conjuncin o inclusiva usual, pero no formaliza expresiones del lenguaje ordinario del tipo (disyunciones exclusivas): Dentro o fuera. Culpable o inocente.
Logica p. 10/32

Conectivo Negacin
Conectivo no: Dada la proposicin p P formamos la expresin no p tal que: i) tiene sentido ii) arma o niega algo iii) su verdad viene dada por la tabla: p V F p F V

Simbolizamos no p por p , de manera que para cualquier p P, p P. As, puede interpretarse como una aplicacin de P en P.
Logica p. 11/32

Algebra de Boole de Proposiciones

Los conectivos , satisfacen las propiedades: 1) Idempotente:p p = p, p p = p 2) Conmutativa:p q = q p, p q = q p 3)Asociativa:p(qr) = (pq)r, p(qr) = (pq)r 4) Absorcin:p (p q) = p, p (p q) = p 5) Distributiva: p (q r) = (p q) (p r), p (q r) = (p q) (p r)

Logica p. 12/32

Algebra de Boole de Proposiciones

Todas las expresiones anteriores son universales, es decir, se satisfacen para cualesquiera proposiciones p, q, r P. Por tanto pueden reescribirse usando el smbolo (cuanticador universal), que se interpreta como: Para todo, dado uno cualquiera, cualquiera que sea,... Por ejemplo, la propiedad conmutativa puede escribirse como p, q P, p q = q p, q p = p q Llamaremos tautologa a una proposicin siempre verdadera, y la denotaremos por I. Asimismo, llamaremos contradiccin a una proposicin siempre falsa, y la denotaremos por O. La negacin satisface los resultados: p p = I p p = O p = p (Propiedad involutiva de la negacin)
Logica p. 13/32

Algebra de Boole de Proposiciones

Las proposiciones O e I satisfacen las propiedades: 6) Existe O P tal que p P, p O = O, p O = p O se denomina elemento neutro. 7) Existe I P tal que p P, p I = p, p I = I I se denomina elemento universal. La existencia la representamos con el smbolo , llamado cuanticador existencial, que se interpreta como: existe, existe uno, hay, hay uno, hay al menos uno,..., resultando 6)Existencia de elemento neutro: O P | p P, p O = O, p O = p 7)Existencia de elemento universal: I P | p P, p I = p, p I = I
Logica p. 14/32

Algebra de Boole de Proposiciones

Por ltimo, recogiendo propiedades anteriores de la negacin se tiene que 8)Existencia de complementario: p P, p P | p p = O, p p = I El objeto (P, , , , O, I) en el que: P es el conjunto de proposiciones, , son operaciones internas en P,

es una aplicacin de P en P, y

O es una proposicin siempre falsa e I P es una proposicin siempre verdadera se llama Algebra de Boole de proposiciones, por vericarse las propiedades 1),2),. . . ,8) mencionadas:
Logica p. 15/32

Algebra de Boole de Proposiciones

1) Idempotente: p P, p p = p, p p = p 2) Conmutativa: p, q P, p q = q p, p q = q p 3) Asociativa: p, q, r P, p (q r) = (p q) r, p (q r) = (p q) r 4) Absorcin: p, q P, p (p q) = p, p (p q) = p p (q r) = (p q) (p r) 5) Distributiva: p, q, r P, p (q r) = (p q) (p r) 6) Existencia de elemento neutro: O P | p P, p O = O, p O = p 7) Existencia de elemento universal: I P | p P, p I = p, p I = I 8) Existencia de complementario: p P, p P | p p = O, p p = I
Logica p. 16/32

Algebra de Boole de Proposiciones

Propiedades: En el lgebra (P, , , , O, I) se verica: p es nica (para cada p) Leyes de Morgan: (p q) = p q (p q) = p q Las Leyes de Morgan pueden generalizarse a un nmero nito arbitrario de proposiciones: (p1 p2 pn ) = p1 p2 pn (p1 p2 pn ) = p1 p2 pn

Logica p. 17/32

Implicacin Lgica
Conectivo si... entonces ...: Dadas las proposiciones p, q P formamos la expresin si p entonces q tal que: i) tiene sentido ii) arma o niega algo iii) su verdad viene dada por la tabla: p V F V F q V V F F pq V V F V
Logica p. 18/32

Implicacin Lgica
Simbolizamos si p entonces q por p q, de manera que para cualesquiera p, q P, p q P. A p q se le denomina condicional o implicacin. p se denomina hiptesis o antecedente. q se denomina tesis o consecuente Tambin se dice que p es condicin suciente para q y que q es condicin necesaria para p. Ejemplos: Si 3 es un nmero natural entonces 3 es un nmero entero. Si hoy es martes entonces maana es jueves.
Logica p. 19/32

Implicacin Lgica
Tambin formaliza expresiones del tipo: Si el Jcar es navegable entonces Cuenca es puerto de mar. Si 2+3=6, el Tajo pasa por Albacete. Observar que si la hiptesis es falsa, la implicacin es verdadera independientemente de la verdad de la tesis. Por p q pueden formalizarse tambin expresiones del tipo: Todo nmero real es un cuadrado, si es positivo. Sube la temperatura, si sale el sol. Cuando Pavarotti cante la Traviata, ir al Palacio Real. Siempre que llega el domingo, aprovecho para leer.
Logica p. 20/32

Implicacin Lgica
Se verica que p q = p q En consecuencia, su negacin viene dada por (p q) = (p q) = p q Expresiones asociadas a p q, que llamaremos directa, son: q p, llamada recproca p q , llamada contraria q p , llamada contrarrecproca p q , llamada negacin Se verica que p q = q p y q p = p q
Logica p. 21/32

Implicacin Lgica
Propiedades de la implicacin: pp pq p ppq p I, 0 p [(p q) p] q (Modus Ponens) [(p q) q ] p (Modus Tollens) [(p q) p ] q (Ley del Silogismo Disyuntivo) [(p q) (p r) (q r)] r (Dilema) [(p q) (p r) (q s)] (r s) (D. Constructivo) [(p q) (q r)] (p r) (Transitiva) [p (q r)] = [(p q) r]
Logica p. 22/32

Equivalencia Lgica
Conectivo ...si, y slo si,...: Dadas las proposiciones p, q P formamos la expresin p si, y slo si, q tal que: i) tiene sentido ii) arma o niega algo iii) su verdad viene dada por la tabla: p V F V F q V V F F pq V F F V
Logica p. 23/32

Equivalencia Lgica
Simbolizamos p si, y slo si, q por p q , de manera que para cualesquiera p, q P, p q P .
p q es una doble implicacin, pues p q = (p q) (q p)

y as p q = (p q) (q p). Si p q diremos que p equivale a q o que p y q son lgicamente equivalentes. Tambin diremos que p es condicin necesaria y suciente para q . Ejemplos: p q y p q son equivalentes p q y q p son equivalentes q p y p q son equivalentes
Logica p. 24/32

Disyuncin Exclusiva
Conectivo o ..., o ...: Dadas las proposiciones p, q P formamos la expresin o p o q tal que: i) tiene sentido ii) arma o niega algo iii) su verdad viene dada por la tabla: p V F V F q V V F F pq F V V F
Logica p. 25/32

Disyuncin Exclusiva
Simbolizamos o p o q por p q , de manera que para cualesquiera p, q P, p q P .
p q es una disyuncin exclusiva, en el sentido de que es cierta cuando una, y slo una, de las proposiciones p, q es cierta. Formaliza expresiones del tipo: Dentro o fuera. Culpable o inocente.

Observar que
p q = (p q) = (p q ) (p q).

Por p q pueden formalizarse tambin expresiones del tipo o bien p o bien q .

Logica p. 26/32

Formas de Demostracin Matemtica

Un razonamiento formalmente vlido es una implicacin verdadera del tipo p1 p2 pn = q con p1 , p2 , . . . , pn verdaderas simultneamente. En esta situacin, p1 , p2 , . . . , pn se denominan premisas y q conclusin. En el tema siguiente diremos que q es consecuencia lgica o que se deduce de p1 , p2 , . . . , pn . Observar que decir que p1 p2 . . . pn = q es un razonamiento formalmente vlido, es equivalente a decir que es una tautologa.
Logica p. 27/32

Formas de Demostrar un Teorema

Un condicional p = q es un teorema si es verdadero siempre que p es verdadera, es decir, si es un razonamiento formalmente vlido. Formas de demostrar un teorema p = q: Directa: Consiste en probar que si p es cierta, entonces tambin lo es q Contrarrecproca: Consiste en probar que si q es falsa, entonces tambin lo es p Reduccin al absurdo: Consiste en obtener una contradiccin de suponer que p es verdadera y q falsa.

Logica p. 28/32

Sintaxis
El lenguaje de la lgica de proposiciones se denota por L0 . El alfabeto de la lgica proposicional tiene por smbolos: Variables proposicionales: p, q, r, . . . Conectivos: , , , , , . . . Smbolos impropios, como smbolos de puntuacin, parntesis, etc. Una frmula proposicional es cualquier expresin escrita con variables proposicionales unidas mediante conectivos. As, el conjunto de frmulas proposicionales F del lenguaje L0 de la lgica proposicional se obtiene conforme a las reglas: Las variables proposicionales son frmulas Si A y B son frmulas, tambin lo son A B, A B, A , A B, A B
Logica p. 29/32

Sintaxis
Como ya hemos visto, a partir de proposiciones simples y el empleo de conectivos se pueden construir frmulas proposicionales sumamente complejas. En este sentido, el empleo de parntesis y corchetes permite denir con precisin la proposicin compuesta de que se trata y evitar as confusiones. Cuando la proposicin compuesta est escrita sin parntesis, el orden de prioridad de las operaciones es

{, },

{=, }

Una funcin proposicional f de n variables es una aplicacin f : P n P tal que f (p1 , p2 , . . . , pn ) es una frmula proposicional. Como habitualmente se identica una aplicacin con el conjunto de sus imgenes, en el futuro identicaremos funciones y frmulas proposicionales cuando nos interese.
Logica p. 30/32

Funciones
Ejemplos: A continuacin repasamos algunas de las funciones ms utilizadas en los lenguajes de programacin: AN D(p, q) = p q OR(p, q) = p q N OT (p) = p N AN D(p, q) = (p q) = p q N OR(p, q) = (p q) = p q XOR(p, q) = p q

Logica p. 31/32

Bibliografa Tema 1
J. Aranda, J.L. Fernndez y F. Morilla Lgica Matemtica Ed. Sanz y Torres, 1993 A. Deao Introduccin a la Lgica Formal Ed. Alianza Universidad, 1992 P. Julin Lgica Simblica para Informticos Ed. Rama, 2004 M. Manzano y A. Huertas Lgica para principiantes Ed. Alianza, 2004
Logica p. 32/32