UNIVERSIDAD POLITECNICA SALESIANA

Nombre: José Chiluisa Manotoa

Grupo: 11
Materia: Lógica
Tema: Cinco tautologías, cinco contingencias, cinco contradicciones con sus
respectivas tablas de verdad de los conectivos lógicos más utilizados.

Contingencia:
1) ~p (p q)

p q ~p p q ~p (p q)
V V F V F
V F F V F
F V V V V
F F V F F

2) p (~q)

p q ~q p (~q)
V V F V
V F V V
F V F F
F F V V

3) p (~q)

p q
V V
V F
F V
F F
~q p (~q)
F F
V V
F F
V F

4) (p ⇒ q) ⇔ [(∼p ⇒∼ q)]

p q ∼p ∼q (∼p ⇒∼ q) (p ⇒ q) (p ⇒ q) ⇔ [(∼p ⇒∼ q)]

V V F F V V V
V F F V V F F
F V V F F V F
F F V V V V V
5) [(p ⇒ q) ∧ ~p] ⇒~q
p q ~p ~q (p ⇒ q) [(p ⇒ q) ∧ ~p] [(p ⇒ q) ∧ ~p] ⇒~q

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

Tautologías:
1) p (~p)

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

2) (p q) [(~p) (~q)]

p q ~p ~q (p q) (~p) (~q) (p q) [(~p) (~q)]

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

3) [p (~p)] [q (~q)]

p q ~p ~q p (~p) q (~q) [p (~p)] [q (~q)]

V V F F V V V
V F F V V V V
F V V F V V V
F F V V V V V
4) [(p ∧∼q) ⇒ q ]⇔ (p ⇒ q)

p q ∼q (p ∧∼q) [(p ∧∼q) ⇒ q ] (p ⇒ q) [(p ∧∼q) ⇒ q ]⇔ (p ⇒ q)

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

5) [p ∧ (p ⇒ q) ] ⇒q

p q (p ⇒ q) [p ∧ (p ⇒ q) ] [p ∧ (p ⇒ q) ] ⇒q

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

Contradicción:
1) (p q) [(~p) (~q)]

p q ~p ~q (p q) (~p) (~q) (p q) [(~p) (~q)]

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

2) p (~p)

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

3) (p q) ⇔ ~ (p q)

p q (p q) ~ (p q) (p q) ⇔ ~ (p q)

V V V F F
V F V F F
F V V F F
F F F V F
4) (p q) ~q

p q ~q (p q) (p q) ~q

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

5) ~[p⇒(p q)]

p q (p q) [p⇒(p q)] ~[p⇒(p q)]

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