Está en la página 1de 2

Centro de Soluciones educativas

Taller de Lgica Proposicional

Docente: David Colimba


Estudiante:
Aula:

1. Escriba en forma simblica los siguientes enunciados

a. Si las exportaciones disminuyen entonces bajarn las utilidades


b. Los precios son altos si y slo s los costos aumentan
c. Si la produccin aumenta entonces bajarn los precios
d. Si aumenta la demanda esto implica que aumenta la oferta y viceversa
e. Si la contaminacin aumenta entonces existir restriccin vehicular adicional

2. Si p y r son proposiciones verdaderas y q es falsa, determine los valores 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. Si la proposicin p es verdadera y la proposicin q es falsa, entonces de las


siguientes afirmaciones es (son) correcta (s):

I p q es una proposicin verdadera


II p q es una proposicin falsa
III p v q es una proposicin verdadera

4. Sean p y q dos proposiciones distintas, si (p v q) es falsa entonces

a. p es verdadera y q es falsa
b. p es verdadera y q es verdadera
c. p es falsa y q es falsa
d. p es falsa y q es verdadera
e. Ninguna de las anteriores

5. Dada la proposicin q: a ningn nio le gustan las verduras, entonces escriba


la proposicin q
6. Si la proposicin p es verdadera y la proposicin q es verdadera. De las
expresiones siguientes cul o cules son correctas:

a. p q es verdadera
b. p q es falsa
c. p v q es falsa
d. p q es verdadera

7. Construir las tablas de verdad y verificar cuales de ellas son tautologas.

a. [(p q) q ] (p q)
b. (p q) [(p q)]
c. [p (p q) ] q

8. Construya tablas de verdad e indique cual de la siguientes proposiciones son


Tautologa (T) Contingencia (k) o Contradiccin (C)

a. [(p q) p] q
b. [(p v q) r] [(p q) v r ]
c. [p (q v p)] q
d. [(a v b) (a v c)] [a v (b c)]
e. [(a b) (b c)] (a c)

9. Probar que las tres proposiciones siguientes son equivalentes:


a. p (q v r)
b. (p q) r
c. (p q) v (p r)

10. Cul de las siguientes expresiones son lgicamente equivalentes a


( p v q ) r
a. p ( q r )
b. ( p q ) r
c. ( p q ) r
d. p ( q v r )

También podría gustarte