Está en la página 1de 6

Tarea 1.

Mónica Mondragón

Tarea 1. Lógica
1. Define las conectivas v, ᴧ ↑ a partir de →y ¬
P Q V ᴧ ↑ ¬(P→¬Q) (P→¬Q) ¬P→Q
V V V V F V F V
V F V F V F V V
F V V F V F V V
F F F F V F V F

2. Transforma las siguientes formulas a formas normales conjuntivas

a) ¬(P→Q) v ¬(Q→P)
¬(¬P v Q) v ¬ (¬Q v P) Conversión (α ⇒ β) ⇔ (¬α ∨ β)
(Pᴧ¬Q) v ¬ (¬Q v P) Eliminación de la ¬ en el primer término
(Pᴧ¬Q) v (Q ᴧ¬P) Eliminación de la ¬ en el segundo término
ɑ= (Pᴧ¬Q) v (Q ᴧ¬P)
¬ɑ = ¬ ((Pᴧ¬Q) v (Q ᴧ¬P)) Negación de ɑ
(¬P v Q) ᴧ (¬Q v P) Eliminación de la negación de ɑ

b) P v (Q→R)
ɑ= P v (Q→R)
¬ɑ = ¬ (P v (Q→R)) Negación de ɑ
¬P v (¬Q v R) Conversión (α ⇒ β) ⇔ (¬α ∨ β)
β = (¬Q v R)
¬P v ¬ (¬Q v R) Negación de ¬ β
¬P v (¬¬Q ᴧ ¬R) Eliminación de la negación de β
(¬P v Q) ᴧ (¬P v ¬R) Distributivita

c) (P→Q) ᴧ (R → Q)
(¬P v Q) ᴧ (¬R v P) Conversión (α ⇒ β) ⇔ (¬α ∨ β)
5. Demuestra los siguientes teoremas de deducción natural:
a) p ⇒ q, q ⇒ r, ¬r ⊢N ¬p;
1 P →Q P.
2 Q→R P.
3 ¬R P.
4 ¬Q M.T. 2, 3
5 ¬P M.T. 1
Tarea 1. Mónica Mondragón

b) ⊢N P v Q→¬(¬Pᴧ¬Q)

P v Q→¬(¬Pᴧ¬Q)
Tarea 1. Mónica Mondragón

3. Di si las siguientes fórmulas son tautologías, contradicciones o contingencias:

a) P↔(PᴧQ) Contingencia
P Q PᴧQ P↔(PᴧQ)
V V V V
V F F F
F V F V
F F F V
Tarea 1. Mónica Mondragón

b) P →P(ᴧQ) Contingencia

P Q PᴧQ P →P(ᴧQ)
V V V V
V F F F
F V F V
F F F V

c) ((P→Q) →(P v R →Q v R)) Tautología

P Q R P→Q PvR QvR P v R →Q v R ((P→Q) →(P v R →Q v R))


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

d) ¬((P→(Q→R)) ↔(PᴧQ→R)) Contingencia

P Q R Q→R P→(Q→R) PᴧQ P ᴧ Q →R ((P→(Q→R))↔(PᴧQ→R)) ¬((P→(Q→R))↔(PᴧQ→R))

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

4. Señala si los siguientes argumentos son lógicamente correctos.

a) P ᴧ R→Q ⊨ P v R →Q. Lógicamente incorrecto

P Q R PᴧR P ᴧ R→Q PvR P v R →Q


V V V V V V V
V V F F V V V
V F V V F V F
V F F F V V F
F V V F V V V
Tarea 1. Mónica Mondragón

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

b) P v R →Q ⊨ P ᴧ R →Q. Lógicamente correcto

P Q R PvR P v R→Q PᴧR P ᴧ R →Q


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

c) P↔¬Q, ¬PᴧQ ⊨ ¬Q ᴧP. Lógicamente correcto

P Q ¬P ¬Q P↔¬Q ¬PᴧQ ¬Q ᴧP
V V F F F F F
V F F V V F V
F V V F V F F
F F V V F F F

d) PᴧQ, QᴧR ⊨ PᴧR. Lógicamente correcto

P Q R PᴧQ QᴧR PᴧR


V V V V V V
V V F V F F
V F V F F V
V F F F F F
F V V F V F
F V F F F F
F F V F F F
F F F F F F
Tarea 1. Mónica Mondragón

5. Demuestra la corrección de la regla E⇔

1 Yi ↔Yj
ɑ1,… ɑn  ⊨. Yi. ↔Yj
. .
ɑ1,… ɑn  ⊨. Yi.
J Yi
ɑ1,… ɑn  ⊨. Yj.
. .
. .
m Yj
6. Demuestra la corrección de la regla E¬

Yi
.
.
.
¬¬ɑ1 ⊨ ɑ1
¬Yi
. ¬¬Yi ⊨ Yi
.
.
¬¬Yi
.
.
.
Yi