Ejercicios de Aplicación

1. En los ejercicios del 1 al 6, indicar qué esquemas moleculares son

contingentes, tautológicos o contradictorios.

a) (p v q) → (p  q)
b) (p → q) v ~(p ↔ ~ q)
c) [(p → q)  (q → r)] → (p → r)
d) [(p  q) → q)] → [~ r  ~ (r → ~ p)]
e) [(p → (~ q v r)]  ~[q v (p ↔ ~ r)]
f) ~ (p  q) ↔ (~ p v ~ q)

2. Sean las proposiciones moleculares siguientes, evaluarlas en tablas

veritativas:

A: “Si mañana voy al trabajo entonces mañana es día laborable, si y

sólo si, mañana voy al trabajo o mañana es día laborable”

B: “Si no es verdad que mañana voy al trabajo y no es día laborable,

entonces mañana no voy al trabajo o es día laborable”

C: “Si mañana voy al trabajo entonces mañana es día laborable. Pero,

si mañana es día laborable entonces mañana voy al trabajo”