Utilizando las tablas de verdad, determínese cuáles de las siguientes proposiciones son

tautológicas, contradictorias o indeterminadas (contingentes).

1) ~p V q * PROPOSICIÓN INDETERMINADA

p q ~p V q
V V F V V
V F F F F
F V V V V
F F V V F

2) (p Λ q) → p *PROPOSICIÓN TAUTOLÓGICA

p q (p Λ q) → p
V V V V V
V F F V V
F V F V F
F F F V F

3) ~ [ (p Λ q) → p ] *PROPOSICIÓN CONTRADICTORIA

p q ~ (p^q) → p
V V F V V V
V F F F V V
F V F F V F
F F F F V F

4) p ↔ ~p *PROPOSICIÓN CONTRADICTORIA

p (p ↔ ~p)
V V F F
F F F V

5) pV ~P *PROPOSICIÓN TAUTOLÓGICA

p (p v ~p)
V V V F
F F V V

6) q → q *PROPOSICIÓN TAUTOLÓGICA

q (q → q)
V V V V
F F V F

7) (p V ~p) Λ (q → q) *PROPOSICIÓN TAUTOLÓGICA

p q (p V ~p) Λ (q → q)
V V V V F V V V V
V F V V F V F V F
F V F V V V V V V
F F F V V V F V F

8) (p ↔ ~p) Λ (pV ~p) *PROPOSICIÓN CONTRADICTORIA

p (p ↔ ~p) Λ (p v ~p)
V V F F F V V F
F F F V F F V V

9) (p ↔ ~p) V (pV ~p) *PROPOSICIÓN TAUTOLÓGICA

p (p ↔ ~p) v (p v ~p)
V V F F V V V F
F F F V V F V V

10) (~p V q) ↔ (p → q) *PROPOSICIÓN TAUTOLÓGICA

p q (~p v q) ↔ (p → q)
V V F V V V V V V
V F F F F V V F F
F V V V V V F V V
F F V V F V F V F