10.

Si el valor de verdad de la proposición [(p  q)(r  q)]  [(p 

˄q) (t p)] es verdadera, halle el valor de verdad de las
siguientes proposiciones.
I. p  (q  t)
II. (q ∆ t)  (r p)
III. (r  q) p Valores:
Resolución:
p≡V
⁓ [(⁓p v q) v (r → q)] ˄ [(⁓ p v ⁓q) → (t v ⁓p)] ≡ V
⁓ (⁓p v q) ˄ ⁓ (r → q) ˄ [(⁓V v ⁓F) → (V v ⁓V)] ≡ V q≡F
(p ˄ ⁓q) ˄ ⁓r ˄ ⁓q) ˄ (F v V) → ( V v F) ≡ V
V ˄ V ˄ (⁓F ˄ ⁓F) ˄ V → V ≡V r≡F
V ˄ (V ˄ V) ˄ V ≡V
V ˄ V ˄ V ≡V t≡V
V ˄ V ≡V

I. p → (q ˄ t) II. (q ∆ ⁓t) → (r ˄ ⁓p)

↓ ↓ ↓ ↓ ↓ ↓ ↓
V → (F ˄ V) (F ∆ ⁓V) → (F ˄ ⁓ V)
V → V ≡ F F∆F → F˄F
F → F ≡ V
III. (⁓r → ⁓q) → p
↓ ↓ ↓
(⁓F → ⁓F) → V
(V → V) → V
V → V ≡ V

11. Si p©q ≡ (pq)  (p  q), halle una proposición

equivalente a la proposición compuesta  [ ( p © r )  ( q
©r)][(p©q)©p]

Resolución:

p©q ≡ (pq)  (p  q)

p©q ≡ ⁓q ˄ (
12. Se define p  q mediante la tabla

p q pq
V V F
V F F
F V V
F F F

Halle los valores de verdad de

[( q  p )  ( p  q )]  [(q  p)  (p  q)]

[( q  p )  ( p  q )]  [(q  p)  (p  q)]

p q pq
V V F
VFF F F F F F F V F F V F V
V F F
VFV F F F V F V V V F V F F
F V V
FFF F V F F F F V F F F V V
F F F
FVV V V V V F V V V F F F F