Lgica

Equivalencia Lgica
-Qu es?
-Cmo comprobarla?

Leyes Lgicas
-Cules son?
-Cmo usarlas?

Circuitos

Lgicos

-Qu son?
-Cmo se aplican?

Introduccin
La Sra. Ana le escribe a su casero, el Sr. Pepe: A menos que
arregle la tubera, no pagar la renta.
Cmo expresar esta proposicin mediante proposiciones ms
simples?
Consideremos que las proposiciones simples son:

p: La Sra. Ana paga la renta.

q: El Sr. Pepe arregla la tubera.
Respuesta 1:
Respuesta 2:

Y
Usando
Usando
son la

lgicamente
q p
q p

misma

proposicin?

Equivalencia Lgica
Dos proposiciones u y v son lgicamente equivalentes cuando
u es VERDADERA si y slo si v es VERDADERA
u es FALSA
si y slo si v es FALSA
Y lo denotamos por
u v.

Ejemplo: Comprobemos que p q es lgicamente

equivalente a q p.
p

qq p
p

qq
p
p

F
V
V

F
V
V

V
F

V
F
F

F
V
F

F
V

V
V

Conclusin: S son lgicamente

equivalentes ! ! !

Equivalencia Lgica
Puedes identificar otra proposicin cuya tabla de verdad coincida
con sta?

p q

q p

p ? q

p q

q p

pq

Llamaremos Equivalencia 1 de la implicacin a:

pq

p q

Vocabulario
Determinadas proposiciones estn relacionadas con una
implicacin; usamos trminos tales como la recproca, la
inversa y la contra recproca o contrapositiva.
Para p q,
q p es la recproca
p q es la inversa
q p es la contrapositiva
o contrarecproca
Adems, p q

es

equivalente a q p

Ejemplo en lenguaje comn:

Si hubo un robo, algo desapareci
es equivalente a
Si nada ha desaparecido entonces no hubo robo

Ejercicio
Sean p, y q proposiciones. Asocia las proposiciones u y v
que sean lgicamente equivalentes !propuesto!

u
(pq)
(pq)
p(pq)

v
p q
p q
q
p
p

Leyes Lgicas
En muchos casos, necesitamos usar una proposicin
equivalente a la que tenemos entre manos... Y no siempre es
fcil realizar tablas de verdad si se tienen muchas proposiciones.
Por eso, necesitamos conocer algunas equivalencias notables
entre proposiciones, que llamaremos Leyes Lgicas
Ley
pp V
pp F
pF F

Nombre de la Ley
Tercio excluido o de Dicotoma
de Contradiccin
de Dominacin

pV V
( p) p
pV p
pF p

de Doble Negacin
Leyes de identidad o Elemento
Neutro

Leyes Lgicas
Ley

Nombre de la Ley

(p q) p q

(p q)

de De Morgan

p q

p (p q) p

de Absorcin

p (p q) p
pq qp
(p q)r p(q r)
p (q r) (pq) (pr)

Conmutativa
Asociativa
Distributiva

Recuerda cmo demostrar una

ley

Uso de las Leyes

Las leyes son muy tiles para demostrar que dos proposiciones
son equivalentes.
Ejemplo: Demuestra que

(p q r) (p q r)

pr
- Ley usada -

(p q r ) (p q r)

(p r q ) (p r q)
Conmutativa

[(p r) q ] [(p r) q]
Asociativa

(p r) (q q)
Distributiva

(p r) V
tercio excluido

pr
ley de identidad

Ejercicios
1.- Utiliza las leyes para demostrar que
p (q r) (p q) r
2.- Descubre el error en la demostracin siguiente:
p (q r) p (q r)
p ( r q)
( p r) q
(p r) q
(p r) q

Para ver las

respuestas, clickea

Circuitos Lgicos
Una red de conmutacin o circuito est formada por cables e
interruptores que conectan a dos terminales.
T1 _______ ... _______T2
Si un interruptor est abierto, no fluye la corriente por l y se le
asocia el valor 0
y si est cerrado, permite el paso de la corriente y se le asocia
el valor 1.
Hay dos tipos simples de circuitos: en serie y en paralelo.
Cuando est en paralelo, la corriente fluye si alguno o ambos
estn cerrados y se representa por p q.

T1

Red en paralelo

p
T2
q

pq

Circuitos Lgicos
En un circuito en serie, la corriente fluye de T1 a T2 si ambos
interruptores estn cerrados y no fluye, si alguno o ambos estn
abiertos. Se le asocia, entonces, la proposicin p q
Red en serie

T1

T
2

pq

Podemos ahora, utilizar la simplificacin de proposiciones para

simplificar circuitos y conseguir otros que sean equivalentes y
realicen la misma funcin ms eficientemente.

Ejercicio
3.- Simplifica el circuito

T
1

T2

q
p

Tarea
1. a) Expresa simblicamente la proposicin:
Si Juan se va de vacaciones, el se va a divertir si
no le da miedo volar.
b) Niega la proposicin anterior
(Ayuda: la negacin de una implicacin no es una
implicacin)

2. Realiza los ejercicios 20c, 21b, 21c y 22b del libro.

No olvides escuchar
la msica de la Vida.

Respuestas
1.- Uso de las leyes:
p (q r) p (q r)
( p q) r
(p q) r
(p q) r

Equivalencia 1
Asociativa
De Morgan
Equiv. 1

2.- El error en la demostracin esta en el ultimo paso. De

hecho, p (q r) (p r) q

Respuestas
3.- El circuito lgico:
-Razones[(p q) (q r)] [p ( q (r q))]
[(p q) (r q)] [(p q) (p r q)] Conmut. y Distrib.
(p q) (p q) (r q) (p r q) Conmut. y Asociat.
[p (q q)] [(r q) (p r q)]
Distrib y Asociat.
p [(r q) (p r q)]
Inverso y Neutro
p (r q)
Absorcin
El circuito
simplificado es

T1

T2
r