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 v lidos Aplicaciones v ariadas(diseo circuitos lgicos, v erificacin de programas, etc.)

Lgica
Raz onamiento l gico

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 v erdad (V, F) Operadores (conectiv os) lgicos Frmulas simples y compuestas Precedencia de operadores lgicos

Lgica Proposicional
Ejemplos de proposiciones Bogot es l a capital de Col ombia Lima es l a capitalde Per 2+ 2 = 5

Lgica Proposicional
Ej empl os af irmaciones no proposiciones

Quhora es? Maana l l over

Lgica Proposicional
Indique cul es de l as siguientes expresiones son proposiciones x+ 1 = 7 11 es un nmero primo Andrs v iv ir 60 aos Sara es inteligente

Lgica Proposicional
Representacin:l etras delal f abeto q:Bogot es la capital de Colombia r:Lima es la capital de Per p:2 + 2 = 5

Cada proposicin tiene un val or de verdad,e indica si sta es Verdadera ( V)o Fal sa ( F)

Proposiciones Simpl es y Compuestas

El secreto de la longev idad consiste en ev itar el estrs Hoy es mircoles y la temperatura es de 21C Si no lluev ev oy a la clase de MD No es cierto que J uan perdi el ex amen

Negacin
Sea p:Bogot es la capital de Colombia, p indica, Bogot NO es la capital de Colombia Cmo son los v alores de v erdad de p y de p

Negacin
Posibles v alores de v erdad de proposicin p se pueden representar en la siguiente tabla p p V F F V

Tabla de v erdad para la negacin de una proposicin

Conj uncin
p:Bogot es l a capitalde Col ombia q:W ashington es l a capitalde USA p q :Bogot es l a capitalde Col ombia y W ashington es l a capitalde USA.

Conj uncin
p V V F F q V F V F pq V F F F

Tabla de v erdad para la conjuncin

Tabla de verdad para la conjuncin

Ej empl os
Los Red Soxganaron la serie mundial y los Yank ees 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 v isto clculo o ITI pueden v er Algoritmia y Programacin

En su plato de entrada puede tomar sopa o ensalada

Disyuncin
or -inclusiv o Los estudiantes quienes han v isto Clculo o ITI pueden v er Algoritmia y Programacin

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

ORincl usivo
Los estudiantes quienes han v isto Clculo o ITI pueden v er Algoritmia y Programacin V V F F V F V F ? ? ? ?

ORincl usivo
p V V F F q V F V F pvq p q V V V F

Tabla de v erdad del OR-inclusiv o

ORExcl usivo
En su pl ato de entrada puede tomar sopa o ensal ada

V V F F

V F V F

? ? ? ?

ORExcl usivo
(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 v erdad del OR-ex clusiv o

Simbol iz acin
Usted puede hacer el ex amen 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 J uan

Condicional
Considere l a siguiente proposicin

Si es un da soleado entonces voy a la playa

Qudebe ocurrir para que no se cumpl al a proposicin?

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

Tabla de v erdad del Condicional

Rec proca
Recr proca de p q es la proposicin q p p:Hoy es martes q:Tengo un ex amen hoy p q:Si hoy es martes entonces tengo un ex amen q p:Si tengo un ex amen entonces es martes

Contrapositiva
Contrapositiv a de p q es la proposicin q p p:Hoy es martes q:Tengo un ex amen hoy q p:Si NO tengo un ex amen entonces NO es martes

Bicondicional
Sean p y q dos proposiciones, el bicondicional pq es la proposicin que es v erdadera cuando p y q tiene el mismo v alor de v erdad

p V V F F

q V F V F

pq V F F V

Tabla de v erdad del Bicondicional

Precedencia Operadores
Conectiv o 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

Formal iz acin

Ev ita ambiguedad lenguaje natural Facilita anlisis Determinacin v alor de v erdad

Formal iz acin
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 v ariable proposicional Utilizar conectiv os

Formal iz acin
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 v ariables proposicionales
p: tienes una cuenta de correo electrnico en EISC q: Estas matriculado en ITI r: Eres estudiante del PAIS

Utilizar conectiv os

(q r) p

Formal iz acin:ej ercicios

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:apl icacin

Aplicacin de lgica digital: Bits y conectiv os lgicos Construccin de compuertas lgicas Bit:dos v alores posibles 0 y 1 (Verdadero (V) es 1 y que Falso (F) es 0). Variabl e Bool eana:v ariable cuyo v alor puede ser V o F. Operaciones con Bits:conectiv o lgicos (AND, OR, NOT, XOR)

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

Interpretacin
Asignacin de v alores de v erdad a las v ariables proposicionales

Model o de una f rmul a

Una Interpretacin I que satisface la frmula es un MODELO de

Tipos de Proposiciones

Tautolog a (Vlidez) Contradiccin (Insatisfactiblidad) Contingencia (Satisfactibilidad)

Val idez ,Satisf actibil idad

Frmula v lida: si y solo si es v erdadera para todas las interpretaciones. Frmula insatisfactible (o inconsistente):si y solo si es falsa para todas las interpretaciones. Frmula no v lida: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 v erdadera

Ej ercicio
Cl asif icar l as siguientes proposiciones como Tautol og a,Contradiccin o Contingencia ( p p) (p ( p q)) ( p q) ( p q) ( p q) ( p q)

Equival encia Lgica

Dos frmulas , son lgicamente equiv alentes si para toda interpretacin toman el mismo v alor de v erdad ( )

Equival encia Lgica

Dos frmulas , son lgicamente equiv alentes si y solo si es una tautolog a

Equival encia Lgica

p V V F F q V F V F p q) p q ( V F V F V F F V

Equival encia 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

Equival encia Lgica

Las proposiciones (p q) y (p q) son entonces lgicamente equiv alentes

Dos proposiciones compuestas p y q son lgicamente equiv alentes si p q es una tautolog a

Ej ercicio
Indique si las siguientes proposiciones compuestas son lgicamente equiv alentes pq y p q p (q r) y (p q ) (p r)

(p q) y p q

Equival encia Lgica

Equival encia pvp pfp pvV pfF (p q) ( p q) ppF

Ms Equival encias Lgicas

Doble Negacin :p p Idempotencia :p p p Idempotencia :p p p Ley asociativ a :p (q r) (p q) r Ley asociativ a :p (q r) (p q) r Ley de contrarrec proca :(p q) (q p) Ley conmutativ a :p q q p Ley conmutativ a :p q q p Ley distributiv a: p ( q r ) (p q) (p r) Ley distributiv a: p ( q r ) (p q) (p r)

Ms Equival encias 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

Equival encia Lgica

Muestre que ( p ( p q) ) y p q son lgicamente equiv alentes

Mtodo 1:Construir una tabla de v erdad 1: Mtodo 2:Utilizar las equiv alencias lgicas 2:

conocidas, y partiendo desde una de las dos proposiciones lograr deducir la otra

Ej ercicio
Partir de p Y  p q hasta llegar a la proposicin p T

p Y  p q ???

Ej ercicio
Muestre que (p q) q es lgicamente equiv alente con ( p q) q

Muestre que ( p q ) (p q) es una tautolog a

Ms Ej ercicios
Muestre que las siguientes proposiciones compuestas son tautolog as (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 v erdadera a A hace v erdadera a B

Consecuencia Lgica
Teorema 1 A B si y solo si A B es una tautolog a Por Ej empl o (p q) p q dado que (p q) p q es una tautolog a

Consecuencia Lgica
Ejercicio Demuestre que (p q) p q es una tautolog a