Matemticas Discretas LOGICA PROPOSICIONAL

Matemticas Discretas
Estudio de objetos discretos Habilidad para razonar y argumentar Base otras reas en computacin
Bases de datos Lenguajes formales Inteligencia Artificial Procesamiento Lenguaje natural Especificacin formal de programas Web semntica..

Lgica
Base razonamiento matemtico Argumentacin Reglas para dar significado preciso a enunciados Base construccin argumentos vlidos Aplicaciones variadas(diseo circuitos lgicos, verificacin de programas, etc.)

Lgica
Razonamiento lgico

Todos los matemticos utilizan sandalias Cualquier persona que utilice sandalias es algebrista Por lo tanto, todos los matemticos son algebristas.

Lgica Proposicional
Proposicin Notacin: p,q,r,... Constantes proposicionales: v,f Valor de verdad (V, F) Operadores (conectivos) lgicos Frmulas simples y compuestas Precedencia de operadores lgicos

Lgica Proposicional
Ejemplos de proposiciones Bogot es la capital de Colombia Lima es la capital de Per 2+2 =5

Lgica Proposicional
Ejemplos afirmaciones no proposiciones

Qu hora es? Maana llover

Lgica Proposicional
Indique cules de las siguientes expresiones son proposiciones x+1=7 11 es un nmero primo Andrs vivir 60 aos Sara es inteligente

Lgica Proposicional
Representacin: letras del alfabeto q: Bogot es la capital de Colombia r: Lima es la capital de Per p: 2 + 2 = 5

Cada proposicin tiene un valor de verdad, e indica si sta es Verdadera (V) o Falsa (F)

Proposiciones Simples y Compuestas

El secreto de la longevidad consiste en evitar el estrs Hoy es mircoles y la temperatura es de 21 C Si no llueve voy a la clase de MD No es cierto que Juan perdi el examen

Negacin
Sea p: Bogot es la capital de Colombia, p indica, Bogot NO es la capital de Colombia

Cmo son los valores de verdad de p y de p

Negacin
Posibles valores de verdad de proposicin p se pueden representar en la siguiente tabla p p V F F V

Tabla de verdad para la negacin de una proposicin

Conjuncin
p: Bogot es la capital de Colombia q: Washington es la capital de USA p q : Bogot es la capital de Colombia y Washington es la capital de USA.

Conjuncin
p V V F F q V F V F pq V F F F

Tabla de verdad para la conjuncin

Tabla de verdad para la conjuncin

Ejemplos
Los Red Sox ganaron la serie mundial y los Yankees fueron eliminados

Ayer el Dlar baj 5 pesos y el Euro subi 25

En este saln hay ms hombres que mujeres y adems tienen un buen promedio de calificaciones

Disyuncin
Los estudiantes quienes han visto clculo o ITI pueden ver Algoritmia y Programacin

En su plato de entrada puede tomar sopa o ensalada

Disyuncin
or - inclusivo Los estudiantes quienes han visto Clculo o ITI pueden ver Algoritmia y Programacin

or - exclusivo En su plato de entrada puede tomar sopa o ensalada

OR-inclusivo
Los estudiantes quienes han visto Clculo o ITI pueden ver Algoritmia y Programacin V V F F V F V F ? ? ? ?

OR-inclusivo
p V V F F q V F V F pvq pq V V V F

Tabla de verdad del OR- inclusivo

OR-Exclusivo
En su plato de entrada puede tomar sopa o ensalada

V V F F

V F V F

? ? ? ?

OR-Exclusivo
(p q) En su plato de entrada puede tomar sopa o ensalada p V V F F q V F V F pq F V V F

Tabla de verdad del OR- exclusivo

Simbolizacin
Usted puede hacer el examen parcial o el opcional Aquellas personas de 20 aos o ms, pueden entrar al concierto Carlos fue a jugar Bisbol o fue al cine Hamlet fue escrito en 1601 o en 1688 Sarah quiere a Oscar o a Juan

Condicional
Considere la siguiente proposicin

Si es un da soleado entonces voy a la playa

Qu debe ocurrir para que no se cumpla la proposicin?

Condicional
p V V F F q V F V F pq V F V V

Tabla de verdad del Condicional

Recproca
Recrproca de p q es la proposicin q p p: Hoy es martes q: Tengo un examen hoy p q: Si hoy es martes entonces tengo un examen q p: Si tengo un examen entonces es martes

Contrapositiva
Contrapositiva de p q es la proposicin q p p: Hoy es martes q: Tengo un examen hoy q p: Si NO tengo un examen entonces NO es martes

Bicondicional
Sean p y q dos proposiciones, el bicondicional pq es la proposicin que es verdadera cuando p y q tiene el mismo valor de verdad

p V V F F

q V F V F

pq V F F V

Tabla de verdad del Bicondicional

Precedencia Operadores
Conectivo Significado Y O No Si .. Entonces Si y solo si Proposicin Compuesta pq pq p pq pq Nombre en lgica Conjuncin Disyuncin Negacin Condicional Bicondicional

Formalizacin
Evita ambiguedad lenguaje natural Facilita anlisis Determinacin valor de verdad

Formalizacin
Ejemplo Tienes una cuenta de correo electrnico en la EISC si estas matriculado en ITI o si eres estudiante del PAIS Identificar frases componentes Asignarles variable proposicional Utilizar conectivos

Formalizacin
Tienes una cuenta de correo electrnico en la EISC si estas matriculado en ITI o si eres estudiante del PAIS
Identificar frases componentes y Asignarles variables proposicionales
p: tienes una cuenta de correo electrnico en EISC q: Estas matriculado en ITI r: Eres estudiante del PAIS

Utilizar conectivos

(q r) p

Formalizacin: ejercicios
No puedes conducir si eres menor de edad, a no ser que tengas un seguro especial No se puede actualizar campos de un registro de la base de datos a menos que tengas un perfil de administrador

Operaciones con bits: aplicacin

Aplicacin de lgica digital: Bits y conectivos lgicos Construccin de compuertas lgicas Bit: dos valores posibles 0 y 1 (Verdadero (V) es 1 y que Falso (F) es 0). Variable Booleana: variable cuyo valor puede ser V o F. Operaciones con Bits: conectivo lgicos (AND, OR, NOT, XOR)

Aplicacin
Cadenas de Bits: sucesin de cero o ms bits operaciones aplicadas a cadenas de bits 0110110110 1100011101 1110111111 Operador ???? 0100010100 1010101011

Interpretacin
Asignacin de valores de verdad a las variables proposicionales

Modelo de una frmula

Una Interpretacin I que satisface la frmula es un MODELO de

Tipos de Proposiciones
Tautologa (Vlidez) Contradiccin (Insatisfactiblidad) Contingencia (Satisfactibilidad)

Validez, Satisfactibilidad
Frmula vlida: si y solo si es verdadera para todas las interpretaciones. Frmula insatisfactible (o inconsistente): si y solo si es falsa para todas las interpretaciones. Frmula no vlida: si y solo si hay al menos una interpretacin que la haga falsa Frmula satisfactible: si y solo si al menos una interpretacin la hace verdadera

Ejercicio
Clasificar las siguientes proposiciones como Tautologa, Contradiccin o Contingencia (p p) ( p ( p q) ) ( p q) (p q) (p q) (p q)

Equivalencia Lgica
Dos frmulas , son lgicamente equivalentes si para toda interpretacin toman el mismo valor de verdad ( )

Equivalencia Lgica
Dos frmulas , son lgicamente equivalentes si y solo si es una tautologa

Equivalencia Lgica
p V V F F q V F V F p q (p q) V F V F V F F V

Equivalencia Lgica
p V V F F q V F V F p F F V V q F V F V p q F F F V

Equivalencia Lgica
Las proposiciones (p q) y (p q) son entonces lgicamente equivalentes

Dos proposiciones compuestas p y q son lgicamente equivalentes si p q es una tautologa

Ejercicio
Indique si las siguientes proposiciones compuestas son lgicamente equivalentes pq y p q p (q r) y (p q ) (p r) (p q) y p q

Equivalencia Lgica
Equivalencia pvp pfp pvV pfF (p q) ( p q) ppF

Ms Equivalencias Lgicas
Doble Negacin : p p Idempotencia : p p p Idempotencia : p p p Ley asociativa : p (q r) (p q) r Ley asociativa : p (q r) (p q) r Ley de contrarrecproca : (p q) (q p) Ley conmutativa : p q q p Ley conmutativa : p q q p Ley distributiva :p ( q r ) (p q) (p r) Ley distributiva :p ( q r ) (p q) (p r)

Ms Equivalencias Lgicas
Leyes de DeMorgan: (p q) p q (p q) p q Ley de implicacin: p q p q Ley de cobertura: p (p q) p p (p q) p Ley de contradiccin: p p F p p V

Equivalencia Lgica
Muestre que ( p ( p q) ) y p q son lgicamente equivalentes Mtodo 1: Construir una tabla de verdad Mtodo 2: Utilizar las equivalencias lgicas conocidas, y partiendo desde una de las dos proposiciones lograr deducir la otra

Ejercicio
Partir de ( p v ( p q) ) hasta llegar a la proposicin p q ( p v ( p q) ) ???

Ejercicio
Muestre que (p q) q es lgicamente equivalente con ( p q) q Muestre que ( p q ) (p q) es una tautologa

Ms Ejercicios
Muestre que las siguientes proposiciones compuestas son tautologas (p q) p p (p q) p (p q) (p q) (p q)

Consecuencia Lgica
Sean A y B dos formulas. Se dice B es consecuencia lgica de A (A B) si toda interpretacin que hace verdadera a A hace verdadera a B

Consecuencia Lgica
Teorema 1 A B si y solo si A B es una tautologa Por Ejemplo (p q) p q dado que (p q) p q es una tautologa

Consecuencia Lgica
Ejercicio Demuestre que (p q) p q es una tautologa