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

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

V
F

pq
V
F

F
F

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
p
q
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

Proposicin
Compuesta

Nombre en
lgica

pq

Conjuncin

pq

Disyuncin

No

Si .. Entonces

pq

Condicional

Si y solo si

pq

Bicondicional

Negacin

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