Вы находитесь на странице: 1из 6

# TALLER 2 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

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

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

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

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

V V V F F F V

V F F V F F V

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

4. (p → ¬q) ∨ (q → ¬r)

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

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

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

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

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

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

V V V V V V
V V F V F V
V F V F V V
V F F F V V
F V V V V V
F V F V F F
F F V V V V
F F F V 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 V V
F V V F V F
F F V F F V
8. ¬(p → q)v (¬q → ¬p)

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

q
V V V F F F V V
V F F V V F F V
F V V F F V V V
F F V F V V V V

9. p → q l= p ∨ q → q

## p 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 ¬s q ∨ ¬s

V V V V V V V F V

V V V F V F V V V

V V F V V V V F V

V V F F V V V V V

V F V V F V V F F

V F V F F F V V V

V F F V F V V F F

V F F F F V V V V

F V V V V V V F V

F V V F V F V V V

F V F V V V F F V

F V F F V V F V V

F F V V V V V F F

F F V F V F V V V

F F F V V V F F F

F F F F V V F V V