INSTITUTO TECNOLOGICO SUPERIOR DE LA COSTA CHICA

TECNOLOGIAS DE LA INFORMACION Y COMUNICACIONES. MATEMATICAS DISCRETAS:

UNIDAD 2. LOGICA DE PROPOCICIONES 2.1 INTRODUCCION AL CALCULO PROPOCICIONAL

Lgica Proposicional
Lgica Proposicional Sintaxis 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: las proposiciones verdaderas y las proposiciones 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!

IDENTIFICAR SI PROPOCICIONES.

ESTAS

FRASES

SON

El 4 es menor que el 8 Carlos es alto Mxico es un pas de Amrica El 6 es mayor que el 10 Mara es inteligente El sbado no hay clases Cmo te llamas? 5 mas 11 es 16 El rbol El 1 es el primer numero natural Levanta esa pluma!

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

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

Lgica Proposicional
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 formula 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
Ejemplo:

Ejercicio:
Represente o simbolic 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.

PROPOSICIN LGICA Y VALORES DE VERDAD

El valor de verdad de una proposicin lgica atmica (o variable proposicional) es, por definicin, verdadero o falso (podemos representarlo como V o F). As el enunciado llueve es verdadero si y slo si est lloviendo en ese momento. Pero si dicho enunciado se considera como proposicin lgica atmica, p, entonces puede ser tanto verdadera como falsa. Es una verdad de hecho o contingente, porque tiene los dos posibles valores de verdad, por la propia definicin de proposicin lgica. El contenido de la relacin de un enunciado con lo real no es objeto de la lgica sino de otras ciencias. Verdad de hecho o contingente, contradiccin y tautologa El valor de verdad de una proposicin molecular puede ofrecer los siguientes casos:

Que su valor dependa del valor de verdad de las proposiciones que la integran, segn las conexiones lgicas que las unen. En ese caso dicha proposicin tiene un valor de Verdad de hecho o contingente. Puede ser unas veces verdadera y otras veces falsa segn la verdad o falsedad de cada una de las proposiciones atmicas que la integran.

El valor lgico V (verdad) de la proposicin llueve y hace calor, slo se dar en el caso de que las dos proposiciones llueve (p) y hace calor (q) sean tomadas en su valor de V; en los dems casos ser falsa. Sin embargo en la proposicin llueve o hace calor basta que una de las dos sea considerada en su valor de verdad V para que la proposicin molecular sea verdadera. La funcin y conjuntiva y la funcin o disyuntiva se definen en tablas de verdad, como funciones de verdad, o conectivas. Las dos proposiciones moleculares enunciadas ms arriba pueden ser verdaderas o falsas segn sean los valores que tomemos en consideracin en cada una de las proposiciones que la integran. Por eso ambas son contingentes.

Que su valor de verdad no dependa del valor de verdad de las proposiciones que la forman, sino que, por la forma en que se establecen sus conexiones, como relaciones lgicas, siempre y necesariamente es falsa. Entonces esa proposicin es una contradiccin.

El valor de verdad de la proposicin llueve y no llueve es una contradiccin y siempre ser falsa, con independencia del valor que consideremos V o F de llueve (p) y de no llueve (p). La funcin de verdad no se define mediante una tabla de verdad.

Que su valor de verdad no dependa del valor de verdad de las proposiciones que la forman, sino que, por la forma en que se establecen sus conexiones, siempre y necesariamente es verdadera. Entonces esa proposicin es una tautologa. El valor de verdad de la proposicin llueve o no llueve, es una tautologa y siempre ser verdadera con independencia de los valores que consideremos de llueve (p) o de no llueve (p).
El anlisis del valor de verdad de una proposicin se realiza mediante las tablas de verdad.

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

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 nube pq

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: 1. 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. 2. 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:

Gracias por su atencin