Matemticas Discretas

Oscar Bedoya
oscar.bedoya@correounivalle.edu.co http://eisc.univalle.edu.co/~oscarbed/MD/

* * * * * *

Lgica proposicional Concepto de proposicin Valores de verdad Operadores lgicos Tipos de proposiciones Representacin de frases del lenguaje natural

Lgica proposicional

470a.c Scrates

424a.c Platn

384a.c Aristteles

Lgica proposicional
Silogismos Todos los hombres son mortales Scrates es hombre Por lo tanto, Scrates es mortal

Lgica proposicional
Aristteles
Descenda de una familia de Asclepades Creador de la lgica formal, economa, astronoma, precursor de la anatoma, la biologa y la taxonoma Discpulo de Platn y maestro de Alejandro Magno
Aristteles funda su propia escuela en Atenas, el Liceo (los peripatticos)

(384a.c 322a.c)

Lgica proposicional

Platn y Aristteles por Raffaello

Lgica proposicional
tica a Nicmaco
Libro I: La felicidad Libro II: Elementos de la virtud

Libro III: Los pasos de la voluntad; la fortaleza y la templanza

Libro IV: Algunas virtudes de riquezas, de espritu y de vida Libro V: La justicia y las virtudes de carcter

Libro VI: Las virtudes intelectuales

Libro VII: El placer; la continencia y la incontinencia Libro VIII: La amistad en general

Libro IX: La amistad relativa a sus causas y a la felicidad

Libro X: El placer y la felicidad

Lgica proposicional
El mundo del Wumpus
Antiguo juego de computador de un agente que explora una cueva con el objetivo de encontrar el oro (si es posible, el oro puede estar en un hueco) y salir por el mismo punto que entr

Lgica proposicional
El mundo del Wumpus
El agente puede intentar matar al Wumpus con una nica flecha 1000 puntos si toma el oro

Cada accin realizada cuesta 1 punto

10000 puntos si da muerte al Wumpus El Wumpus no se mueve

Cuando muere el Wumpus emite un gemido

Lgica proposicional

Lgica proposicional

Hay brisa en [1,2] Qu puede inferir?

Lgica proposicional

Hay brisa en [1,2] Hay hedor en [2,1] Qu puede inferir?

Lgica proposicional

Hay brisa en [1,2] Hay hedor en [2,1] Qu puede inferir?

Lgica proposicional

Hay brisa en [1,2] Hay hedor en [2,1] Hay brisa en [2,3] Qu puede inferir?

Lgica proposicional

Hay brisa en [1,2] Hay hedor en [2,1] Hay brisa en [2,3] Qu puede inferir? Hay hoyo en [1,3]

http://www.cogsci.rpi.edu/Otter/Wumpus/

Lgica proposicional
Lgica proposicional
Lgica de predicados

Lgica proposicional
Proposicin
Es una oracin declarativa que es verdadera o falsa, pero no ambas a la vez

Lgica proposicional
Proposicin
Es una oracin declarativa que es verdadera o falsa, pero no ambas a la vez Bogot es la capital de Colombia Lima es la capital de Per

2+3=6 5-1=4
4 es un nmero primo

Lgica proposicional
Proposicin
No es una proposicin aquella expresin que no es declarativa o que no se puede decir si es falsa o verdadera

Lgica proposicional
Proposicin
No es una proposicin aquella expresin que no es declarativa o que no se puede decir si es falsa o verdadera Qu hora es? Lea esto con atencin

x+1=2 Maana llover

Lgica proposicional
Proposicin
Indique cules de las siguientes expresiones son proposiciones 11 es un nmero primo Andrs vivir 60 aos

Cali no va a ganar el torneo Sarah es inteligente

Lgica proposicional
Proposicin
Estas son algunas proposiciones:

11 es un nmero primo Sarah es inteligente

Bogot es la capital de Colombia Lima es la capital de Per

2+3=6 5-1=4

Lgica proposicional
Proposicin
Estas son algunas proposiciones:

11 es un nmero primo Sarah es inteligente

Bogot es la capital de Colombia Lima es la capital de Per

2+3=6 5-1=4
Para denotar las proposiciones se usan letras, llamados smbolos proposicionales

Lgica proposicional
Proposicin
Para denotar las proposiciones se usan letras y se expresan de la siguiente forma: p: 11 es un nmero primo q: Sarah es inteligente

r: Bogot es la capital de Colombia s: Lima es la capital de Per

t: 2+3=6 u: 5-1=4

Lgica proposicional
Proposicin
Para denotar las proposiciones se usan letras y se expresan de la siguiente forma: p: 11 es un nmero primo q: Sarah es inteligente

r: Bogot es la capital de Colombia s: Lima es la capital de Per

t: 2+3=6 u: 5-1=4
El valor de verdad de una proposicin indica si es verdadera (V) o falsa (F)

Lgica proposicional
Proposicin
Para denotar las proposiciones se usan letras y se expresan de la siguiente forma: p: 11 es un nmero primo q: Sarah es inteligente

r: Bogot es la capital de Colombia s: Lima es la capital de Per

t: 2+3=6 u: 5-1=4
El valor de verdad de p es V (verdadero)
El valor de verdad de t es F (Falso)

Lgica proposicional
Proposicin
Para denotar las proposiciones se usan letras y se expresan de la siguiente forma: p: 11 es un nmero primo q: Sarah es inteligente

r: Bogot es la capital de Colombia s: Lima es la capital de Per

t: 2+3=6 u: 5-1=4
Cul es el valor de verdad de r, s y u?

Lgica proposicional
Proposiciones simples y compuestas
Se pueden relacionar diferentes proposiciones simples para formar una compuesta

Lgica proposicional
Proposiciones simples y compuestas
Se pueden relacionar diferentes proposiciones simples para formar una compuesta
Hoy es martes y la temperatura es de 21 C Si no llueve hoy entonces voy a la clase de discretas

No es cierto que Juan perdi el examen

Cali perdi contra el Junior y no clasific a la final

Javier perdi Discretas o Clculo

Lgica proposicional
Proposiciones simples y compuestas
Se pueden relacionar diferentes proposiciones simples para formar una compuesta
Hoy es martes y la temperatura es de 21 C Si no llueve hoy entonces voy a la clase de discretas

No es cierto que Juan perdi el examen

Cali perdi contra el Junior y no clasific a la final

Javier perdi Discretas o Clculo

Lgica proposicional
Proposiciones simples y compuestas
Se pueden relacionar diferentes proposiciones simples para formar una compuesta
Hoy es martes y la temperatura es de 21 C Si no llueve hoy entonces voy a la clase de discretas

No es cierto que Juan perdi el examen

Cali perdi contra el Junior y no clasific a la final

Javier perdi Discretas o Clculo Las proposiciones se pueden relacionar por medio de conectivos lgicos u operadores

Lgica proposicional
Operadores lgicos
Negacin ( )

Conjuncin ( ) Disyuncin ( )
O-exclusivo ( ) Implicacin ( )

Doble implicacin (

Lgica proposicional
Represente las siguientes proposiciones compuestas usando los conectivos lgicos
1. Hoy es martes y la temperatura es de 21 C 2. Si no llueve hoy entonces voy a la clase de discretas

3. No es cierto que Juan perdi el examen

4. Cali perdi contra el Junior y no clasific a la final 5. Javier perdi Discretas o Clculo

Lgica proposicional
Represente las siguientes proposiciones compuestas usando los conectivos lgicos
Hoy es martes y la temperatura es de 21 C Si no llueve hoy entonces voy a la clase de discretas

No es cierto que Juan perdi el examen

Cali perdi contra el Junior y no clasific a la final Javier perdi Discretas o Clculo

Cul es el valor de verdad de Hoy es martes y la temperatura es de 21 C?

Lgica proposicional
Represente las siguientes proposiciones compuestas usando los conectivos lgicos
Hoy es martes y la temperatura es de 21 C Si no llueve hoy entonces voy a la clase de discretas

No es cierto que Juan perdi el examen

Cali perdi contra el Junior y no clasific a la final Javier perdi Discretas o Clculo

Cul es el valor de verdad de Si no llueve hoy entonces voy a la clase de discretas?

Lgica proposicional
Negacin ( )
Proposicin
p: Bogot es la capital de Colombia

Negacin
p: Bogot no es la capital de Colombia

p:El idioma oficial en Colombia es el ingls

p: El idioma oficial en Colombia no es el ingls

Lgica proposicional
Negacin ( )
Tabla de verdad
p
V

p
F

Lgica proposicional
Conjuncin ( )
En este saln hay ms hombres que mujeres y tienen un mejor promedio de calificaciones Perd Discretas y Clculo

Lgica proposicional
Conjuncin ( )
p Bogot es la capital de Colombia 1+1=2 q p q Bogot es la capital de Colombia y 1+1=2

1+1=2

El idioma oficial en Colombia es el ingls

1+1=2

1+1=2 y El idioma oficial en Colombia es el ingls

El idioma oficial en Colombia es el ingls y 1+1=2

El idioma oficial en Colombia es el ingls

El idioma oficial en Colombia es el ingls

1+1=7

El idioma oficial en Colombia es el ingls y 1+1=7

Lgica proposicional
Conjuncin ( )
p
V

q
V

p q
V

V
F

F
V

F
F

Lgica proposicional
Conjuncin ( )
p q r p q r

Muestre la tabla de la conjuncin cuando se tienen 3 proposiciones

Lgica proposicional
Conjuncin ( )
p
V

q
V

r
V

p q r
V

V
V

V
F

F
V

F
F

V
F F F F

F
V V F F

F
V F V F

F
F F F F

Lgica proposicional
Disyuncin ( )
Los estudiantes quienes han visto clculo o ITI pueden ver Algoritmia y Programacin Usted puede hacer el parcial o el opcional

Lgica proposicional
Disyuncin ( )
p Bogot es la capital de Colombia 1+1=2 q p q Bogot es la capital de Colombia o 1+1=2

1+1=2

El idioma oficial en Colombia es el ingls

1+1=2

1+1=2 o El idioma oficial en Colombia es el ingls

El idioma oficial en Colombia es el ingls o 1+1=2

El idioma oficial en Colombia es el ingls

El idioma oficial en Colombia es el ingls

1+1=7

El idioma oficial en Colombia es el ingls o 1+1=7

Lgica proposicional
Disyuncin ( )
p
V

q
V

p q
V

V
F

F
V

V
V

Lgica proposicional
O-exclusivo ( )
Hamlet fue escrito o en 1601 o en 1688

Sarah quiere o a Oscar o a Juan En su plato de entrada puede tomar o sopa o ensalada

Lgica proposicional
O-exclusivo ( )

En su plato de entrada puede tomar o sopa o ensalada

p V V F F q V F V F p q ? ? ? ?

Lgica proposicional
O-exclusivo ( )
p q p q

V
V

V
F

F
V

F
F

V
F

V
F

Lgica proposicional
Implicacin ()
Si el jueves hay tropel entonces perderemos clase

Si pierdo los parciales entonces perder discretas Si me queda discretas en 2.9 entonces el profesor no me pasa

Lgica proposicional
Implicacin ()

Si soy elegido, bajar los impuestos

p V V F F q V F V F pq ? ? ? ?

Lgica proposicional
Implicacin ()

Si soy elegido, bajar los impuestos

p V V F F q V F V F pq V F V V

Solo se incumple el condicional si es elegido y no baja los impuestos

Lgica proposicional
Implicacin ()
p q pq

V
V

V
F

V
F

F
F

V
F

V
V

Si hace sol, entonces iremos a la playa

Lgica proposicional
La contrapositiva
Dada la proposicin pq, su contrapositiva est dada por q p

Lgica proposicional
El recproco
Dada la proposicin pq, su recproco es la proposicin qp

Lgica proposicional
Doble implicacin ( )

Paso el curso si, y solo si, gano el examen

Puede tomar el postre si, y solo si, acabas tu comida

Lgica proposicional
Doble implicacin ( )

Paso el curso si, y solo si, gano el examen

Puede tomar el postre si, y solo si, acabas tu comida p: paso el curso
q: gano el examen p?

Lgica proposicional
Doble implicacin ( )

Paso el curso si, y solo si, gano el examen

Puede tomar el postre si, y solo si, acabas tu comida p: paso el curso
q: gano el examen pq

Lgica proposicional
Doble implicacin ( )

Paso el curso si, y solo si, gano el examen

Puede tomar el postre si, y solo si, acabas tu comida p: paso el curso
q: gano el examen pq q?

Lgica proposicional
Doble implicacin ( )

Paso el curso si, y solo si, gano el examen

Puede tomar el postre si, y solo si, acabas tu comida p: paso el curso
q: gano el examen pq qp

Lgica proposicional
Doble implicacin ( )

Paso el curso si, y solo si, gano el examen

Puede tomar el postre si, y solo si, acabas tu comida

p q, es lo mismo que, (pq) (qp)

Lgica proposicional
Doble implicacin ( )

Paso el curso si, y solo si, gano el examen

p: paso el curso q: gano el examen
p
V

q
V

p
?

q ?
? ?

V
F F

F
V F

Lgica proposicional
Doble implicacin ( )

Paso el curso si, y solo si, gano el examen

p: paso el curso q: gano el examen
p
V

q
V

p
V

q F
F V

V
F F

F
V F

Lgica proposicional
Doble implicacin ( )
p
V

q
V

p
V

q F
F

V
F

F
V

Lgica proposicional

Conectivo

Significado
Y O

Proposicin Compuesta
p p q q

Nombre en lgica Conjuncin

Disyuncin

No
si .. entonces si y solo si

p
pq pq

Negacin
Condicional Bicondicional

Lgica proposicional
Valor de verdad de proposiciones compuestas
Se quiere conocer el valor de verdad de proposiciones compuestas. Para esto, se completan las tablas de verdad para cada una de las posibles combinaciones

(p q) ( p q) ( p q) (q p)
(p q) (p q) (p (p p) ( q q) r) ( pr)

(p q) ( p

q)

Lgica proposicional
Tabla de verdad para (p q)
p V V q V F

( p q)
(p q)( p q) ? ?

F
F

V
F

?
?

Lgica proposicional
Tabla de verdad para (p q)
p V V q V F p p q

( p q)
p q (p q)( p q)

F
F

V
F

Lgica proposicional
Tabla de verdad para (p q)
p V V q V F p F F p q

( p q)
p q (p q)( p q)

F
F

V
F

V
V

Lgica proposicional
Tabla de verdad para (p q)
p V V q V F p F F p q V F

( p q)
p q (p q)( p q)

F
F

V
F

V
V

F
F

Lgica proposicional
Tabla de verdad para (p q)
p V V q V F p F F p q V F

( p q)
p q F F (p q)( p q)

F
F

V
F

V
V

F
F

V
F

Lgica proposicional
Tabla de verdad para (p q)
p V V q V F p F F p q V F

( p q)
p q F F (p q)( p q) F V

F
F

V
F

V
V

F
F

V
F

V
V

Lgica proposicional
Tabla de verdad para ( p q) (q p)

Lgica proposicional
Tabla de verdad para ( p q) (q p)
p V V q V F p F F q F V p q q p V V V V ( p q) (q p) V V

F
F

V
F

V
V

F
V

F
V

V
F

F
F

Lgica proposicional
Tabla de verdad para ( p q) (p q)

Lgica proposicional
Tabla de verdad para ( p q)
p V V q V F p F F q F V

(p
q V F

q)
( p q)(p V V q)

p q p V F

F
F

V
F

V
V

F
V

V
V

F
V

F
V

Lgica proposicional
Tabla de verdad para (p r) ( qr)

Lgica proposicional
Tabla de verdad para (p
p q r q
F

r) ( qr)
p
F

r
F

r V
F

qr
V

(p

r) ( qr)
V

V V V

V V F
V F V

F
V

V
F

V
V

V
V

V F F
F V V F V F F F V F F F

V
F F V V

V
F V F V

V
F F F F

F
V V V F

V
V V V F

Lgica proposicional
Tipos de proposiciones
Tautologa

Contradiccin Contingencia

Lgica proposicional
Tipos de proposiciones
Tautologa. La proposicin es verdadera para todos los posibles valores de verdad Contradiccin. La proposicin es falsa para todos los posibles valores de verdad

Contingencia. La proposicin no es ni tautologa ni contradiccin

Lgica proposicional
Clasifique como Tautologa, Contradiccin o Contingencia las siguientes proposiciones compuestas: (p q)(p
(p

q)

[(pq) (qr)](pr) p)( q q)

Lgica proposicional
Tabla de verdad para (p q)(p q)

Lgica proposicional
Tabla de verdad para (p q)(p
p q p q
F

q)
q)

p
V

q F
F

(p q)(p
V

V V

V F
F V

V
V

F
F

F F

(p q)(p

q) es una contingencia

Lgica proposicional
Tabla de verdad para [(pq) (qr)](pr)

Lgica proposicional
Tabla de verdad para [(pq) (qr)](pr)
p
V

q
V

r
V

pq
V

qr (pq) (qr)
V V

pr
V

(pq) (qr)(pr)
V

V
V

V
F

F
V

V
F

F
V

F
F

F
V

V
V

V
F

F
V

F
V

F
V

V
V

F
V

F
V

V
V

F
F F

V
F F

F
V F

V
V V

F
V V

F
V V

V
V V

V
V V

[(pq) (qr)](pr) es una tautologa

Lgica proposicional
Tabla de verdad para (p p)( q q)

Lgica proposicional
Tabla de verdad para
p q p
F F V

(p
p
F F F

p)( q q)
(p
V V V

q p
F V F

p)

q q
F F F

(p

p)( q q)
F F F

V V V F F V

(p

p)( q q) es una contradiccin

Lgica proposicional
Tabla de verdad para ( p q) ( pq)

Lgica proposicional
Tabla de verdad para ( p
p V V q V F p F F q F V p F F q

q) ( pq)
pq V V ( p q) ( pq) V V

F
F

V
F

V
V

F
V

F
V

V
F

V
V

( p

q) ( pq) es una tautologa

Lgica proposicional
Desarrolle la tabla de verdad para los siguientes pares de proposiciones: (p q), p q

Lgica proposicional
Tabla de verdad para
p
V

(p q),
q p q
V

q
p
F

q
V

p
F

(p q)
F

V
F

F
V

F
V

V
F

V
V

F
F

F
F

Lgica proposicional
Tabla de verdad para
p
V

(p q),
q p q
V

q
p
F

q
V

p
F

(p q)
F

V
F

F
V

F
V

V
F

V
V

F
F

F
F

Lgica proposicional
Tabla de verdad para
p
V

(p q),
q p q
V

q
p
F

q
V

p
F

(p q)
F

V
F

F
V

F
V

V
F

V
V

F
F

F
F

Se dice que (p q) y p q son lgicamente equivalentes

(p q)

Lgica proposicional
Equivalencia lgica ( )
Dos proposiciones son lgicamente equivalentes si tienen los mismos valores de verdad

Lgica proposicional
Tabla de verdad para
p
V

(p q),
q p q
V

q
p
F

q
V

p
F

(p q)
F

V
F

F
V

F
V

V
F

V
V

F
F

F
F

Se dice que (p q) y p q son lgicamente equivalentes

(p q)

Lgica proposicional
Tabla de verdad para
p
V

(p q),
q p q
V

q
p
F

q
V

p
F

(p q)
F

V
F

F
V

F
V

V
F

V
V

F
F

F
F

Ley de De Morgan:

(p q)

Lgica proposicional
Augustus De Morgan

Fue tutor de Ada Lovelace

Era ciego de un ojo desde que tena 2 meses de nacido

Fue cuarto Wrangler. Universidad de Cambridge

En 1838 present la primera explicacin clara de una demostracin por induccin matemtica

(1806 1871)

Lgica proposicional
Muestre que los siguientes pares de proposiciones son lgicamente equivalentes: p q, p q
p (q r), (p q) (p r)

Lgica proposicional
Tabla de verdad para p q,
p q pq

p q
p p q

V
V

V
F

V
F

F
F

V
F

F
F

V
F

V
V

V
V

V
V

Lgica proposicional
Tabla de verdad para p q,
p q pq

p q
p p q

V
V

V
F

V
F

F
F

V
F

F
F

V
F

V
V

V
V

V
V

Lgica proposicional
Tabla de verdad para p (q r), (p q) (p r)
p
V

q
V

r
V

q r p (q r) p q
V V V

p r
V

(p q) (p r)
V

V
V

V
F

F
V

F
F

V
V

V
V

V
V

V
V

V
F

F
V

F
V

F
V

V
V

V
V

V
V

V
V

F
F F

V
F F

F
V F

F
F F

F
F F

V
F F

F
V F

F
F F

Lgica proposicional
Tabla de verdad para p (q r), (p q) (p r)
p
V

q
V

r
V

q r p (q r) p q
V V V

p r
V

(p q) (p r)
V

V
V

V
F

F
V

F
F

V
V

V
V

V
V

V
V

V
F

F
V

F
V

F
V

V
V

V
V

V
V

V
V

F
F F

V
F F

F
V F

F
F F

F
F F

V
F F

F
V F

F
F F

Ley distributiva: p (q r)

(p q) (p r)

Lgica proposicional
Indique si el siguiente par de proposiciones es lgicamente equivalente: p q, p q

Lgica proposicional
Tabla de verdad para
p q

p q,
p q

p q
p q p q

V
V

V
F

F
F

F
V

V
V

V
F

F
F

V
F

V
V

F
V

F
V

V
V

Como no coinciden para todos los valores de verdad, no son lgicamente equivalentes

Equivalencia
p V p p F p p V V p F F p p p p p p ( p) p p q q p p q q p (p q) r p (q r) (p q) r p (q r) p (q r) (p q) (p r) p (q r) (p q) (p r)

Nombre
Leyes de identidad Leyes de dominacin Leyes de idempotencia Ley de la doble negacin Leyes conmutativas Leyes asociativas Leyes de distributivas

(p q) (p q)

p p

q q

Leyes de De Morgan Leyes de absorcin Leyes de negacin

p (p q) p p (p q) p p p p V p F

Lgica proposicional
Pruebe la ley de absorcin, p (p q) p

Lgica proposicional
Pruebe la ley de absorcin, p (p q) p
p q p q p (p q)

V
V F F

V
F V F

V
F F F

V
V F F

Lgica proposicional
Pruebe la ley de absorcin, p (p q) p
p q p q p (p q)

V
V F F

V
F V F

V
F F F

V
V F F

Lgica proposicional
Aplique la ley que se indica en cada caso:
Distributiva sobre p (p q)

De Morgan sobre (p

q)

De Morgan sobre (q ( p r))

Lgica proposicional Equivalencias relacionadas con implicaciones

pq p q pq q p p q pq p q (p q) (pq) p q (pq) (pr) (pr) (qr) (pq) (pr) (pr) (qr)

p(q r) (p q)r p(q r) (p q)r

Lgica proposicional
Pruebe la equivalencia, pq q p

Lgica proposicional
Pruebe la equivalencia, pq
p V q V p F

q p
q F pq V q p V

V
F F

F
V F

F
V V

V
F V

F
V V

F
V V

Lgica proposicional
Aplique la ley pq
( p r)q

p q en los siguientes casos:

(p q)( q r)

Lgica proposicional
Equivalencias relacionadas con doble implicacin
p p p q (pq) (qp) q p q q (p q) ( p q) (p q) p q

Lgica proposicional
Demostrar equivalencias lgicas
Las equivalencias lgicas se pueden demostrar construyendo la tabla de verdad. Otra forma de hacerlo consiste en utilizar equivalencias ya conocidas

Lgica proposicional
Pruebe la equivalencia, (p ( p q)) p q

Lgica proposicional
Pruebe la equivalencia,
(p ( p q))

(p ( p q))

Lgica proposicional
Pruebe la equivalencia,
(p ( p q)) p

(p ( p q)) q]
q)

( p q)

De Morgan

p [ ( p) p (p
F ( p

De Morgan Doble negacin

Distributiva Ley de negacin Conmutativa

q)
q)

( p p) ( p

( p ( p

q) F q)

Identidad

Lgica proposicional
Augusta Ada Lovelace

Trabaj junto a Charles Babbage en la mquina analtica Fue la primer persona que escribi un programa para computador Hay un lenguaje de programacin en su honor llamado Ada
En 1845 junto a Babbage intent desarrollar un sistema para predecir carreras de caballos (1815 1852)

Lgica proposicional
Pruebe la equivalencia, p(p q) V

Lgica proposicional
Pruebe la equivalencia, p(p q)
p(p q) p (p q)

V
pq p q

( p p) q V q
V

Asociativa Negacin
Dominacin

Lgica proposicional
Pruebe la equivalencia, (p q)(p q) V

Lgica proposicional
Pruebe la equivalencia, (p q)(p q)
(p q)(p q) (p q) (p q)

V
pq p q

( p
p (p

q) (p q)
q) q

De Morgan Asociativa
Conmutativa Asociativa Negacin

p ( q p) q
( p p) ( q q)

V V V

Dominacin

Lgica proposicional
Pruebe la equivalencia, p(pq) V

Lgica proposicional
Pruebe la equivalencia,
p(pq)

p(pq)

V
pq p q

( p) (pq)

p (pq) p ( p q)
(p V q p) q

Doble negacin pq p q
Asociativa Negacin Dominacin

Lgica proposicional
Pruebe la equivalencia, ( p q)q ( p q) q

Lgica proposicional
Pruebe la equivalencia, ( p q)q
( p q)q ( p q) q

( p q) q
pq p q

[ ( p) (p
[ p

q] q

pq

p q

q) q
( q)] q

Doble negacin
De Morgan Doble negacin

( p q) q

Lgica proposicional
Pruebe la equivalencia, [ (p q)(pq) ] F

Lgica proposicional
Pruebe la equivalencia,
[(p q)(pq)]

[ (p q)(pq) ]
pq

F
p q

[ (p q) (pq)]

[( p [( p
[( p

q) (pq)] q) ( p q)]
q) (q p)] p]

De Morgan pq p q
Conmutativa Asociativa Negacin

[ p ( q q)

( p V (V)
F

p)

Dominacin
V F

Lgica proposicional
Representacin de frases del lenguaje natural
La lgica permite representar de forma no ambigua frases que se usan en el lenguaje natural

Lgica proposicional
Si eres estudiante de Sistemas o no eres primparo entonces puedes acceder a Internet desde la Universidad

Lgica proposicional
Si eres estudiante de Sistemas o no eres primparo entonces puedes acceder a Internet desde la Universidad p: Estudias Sistemas
q: Eres primparo r: Puedes acceder a Internet desde la Universidad

Lgica proposicional
Si eres estudiante de Sistemas o no eres primparo entonces puedes acceder a Internet desde la Universidad p: Estudias Sistemas
q: Eres primparo r: Puedes acceder a Internet desde la Universidad

(p

q)r

Lgica proposicional
Si mides menos de 1.20 metros o eres menor de diecisis aos, no puedes montar en la montaa rusa

Lgica proposicional
Si mides menos de 1.20 metros o eres menor de diecisis aos, no puedes montar en la montaa rusa p: mides menos de 1.20 metros
q: eres menor de 16 aos r: puedes montar en la montaa rusa

Lgica proposicional
Si mides menos de 1.20 metros o eres menor de diecisis aos, no puedes montar en la montaa rusa p: mides menos de 1.20 metros
q: eres menor de 16 aos r: puedes montar en la montaa rusa

(p q) r

Lgica proposicional
Una foto es rectangular o cuadrada. Una foto es a color o en blanco y negro. Si la foto es cuadrada, entonces es una foto en blanco y negro. Si es rectangular, es una foto en color. En caso de que la foto sea en blanco y negro, entonces es un retrato. Si la foto es un retrato, es la foto de mi amigo. Se sabe que la foto no es a color

Lgica proposicional
r: la foto es rectangular c: la foto es cuadrada

l: la foto es a color
b: la foto es a blanco y negro t: la foto es un retrato a: la foto es de mi amigo

Lgica proposicional
1. r c
2. b l 3. cb 4. rl

5. bt
6. ta 7. l

Lgica proposicional
Uno de los siguientes equipos gan el torneo: Amrica, Cali, Millonarios, Santa Fe, Medelln o Nacional Si el vencedor fue Amrica o Cali, un equipo del Valle gan el torneo

Si Millonarios o Santa Fe ganaron, el vencedor fue un equipo de Bogot

Si el vencedor fue Medelln o Nacional, un equipo de Antioquia gan el torneo

Si Medelln fue derrotado entonces Santa Fe tambin

Cali perdi =)

Si Amrica perdi, entonces el Valle no gan el torneo

Si el Cali perdi, entonces un equipo de Antioquia no gan el torneo

Si Nacional fue derrotado entonces Millonarios y Medelln tambin

Lgica proposicional
a: Amrica gan el torneo c: Cali gan el torneo

m: Millonarios gan el torneo

s: Santa Fe gan el torneo e: Medelln gan el torneo n: Nacional gan el torneo

v: un equipo del Valle gan el torneo p: un equipo de Antioquia gan el torneo

b: un equipo de Bogot gan el torneo

Lgica proposicional
1. a c m s e n 2. (a c)v

3. (m s)b
4. (e n)p 5. 6. e s c

7. 8.
9.

a v c p
n( m e)