Documente Academic
Documente Profesional
Documente Cultură
Equivalencia Lgica
-Qu es? -Cmo comprobarla?
Leyes Lgicas
-Cules son? -Cmo usarlas?
Circuitos
Lgicos
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:
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.
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
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
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!
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
(p q r) (p q r)
pr
- Ley usada -
Ejercicios
1.- Utiliza las leyes para demostrar que p (q r) (p q) r
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)
Respuestas
1.- Uso de las leyes: p (q r) p (q r) ( p q) r (p q) r (p q) r
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