LGICA MATEMTICA Priscila Valdiviezo pmvaldiviezo@utpl.edu.ec FUNDAMENTOS DE LGICA Introduccin a la Lgica Es la que determina si un razonamiento es vlido o no.

Algunos precursores de la lgica pudieron verificar que esta ciencia casi expresada en su totalidad en palabras no haca posible una fcil aplicacin sobre temas matemticos cuyo procedimiento y desarrollo se quera comprobar, por lo que se introdujo smbolos que representan las definiciones y reglas dadas por la lgica, crendose por consiguiente la lgica simblica, llamada lgica matemtica FUNDAMENTOS DE LGICA La lgica matemtica usa lenguajes formales definidos artificialmente para formular enunciados acerca del mundo al que se refieran en un momento dado nuestros razonamientos, es por ello que en la actualidad tambin se la conoce como la lgica formal o matemtica. Lgica Proposicional Definicin Estudia los enunciados como un todo y sus relaciones con otros enunciados. Proposicin: Es aquel enunciado que afirma o niega algo y que puede ser verdadero (V) o falso (F); slo tiene dos categoras de clasificacin: Verdaderas o falsas.

Lgica Proposicional Ejemplos No son proposiciones, los enunciados donde no es posible determinar el valor de verdad, es decir si son verdaderos o falsos. Ejemplo: Cmo ests? - Dios mo!

Lgica Proposicional El lenguaje formal de la lgica de proposiciones resulta de un anlisis lgico simple del lenguaje natural, basado en la distincin entre dos clases de enunciados o proposiciones: Simples o Compuestos Lgica Proposicional Conjunto de smbolos con los que trabaja el lenguaje de la lgica proposicional. Smbolos utilizados para representar los enunciados, las principales conectivas lgicas que se utilizan para construir enunciados compuestos y la jerarqua de las mismas Jerarqua de conectivas. En trminos formales la negacin de p, deber ser ( p), as como la conjuncin de p y q sera (p ^ q). Con el uso de parntesis evitamos la ambigedad, por ejemplo p ^ q podra significar dos cosas distintas Por un lado podra significar: (( p) ^ q) O tambin: ( (p ^ q)). En la prctica para no usar tantos parntesis se considera que el operador tiene jerarqua sobre ^, v, ->, . Es decir va desde menor jerarqua hasta el de mayor. As: p ^ q significa (( p)^ q) Lgica Proposicional En algunos casos se considera ^, v tienen mayor jerarqua que por lo que: p q v r sera (p (q v r)) y tambin que ^ tiene prioridad sobre v, por lo que: p ^ q v r sera (p ^ q) v r Lgica Proposicional Ejemplo: Considerando la jerarqua entre conectivas, la frmula p v q -> p ^ r, se reconocera como: Ejercicio: Representar la frmula mediante utilizando smbolos de agrupacin/puntuacin Lgica Proposicional Conectivas Lgicas Aquellas partculas de enlace del lenguaje natural que permiten unir enunciados simples. stas tienen un significado en el lenguaje de la lgica proposicional, y los enunciados un valor de verdad.

Cinco conectivas principales utilizadas para la construccin de nuevas proposiciones. Lgica Proposicional Ejercicio: Simbolice cada una de las proposiciones sealadas en el ejemplo Lgica Proposicional Valor de verdad de la negacin, conjuncin, disyuncin, condicional y bicondicional. Para formar expresiones compuestas necesitamos conectivos lgicos, empezaremos por un conectivo unitario; esto es, se aplica a una proposicin sola. Lgica Proposicional La Negacin La operacin unitaria de negacin, no es cierto que se representa por y tiene la siguiente tabla de verdad de verdad Lgica Proposicional Conjuncin La conjuncin de las proposiciones p, q es la operacin binaria que tiene por resultado p y q, se representa por p^q. Lgica Proposicional La conjuncin nos sirve para indicar que se cumplen dos condiciones simultneamente. Ejemplo, si tenemos el enunciado: La funcin es creciente y est definida para los nmeros positivos. Simbolizamos como p ^ q, donde: p: la funcin es creciente q: la funcin esta definida para los nmeros positivos Lgica Proposicional Ejemplo 2: El nmero es divisible entre 3 y est representado en base 2. p: el nmero es divisible por 3 q: el nmero est representado en base 2

p^q Para que la conjuncin p ^ q sea verdadera las dos expresiones que intervienen deben ser verdaderas y slo en ese caso como se indica por su tabla de verdad. Lgica Proposicional Disyuncin La disyuncin de dos proposiciones p, q es la operacin binaria que da por resultado p q, notacin p v q, y tiene la siguiente tabla: Lgica Proposicional Basta con que una de las proposiciones sea verdadera para que la expresin p q sea verdadera. Ejemplo: El libro se le entregar a Juan o el libro se le entregar a Luis. Simbolizando: p v q Lgica Proposicional Condicional La condicional de dos proposiciones p, q da lugar a la proposicin; si p entonces q, se representa por p -> q. Lgica Proposicional El nico caso que resulta falso es cuando el primero es verdadero y el segundo falso. Ejemplo: Si llueve entonces hay nubes p:llueve q: hay nubes p -> q Lgica Proposicional Bicondicional La bicondicional de dos proposiciones p, q da lugar a la proposicin; p si y slo si q, se representa por p q. Lgica Proposicional

Construccin de Tablas de Verdad Si P y Q son proposiciones atmicas unidas con conectivas lgicas de la siguiente manera: p v q Pasos: Como se est trabajando con dos variables, entonces se tendrn filas en la tabla de verdad, que son a la vez las combinaciones de los valores de verdad de las variables. Procedemos a dibujar la tabla separando hacia la izquierda las variables que intervienen, como tienen que dar 4 filas, la primera proposicin tendr dos valores de verdad con V y dos con F, y la proposicin q tendr intercalado los valores de verdad de la siguiente manera: Lgica Proposicional

Hallar las tablas de Verdad de: a) [P ^ Q] -> [ P v Q] b) [ P v ( Q ^ R)] [( P v Q) ^ (P v R)]