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.)
Razonamiento lgico
Todos los matemticos utilizan sandalias
Cualquier persona que utilice sandalias es algebrista
Por lo tanto, todos los matemticos son algebristas.
Lgica
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)
Lgica Proposicional
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
Proposiciones Simples y
Compuestas
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
Negacin
V F
F V
p p
Tabla de verdad para la negacin de una
proposicin
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
Conjuncin
Tabla de verdad para la conjuncin
F F F
F V F
F F V
V V V
p q q p
Tabla de verdad para la conjuncin
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
Ejemplos
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
Disyuncin
Los estudiantes quienes han visto Clculo o ITI
pueden ver Algoritmia y Programacin
OR-inclusivo
? F F
? V F
? F V
? V V
OR-inclusivo
F F F
V V F
V F V
V V V
pvq q p
p q q p
Tabla de verdad del OR- inclusivo
En su plato de entrada puede tomar sopa o ensalada
OR-Exclusivo
? F F
? V F
? F V
? V V
(p q)
En su plato de entrada puede tomar sopa o ensalada
OR-Exclusivo
F F F
V V F
V F V
F V V
p q q p
Tabla de verdad del OR- exclusivo
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
Simbolizacin
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
Condicional
V F F
V V F
F F V
V V V
p q q p
Tabla de verdad del Condicional
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
Recproca
Contrapositiva de p q es la proposicin

p
p: Hoy es martes
q: Tengo un examen hoy

p: Si NO tengo un examen entonces

NO es martes
Contrapositiva
Sean p y q dos proposiciones, el bicondicional p q es la
proposicin que es verdadera cuando p y q tiene el mismo
valor de verdad
Bicondicional
V F F
F V F
F F V
V V V
p q q p
Tabla de verdad del Bicondicional
Precedencia Operadores
Bicondicional p q Si y solo si
Condicional p q Si .. Entonces
Negacin p No
Disyuncin p q O
Conjuncin p q Y
Nombre en
lgica
Proposicin
Compuesta
Significado Conectivo
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
Asignacin de valores
de verdad a las
variables
proposicionales
Interpretacin
Modelo de una frmula
Una Interpretacin I que
satisface la frmula es un
MODELO de
Tautologa (Vlidez)
Contradiccin (Insatisfactiblidad)
Contingencia (Satisfactibilidad)
Tipos de Proposiciones
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)
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
Equivalencia Lgica
V F F F
F V V F
F V F V
F V V V
(p q) p q q p
Equivalencia Lgica
V
F
V
F
q
V V F F
F V V F
F F F V
F F V V
p q p q p
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
p p F
(p q) ( p q)
p v V
p f F
p v p
p f p
Equivalencia
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

M
M

todo
todo
1:
1: Construir una tabla de verdad

M
M

todo
todo
2:
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)
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) pq dado que (p q) p q es
una tautologa
Consecuencia Lgica
Ejercicio
Demuestre que (p q) p q es una
tautologa
Consecuencia Lgica