Professional Documents
Culture Documents
Álgebra
Facultad de Ciencias
UNAM
Semestre 2018-1
doyouwantmektalwar.wordpress.com
Notas
Lógica Proposicional Álgebra
Referencias básicas
Otras referencias
Notas
Índice Álgebra
6. Leyes de De Morgan
7. Equivalencias de ⇒
14. Epı́logo
Araceli Guzmán y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM
Notas
¿Qué es la Lógica Proposicional?
Notas
Lógica Proposicional Álgebra
Proposiciones
Una proposición es un enunciado del que puede decirse que es verdadero (con valor de
verdad V ó 1) o falso (con valor de verdad F ó 0) pero no ambas cosas. Por ello se
dice que la Lógica Proposicional es binaria (porque solo admite dos valores de verdad).
Gereralmente las proposiciones son denotadas con las letras p, q, r,... o mayúsculas P ,
Q, R,...
Los conectivos lógicos son relaciones (funciones de “verdad”) con las cuales podemos
combinar proposiciones para formar otras. Los conectivos más usuales son los siguientes:
Araceli Guzmán y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM
Notas
Lógica Proposicional Álgebra
Notas
Lógica Proposicional Álgebra
Ejemplo
Tenemos entonces
Operación Significado
¬p El viento no sopla muy fuerte
p∧q El viento sopla muy fuerte y se caen las hojas de los árboles
p∨q El viento sopla o se caen las hojas
El viento sopla pero no se caen las hojas de los árboles, o bien
pYq
se caen la hojas de los árboles pero el viento no sopla muy fuerte.
Si el viento sopla muy fuerte, entonces
p⇒q
se caen las hojas de los árboles
El viento sopla muy fuerte si, y sólo si,
p⇔q
se caen las hojas de los árboles
Notas
Lógica Proposicional Álgebra
El concepto de Verdad
Notas
Tablas de Valores de Verdad y Conectivos Básicos
Notas
Lógica Proposicional Álgebra
p ¬p
V F
F V
Notas
Lógica Proposicional Álgebra
Ejercicio
Tablas 1: Un juego
de valores divertido
de verdad
Asigna un valor de verdad a las proposiciones siguientes y responde la pregunta.
Los conectivos se definen formalmente mediante tablas de valores de verdad:
1. Sean p y q las proposiciones
Para la negación (que es un conectivo unario):
p : p y q son falsos.
q : Este enunciado es verdadero.
p ¬p
¿Cuáles son los valores de verdad de p y q?
V F
2. Sean p, q y r las proposiciones F V
p : q es falsa.
Para el resto de los conectivos
q : p(binarios)
si y sólo sitı́picos:
r.
r : La humanidad llegó a la Luna.
p q p∧q p∨q pYq p⇒q p⇔q
¿La humanidad llegó a la luna?
V V V V F V V
3. Sean p y q las
V proposiciones
F F V V F F
F p :Vp es falsa
F o q es
V verdadera.
V V F
F F F F F V V
q : Habrá una invasión extraterrestre mañana.
Notas
Equivalencias Lógicas y Tautologı́as
Notas
Lógica Proposicional Álgebra
Notas
Lógica Proposicional Álgebra
Leyes Lógicas
Una proposición compuesta p (esto es, formada a partir de otras proposiciones, lla-
madas componentes, mediante conectivos) cuya tabla de valores de verdad es siempre
V independientemente de los valores de verdad de sus proposiciones componentes, es
llamada Tautologı́a o Ley Lógica. Las leyes lógicas integran los que llamamos Lógica
Formal.
Equivalencias Lógicas
p⇔q
Notas
Lógica Proposicional Álgebra
Es tautologı́a:
(p Y q) ⇔ ¬(p ⇔ q)
p q (p Y q) ⇔ ¬(p ⇔ q) (p ⇔ q)
V V F V F V
V F V V V F
F V V V V F
F F F V F V
Notas
Lógica Proposicional Álgebra
Modus Ponens
Es tautologı́a:
(p ∧ (p ⇒ q)) ⇒ q
p q p⇒q p ∧ (p ⇒ q) (p ∧ (p ⇒ q)) ⇒ q
V V V V V
V F F F V
F V V F V
F F V F V
Deducibilidad
Decimos que una proposición q se deduce ó infiere de otra proposición p, si el condicional
p ⇒ q es tautológico. Un condicional tautológico se llama también regla de inferencia
El Modus Ponens ó Modus Ponendo Ponens, literalmente del latı́n: “el modo que
afirmado afirma”, es una de las reglas de inferencia más usadas en la argumentación
matemática (la demostración matemática).
Notas
Lógica Proposicional Álgebra
Es tautologı́a:
(p ⇔ q) ⇒ (p ⇒ q)
p q (p ⇔ q) ⇒ (p ⇒ q)
V V V V V
V F F V F
F V F V V
F F V V V
(p ⇒ q) ⇒ (p ⇔ q)
no es tautologı́a.
Notas
Lógica Proposicional Álgebra
Transitividad de ⇒
Es tautologı́a:
((p ⇒ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r)
p q r ((p ⇒ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r)
V V V V V V V V
V V F V F F V F
V F V F F V V V
V F F F F V V F
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
Notas
Lógica Proposicional Álgebra
Transitividad de ⇒
Es tautologı́a:
((p ⇒ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r)
p q r ((p ⇒ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r)
V V V V V
Ejercicio 2: Transitividad de ⇔V V V
V V F V F F V F
VDemuestra
F V con unaF tabla que
F la proposición
V V V
V F F F F V V F
((p ⇔ q) ∧ (q ⇔ r)) ⇒ (p ⇔ r)
F V V V V V V V
Fes también
V F tautológica.
V F F V V
F F V V V V V V
F F F V V V V V
Notas
Lógica Proposicional Álgebra
Transitividad de ⇒
Es tautologı́a:
((p ⇒ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r)
p q r ((p ⇒ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r)
V VEjercicio
V 3: VOtras Leyes
V Transitivas
V V V
V V F V F F V F
Demuestra con tablas que las proposiciones
V F V F F V V V
V F F ((p ⇔Fq) ∧ (q ⇒
F r)) ⇒V(p ⇒ r) V F
F V V ((p ⇒Vq) ∧ (q ⇔
V r)) ⇒V(p ⇒ r) V V
F V F V F F V V
son tautológicas.
F F V V V V V V
F F F V V V V V
Notas
Lógica Proposicional Álgebra
Para evitar el uso excesivo de los paréntesis adoptaremos las convenciones notacionales
siguientes:
se abrevian simplemente
Notas
Lógica Proposicional Álgebra
Para evitar el uso excesivo de los paréntesis adoptaremos las convenciones notacionales
siguientes:
se abrevian simplemente
Notas
Lógica Proposicional Álgebra
Ejemplos. ¿Cómo abreviar las proposiciones que hemos estudiado hasta ahora?
(p ⇔ q) ⇔ ((p ⇒ q) ∧ (q ⇒ p)) (p ⇔ q) ⇔ (p ⇒ q) ∧ (q ⇒ p)
(p Y q) ⇔ ¬(p ⇔ q) p Y q ⇔ ¬(p ⇔ q)
(p ∧ (p ⇒ q)) ⇒ q p ∧ (p ⇒ q) ⇒ q
(p ⇔ q) ⇒ (p ⇒ q) (p ⇔ q) ⇒ (p ⇒ q)
((p ⇒ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r) (p ⇒ q) ∧ (q ⇒ r) ⇒ (p ⇒ r)
((p ⇔ q) ∧ (q ⇔ r)) ⇒ (p ⇔ r) (p ⇔ q) ∧ (q ⇔ r) ⇒ (p ⇔ r)
((p ⇔ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r) (p ⇔ q) ∧ (q ⇒ r) ⇒ (p ⇒ r)
((p ⇒ q) ∧ (q ⇔ r)) ⇒ (p ⇒ r) (p ⇒ q) ∧ (q ⇔ r) ⇒ (p ⇒ r)
Notas
Lógica Proposicional Álgebra
Demostración.
Notas
Lógica Proposicional Álgebra
es tautologı́a. tautologı́a.
Demostración.
2. Si p ⇔ q y q ⇒ r son tautologı́as, demuestra que p ⇒ r es
tautologı́a.
Ya hemos probado que el condicional
(p ⇒ q) ∧ (q ⇒ r) ⇒ (p ⇒ q) (2)
es siempre verdadero.
Notas
Lógica Proposicional Álgebra
p⇔q
p⇒q y q⇒p
son tautológicos.
Demostración.
Notas
Las reglas básicas
Notas
Lógica Proposicional Álgebra
p ∨ ¬p p ∧ ¬p
V V F V F F
V V F V F F
F V V F F V
F V V F F V
Notas
Lógica Proposicional Álgebra
Involución
La ley de involución afirma que p y la doble negación ¬¬ p son equivalentes, es decir,
p ⇔ ¬¬ p
p ¬p ¬¬p p ⇔ ¬¬p
V F V V
F V F V
Son tautologı́as:
p⇒p p⇔p
p ⇒ p p ⇔ p
V V V V V V
F V F F V F
Notas
Lógica Proposicional Álgebra
Adición Simplificación
Es tautologı́a: Es tautologı́a:
p⇒p∨q p∧q ⇒p
Notas
Lógica Proposicional Álgebra
Idempotencia de ∨: Idempotencia de ∧:
Es tautologı́a: Es tautologı́a:
p⇔p∨p p⇔p∧p
p ⇔ p∨p p ⇔ p∧p
V V V V V V
F V F F V F
Notas
Lógica Proposicional Álgebra
Es tautologı́a:
p∧q ⇒p∨r
Demostración.
p∧q ⇒p – simplificación
⇒p∨r – adición
Notas
Lógica Proposicional Álgebra
Leyes conmutativas
Conmutatividad de ∨: Conmutatividad de ∧:
Es tautologı́a: Es tautologı́a:
Notas
Lógica Proposicional Álgebra
Leyes Conmutativas
Conmutatividad de ⇔:
Es tautologı́a:
(p ⇔ q) ⇔ (q ⇔ p)
p q (p ⇔ q) ⇔ (q ⇔ p)
V V V V V
V F F V F
F V F V F
F F V V V
Notas
Lógica Proposicional Álgebra
Leyes Conmutativas
Conmutatividad de ⇔:
Es tautologı́a:
Determinanción de tautologı́as
(p ⇔ q) ⇔ (q ⇔ p)
Notas
Lógica Proposicional Álgebra
Leyes Conmutativas
Conmutatividad de ⇔:
Es tautologı́a:
(p ⇔ q) ⇔ (q ⇔ p)
Ejercicio 5: Responde y justifica
1. p¿Es q⇒ conmutativo?
(p ⇔ q) ⇔ (q ⇔ p)
2.V¿Es V V
Y conmutativo? V V
V F F V F
F V F V F
F F V V V
Notas
Lógica Proposicional Álgebra
Leyes asociativas
Asociatividad de ∨:
Es tautologı́a
(p ∨ q) ∨ r ⇔ p ∨ (q ∨ r)
p q r p∨q q∨r (p ∨ q) ∨ r ⇔ p ∨ (q ∨ r)
V V V V V V V V
V V F V V V V V
V F V V V V V V
V F F V F V V V
F V V V V V V V
F V F V V V V V
F F V F V V V V
F F F F F F V F
Notas
Lógica Proposicional Álgebra
Leyes asociativas
Asociatividad de ∨:
Es tautologı́a
(p ∨ q) ∨ r ⇔ p ∨ (q ∨ r)
Ejercicio 6: Haz una tabla
p q r q∨r (p ∨deq)∧:
p ∨ q Asociatividad ∨r ⇔ p ∨ (q ∨ r)
V V V V V V V V
Es tautologı́a
V V F V V V V V
V F V V(p ∧ q)V∧ r ⇔ p ∧ V(q ∧ r) V V
V F F V F V V V
F V V V V V V V
F V F V V V V V
F F V F V V V V
F F F F F F V F
Notas
Lógica Proposicional Álgebra
(p ∨ q) ∨ r y p ∨ (q ∨ r)
Por tanto podemos definir una fórmula para referirnos a ambas, a saber,
p∨q∨r
Análogamente, escribimos
p∧q∧r
(p ∧ q) ∧ r y p ∧ (q ∧ r),
Notas
Lógica Proposicional Álgebra
(p ∨ q) ∨ r y p ∨ (q ∨ r)
En otras palabras...
son lógicamente equivalentes.
Vamos
Por tanto a admitir
podemos dos una
definir nuevos términos,
fórmula a saber, a ambas, a saber,
para referirnos
para los cuales admitimos que los bicondicionales siguientes son siempre V:
Análogamente, pescribimos
∨ q ∨ r ⇔ (p ∨ q) ∨ r p ∧ q ∧ r ⇔ (p ∧ q) ∧ r
p∧q∧r
p ∨ q ∨ r ⇔ p ∨ (q ∨ r) p ∧ q ∧ r ⇔ p ∧ (q ∧ r).
en lugar de las proposiciones
(p ∧ q) ∧ r y p ∧ (q ∧ r),
Notas
Lógica Proposicional Álgebra
p1 , p2 , ..., pn−1 , pn ,
p1 ∨ p2 ∨ · · · ∨ pn ⇔ (p1 ∨ p2 ∨ · · · ∨ pn−1 ) ∨ pn
p1 ∧ p2 ∧ · · · ∧ pn ⇔ (p1 ∧ p2 ∧ · · · ∧ pn−1 ) ∧ pn
Por ejemplo
p1 ∨ p2 ∨ p3 ⇔ (p1 ∨ p2 ) ∨ p3
p1 ∨ p2 ∨ p3 ∨ p4 ⇔ (p1 ∨ p2 ∨ p3 ) ∨ p4
p1 ∨ p2 ∨ p3 ∨ p4 ∨ p5 ⇔ (p1 ∨ p2 ∨ p3 ∨ p4 ) ∨ p5
Notas
La Reglas del Reemplazo. Primera Parte
Notas
Lógica Proposicional Álgebra
p ⇔ pb
es tautológico.
¬ p ⇔ ¬ pb
p ∨ q ⇔ pb ∨ q
p ∧ q ⇔ pb ∧ q
Demostración.
Notas
Lógica Proposicional Álgebra
Ejemplo: Idempotencia
p⇔p∨p y p⇔p∧p
Entonces
p∨q ⇔p∨p∨q y p∧q ⇔p∧p∧q
son tautologı́as.
Demostración.
Son tautologı́as:
p ∨ q ⇔ (p ∨ p) ∨ q – reemplazamos p por p ∨ p
p∨q ⇔p∨p∨q
es tautologı́a.
Notas
Lógica Proposicional Álgebra
Ejemplo: Idempotencia
p⇔p∨p y p⇔p∧p
Entonces
p∨q ⇔p∨p∨q y p∧q ⇔p∧p∧q
Ejercicio 7: Ahora repite la prueba para ∧
son tautologı́as.
Prueba que es tautologı́a:
Demostración.
p∧q ⇔p∧p∧q
Son tautologı́as:
p ∨ q ⇔ (p ∨ p) ∨ q – reemplazamos p por p ∨ p
p∨q ⇔p∨p∨q
es tautologı́a.
Notas
Lógica Proposicional Álgebra
Ejemplo: Idempotencia
p⇔p∨p y p⇔p∧p
Ejercicio
Entonces 8: Prueba las siguientes Leyes del Reemplazo
p∨q ⇔p∨p∨q y p∧q ⇔p∧p∧q
Supongamos que p y pb son equivalentes y que q y qb son equivalentes.
son tautologı́as.
Demuestra sin tablas que los siguientes bicondicionales son tautologı́as:
Demostración.
p ∨ q ⇔ pb ∨ qb
Son tautologı́as:
p ∧ q ⇔ pb ∧ qb
p ∨ q ⇔ (p ∨ p) ∨ q – reemplazamos p por p ∨ p
p∨q ⇔p∨p∨q
es tautologı́a.
Notas
Lógica Proposicional Álgebra
p∨q∨r∨s (p ∨ (q ∨ r)) ∨ s (p ∨ q) ∨ (r ∨ s)
(p ∨ q ∨ r) ∨ s p ∨ ((q ∨ r) ∨ s) p ∨ (q ∨ r ∨ s)
((p ∨ q) ∨ r) ∨ s p ∨ (q ∨ (r ∨ s)) p ∨ (q ∨ r) ∨ s
Demostración.
Las equivalencias siguientes son tautologı́as:
p ∨ q ∨ r ∨ s ⇔ (p ∨ q ∨ r) ∨ s – definición
⇔ (p ∨ q) ∨ (r ∨ s) – ley asociativa de ∨
⇔ p ∨ (q ∨ r) ∨ s – definición
Notas
Lógica Proposicional Álgebra
p∨q∨r∨s (p ∨ (q ∨ r)) ∨ s (p ∨ q) ∨ (r ∨ s)
(p ∨ q ∨ r) ∨ s p ∨ ((q ∨ r) ∨ s) p ∨ (q ∨ r ∨ s)
Ejercicio
((p ∨ q) ∨9:
r) Ahora
∨s repite la pprueba ∨ s))∧
para
∨ (q ∨ (r p ∨ (q ∨ r) ∨ s
Demostración.
Prueba que las proposiciones siguientes son equivalentes
Las equivalencias siguientes son tautologı́as:
p∧q∧r∧s (p ∧ (q ∧ r)) ∧ s (p ∧ q) ∧ (r ∧ s)
p ∨ q ∨ r ∨ s ⇔ (p ∨ q ∨ r) ∨ s – definición
(p ∧ q ∧ r) ∧ s⇔ ((p ∨ q) ∨pr)∧∨((q
s ∧ r) ∧ s)– definición, reemplazo
p ∧ (q ∧ r ∧ s)
((p ∧ q) ∧ r) ∧ ⇔ p ∧∨(qs ∧ (r ∧ s))– ley asociativapde∧∨,(qreemplazo
s (p ∨ (q ∨ r)) ∧ r) ∧ s
⇔ p ∨ ((q ∨ r) ∨ s) – ley asociativa de ∨
⇔ (p ∨ q) ∨ (r ∨ s) – ley asociativa de ∨
⇔ p ∨ (q ∨ r) ∨ s – definición
Notas
Leyes de De Morgan
Notas
Lógica Proposicional Álgebra
Las proposiciones
¬(p ∧ q) ⇔ ¬p ∨ ¬q (1)
¬(p ∨ q) ⇔ ¬p ∧ ¬q (2)
p q ¬p ¬q p∧q ¬(p ∧ q) ⇔ ¬p ∨ ¬q
V V F F V F V F
V F F V F V V V
F V V F F V V V
F F V V F V V V
Notas
Lógica Proposicional Álgebra
Para probar la segunda ley de De Morgan puede hacerse también una tabla. O bien
procedemos como sigue:
Son tautologı́as,
⇔ (p ∨ q) – involución y reemplazo
Notas
Equivalencias de ⇒
Notas
Lógica Proposicional Álgebra
Equivalencias de ⇒
Son tautologı́as:
(p ⇒ q) ⇔ ¬(p ∧ ¬q) (1)
(p ⇒ q) ⇔ ¬p ∨ q (2)
p q ¬q (p ⇒ q) ⇔ ¬(p ∧ ¬q) p ∧ ¬q
V V F V V V F
V F V F V F V
F V F V V V F
F F V V V V F
Notas
Lógica Proposicional Álgebra
⇔ ¬p ∨ q – involución.
Notas
Lógica Proposicional Álgebra
¿Cómo negar ⇒?
Es tautologı́a
¬(p ⇒ q) ⇔ p ∧ ¬q.
Demostración.
Son tautologı́as,
⇔ p ∧ ¬q – involución.
Por transitividad,
¬(p ⇒ q) ⇔ p ∧ ¬q
es tautologı́a.
Notas
Ley del Contrarecı́proco
Notas
Lógica Proposicional Álgebra
Es tautologı́a:
(p ⇒ q) ⇔ (¬q ⇒ ¬p)
Demostración.
⇔ ¬(¬q ∧ p) – conmutatividad de ∧
Por tanstividad,
(p ⇒ q) ⇔ (¬q ⇒ ¬p)
es tautologı́a.
Notas
Lógica Proposicional Álgebra
Corolario
Es tautologı́a:
(p ⇔ q) ⇔ (¬p ⇔ ¬q)
Demostración.
Por transitividad,
(p ⇔ q) ⇔ (¬p ⇔ ¬q)
es tautologı́a.
Notas
Leyes del Reemplazo. Segunda Parte
Notas
Lógica Proposicional Álgebra
p ⇔ pb
es tuatológico.
(p ⇒ q) ⇔ (b
p ⇒ q)
(q ⇒ p) ⇔ (q ⇒ pb )
Notas
Lógica Proposicional Álgebra
p ⇔ pb
Supongamos que p y pb son proposiciones tales que pb se deduce de p, es
decir, el condicional
es tuatológico.
p ⇒ pb
Entonces son tautologı́as
es tuatológico. Demuestra que
(p ⇔ q) ⇔ (b
p ⇔ q)
(p ⇒¬q)pb ⇔ ¬pp⇒ q)
⇒ (b
(q ⇒ p) ⇔ (q ⇒ pb )
es tautológico. Interpreta.
¿Es cierto que ¬ p ⇒ ¬ pb es tautológico? Justifica.
Notas
Lógica Proposicional Álgebra
Ejercicio
Supongamos que11:
p y pOtras Leyes del Reemplazo
b son proposiciones equivalentes, es decir, el bicondicional
p ⇔ pb
Supongamos que p y pb son proposiciones tales que pb se deduce de p, es
decir, el condicional
es tuatológico.
p ⇒ pb
Entonces son tautologı́as
es tuatológico. Demuestra (p
las ⇔
tautologı́as
q) ⇔ (b p ⇔ q)
(p ⇒
p ∨q)q ⇔ pbp∨⇒
⇒ (b q q)
(q ⇒ p) ⇔ (q ⇒ pb )
p ∧ q ⇒ pb ∨ q
Notas
Lógica Proposicional Álgebra
pp ⇒
⇔ pb
pb.
es Demuestra
tuatológico.que los siguientes condicionales son tautologı́as:
(p ⇒ q)
(q ⇔ ⇒ (b
p) ⇔ (q
p⇔⇒ q)
pb)
Interpreta. (p ⇒ q) ⇔ (b
p ⇒ q)
¿Es cierto que los condicionales(q ⇒ p) ⇔ (q ⇒ pb )
(p ⇒ q) ⇒ (b
p ⇒ q)
(q ⇒ pb) ⇒ (q ⇒ p)
Notas
Leyes Distributivas
Notas
Lógica Proposicional Álgebra
Leyes distributivas
Son tautologı́as:
p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r) (1)
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r) (2)
Notas
Lógica Proposicional Álgebra
Leyes distributivas
Son tautologı́as:
p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r) (1)
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r) (2)
⇔ (p ∨ q) ∧ (p ∨ r) – involución
Por transitividad,
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
Notas
Lógica Proposicional Álgebra
Leyes distributivas
Son tautologı́as:
Leyes distributivas por la derecha
p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r) (1)
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r) (2)
Hay que observar que lo que probamos son leyes distributivas por la
izquierda.
Para (2) Pero es
procedemos muysigue:
como fácil deducir que también se valen por la derecha,
usando conmutatividad:
p ∨ (q ∧ r) ⇔ ¬¬p ∨ (¬¬q ∧ ¬¬r) – involución
(p∨∨¬(¬q
⇔ ¬¬p q) ∧ r∨⇔ r ∧ (p ∨ q)
¬r) – De Morgan (2)
⇔ (p ∨ q) ∧ (p ∨ r) – involución
(p ∧ q) ∨ r ⇔ (p ∨ r) ∧ (q ∨ r).
Por transitividad,
es tautologı́a.
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
Notas
Lógica Proposicional Álgebra
Leyes distributivas
Son tautologı́as:
p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r) (1)
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r) (2)
⇔ ¬((¬p
(p ∧ ∧
q)¬q)
∨r∨ ((p∧∨¬r))
⇔(¬p r) ∧ (q ∨ r)). – ley distributiva (1)
⇔ (p ∨ q) ∧ (p ∨ r) – involución
Por transitividad,
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
Notas
Identidad y Dominación
Notas
Lógica Proposicional Álgebra
Leyes de identidad
Es tautologı́a Es tautologı́a:
(p ∨ ¬p) ∧ q ⇔ q (p ∧ ¬p) ∨ q ⇔ q
(p ∨ ¬p) ∧ q ⇔ q (p ∧ ¬p) ∨ q ⇔ q
V V F V V V V V F F V V V V
V V F F F V F V F F F F V F
F V V V V V V F F V V V V V
F V V F F V F F F V F F V F
Notas
Lógica Proposicional Álgebra
Leyes de identidad
Es tautologı́a
Ejercicio 14: Prueba las leyes de Es tautologı́a:
dominación
(p ∨ ¬p) ∧ q ⇔ q (p ∧ ¬p) ∨ q ⇔ q
Conjunción con una absurdo: Disyunción con una tautologı́a:
Es tautologı́a Es tautologı́a:
(p ∨ ¬p) ∧ q ⇔ q (p ∧ ¬p) ∨ q ⇔ q
V V F V V V V V F F V V V V
(p ∧ ¬p) ∧ q ⇔ p ∧ ¬p (p ∨ ¬p) ∨ q ⇔ p ∨ ¬p
V V F F F V F V F F F F V F
F V V V V V V F F V V V V V
F V V F F V F F F V F F V F
Notas
Lógica Proposicional Álgebra
Demostración.
(p ⇒ q) ⇒ ¬p ∨ q – equivalencia (2) de ⇒
Por transitividad,
(p ⇒ q) ⇒ ((r ⇒ p) ⇒ (r ⇒ q))
Notas
Lógica Proposicional Álgebra
Es tautologı́a
(p ⇒ q) ⇒ ((q ⇒ r) ⇒ (p ⇒ r))
Demostración.
Por transitividad,
(p ⇒ q) ⇒ ((q ⇒ r) ⇒ (p ⇒ r))
Notas
Los conectivos ⇔ y Y
Notas
Lógica Proposicional Álgebra
Demostración.
(p ⇔ q) ⇔ (p ⇒ q) ∧ (q ⇒ p) – primera equiv. de ⇔
Notas
Lógica Proposicional Álgebra
Es tautologı́a:
(p ⇔ ¬q) ⇔ ¬(p ⇔ q)
Demostración.
⇔ (p ∨ q) ∧ ¬(p ∧ q) – conm. de ∨ y ∧
⇔ ¬(p ∨ q ⇒ p ∧ q) – neg. de ⇒
Notas
Lógica Proposicional Álgebra
¡Sorprendente!
((p ⇔ q) ⇔ r) ⇔ ((p Y q) Y r)
Demostración.
⇔ ¬((p Y q) ⇔ r) – anterior
Notas
Internet es tu amigo
Notas
Lógica Proposicional Álgebra
Notas
Lógica Proposicional Álgebra
Truth table generator, desarrollada por Michael Rieppel, profesor adjunto en el Philos-
ophy Department at Syracuse University.
Notas
Epı́logo
Notas
Lógica Proposicional Álgebra
3. Todavı́a más, si entendemos por conectivo n-ario (con n un entero posito arbitrario)
como una función tal que asigna únicamente dos valores de verdad a n proposi-
ciones, ¿cuántos conectivos n-arios hay?
No podemos contestar en este curso estas y otras preguntas que nos obligarı́an a exten-
dernos mucho más de lo debido. Baste decir que, puede demostrarse que es suficiente
(más que suficiente de hecho), estudiar la lista de los pocos conectivos que hemos
revisado aquı́ para tener una teorı́a de la lógica (proposicional) digamos completa.
Notas