Você está na página 1de 16

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: Usando Y Usando q lgicamente p

son la

misma

q p

proposicin?

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

Ejemplo: Comprobemos que p q es lgicamente equivalente a q p. p q p q p

q p q p

V V F

V F V

F F V

V F V

F V F V

V F V V

V pq

Conclusin: S son lgicamente equivalentes ! ! !

q p.

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

p V V

q V F

p q V F

q p V F

p? q V F

F F

V F

V V

V V

V V

p q

q p

p q

pq

Llamaremos Equivalencia 1 de la implicacin a:

pq

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!

(pq) (pq) p(pq)

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 pV V ( p) p pV p pF p

Nombre de la Ley
Tercio excluido o de Dicotoma de Contradiccin de Dominacin de Doble Negacin Leyes de identidad o Elemento Neutro

Leyes Lgicas
Ley (p q) p q (p q) p q Nombre de la Ley
de De Morgan

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

de Absorcin

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

p T2
q

Red en paralelo
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

T2

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
p q

r q

T1
p r

T2

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
r q

T2