Taller Leyes del Algebra proposicional y Tautologías

Escriba en forma simbólica los siguientes enunciados

1. Si las exportaciones disminuyen entonces bajarán las utilidades
2. Los precios son altos si y sólo sí los costos aumentan
3. Si la producción aumenta entonces bajarán los precios
4. Si aumenta la demanda esto implica que aumenta la oferta y viceversa
5. Si la contaminación aumenta entonces existirá restricción vehicular adicional

Si p y r son proposiciones verdaderas y q es falsa, determine el valor de verdad de:

6. [ ( p ∧ ∼ q ) v ∼ r ] ⇒ q
7. [ (∼ r v q ) ∧ ( r v ∼ p) ] ⇔ ∼ r
8. [ (∼ p ⇒ q ) ⇒ ∼ r ] v [ ∼ q ⇒r ]

Construir las tablas de verdad de y verificar cuales de ellas son tautologías.

9. [(p ∧ ∼q) ⇒ q ]⇔ (p ⇒ q)
10. (p ⇒ q) ⇔ [(∼p ⇒∼ q)]
11. [p ∧ (p ⇒ q) ] ⇒q

Demuestre por medio de tablas de verdad si la siguientes proposiciones son

Tautología (T) Contingencia (k) o Contradicción (C)

12. [(p ⇒ q) ∧ ~p] ⇒~q

13. [(p v q) r] ⇔ [(p’ ⇔ q’) v r’ ]
14. ∼ {[∼p ∧ (∼q v p)] ⇒ q}
15. [(a v b) ∧ (a v c)] ⇔ [a v (b ∧ c)]
16. [(a ⇒ b) ∧ (b ⇒c)] ⇔ (a ⇒ c)
17. [(p ∧ ∼q) v (p ∧ r) ] ⇒ (q ∧ r)
18. (p ⇒q) ⇔ [ (∼q ⇒ ∼p)
19. [(∼ (p ∧ q))⇒ r] ⇔ [ ∼[(p ⇒ ∼q) ∧ ∼r]
20. Defina que es una tautología