Está en la página 1de 7

Universidad de las Amricas Instituto de Matemticas, Fsica y Estadstica

Clase 1: Lgica proposicional Segundo semestre de 2011

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 .
Beaumont, R.; The algebraic foundations of mathematics. Addison-Wesley publishing company. London, 1963
1

La lgica matemtica o simblica es una parte de la lgica y las matemticas, que consiste en el estudio matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas. Un gran matemtico llamado Leibnitz haba previsto la importancia de la lgica simblica para toda la matemtica, e hizo considerables progresos en la poca anque solo en la segunda dcada del siglo XX consigui la lgica matemtica rango de captulo principal de la matemtica. Leibnitz imagino un "tipo de matemticas universales" expresada a travs de smbolos y a reglas adecuadas de combinacin, enunci las propiedades principales de la adicin y la multiplicacin lgica, la negacin, la identidad de ciertas propiedade. Finalmente en 1854 con Boole nacio 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, nosotros nos enfocaremos en la comprensin del lenguaje lgico, as como tambin en el algebra de proposiciones.

Elementos de la Lgica Proposicional

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

Ejemplo 5 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)
2

Bell, E.; Historia de las matemticas. McGraw-Hill. Nueva York, 1940

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 Proposicin No proposicin x+y =1 Es Verano 2 + ( 1) = 1 2 1 =1 2 Parece que va a llover

Conectivos

Los conectivos son smbolos que nos permiten vincular (unir) proposiciones (proposicin compuesta) Ejemplo 6 y (^), o (_), entonces ()), si y solo si (()), etc.

Tablas de Verdad

Nos permiten analizar los distintos valores que se obtienen en las proposiciones compuestas. 5.0.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 una tabla de verdad siguiente: 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 : _____ Sean p y q proposiciones, denimos: 5.0.2 Conjuncin (p ^ q) p : Los gatos son mascotas q : Los perros son mascotas 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 es 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

Consideremos las siguientes proposiciones:

5.0.3

Disyuncin (p _ q):

La proposicin p _ q es verdadera si al menos una de las componentes p o q es verdadera, tambin si ambas son verdaderas p V V F F 5.0.4 Implicancia (p =) q): p V V F F 5.0.5 q V F V F p =) q V F V V q V F V F p_q V V V F

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

5.0.6

Equivalencia (p () q): p V V F F q V F V F p () q V F F V

Tambin usado frecuentemente como "p si y solo si q":

Ejercicio 8 Realice la tabla de verdad de la proposicin: p _ q Ejercicio 9 Realice la tabla de verdad de la proposicin: (p =) q)^(q =) p) 5

Observacin 10 (p _ q) dad coinciden.

(p =) q) ; basta notar que ambas tablas de ver-

Observacin 11 ((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, contradiccin.

Diremos que una proposicin compuesta es:

Ejemplo 12 Determinar si la siguiente proposicin compuesta p =) (p ^ [p _ q])es o no Tautologa 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 cul conclumos que la proposicin es una Tautologa Ejemplo 13 Pruebe si la siguiente proposicin (p =) q) =) (p ^ q)es o no una Tautologa: 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

Si es una Tautologa. 6

Ejemplo 14 Verique que ((p =) q) ^ (q =) p)) () (p () q) | {z } (p =) q) ^ (q =) p) V F F V

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

p () q V F F V

V V V V