EJERCICIO: I.

Dadas las siguientes fórmulas, determina mediante diagramas semánticos:

A: ~ p → ~ q E: ~ ( p → ~ q )
B: q  r F: ~ ( p → q )
C: q → s G: ~ q  p
D: ~ s H: ~ (~ p  q )

a) Si la conjunción de A y F es implicada por H.

H .→ . A ∧ F

F ~ (~ p  q ).->.[ ~ p → ~ q.∧.~ ( p → q )]
V ~ (~ p  q ) (2)
F [~ p → ~ q.∧.~ ( p → q )] (4)
F (~ p  q ) (3)
Vp
Fq

F ~ p → ~ q (5) F~(p→q)
V~p V(p→q)
F~q
Fp Fp Vq
Vq
c) Si la disyunción de E y C equivale a la negación de la conjunción de G y F.

E ∨C ↔ ∼(G ∧ F)

F [~ ( p → ~ q ).∨. q → s].↔.∼[~ q  p.∧.~ ( p → q )] (1)

V ~ ( p → ~ q ).∨. q → s F ~ ( p → ~ q ).∨. q → s (10)

F ∼[~ q  p.∧.~ ( p → q )] (2) V ∼[~ q  p.∧.~ ( p → q )] (11)
V [~ q  p.∧.~ ( p → q )] (6) V ( p → ~ q ) (13)
V ~ q  p (5) F q → s (12)
V ~ ( p → q ) (3) F [~ q  p.∧.~ ( p → q )] (14)
F ( p → q ) (4) Vq
Vp Fs
Fq
Fp Fq
Fq Vp
V ~ q  p (8) V~qp F~qp V(p→q)
F ( p → q ) (7) F ( p → q ) (9) V q
Vp Vp Fp Fp vq
Fq Fq

Fq Vp Fq Vp

Si A implica a la disyunción de G y D.
A →(G ∨ D)

p → q . → .¿ ~ s)

F p → q . → .¿ ~ s) (1)
V p → q (4)
F ¿ ~ s) (2)
F q p (3)
 Vs
Vq
Fp

Vp Fq

DIAGRAMAS SEMANTICOS:

1. F ( p → ~ q ) → ( r  q) .  . ~ r → ~ p (1)
F ( p → ~ q ) → ( r  q) (3)
F ~ r → ~ p (2)
Fr
Vp
V ( p → ~ q )(4)
F ( r  q) (5)

Fp Fq

Vr Fr
Fq Vq

2. V [(q  r)→ p . . ( q → ~ r )  p ]  ~ ( r .→ . ~ q  p) (1)

V [(q  r)→ p . . ( q → ~ r )  p] (5)
F ( r .→ . ~ q  p) (2)
Vr
F ~ q  p (4)
Vq
Fp

V (q  r)→ p V(q→~r)p

F (q  r) Vp V(q→~r) Vp

Fq Fr Fq Fr
3. q → ~ ( ~ p  ~ r ) .. ~ q  r
F q → ~ ( ~ p  ~ r ) .. ~ q  r (1)

V q → ~ ( ~ p  ~ r ) (3) F q → ~ ( ~ p  ~ r ) (4)
F ~ q  r (2) V ~ q  r (5)
Vq Vq
Fr V ( ~ p  ~ r ) (6)

Fq F(~p~r) Fq Vr
Vp
Vr Fp Fr

4. ( q  p) → ( r  s) .→. ( r   s) → (q →  p)
F ( q  p) → ( r  s) .→. ( r   s) → (q →  p) (1)
V ( q  p) → ( r  s) (5)
F ( r   s) → (q →  p) (2)
V ( r   s) (4)
F (q →  p) (3)
Vq
Vp
Fr
Fs

F ( q  p) V ( r  s)

Fq Fp Vr Vs

5. r → q)  ( ~ q  ~ s ) . → . q → s

F (r → q)  ( ~ q  ~ s ) . → . q → s (1)
V (r → q)  ( ~ q  ~ s ) (2)
F q → s (3)
V (r → q) (5)
V ( ~ q  ~ s) (4)
Vq
Fs

Fq Fs

Fr Vq

6.   ( r → q )  ( q → p ) .→. ~ p → ~ r
 V   ( r → q )  ( q → p ) .→. ~ p → ~ r (1)
F  ( r → q )  ( q → p ) .→. ~ p → ~ r (2)
V ( r → q )  ( q → p ) (3)
F ~ p → ~ r (4)
V ( r → q ) (5)
V(q→p)
Fp
Vr

Fr Vq

Fq Vp

7.  (p  q)  (r   s)    p → (q  r) .→. ~ q → s}
F  (p  q)  (r   s)    p → (q  r) .→. ~ q → s (1)
V  (p  q)  (r   s)    p → (q  r) (4)
F ~ q → s (3)
Fq
Fs
V  (p  q)  (r   s)  (7)
F  p → (q  r) (5)
Vp
F (q  r) (6)
Fq
Fr

V (p  q) F (p  q)
V (r   s) F (r   s)
Vp Fr
Vq Vs

8. ( p  r )  ( q   s ) .  .  ( q → p )
V ( p  r )  ( q   s ) .  .  ( q → p ) (1)
V ( p  r )  ( q   s ) (3)
F ( q → p ) (2)
Vq
Fp

V(pr) V ( q   s )

Vp Fq

Vr
 9.  [ p → ( q  r )]  [ ( p  ~ q)   ( r → p )
V  [ p → ( q  r )] .. [ ( p  ~ q)   ( r → p ) (1)
F [p → ( q  r )] (2)
V [ ( p  ~ q)   ( r → p ) (4)
Fp
F ( q  r ) (3)
Fq
Fr

V ( p  ~ q) F ( p  ~ q)
F(r→p) V(r→p)
Vp
Fq Fp Vq
Vr
Fp Fr Vp

10. ( p  r )  (q → ~ p ) . → . ( p → r )  ( ~ q  p )
F ( p  r )  (q → ~ p ) . → . ( p → r )  ( ~ q  p ) (1)
V ( p  r )  (q → ~ p ) (2)
F ( p → r )  ( ~ q  p ) (3)
V ( p  r ) (5)
V (q → ~ p ) (7)
F ( p → r ) (4)
F ( ~ q  p ) (6)
Vp
Fr
Vr Vp

Vq Vp

Fq Fp Fq Fp

3. La estadística y la economía siempre trabajan juntas, dado que la economía necesita de la estadística o ésta es una
herramienta de aquella. Además, la economía necesita de la estadística o las dos forman una sola disciplina. Sin
embargo, no siempre trabajan juntas. Por ello, la estadística es una herramienta para la economía, aunque las dos
forman una sola disciplina

p: La estadística y la economía siempre trabajan juntas

q: la economía necesita de la estadística

r: la estadística es una herramienta de la economía

s: la economía y la estadística forman una sola disciplina

p, dado que q o r. Además, q o s. Sin embargo, no p. Por ello, r, aunque s.

(q ∨ r .→ . p) ∧(q ∨ s)∧∼ p . →. r ∧ s

F (q ∨ r .→ . p) ∧(q ∨ s)∧∼ p . →. r ∧ s (1)

 V (q ∨ r .→ . p) ∧( q ∨ s)∧∼ p (2)
F r∧s
V (q ∨ r .→ . p) (3)
V (q ∨ s) (5)
Fp

F q ∨ r (4) Vp
Fq
Fr

Vq Vs

Fr Fs

2. Si viajo al Cuzco en vacaciones, visitaré el Valle sagrado de los Incas o haré una excursión por los Caminos del Inca.
Pero, no es cierto que haya contemplado el Lago Titicaca o visitado el Valle sagrado de los Incas. Sin embargo,
contemplaré el Lago Titicaca ya que en vacaciones no viajaré al Cuzco. Además, llegaré a Machu Picchu si y sólo si
hago una excursión por los Caminos del Inca. De modo que, voy a llegar a Macchu Picchu.

p: viajo al Cuzco en vacaciones

q: visitaré el Valle sagrado de los Incas
r: haré una excursión por los Caminos del Inca.
s: he contemplado el Lago Titicaca
t: llegaré a Machu Picchu

Si p, q o r. Pero, no es cierto que s o q. Sin embargo, s ya que no p. Además, t si y solo si r. Demodo que, t.

( p .→ . q ∨r ) ∧∼ ( s ∨q ) ∧ ( ∼ p → s ) ∧ ( t ↔ r ) . →. t
F ( p .→ . q ∨r ) ∧∼ ( s ∨q ) ∧ ( ∼ p → s ) ∧ ( t ↔ r ) . →. t (1)
V ( p .→ . q ∨r ) ∧∼ ( s ∨q ) ∧ ( ∼ p → s ) ∧ ( t ↔ r ) (2)
Ft
V ( p .→ . q ∨r ) (5)
F ( s ∨q ) (3)
V ( ∼ p → s ) (4)
V (t ↔ r )
Fs
Fq

Vs Vp

Fp V q∨r

Vq Vr

Vt Ft
Vr Fr