1)

p: en la UNAD hay 5 periodos académicos anualmente

q: La UNAD tiene 3 periodos de 8 semanas cada uno

p: V, q: F
(𝑝∧¬𝑞) →(¬ 𝑝)

¬𝑞: Es q negada ósea que queda V

¬p: Es p negada osea que queda F

(𝑝∧¬𝑞): (V ∧ V): V

(¬ 𝑝): (V): F

(𝑝∧¬𝑞) →(¬ 𝑝)
(V ∧ V) → (F)
(V) → (F)
F
2)
Si hoy es lunes y pasado mañana es miércoles entonces mañana es martes y mañana no es
jueves.
Sea:
p: lunes
q: martes
r: Miércoles
s: jueves

Si hoy es lunes y pasado mañana es miércoles: (p ∧ q)

Mañana es martes y mañana no es jueves: (r ∧ ¬s)
Como es “entonces”: →
Nos quedaría:
 (p ∧ q) → (r ∧ ¬s)
Manualmente:

p q r s (p ˄ q) (r ˄ ¬s) (p ˄ q) →(r ˄ ¬s)

V V V V V F F
V V V F V V V
V V F V V F F
V V F F V F F
V F V V F F V
V F V F F V V
V F F V F F V
V F F F F F V
F V V V F F V
F V V F F V V
F V F V F F V
F V F F F F V
F F V V F F V
F F V F F V V
F F F V F F V
F F F F F F V

Por Turner
Como vemos obtenemos los mismos resultados.

3) [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

Manualmente:

p q r s (p→q) (¬p →r) (r→s) (¬q →s) [(p→q)^ (¬p →r)^(r→s)] [(p→q)^ (¬p →r)^(r→s)]→(¬q →s)
V V V V V V V V V V
V V V F V V F V F V
V V F V V V V V V V
V V F F V V T V V V
V F V V F V V V F V
V F V F F V F F F V
V F F V F V V V F V
V F F F F V V F F V
F V V V V V V V V V
F V V F V V F V F V
F V F V V F V V F V
F V F F V F V V F V
F F V V V V V V V V
F F V F V V F F F V
F F F V V F V V F V
F F F F V F V F F V

Por Turner
Las ser todas verdaderas tenemos una tautología.