Lógica Proposicional Matemáticas Discretas

Lgica Proposicional
Slide 2
EISC
Universidad del Valle
CONTENIDO
Matemticas Discretas
Introduccin

Lgica
Introduccin
Lgica proposicional
Proposiciones simples y compuestas
Negacin
Conjuncin
Disyuncin (inclusivo y exclusivo)

Slide 3
EISC
CONTENIDO
Lgica
Condicional, Bicondicional
Recproco - contrarrecproco
Precedencia de operadores
Formalizacin
Tipos de proposiciones
Validez (Satisfactibilidad)
Equivalencia lgica
Consecuencia lgica
Slide 4
EISC

Estudio de objetos discretos
Habilidad para razonar y argumentar
Base para otras reas en computacin
Bases de datos
Lenguajes formales
Inteligencia Artificial
Procesamiento Lenguaje natural
Especificacin formal de programas
Web semntica..

Matemticas Discretas
Slide 5
EISC
Reglas para dar significado preciso a
enunciados
Base razonamiento matemtico
Argumentacin
Base construccin argumentos vlidos
Aplicaciones variadas (lenguajes de
programacin, diseo de circuitos lgicos,
verificacin y construccin de programas,
etc.)
Lgica
Slide 6
EISC
Lgica
Razonamiento lgico

Todos los matemticos utilizan sandalias
Cualquier persona que utilice sandalias es algebrista
Por lo tanto, todos los matemticos son algebristas.
Slide 7
EISC
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
Slide 8
EISC
Lgica proposicional
Ejemplos de proposiciones

Bogot es la capital de Colombia
Lima es la capital de Per
2 + 2 = 5
Slide 9
EISC
Lgica proposicional
Ejemplos oraciones que no son proposiciones

Qu hora es?
Maana llover
Treme el lpiz
Slide 10
EISC
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
Pare antes de cruzar
Slide 11
EISC
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)
Slide 12
EISC
Negacin (, ~)
Sea p: Bogot es la capital de Colombia,
p indica, Bogot NO es la capital de Colombia

Slide 13
EISC
Negacin (, ~)
Sea p: Bogot es la capital de Colombia,
p indica, Bogot NO es la capital de Colombia

Sinnimos en Lenguaje Natural: No, no es cierto que, no
se cumple que.

Cmo son los valores de verdad de p y de p
Slide 14
EISC
Negacin
Posibles valores de verdad de proposicin p se pueden
representar en la siguiente tabla

Tabla de verdad para la negacin de una proposicin
Slide 15
EISC
Conjuncin ( )
p: Bogot es la capital de Colombia
q: Lima es la capital de Per
p q : Bogot es la capital de Colombia y Lima es la
capital de Per.
Slide 16
EISC
Conjuncin
Tabla de verdad para la conjuncin
Slide 17
EISC
Ejemplos
Los Mexicanos ganaron el partido en el campeonato
mundial y los Colombianos 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
Slide 18
EISC
Conjuncin
Algunas Formas de expresar p q son:
p y q
ambos p y q
p, pero q
aunque p,q
p as como tambin q
p a pesar de que q
Slide 19
EISC
Disyuncin (v)
Los estudiantes quienes han visto clculo o ITI pueden
ver Algoritmia y Programacin.

En su plato de entrada puede tomar sopa o ensalada
Slide 20
EISC
Disyuncin
or - inclusivo
Los estudiantes quienes han visto Clculo o ITI pueden
ver Algoritmia y Programacin

or - exclusivo
Slide 21
EISC
OR Inclusivo
Los estudiantes quienes han visto Clculo o ITI
pueden ver Algoritmia y Programacin
Slide 22
EISC
OR Inclusivo
Tabla de verdad del OR- inclusivo
Slide 23
EISC
OR Exclusivo
Slide 24
EISC
OR Exclusivo ( )
(p q)
Tabla de verdad del OR- exclusivo
Slide 25
EISC
Disyuncin
Algunas formas de expresar p v q son:
p o q
cualquiera p o q
p, a menos que q
Slide 26
EISC
Simbolizacin
Usted puede hacer el examen parcial o el opcional
Cualquier persona de 20 aos o ms, puede 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
Slide 27
EISC
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?
Slide 28
EISC
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?
Que el da sea soleado y no se vaya a la playa
Slide 29
EISC
Condicional
Tabla de verdad del Condicional
Slide 30
EISC
Existen muchas formas de expresar p q, entre las que se
encuentran:
Si p, entonces q
Si p,q
p es suficiente para q
q si p
q cuando p
Una condicin necesaria para p
es q
p implica q
p slo si q
Una condicin suficiente
para q es p
q siempre que p
q es necesario para p
q se deduce de p

Condicional
Slide 31
EISC
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
Slide 32
EISC
Contrarrecproca (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
Slide 33
EISC
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
Tabla de verdad del Bicondicional
Slide 34
EISC
Precedencia de operadores
Slide 35
EISC
Proposiciones Simples y
compuestas
Una condicin suficiente para encontrarme es
buscarme con determinacin.
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
Slide 36
EISC
Formalizacin
Evita ambigedad lenguaje natural
Facilita anlisis
Determinacin valor de verdad
Slide 37
EISC
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
Slide 38
EISC
Formalizacin

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

Slide 39
EISC
Formalizacin

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 v r) p
Slide 40
EISC
Formalizacin - Ejercicios
No puedes montar a la montaa rusa si mides menos
de 1,20 metros, a no ser que seas mayor de 16 aos.

Puedes actualizar campos de un registro de la base
de datos siempre que tengas un perfil de administrador.
Slide 41
EISC
Formalice - Ejercicios
No tengo un carro azul.
Bailamos o tomamos caf
Leer este libro si, y slo si tiene pocas hojas
No es cierto que si no tomamos caf, implica que no es de
da
La tierra gira alrededor del sol o la luna no es un planeta
Si trabajo los fines de semana y duermo menos entonces
no perder el vuelo
Ana es estudiante o es profesora, pero no puede ser ambas
cosas a la vez.
Slide 42
EISC
Sean p, q y r los enunciados
p : Se han visto osos pardos por la zona
q : Es seguro caminar por el sendero
r : Las bayas del sendero estn maduras
Exprese estos enunciados usando p, q ,r y conectivos lgicos:
a) Las bayas del sendero estn maduras, pero no se han visto osos pardos
por la zona
b) No se han visto osos pardos por la zona y es seguro caminar por el
sendero, pero las bayas del sendero estn maduras.
c) Si las bayas del sendero estn maduras, es seguro caminar por el
sendero si, y slo si, no se han visto osos pardos por la zona.
d) No es seguro caminar por el sendero, pero no se han visto osos pardos
en la zona y las bayas del sendero estn maduras.

Ejercicios
Slide 43
EISC
p : Se han visto osos pardos por la zona
q : Es seguro caminar por el sendero
r : Las bayas del sendero estn maduras

e) No es seguro caminar por el sendero cuando se han visto osos pardos por
la zona y las bayas del sendero estn maduras.

Slide 44
EISC
En especificacin de Sistemas:

En bsquedas booleanas
Encontrar pginas de una universidad en Nueva York o Boston

(Nueva AND York OR Boston ) AND Universidad

Aplicaciones de lgica proposicional
Slide 45
EISC
Operaciones con Bit - 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)
Slide 46
EISC
Aplicacin
Cadenas de Bits: sucesin de cero o ms bits
operaciones aplicadas a cadenas de bits

01 1011 0110
11 0001 1101
11 1011 1111 Operador ????
01 0001 0100
10 1010 1011
Slide 47
EISC
Interpretacin
Asignacin de valores
de verdad a las
variables
proposicionales
Slide 48
EISC
Modelo de una frmula
Una Interpretacin l que
satisface la frmula es un
MODELO de
Slide 49
EISC
Tipos de proposiciones
Tautologa (Vlidez)
Contradiccin (Insatisfactiblidad)
Contingencia (Satisfactibilidad)
Slide 50
EISC
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
Slide 51
EISC
Ejercicio
Clasificar las siguientes proposiciones como
Tautologa, Contradiccin o Contingencia.

(p p)
( p v ( p q) )
( p v q) (p q)
(p q)
(p v q)
Slide 52
EISC
Equivalencia Lgica
Dos frmulas , son
lgicamente equivalentes si
para toda interpretacin
toman el mismo valor de
verdad
( )
Slide 53
EISC
Equivalencia Lgica
Dos frmulas , son
lgicamente equivalentes
si y solo si
es una tautologa
Slide 54
EISC
Equivalencia Lgica
Slide 55
EISC
Equivalencia Lgica
Slide 56
EISC
Equivalencia Lgica
Las proposiciones (p v q) y (p q) son
entonces lgicamente equivalentes

Dos proposiciones compuestas p y q son
lgicamente equivalentes si p q es
una tautologa
Slide 57
EISC
Ejercicio
Indique si las siguientes proposiciones
compuestas son lgicamente equivalentes

pq y p v q
p v (q r) y (p v q ) (p v r)
(p q) y p q
Slide 58
EISC
Equivalencia Lgica
Slide 59
EISC
Otras Equivalencias Lgicas
Slide 60
EISC
Otras Equivalencias Lgicas
Slide 61
EISC
Equivalencia Lgica
Muestre que ( p v ( 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
Slide 62
EISC
Ejercicios
Partir de ( p v ( p q) ) hasta llegar a la
proposicin p q
Slide 63
EISC
Ejercicios
Muestre que es lgicamente equivalente
con

Muestre que es una tautologa
Slide 64
EISC
Ejercicios
Muestre que las siguientes proposiciones
compuestas son tautologas
(p q) p
p (p v q)
p (p q)
(p q) (p q)
Slide 65
EISC
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
Slide 66
EISC
Consecuencia Lgica
Teorema 1

A B si y solo si A B es una
tautologa

Por Ejemplo
dado que es
una tautologa
Slide 67
EISC
Consecuencia Lgica
Ejercicio

Demuestre que
es una tautologa

Lógica Proposicional Matemáticas Discretas

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Lógica Proposicional Matemáticas Discretas

Uploaded by

Copyright:

Available Formats

Lgica Proposicional

You might also like