RAZONAMIENTO LÓGICO MATEMÁTICO

1. De las siguientes proposiciones encontrar sus valores de verdad utilizando las tablas de verdad:
A. [(p v q) v r]⟷[p v (q v r)]

[(p v q) v r]⟷[p v (q v r)] [(p v q) v r]⟷[p v (q v r)]

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

a) b) (A)

B. [(p ˄ q) v ¬r] ⟷ p

[(p ˄ q) v ¬r] ⟷ p [(p ˄ q) v ¬r] ⟷ p

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

a) b) (B)

C. (p ⟶ q) ⟶ [p ⟶ (p ˄ q)]

(p ⟶ q) ⟶ [p ⟶ (p ˄ q)] (p ⟶ q) ⟶ [p ⟶ (p ˄ q)]
V V
V V
V F
V V

a) b) (A)
 RAZONAMIENTO LÓGICO MATEMÁTICO BLOqUE uno

D. (p ˄ ¬p)⟶p

(p ˄ ¬p)⟶p (p ˄ ¬p)⟶p
V V
V V
V V
F V

a) b) (A)

E. q⟷(¬p ˄ ¬q) ⩡ (p ˄ ¬p)⟶p

q⟷(¬p ˄ ¬q) ⩡ (p ˄ ¬p)⟶p q⟷(¬p ˄ ¬q) ⩡ (p ˄ ¬p)⟶p

V V
F V
V V
V V

a) b) (A)

2. De las siguientes proposiciones encontrar sus valores de verdad, utilizando las leyes de algebra proposicional.
A. [p → (p ^ q)] ^ [¬p → (p ^ q)]
a) (p v q)
b) (p ^ q)
c) (p ⩡ q) (C)

B. [(q → r) ^ (¬r → q)] → ¬ (r ν ¬q)

a) ¬r
b) ¬q
c) R (C)
C. (r→p) → [(p ν r) → (r ^ ¬p)]
a) ¬r
b) p
c) ¬p (B)
 RAZONAMIENTO LÓGICO MATEMÁTICO

D. (r → q) ^ (r ↔ q)
a) (r ν q)
b) (¬r ν q)
c) (¬r ν ¬q) (B)
E. [p ν (p ^ s)] → [(p → s) ^ ¬s]
a) ¬p
b) ¬s
c) p (B)
F. [(s ↔ q) → s] ν (s ν q)
a) (s ^ q)
b) (s ⟶ q)
c) (s ν q) (A)
G. ¬[t ^ ¬(t ^ ¬q)] → ¬(q v ¬t)
a) q
b) t
c) ¬t (C)
H. (¬p → q) ^ [(p ^ ¬q) v (¬p ^ ¬q) v (¬p ^ q)] ^ (p v ¬q)
a) q ^ p
b) ¬q ^ p
c) ¬q ^ ¬p (B)
I. {{p v [s ^ (¬p v s)]} ^ (p v s)} ^ [p ^ (s v r)]
a) p ^ (s v r)
b) p v (s ^ r)
c) p ^ (s ^ r) (A)
J. {¬q v [p v ¬(q ^ p)]} ^ ¬[¬(q v r) v (¬p v q)]
a) (¬q v r) ^ p
b) (¬q ^ r) ^ p
c) (¬q ^ r) v p (A)