TALLER TABLAS DE LA VERDAD

1. ¬ (¬p → ¬q)

p q ¬p ¬q (¬p → ¬q) ¬ (¬p →

¬q)

v V F F v f

V F F V v f
F V V F f v
f f v v v f

2¬ (p → q) ∨ (¬p ∧ ¬q)

p q ¬p ¬q (p → q) ¬ (p → q) (¬p ∧ ¬q) ¬ (p → q)

∨ (¬p ∧
 ¬q)

v V F f V f f f
V F F V F v F v
F v V F V f F f
F F v V v f V v

3. (p → q ∧ ¬q) → ¬p

p q ¬p ¬q (p → q ∧ ¬q) (p → q ∧

¬q) → ¬p

v V F f f v
V F F V f v
F v V F f v
F F v V v v
 4. (p → ¬q) ∨ (q → ¬r)

p q r ¬q ¬r (p → ¬q) (q → ¬r) (p → ¬q)

∨ (q →

¬r)

v V V F F f f f
V V F F V f v v
V F V V F v v v
V F F V V v v v
F V V F F v f v
F V F F V v v v
F F V V F v v v
F F F v V v v v

5. (p ∨ q) ∧ (¬q → p)

p q ¬q (p ∨ q) (¬q → p) (p ∨ q) ∧ (

p)

v V f v v v
V F V V v v
F v F V v v
F F V F f f
 6. p ∨ (p → q ∧ r)

p q r (p → q ∧ r) p ∨ (p → q ∧ r)

v V V v V

V V F f V

V F V f V

V F F f V

F V V v V

F V F F F

F F V v V

F F F f f

7. ¬ (p → q) <-> (p ∨ q)

p q (p → q) ¬ (p → q) (p ∨ q) ¬ (p → q) <-

> (p ∨ q)

v V v F V F
V F f V F F
 F v v F F V
F F v f f v

8. ¬ (p → q) v (¬q → ¬p)

p q ¬p ¬q (p → q) ¬ (p → q) (¬q → ¬p) ¬ (p → q) v

(¬q → ¬p)

v V F F v F v v

V F F V F V f v

F V V F V F v v

f f v v V f v v
 9. p → q l= p ∨ q → q

p q p→q p∨q →q
V V V V V
V F F V F
F V V V V
F F V F V

10. p → q, r → s, p ∨ r ╞ q ∨ ¬s
p q r s p→q r→s p∨r q ∨ ¬s
V V V V V V V V
V V V F V F V V
V V F V V V V V
V V F F V V V V
V F V V F V V F
V F V F F F V V
V F F V F V V F
V F F F F V V V
F V V V V V V V
F V V F V F V V
F V F V V V F V
F V F F V V F V
F F V V V V V F
F F V F V F V V
F F F V V V F F
F F F F V V F V

ESTUDIANTE: DARLIN CARO BARRERA

CODIGO:2018321003