RECTORÍA TOLIMA Y MAGDALENA MEDIO
CENTRO REGIONAL IBAGUÉ - NORTE DEL TOLIMA Y MAGDALENA
MEDIO
Guía de Ejercicios Lógica
I.- Ejercitación Básica y General
1.- Escriba en forma simbólica los siguientes enunciados
a) Si las exportaciones disminuyen entonces bajarán las utilidades
b) Los precios son altos si y sólo sí los costos aumentan
c) Si la producción aumenta entonces bajarán los precios
d) Si aumenta la demanda esto implica que aumenta la oferta y viceversa
e) Si la contaminación aumenta entonces existirá restricción vehicular
adicional
2.- Si p y r son proposiciones verdaderas y q es falsa, determine el valor de verdad de :
a) [ ( p q ) v r ] q
b) [ ( r v q ) ( r v p) ] r
c) [ ( p q ) r ] v [ q r ]
3.- ¿Qué condiciones debe satisfacer p y q para que la siguiente proposición sea :
a) [ ( q p ) q ] ( p q ) Falsa
b) [ ( p q ) r ] v [ q r ] Falsa
c) { ~p ( p v q ) } [ p q ] Verdadera
4.- Sean p, q, r, tres proposiciones tales que r es falsa, p q y q r son verdaderas,
deducir el valor de verdad de p.
5.- Cuál de las siguientes expresiones son lógicamente equivalentes a
( p v q ) r
a) p ( q r )
b) ( p q ) r
c) ( p q ) r ) p ( q v r )
6.- Sean las proposiciones:
p: la computación es fácil
q: los ingenieros deben saber computación
Entonces, traduzca a lenguaje verbal las proposiciones siguientes y
¿Cuál(es) a su juicio representa(n) una expresión aceptable en el sentido cotidiano?
a) p q
b) (p v q)
c) (q v p)
d) (p v q)
e) p q
II.- Tautología, Contingencia o Contradicción
Demuestre por medio de tablas de verdad si las siguientes proposiciones son Tautología (T)
Contingencia (k) o Contradicción (C)
a.- [(p q) ~p] ~q
RECTORÍA TOLIMA Y MAGDALENA MEDIO
CENTRO REGIONAL IBAGUÉ - NORTE DEL TOLIMA Y MAGDALENA
MEDIO
b.- [(p v q) r] [(p q) v r ]
c.- {[p (q v p)] q}
d.- [(p q) (q r)] (p r)
III.- Esquemas Equivalentes
Se dice que son esquemas equivalentes cuando los valores de ambas tablas son iguales. Determine si
las siguientes proposiciones son equivalentes o no.
a.- [(p q) v (q p)] con [(p q)(q p) ]
b.- (p q) con (p q)
c.- [p (q v r)] con [(p q) v (q r)]
IV.- Uso de Propiedades o Teoremas Lógicos
Demuestre las siguientes equivalencias utilizando las propiedades o teoremas de
lógica.
a.- [(p q) (p q)] q
b.- [(p q) (p r)] ] [p (q r)]
V.- Actividad adicional
Agregar al trabajo una línea temporal sobre la historia de la lógica