Академический Документы
Профессиональный Документы
Культура Документы
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
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)
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
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
Ej empl os
Los Red Soxganaron la serie mundial y los Yank ees fueron eliminados
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
Disyuncin
or -inclusiv o Los estudiantes quienes han v isto Clculo o ITI pueden v er Algoritmia y Programacin
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
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
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
Condicional
p V V F F q V F V F pq V F V V
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
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
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
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
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
Tipos de Proposiciones
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)
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
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
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