Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica PDF
Logica PDF
LOGICA
PROPOSICIONAL
Matemticas Discretas
Bases de datos
Lenguajes formales
Inteligencia Artificial
Procesamiento Lenguaje natural
Especificacin formal de programas
Web semntica..
Lgica
Lgica
Razonamiento lgico
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
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
Negacin
Posibles valores de verdad de proposicin p se
pueden representar en la siguiente tabla
p p
V
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
Ejemplos
Los Red Sox ganaron la serie mundial y los
Yankees fueron eliminados
Disyuncin
Los estudiantes quienes han visto clculo o ITI
pueden ver Algoritmia y Programacin
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
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
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
Condicional
p
V
V
F
F
q
V
F
V
F
pq
V
F
V
V
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
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
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
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
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
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
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