Instituto de Matemticas, Fsica y Estadstica Semana 1: Lgica Proposicional

Objetivos de aprendizajes

1.2.3.4.-

Clasicar las proposiciones y conectivos lgicos Distinguir Tautologa, contradiccin y contingencia Relacionar la lgica con el lenguaje usual Resolver problemas usando las propiedades de las lgica proposicional

2
2.1

Lgica Proposicional
Introduccin

Una de las dicultades para la comprensin de las matemticas es la barrera del lenguaje matemtico. La lgica es la ciencia que trata de las leyes, modos y formas del uso de la razn, utiliza los principios de demostracin y su formalizacin simblica es a travs de las matemticas1 . Un gran matemtico llamado Leibnitz haba previsto la importancia de la lgica simblica para toda la matemtica, e hizo considerables progresos . Leibnitz imagino un "tipo de matemticas universales" expresada a travs de smbolos y reglas adecuadas de combinacin, enunci las propiedades principales de la adicin y la multiplicacin lgica, la negacin, la identidad de ciertas propiedades. Finalmente en 1854 con Boole naci la lgica simblica y su formalizacin. En 1906 M acColl en su obra "Symbolic logic and its aplications" se preocupo de las expresiones verbales y sus signicados, de tal manera que no se produjeran contradicciones2 . En nuestro curso, nos enfocaremos en la comprensin del lenguaje lgico, as como tambin en el algebra de proposiciones.
1 Beaumont, R.; The algebraic foundations of mathematics. Addison-Wesley publishing company. London, 1963 2 Bell, E.; Historia de las matemticas. McGraw-Hill. Nueva York, 1940

Elementos de la Lgica Proposicional

Una proposicin (p; q; r; s; t; etc.) es una aseveracin cuyo valor de verdad es Falso (F ) o Verdadero (V ). Ejemplo 1 Ejemplo 2 124 es un nmero divisible por 4 (Proposicin) Ejemplo 3 Cul es la hora en la que naliza la clase? (No es proposicin) Ejemplo 4 1 + 1 = 2 (Proposicin, Verdadera) Ejemplo 5 1 < 3 2 (Proposicin, Falsa)

Ejemplo 6 Existe un nmero real x tal que x100 57x53 25x7 + 500 = 0

es una proposicin, aunque determinar su valor de verdad requiere de un esfuerzo adicional (en efecto es una proposicin verdadera) Ley del tercero excludo: Cada proposicin es verdadera o falsa Ley de contradiccin: Ninguna proposicin es verdadera y falsa A continuacin seala cules de las siguientes expresiones son proposiciones y cules no: Enunciado x+y =1 Es Verano 2 + ( 1) = 1 2 1 2 =1 Parece que va a llover Proposicin No proposicin

Tablas de Verdad

Nos permiten analizar los distintos valores que se obtienen en las proposiciones compuestas. Segn la denicin de proposicin para el valor de verdad de una proposicin arbitraria p hay dos alternativas que anotamos de la siguiente forma: p V F Si la proposicin compuesta est formada por dos proposiciones arbitrarias p y q existen 4 alternativas para el valor de verdad de la proposicin compuesta.

p V V F F

q V F V F

En general si son n las proposiciones que forman la proposicin compuesta entonces se tienen 2n alternativas de combinaciones posibles para el valor de verdad de la proposicin que la forman.

Conectivos

Los conectivos son smbolos que nos permiten vincular (unir) dos o ms proposiciones de modo que genere una proposicin compuesta. Son conectivos: y (^), o (_), entonces ()), si y solo si (()), etc.

5.1

Negacin:

Sea p una proposicin, y p la negacin de p, es decir si p es una proposicin falsa entonces p es una proposicin verdadera, as como si p es verdadera entonces p es una proposicin falsa, esto lo podemos describir en la siguiente tabla de verdad. p p V F F V Observacin: En la tabla lo que hemos ordenado son los distintos posibles valores de cada proposicin. Ejemplo 7 Consideremos la siguiente proposicin (Falsa): p:3<2 As la negacin de la proposicin: p:3 Sean p y q proposiciones, denimos: 2

5.2

Consideremos las siguientes proposiciones: p q : Los gatos son mascotas : Los perros son mascotas 3

Conjuncin (p ^ q )

Entonces podemos armar que: Los perros y los gatos son mascotas: p ^ q Para analizar los valores de verdad de esta proposicin compuesta, consideremos el siguiente ejemplo: "La Universidad entregar un obsequio a cada estudiante en la ocina 801, para el retiro se solicita el carnet de identidad y el comprobante de matrcula del estudiante" Diremos que la proposicin compuesta p ^ q es verdadera si y solo si p y q son verdaderas: p V V F F q V F V F p^q V F F F

5.3

La proposicin p _ q es verdadera si q es verdadera. p q V V V F F V F F

Disyuncin (p _ q ):

al menos una de las componentes p o p_q V V V F

5.4

La proposicin p =) q es falsa si p es verdadera y q es falsa. En caso contrario es verdadera. p V V F F q V F V F p =) q V F V V

Implicancia (p =) q ):

5.5

Disyuncin exclusiva (p Y q ):
p V V F F q V F V F pYq F V V F

5.6

Tambin usado frecuentemente como "p si y solo si q ": p V V F F En resumen: nombre conjuncin disyuncin implicancia doble implica disyu. exclusiva smbolo ^ _ =) () Y prop compuesta p^q p_q p =) q p () q pYq como se lee pyq poq si p entonces q p si y solo si q o p o q no ambas descripcin es V slo si ambas lo son es V si al menos una es V es F slo si p es V y q F es V si ambas son F o V es V si tan sola una es V. q V F V F p () q V F F V

Equivalencia (p () q ):

Ejercicios: 1) Realice la tabla de verdad de la proposicin: p _ q 2) Realice la tabla de verdad de la proposicin: (p =) q ) ^ (q =) p)

Observacin: 1) ciden. (p _ q ) () (p =) q ) ; basta notar que ambas tablas de verdad coin-

2) ((p =) q ) ^ (q =) p)) () (p () q ) ; al igual que antes basta notar que ambas tablas de verdad coinciden.

Tautologa, contradiccin y contingencia

1. Tautologa: Si es siempre verdadera independiente del valor de cada proposicin. 2. Contradiccin: Si es siempre falsa independiente de los valores de verdad de cada proposicin. 3. Contengencia: Si no es Tautologa o contradiccin.

Diremos que una proposicin compuesta es:

Ejemplo 8 Determinar si la siguiente proposicin compuesta p =) (p ^ [p _ q ])es tautologa, contradiccin o contingencia. Solucin: Realizamos la tabla de Verdad: p V V F F q V F V F p_q V V V F p ^ [p _ q ] V V F F p =) (p ^ [p _ q ]) V V V V

de lo cual concluimos que la proposicin es una Tautologa

Ejemplo 9 Determine si la siguiente proposicin (p =) q ) =) (p ^ q ) es tautologa, contradiccin o contingencia. Solucin: p V V F F q V F V F q F V F V p =) q F V V V p^q V F F F p^q F V V V (p =) q ) =) (p ^ q ) V V V V

Es una Tautologa. Ejemplo 10 Verique que ((p =) q ) ^ (q =) p)) () (p () q ) {z } |

es una tautologa a travs del uso de una tabla de Verdad. Solucin: p V Ejercicio 11 V F F efectivamente es q p =) q V V F F V V F V tautologa. q =) p V V F V

(p =) q ) ^ (q =) p) V F F V

p () q V F F V

V V V V