Ejercicios DN

Cecilia Sanseverino | Prohibida su impresión y reproducción no autorizada
XII. Pruebe la validez de los siguientes razonamientos utilizando las reglas básicas de
la Lógica de Enunciados.
Ejemplo (a):
(p → q)  s , (q  p) → r – (p → r)  s
1. (p → q)  s
2. (q  p) → r
3. p → q (E) 1
4. p
5. q (E→) 3, 4
6. q  p (I) 5, 4
7. r (E→) 2, 6
8. r DN 7
9. p → r (I→) 4 – 8
10. (p → r)  s (I) 9
Otra forma de probar la validez del mismo razonamiento:

 (p → q)  s
 (q  p) → r
 s () 
 (p → r)  s () 
Ejercicios propuestos:
1. p → q, p – q r
1) p → q Pr.
2) p Pr.
3) q El. →  
4) q  r In.  
2. p → q, p, q → r – sr
1) p → q Pr.
2) p Pr.
3) q → r Pr. / sr
4) q El. →  
5) r El. →  
6) s  r In.  
38
3. p  q, (p  q) → t – t
1) p  q Pr.
2) (p  q) → t Pr. / t
3) p El.  
4) p  q In.  
5) t El. →  
Opc. 2:
1) p  q Pr.
2) (p  q) → t Pr. – t
3) q El.  
4) p  q In.  
5) t El. →  
4. (p  q) → r , r → s – (p  q) → s
1) (p  q) → r Pr.
2) r → s Pr. / (p  q) → s
3) pq Supuesto (→)
4) r El. →  
5) s El. →  
6) (p  q) → s In. →  
5. p → (q  r), (q  r) → s – p→s
1) p → (q  r) Pr.
2) (q  r) → s Pr. / p → s
3) p Supuesto (→)
4) q  r El. →  
5) q El.  
6) qr In.  
7) s El. →  
8) p → s In. → 3, 7
39
6. p → q, (s  q) → r – (p  t) → r
1) p → q Pr.
2) (s  q) → r Pr. / (p  t) → r
3) p  t Supuesto (→)
4) p El.  
5) q El. →  
6) sq In.  5
7) r El. →  
8) (p  t) → r In. →  
7. p → q , r → s , (s  q) → t – (p  r) → t
1) p → q Pr.
2) r → s Pr.
3) (s  q) → t Pr. / (p  r) → t
4) pr Supuesto (→)
5) p El.  
6) q El. →  
7) r El.  
8) s El. →  
9) sq In.   
10) t El. →  
11) (p  r) → t In. → 4, 10
Ejemplo (b):
p → (q  r), q → r , r → s – p→s
1. p → (q  r)
2. q→r
3. r→s
4. p
5. qr (E→) 1, 4
6. q
7. r (E→) 2, 6
8. s (E→)3, 7
9. r
10. s (E→) 3, 9
11. s (E). 5, 6-8, 9-10
12. p → s (I→) 4- 11
40
8. p → q , r → s , p r – q s
1) p → q Pr.
2) r → s Pr.
3) p  r Pr. / q  s
4) p Supuesto ()
5) q El. →  
6) q s In.  
7) r Supuesto ()
8) s El. →  
9) q s In.  8
10) q  s El.   4- y 7-9
9. p → q , p  s , s → t – qt
1) p → q Pr.
2) p  s Pr.
3) s → t Pr. / q  t
4) p Supuesto ()
5) q El. →  
6) qt In.  5
7) s Supuesto ()
8) t El. →  
9) t Doble Negacion 8
10) qt In.  9
11) q  t El.  2, 4-6 y 7-10
10. p → s , q  (t  s), s → r – q  (p → r)

1) p → s Pr.
2) q  (t  s) Pr.
3) s → r Pr. / q  (p → r)
4) q Supuesto ()
5) q  (p → r) In.  
6) t  s Supuesto ()
7) p Supuesto (→)
8) s El.  
9) r El. →  
10) p → r In. →
11) q  (p → r) In.  10 (continua hoja siguiente)
41
12) q  (p → r) El.  2, 4-5 y 6-11
Opcion 2:
10. 𝑝 → ¬𝑠, 𝑞 ∨ (𝑡 ∧ ¬𝑠), ¬𝑠 → ¬𝑟 ⊢ 𝑞 ∨ (𝑝 → ¬𝑟)
1) 𝑝 → ¬𝑠 premisa
2) 𝑞 ∨ (𝑡 ∧ ¬𝑠) premisa
3) ¬s→¬r premisa / 𝑞 ∨ (𝑝 → ¬𝑟)
4) p supuesto →
5) ¬s eliminacion → 1, 4
6) ¬r eliminacion → 3,5
7) 𝑝 → ¬𝑟 introduccion → 4, 6
8) 𝑞 ∨ (𝑝 → ¬𝑟) introduccion v 7
Ejemplo (c):
(p  q) → (r  s), r – q
1. (p  q) → (r  s)
2. r
3. q
4. pq (I) 3
5. rs (E→) 1, 4
6. r (E) 5
7. ⊥ (E) 6, 2
8. q (I). 3 – 7
11. p → q , r → q – (p  r)
1) p → q Pr.
2) r → q Pr. / (p  r)
3) pr Supuesto (¬)
4) p El.  
5) q El. →  
6) r El.  
7) q El. →  
8) q  q In.  5, 7 (Absurdo)
9) (p  r) In. ¬ 3, 3-8
42
12. p → q , r → p , q – r
1) p → q Pr.
2) r → p Pr.
3) q Pr. / r
4) r Supuesto (¬)
5) p El. →  
6) q El. →  
7) q  q In.  3, 6 (Absurdo)
8) r In. ¬ 4, 4-7
13. (p  q) → (r → s), q  s – p → r
1) (p  q) → (r → s) Pr.
2) q  s Pr. / p → r
3) p Supuesto (→)
4) r Supuesto (¬)
5) q El.  
6) pq In.   
7) r → s El. →  
8) s El. →  
9) s El.  
10) s  s In.  8, 9 (Absurdo)
11) r In. ¬ 4, 4-10
12) p → r In. → 3, 11
Opc. 2:
1) (p v q) → (r → ¬s) premisa
2) q ^ s premisa / p → ¬r
3) p Sup. Imp. / ¬r
4) r Sup. Int. Neg.
5) s El. conj. 2
6) pVq Int. Disy. 3
7) r → ¬s El. Imp. 1, 7
8) ¬s El. Imp. 7, 4
9) ¬s ^ s Int. Conj. 5, 8 Absurdo
10) ¬r Int. Neg. 4
11) p → ¬r Int. Imp. 3, 10
43
14. p → q , q → r – r → ¬p
1) p → q Pr.
2) q → r Pr. / r → ¬p
3) r Supuesto (→)
4) p Supuesto (¬)
5) q El. →  
6) r El. →  
7) r  r In.  3, 6 (Absurdo)
8) p In. ¬ 4, 4-7
9) r → p In. → 3, 8
15. p → q , q  r → s – r → (p → s)
1) p → q Pr.
2) q  r → s Pr. / r → (p → s)
3) r Supuesto (→)
4) p Supuesto (→)
5) q El. →  
6) qr In.   
7) s El. →  
8) p→s In. →  
9) r → (p → s) In. →  
Ejemplo (d):
p → (q  r), q , r – p
1. p → (q  r)
2. q
3. r
4. p
5. (q  r) (E→) 1 y 4
6. q
7. ⊥ (E¬)2 y 6
8. r
9. ⊥ (E¬) 3 y 8
10. ⊥ (E) 5, 6-7 y 8 -9.
11. ¬p (I¬) 4-10
44
16. p, p → (q  r), q – r
1) p Pr.
2) p → (q  r) Pr.
3) q Pr. / r
4) r Supuesto (¬)
5) qr El. → 2, 1
6) q Supuesto ()
7) ⊥ In.     q  q
8) r Supuesto ()
9) ⊥ El. →    r  r
10) ⊥ El.  , 6-7 y 8-9
11) ¬¬ r In. ¬ 4, 4-10
12) r DN 11
17. (p → q)  (r → s), ¬q  ¬s , r |– (p → ¬t)

1) (p → q)  (r → s) Pr.
2) ¬q  ¬s Pr.
3) r Pr. / (p → ¬t)
4) p Supuesto (→)
5) t Supuesto (¬)
6) p→q El.  
7) q El. → 6, 4
8) ¬q Supuesto ()
9) ⊥ In.     q  q
10) ¬s Supuesto ()
11) r→s El.  1
12) s El. →  
13) ⊥ In.     s  s
14) ⊥ El.  , 8-9 y 10-13
15) ¬t In. ¬ 5, 5-14
16) p → ¬t In. →  
45
XIII. Demuestre los siguientes teoremas utilizando las reglas básicas de la Lógica de
Enunciados.
Ejemplos:
(a) – (p → p) → p
1. p → p
2. p
3. p (E→) 1, 2
4. ⊥ (E) 2, 3
5. p (I) 2 - 4
6. (p → p) → p (I→) 1 - 5
(b) |– ((p  q) → (r → s)) → ((q  s) → (p → r))

1. (p  q) → (r → s)
2. qs
3. p
4. r
5. q (E) 2
6. pq (I) 3 y 5
7. r → s (E→) 1 y 6
8. ¬s (E→) 7 y 4
9. s (E) 2
10. ⊥ (E¬) 8 y 9
11. ¬r (I¬) 4-10.
12. p → r (I→) 3-11.
13. (q  s) → (p → r) (I→) 2-12.
14. ((p  q) → (r → s)) → ((q  s) → (p → r)) (I→)) 1-13
1. – q → (p → q)
1) q Supuesto
2) p Supuesto
3) q Rep. 1
4) p →q In. → 2, 3
5) q → (p → q) In. → 1, 4
46
2. – (p → r) → ((q → r) → ((p  q) → r))

1) p→r Supuesto →
2) q→r Supuesto →
3) pq Supuesto →
4) p Supuesto 
5) r El. →  
6) q Supuesto 
7) r El. →  
8) r El.  3, 4-5 y 6-7
9) (p  q) → r In. →  
10) (q → r) → ((p  q) → r) In. →  
11) (p → r) → ((q → r) → ((p  q) → r)) Int. →  
3. – ((p → r)  (q → s)) → ((p  q) → (r  s))

1) (p → r)  (q → s) Supuesto →
2) pq Supuesto →
3) p Supuesto 
4) p→r El.  1
5) r El. →  
6) rs In.  
7) q Supuesto 
8) q→s El.  1
9) s El. →  
10) rs In.  
11) rs El.  2, 3-6 y 7-10
12) (p  q) → (r  s) In. → 2, 11
13) ((p → r)  (q → s)) → ((p  q) → (r  s)) In. → 1, 12
47
4. – (p → q) → ((r → s) → ((p  r) → (q  s)))

1) p→q Supuesto
2) r→s Supuesto
3) pr Supuesto
4) p El.  3
5) q El. → 1, 4
6) r El.  3
7) s El. → 2, 6
8) qs In.  5, 7
9) (p  r) → (q  s) In. → 3, 8
10) ((r → s) → ((p  r) → (q  s))) In. → 2, 9
11) (p → q) → ((r → s) → ((p  r) → (q  s))) In. → 1, 10
5. – ((p → r)  (q → s)) → ((p  q) → (r  s))

1) (p → r)  (q → s) Supuesto
2) pq Supuesto
3) p El.  2
4) p→r El.  1
5) r El. → 4, 3
6) q El.  2
7) q→s El.  1
8) s El. → 7, 6
9) rs In.  5, 8
10) (p  q) → (r  s) In. → 2, 9
11) ((p → r)  (q → s)) → ((p  q) → (r  s)) In. 1, 10
6. – (p → q) → ((r → p) → (q → r))

1) q Supuesto
2) p Supuesto
3) q Rep. 1
4) p →q In. → 2, 3
5) q → (p → q) In. → 1, 4
7. – (p → q) → ((q → r) → (r → p))

1) q Supuesto
2) p Supuesto
3) q Rep. 1
4) p →q In. → 2, 3
5) q → (p → q) In. → 1, 4
48
8. – (p  q) → (((p  q) → t) → (p  t))
1) q Supuesto
2) p Supuesto
3) q Rep. 1
4) p →q In. → 2, 3
5) q → (p → q) In. → 1, 4
9. – (p  q) → ((p → (r  s)) → ((q → (s  t)) → s))

1) q Supuesto
2) p Supuesto
3) q Rep. 1
4) p →q In. → 2, 3
5) q → (p → q) In. → 1, 4
49
XVII. Pruebe la validez de los siguientes razonamientos utilizando las reglas básicas de
la Lógica de Predicados de Primer Orden.
Ejemplo (a): x (Px → Qx), y (Ry → Py) – z (Rz → Qz)
Prueba formal de validez:
1. x (Px → Qx)
2. y (Ry → Py)
3. Pb → Qb (E) 1
4. Rb → Pb (E) 2
5. Rb
6. Pb (E→) 4, 5
7. Qb (E→) 3, 6
8. Rb → Qb (I→) 4, 3
9. z (Rz → Qz) () 5
1. x Px  x Qx – x (Px  Qx)
1) x Px  x Qx Premisa.
2) x Px El.  
3) Pa El.  
4) x Qx El.  
5) Qa El.  
6) Pa  Qa In.   
7) x (Px  Qx) In.  6, Restr. Ok.
2. x (Px → Qx), y Qy – x Px

1) x (Px → Qx) Pr.
2) y Qy Pr.
3) Pa Supuesto (¬)
4) Pa → Qa El.  
5) Qa El. →  
6) Qa El.  
7) Qa  Qa / ⊥ In.  5, 6 (Absurdo)
8) ¬Pa In. ¬ 3. 3-7
9) x Px In.  8, Restr. Ok
3. y Py , Pa → x Qx – z Qz
1) y Py Pr.
2) Pa → x Qx Pr.
3) Pa El.  
4) x Qx El. →  
5) Qb El.  4
6) z Qz In.  , Restr. Ok
56
4. z Pz  x Qx – y (Py  Qy)
1) z Pz  x Qx Pr.
2) z Pz Supuesto ()
3) Pa El.  
4) Pa  Qa In.  
5) x Qx Supuesto ()
6) Qa El.  
7) Pa  Qa In.  
8) Pa  Qa El.  1, 2-4 y 5-7
9) y (Py  Qy) In.  8, Restr. Ok
5. y (Qy → Ry), x (Px → Qx) – z (Pz → Rz)

1) y (Qy → Ry) Pr.
2) x (Px → Qx) Pr.
3) Pa Supuesto (→)
4) Qa → Ra El.  
5) Pa → Qa El.  
6) Qa El. →  
7) Ra El. →  
8) Pa → Ra In. → 3, 7
9) z (Pz → Rz) In.  8, Restr. Ok
6. y (Py → Qy), z Qz – x Px

1) y (Py → Qy) Pr.
2) z Qz Pr.
3) Pa Supuesto (¬)
4) Pa → Qa El.  
5) Qa El. →  
6) z Qz In.  5
7) z Qz  z Qz / ⊥ In.  2. 6 (Absurdo)
8) Pa In. ¬ 3, 3-7
9) x Px In.  8, Restr. Ok
7. x (Rx →Px), z (Pz → Sz), y (Ry  Qy → Sy) – x (Rx → (Px → Qx))

1) x (Rx →Px) Pr.
2) z (Pz → Sz) Pr.
3) y (Ry  Qy → Sy) Pr.
4) Ra Supuesto (→)
5) Pa → Qa Supuesto ()
6) Ra →Pa El.  
7) Pa → Sa El.  
8) (Ra  Qa )→ Sa El.  
9) Pa El. →  
10) Qa El. →  
11) Ra  Qa In.  4. 10
12) Sa El. →  
13) Sa El. →  
14) Sa  Sa / ⊥ In.  12. 13 (Absurdo)
15) (Pa → Qa) In.  5, 5-14
16) Ra → (Pa → Qa) In. →  
17) x(Rx → (Px → Qx)) In.  16, Restr. Ok
57
Ejemplo (b): x (Px  Qx) – y Py  z Qz

1. x (Px  Qx)
2. Pa  Qa
3. Pa (E) 2
4. Qa (E) 2
5. y Py (I) 3
6. z Qz (I) 4
7. y Py  z Qz (I) 5, 6
8. y Py  z Qz (E) 1, 2 - 7
8. x (Px → Qx), Qa – x Px
1) x (Px → Qx) Pr.
2) Qa Pr.
3) Pa Supuesto (¬)
4) Pa → Qa El.  
5) Qa El. →  
6) Qa  Qa / ⊥ In.  2. 5 (Absurdo)
7) Pa In. ¬ 3, 3-6
8) x Px In.  7
9. y (Py  Qy), z (Pz → Rz) – x (Rx  Qx)

1) y (Py  Qy) Pr.
2) z (Pz → Rz) Pr.
3) Pa  Qa Supuesto ()
4) Pa → Ra El.  
5) Pa El.  3
6) Ra El. →  
7) Qa El.  3
8) Ra  Qa In.  6. 7
9) x (Rx  Qx) In.  8
10) x (Rx  Qx) El.  1, 3-9. Restr. Ok.
10. x ((Px  Qx )  Rx), y (Py → Sy) – z (Pz  Sz)

1) x ((Px  Qx )  Rx) Pr.
2) y (Py → Sy) Pr.
3) (Pa  Qa)  Ra Supuesto ()
4) Pa  Qa El.  
5) Pa El.  4
6) Pa → Sa In.  2
7) Sa In.  8
8) Pa  Sa In.  5, 7
9) z (Pz  Sz) In.  8
10) z (Pz  Sz) El.  1, 3-9. Restr. Ok.
58
11. x (Px  Qx) – y Py  z Qz

1) x (Px  Qx) Pr.
2) Pa  Qa Supuesto ()
3) Pa Supuesto ()
4) y Py In.  3
5) y Py  z Qz In.  
6) Qa Supuesto ()
7) z Qz In.  6
8) y Py  z Qz In.  
9) y Py  z Qz El.  2, 3-5 y 6-8
10) y Py  z Qz El.  1, 2-9. Restr. Ok.
12. y (Py → (Qy  Ry)), z (Sz  Rz), x (Qx → Tx) – x (Px → Tx)
1) y (Py → (Qy  Ry)) Pr.
2) z (Sz  Rz) Pr.
3) x (Qx → Tx) Pr.
4) Sa  Ra Supuesto ()
6) Pa → (Qa  Ra) El.  
7) Qa → Ta El.  
8) Qa  Ra El. →  
10) Ta El. →  
11) Ra Supuesto ()
12) Ra El.  
13) Ra  Ra / ⊥ In.  11, 12 (Absurdo)
14) Ta ExFalsum
15) Ta El.  8, 9-10 y 11-14
16) Pa → Ta In. → 5, 15
17) x (Px → Tx) In.  16
18) x (Px → Tx) El.  1, 4-17. Restr. Ok.
13. x(Rx → Px)  Qa, x Px→ y Qy – x (Px  Rx)

1) x(Rx → Px)  Qa Pr.
2) x Px→ y Qy Pr.
3) x (Px  Rx) Supuesto ()
4) Pb  Rb Supuesto ()
5) Pb Supuesto ()
6) x Px In.  5
7) Rb Supuesto ()
8) x(Rx → Px) El.  1
9) Rb → Pb El.  
10) Pb El. →  
11) x Px In.  10
12) x Px El.  4, 5-6 y 7-11
13) x Px El.  1, 3-9. Restr. Ok.
14) y Qy El. → 2, 13
15) Qa El.  14
16) Qa El.  1
17) Qa  Qa / ⊥ In.  15, 16 (Absurdo)
18) ¬x (Px  Rx) In. ¬ 3, 3-17
59
XVIII. Pruebe la validez de los siguientes razonamientos utilizando tanto las reglas
básicas como las derivadas de la Lógica de Predicados de Primer Orden.
Ejemplo (a): x (Px → Qx), y (Ry → Py) – z (Rz → Qz)

1. x (Px → Qx)
2. y(Ry → Py)
3. Pb → Qb () 
4. Rb → Pb () 
5. Rb → Qb SH  
6. z(Rz → Qz) () 
1. x (Rx → Qx), x (Px → Qx) – x (Px → Rx)
1) x (Rx → Qx) Pr.
2) x (Px → Qx) Pr.
3) x (Px → Qx) Equivalencia x   xA
5) Ra Supuesto (¬)
6) Ra → Qa El. →  
7) ¬Qa El.  4
8) Pa → Qa El.  3
9) Qa El. → 8, 4
10) Qa  Qa  ⊥ In.    (Absurdo)
11) Ra In. ¬ 4, 4-10
12) Pa → Ra In. → 3, 11
13) x (Px → Rx) In.  12
 x ((Px  Qx) →Rx), Pa – y Ry

1) x ((Px  Qx) → Rx) Premisa
2) Pa Premisa
3) ((Pa  Qa) →Ra) Sup. (¬)
4) x((Px  Qx) →Rx) In.  3
5) ⊥ In.  1, 4
6) ¬¬((Pa  Qa) → Ra) In. ¬ 3
7) (Pa  Qa) → Ra Dob. Neg
8) Pa  Qa In.  2
9) Ra El. → 7, 8
10) y Ry In.  9
60
3. y (Qy  Ry), z (Pz  Qz) – x (Px → Rx)

1) y (Qy  Ry) Premisa
2) z (Pz  Qz) Premisa
3) x (Px → Rx) Sup. (¬)
4) Pa  Qa Sup. ()
5) Pa → Ra El.  3
6) Pa El.  4
7) ¬Ra El. → 5, 6
8) Qa  Ra El.  1
9) Qa El.  4
10) Ra El.  8, 9
11) ⊥ In.  7, 10
12) ⊥ El.  2, 4-11
13) x (Px → Rx) In. ¬ 3
4. x (Px  Rx), y (Py  Qy) – x Rx

1) x (Px  Rx) Premisa
2) y (Py  Qy) Premisa
3) Pa  Qa Supuesto ()
4) Ra Supuesto (¬)
5) Pa  Ra El.  1
6) Pa El.  3
7) Ra El.  5, 6
8) ⊥ In.  4, 7
9) ¬Ra In. ¬ 4
10) x Rx In.  9
11) x Rx El.  2, 3-10, Rest. Ok.
Opción 2:
1) x (Px  Rx) Premisa
2) y (Py  Qy) Premisa
4) Pa  Ra El.  1
5) Pa El.  3
6) Ra El.  5, 6
7) x Rx In.  9
8) x Rx El.  2, 3-10, Rest. Ok.
61
5. x (Px  Qx → Rx), z (Qz  Sz) – x (Px  Rx)

1) x(Px  (Qx → Rx)) Premisa
2) z(Qz  Sz) Premisa
3) Qa  Sa Supuesto ()
4) Qa El.  3
5) Pa  (Qa → Ra) El.  1
6) Qa → Ra El.  5
7) Ra El. → 6, 4
8) Pa  Ra Int.  
9) x (Px  Rx) Int.  8
10) x (Px  Rx) El.  2, 3-9
6. ¬z (Pz → ¬Qz) – ¬xRx  xQx

1) ¬z (Pz → ¬Qz) Premisa
2) z¬(Pz → ¬Qz) Eq. ¬   ¬
3) z(Pz  Qz) Eq. →   RD
4) Pa  Qa Sup. ()
5) Qa El.  
6) xQx In.  5
7) xQx El.  3, 4-6
8) ¬xRx  xQx In.  7
62
Sin equivalencia:
1) ¬z (Pz → ¬Qz) Premisa
2) ¬z¬(Pz→ ¬Qz) Supuesto (¬)
3) ¬(Pa→ ¬Qa) Supuesto (¬)
4) z¬(Pz→ ¬Qz) Int.  3 “a” no está en
5) ⊥ Int.  2, 4 premisas/conclusión y el
supuesto anterior que lo
6) ¬¬(Pa→ ¬Qa) Int. ¬ 3 usaba, en esta instancia está
7) Pa→ ¬Qa Dob. Neg. 6 cerrado.
8) z(Pz → ¬Qz) Int.  7 Restr. Ok

9) ⊥ Int.  1, 8
10) ¬¬z¬(Pz→ ¬Qz) Int. ¬ 2
11) z¬(Pz → ¬Qz) Dob. Neg. 10
12) ¬(Pa → ¬Qa) Supuesto ()
13) ¬(Pa  Qa) Supuesto (¬)
15) Qa Supuesto (¬)
16) Pa  Qa Int.   
17) ⊥ Int.   
18) ¬Qa Int. ¬ 15
19) Pa → ¬Qa Int. → 14, 18
20) ⊥ Int.   
21) ¬¬(Pa  Qa) Int. ¬ 13
22) Pa  Qa Dob. Neg. 21
23) Qa El.  
24) xQx In.  23
25) xQx El.  11, 12-24. Rest. Ok.
26) ¬xRx  xQx Int.  25
63
7. ¬x ¬(¬Px → Qx) – z ¬Pz → x Qx

1) ¬x ¬(¬Px → Qx) Premisa
2) z ¬Pz Supuesto (→)
3) ¬x(¬Px→ Qx) Supuesto (¬)
4) ¬Pa→ Qa Supuesto (¬) “a” no está en
5) x(¬Px→ Qx) Int.  4 premisas/conclusión y el
supuesto anterior que lo
6) ⊥ Int. 3, 5 usaba, en esta instancia está
7) ¬(¬Pa→ Qa) Int. ¬ 4 cerrado.
8) x¬(¬Px → Qx) Int.  7. Rest. Ok.

9) ⊥ Int.  1, 8
10) ¬¬x(¬Px→ Qx) Int. ¬ 3
11) x(¬Px→ Qx) Dob. Neg.
12) ¬(¬Pa→ Qa) Supuesto ()
13) ¬Pa El.  
14) Qa El. → 12, 13
15) xQx Int.  14
16) xQx El.  11, 12-15. Rest. Ok
17) z ¬Pz → x Qx Int. → 2, 16
64
8. y(¬Qy → x Rxy), z(Tz → y(Sy  ¬Rzy) ) – (¬x(Sx  Qx) →¬yTy)

1) y(¬Qy → x Rxy) Premisa
2) z(Tz → y(Sy  ¬Rzy)) Premisa
3) ¬x(Sx  Qx) Supuesto (→)
4) yTy Supuesto (¬)
5) Ta Supuesto ()
6) ¬Qb → x Rxb El.  1
7) Ta → y(Sy  ¬Ray) El.  2
8) y(Sy  ¬Ray) El. →  
9) Sb  Qb Supuesto ()
10) x(Sx  Qx) Int.  9
11) ⊥ Int.  3, 10
12) ¬(Sb  Qb) Int. ¬ 9
13) Sb → ¬Qb Eq.   →
14) Sb  ¬Rab Supuesto ()
15) Sb El.  
16) ¬Qb El. → 13, 15
17) x Rxb El. →  
18) Rab El.  17
19) ¬Rab El.  
20) ⊥ El.   
21) ⊥ El.   −
22) ⊥ El.   −
23) ¬yTy Int. ¬ 4
24) ¬x(Sx  Qx) →¬yTy Int. → 3. 23
 xPx → (Qa  Ra) – (Qa  xPx) → Ra

1) xPx → (Qa  Ra) Premisa
2) Qa  xPx Supuesto
3) xPx El.  2
4) Qa  Ra El. → 1, 3
6) ¬Qa El.  2
7) ⊥ Int.  5, 6
8) Ra Ex-Falsum
10) Ra Repetición 9
11) Ra El.   5-8 y 9-10
65
12) (Qa  xPx) → Ra Int. → 2, 11
 y(Pya → Qyb) – yPya → x(Pxa   Qxb)

1) y(Pya → Qyb) Premisa
2) yPya Supuesto (→)
3) x(Pxa  Qxb) Supuesto (¬)
4) Pca  Qcb Supuesto ()
5) Pca → Qcb El.  
6) Pca El.  4
7) Qcb El. → 5, 6
8) Qcb El.  4
9) ⊥ Int.  7, 8
10) ⊥ El.  3, 4-9
11) ¬x(Pxa  Qxb) Int. ¬ 3
12) yPya → x(Pxa   Qxb) Int. → 2, 11
66
XIX. Demuestre los siguientes teoremas utilizando las reglas básicas de la Lógica de
Predicados de Primer Orden
1. |– ∀x (Px → Qx) → ∃x ¬(Px ∧ ¬Qx)
1) ∀x (Px → Qx) Supuesto (→)
2) Pa ∧ ¬Qa Supuesto (¬)
3) Pa → Qa El. ∀ 1
4) Pa El. ∧ 2
5) Qa El. → 3, 4
6) ¬Qa El. ∧ 2
7) Qa ∧ ¬Qa / ⊥ In. ∧ 5, 6
8) ¬(Pa ∧ ¬Qa) In. ¬ 2, 2-7
9) ∃x ¬(Px ∧ ¬Qx) In. ∃ 8
10) ∀x (Px → Qx) → ∃x ¬(Px ∧ ¬Qx) In. → 1, 9
2. |– ∀x Px → ∃x Px
1) ∀x Px Supuesto (→)
2) Pa El. ∀ 1
3) ∃x Px In. ∃ 2
4) ∀x Px → ∃x Px In. → 1, 3
3. |– ∀x Px ↔ ∀y Py
1) ∀x Px Supuesto (→)
2) Pa El. ∀ 1
3) ∀y Py In. ∀ 2. Restr. Ok.
4) ∀x Px → ∀y Py In. → 1, 3
5) ∀y Py Supuesto (→)
6) Pa El. ∀ 5
7) ∀x Px In. ∀ 6. Restr. Ok.
8) ∀y Py → ∀x Px In. → 5, 7
9) ∀x Px ↔ ∀y Py In. ↔ 4, 8
4. |– ∃x Px ↔ ∃y Py
1) ∃x Px Supuesto (→)
2) Pa Supuesto (∃)
3) ∃y Py In. ∃ 2
4) ∃y Py El. ∃ 1, 2-3. Restr. Ok.
5) ∃x Px → ∃y Py In. → 1, 4
6) ∃y Py Supuesto (→)
8) ∃x Px In. ∃ 7
9) ∃x Px El. ∃ 6, 7-8. Restr. Ok.
10) ∃x Px → ∃y Py In. → 6, 9
11) ∃x Px ↔ ∃y Py In. ↔ 5, 10
67
5. |– (∀z Pz ∨ ∀yQy) → ∀x (Px ∨ Qx)

1) ∀z Pz ∨ ∀yQy Supuesto (→)
2) ∀z Pz Supuesto (∨)
3) Pa El. ∀ 2
4) Pa ∨ Qa In. ∨ 3
5) ∀yQy Supuesto (∨)
6) Qa El. ∀ 2
7) Pa ∨ Qa In. ∨ 6
8) Pa ∨ Qa El. ∨ 1, 2-4 y 5-7
9) ∀x (Px ∨ Qx) In. ∀ 8. Rest. Ok.
10) (∀z Pz ∨ ∀yQy) → ∀x (Px ∨ Qx) In. → 1, 9
6. |– ∀x ((Px ∧ Qx) → Rx) → (∃y Py → (∀x Qx → ∃x Rx))

1) ∀x ((Px ∧ Qx) → Rx) Supuesto (→)
2) ∃y Py Supuesto (→)
4) ∀x Qx Supuesto (→)
5) (Pa ∧ Qa) → Ra El. ∀ 1
6) Qa El. ∀ 4
7) Pa ∧ Qa El. ∧ 3, 6
8) Ra El. → 5, 7
9) ∃x Rx In. ∃ 8
10) ∀x Qx → ∃x Rx In. → 4, 9
11) ∀x Qx → ∃x Rx El. ∃ 2, 3-10. Rest. Ok.
12) ∃y Py → (∀x Qx → ∃x Rx) In. → 2, 11
13) ∀x (Px ∧ Qx → Rx) → (∃y Py → (∀x Qx → ∃x Rx)) In. → 1, 12
Opción 2:
6. |– ∀𝑥((𝑃𝑥 ∧ 𝑄𝑥) → 𝑅𝑥) → (∃𝑦𝑃𝑦 → (∀𝑥 𝑄𝑥 → ∃𝑥𝑅𝑥))
1. ∀𝑥((𝑃𝑥 ∧ 𝑄𝑥) → 𝑅𝑥) Supuesto (I→)
2. ∃𝑦𝑃𝑦 Supuesto (I→)
3. ∀𝑥𝑄𝑥 Supuesto (I→)
4. 𝑃𝑏 Supuesto (E∃)
5. (𝑃𝑏 ∧ 𝑄𝑏) → 𝑅𝑏 El. ∀ 1
6. 𝑄𝑏 El. ∀ 3
7. 𝑃𝑏 ∧ 𝑄𝑏 In. ∧ 4, 6
8. 𝑅𝑏 El. → 5, 7
9. ∃𝑥𝑅𝑥 In. ∃ 8
10. ∃𝑥𝑅𝑥 El. ∃ 2, 4-9. Rest.: Ok
11. ∀𝑥 𝑄𝑥 → ∃𝑥𝑅𝑥 In. → 3, 10
12. ∃𝑦𝑃𝑦 → (∀𝑥 𝑄𝑥 → ∃𝑥𝑅𝑥) In. → 2, 11
13. ∀𝑥((𝑃𝑥 ∧ 𝑄𝑥) → 𝑅𝑥) → (∃𝑦𝑃𝑦 → (∀𝑥 𝑄𝑥 → ∃𝑥𝑅𝑥)) In. → 1, 12
68
7. |– ∃x (Px → Qx ∨ Rx) → (∀z Pz → ∃x (¬Qx → Rx))

1) ∃x (Px → Qx ∨ Rx) Supuesto (→)
2) ∀z Pz Supuesto (→)
3) Pa → Qa ∨ Ra Supuesto (∃)
4) ¬Qa Supuesto (→)
5) Pa El. ∀ 2
6) Qa ∨ Ra El. → 3, 5
7) Qa Supuesto (∨)
8) Qa ∧ ¬Qa / ⊥ In. ∧ 4, 7 (Absurdo)
9) Ra ExFalsum
10) Ra Supuesto (∨)
11) Ra Rep. 10
12) Ra El. ∨ 6, 7-9 y 10-11
13) ¬Qa → Ra In. → 4, 12
14) ∃x (¬Qx → Rx) In. ∃ 13
15) ∃x (¬Qx → Rx) El. ∃ 1, 3-14. Restr. Ok
16) ∀z Pz → ∃x (¬Qx → Rx) In. → 2, 15
17) ∃x (Px → Qx ∨ Rx) → (∀z Pz → ∃x (¬Qx → Rx)) In. → 1, 16
Opcion 2 (Cambio la posición del Supuesto existencial del paso 3 al 2):

7. |– ∃x (Px → Qx ∨ Rx) → (∀z Pz → ∃x (¬Qx → Rx))
1) ∃x (Px → Qx ∨ Rx) Supuesto (→)
2) Pa → Qa ∨ Ra Supuesto (∃)
4) ¬Qa Supuesto (→)
5) Pa El. ∀ 2
6) Qa ∨ Ra El. → 3, 5
7) Qa Supuesto (∨)
8) Qa ∧ ¬Qa / ⊥ In. ∧ 4, 7 (Absurdo)
9) Ra ExFalsum
10) Ra Supuesto (∨)
11) Ra Rep. 10
12) Ra El. ∨ 6, 7-9 y 10-11
13) ¬Qa → Ra In. → 4, 12
14) ∃x (¬Qx → Rx) In. ∃ 13
15) ∀z Pz → ∃x (¬Qx → Rx) In. → 3, 14
16) ∀z Pz → ∃x (¬Qx → Rx) El. ∃ 1, 2-15. Restr. Ok
17) ∃x (Px → Qx ∨ Rx) → (∀z Pz → ∃x (¬Qx → Rx)) In. → 1, 16
8. |– ∃x (Px ∧ Qx) → (∃z Pz ∧ ∃y Qy)

1) ∃x (Px ∧ Qx) Supuesto (→)
2) Pa ∧ Qa Supuesto (∃)
3) Pa El. ∧ 2
4) ∃z Pz In. ∃ 3
5) Qa El. ∀ 2
6) ∃y Qy In. ∃ 5
7) ∃z Pz ∧ ∃y Qy In. ∧ 4, 6
8) ∃z Pz ∧ ∃y Qy El. ∃ 1, 2-7. Restr. Ok.
9) ∃x (Px ∧ Qx) → (∃z Pz ∧ ∃y Qy) In. → 1, 8
69
9. |– (∃z Pz ∧ ∀x Qx) → ∃y (Py ∧ Qy)

1) ∃z Pz ∧ ∀x Qx Supuesto (→)
2) ∃z Pz El. ∧ 1
4) ∀x Qx El. ∧ 1
5) Qa El. ∀ 4
6) Pa ∧ Qa In. ∧ 3, 5
7) ∃y (Py ∧ Qy) In. ∃ 6
8) ∃y (Py ∧ Qy) El. ∃ 2, 3-7. Restr. Ok
9) (∃z Pz ∧ ∀x Qx) → ∃y (Py ∧ Qy) In. → 1, 8
10. |– ∀z (Pz → Qz) → (∀y Py → ∀x Qx)

1) ∀z (Pz → Qz) Supuesto (→)
2) ∀y Py Supuesto (→)
3) Pa El. ∀ 2
4) Pa → Qa El. ∀ 1
5) Qa El. → 4, 3
6) ∀x Qx In. ∀ 5. Rest. Ok
7) ∀y Py → ∀x Qx In. → 2, 6
8) ∀z (Pz → Qz) → (∀y Py → ∀x Qx) In. → 1, 7
11. |– ∀x (Px → Qx) → (∃x Px → ∃x Qx)

1) ∀x (Px → Qx) Supuesto (→)
4) Pa → Qa El. ∀ 1
5) Qa El. → 4, 3
6) ∃x Qx In. ∃ 5
7) ∃x Qx El. ∃ 2, 3-6
8) ∃x Px → ∃x Qx In. → 2, 7
9) ∀x (Px → Qx) → (∃x Px → ∃x Qx) In. → 1, 8
15. |– ∀x (Px ↔ Qx) → (∀z Pz ↔ ∀y Qy)

1) ∀x (Px ↔ Qx) Supuesto (→)
3) Pa El. ∀ 2
4) Pa ↔ Qa El. ∀ 1
5) Qa El. → 4, 3
6) ∀y Qy In. ∀ 5. Rest. Ok
7) ∀z Pz → ∀y Qy In. → 2, 6
8) ∀y Qy Supuesto (→)
9) Qa El. ∀ 8
10) Pa ↔ Qa El. ∀ 1
11) Pa El. → 10, 9
12) ∀z Pz In. ∀ 11. Rest. Ok
13) ∀y Qy → ∀z Pz In. → 8, 12
14) ∀z Pz ↔ ∀y Qy In. ↔ 7, 13
15) ∀z (Pz → Qz) → (∀y Py → ∀x Qx) In. → 1, 14
70
16. |– ∀z (Pz ↔ Qz) → (∃x Px ↔ ∃y Qy)

1) ∀x (Px ↔ Qx) Supuesto (→)
4) Pa ↔ Qa El. ∀ 1
5) Qa El. ↔ 4, 3
6) ∃y Qy In. ∃ 5
7) ∃y Qy El. ∃ 2, 3-6. Rest. Ok
8) ∃x Px → ∃y Qy In. → 2, 7
9) ∃y Qy Supuesto (→)
10) Qa Supuesto (∃)
11) Pa ↔ Qa El. ∀ 1
12) Pa El. ↔ 11, 10
13) ∃x Px In. ∃ 12
14) ∃x Px El. ∃ 9, 10-13. Rest. Ok
15) ∃y Qy → ∃x Px In. → 9, 14
16) ∃x Px ↔ ∃y Qy In. ↔ 8, 15
17) ∀z (Pz ↔ Qz) → (∃x Px ↔ ∃y Qy) In. → 1, 16
17. |– (∀y(Tyc → Qyb) ∧ ∀yTyc) → ¬∃x (Txc ∧ ¬ Qxb)

1) ∀y(Tyc → Qyb) ∧ ∀yTyc Supuesto (→)
2) ∃x (Txc ∧ ¬ Qxb) Supuesto (¬)
3) Tac ∧ ¬ Qab Supuesto (∃) (parámetro: a)
4) ∀y(Tyc → Qyb) El. ∧ 1
5) Tac → Qab El. ∀ 4
6) Tac El. ∧ 3
7) Qab El. → 5, 6
8) ¬Qab El. ∧ 3
9) Qab ∧ ¬Qab / ⊥ In. ∧ 7, 8 (Absurdo)*
10) ⊥ El. ∃ 2, 3-9. Rest. Ok.**
11) ¬∃x (Txc ∧ ¬ Qxb) In. ¬ 2, 2-10
12) (∀y(Tyc → Qyb) ∧ ∀yTyc) → ¬∃x (Txc ∧ ¬ Qxb) In. → 1, 11
*Cuando trabajamos con el absurdo, la fórmula que lo representa (por ejemplo: Qa ∧

¬Qa), puede ser reemplazada por cualquier otra fórmula contradictoria (como: Pb ∧ ¬Pb).
Es decir, que el absurdo se puede extrapolar como tal con el símbolo ⊥, independientemente
de la fórmula que lo haya generado. Por este motivo, al momento de verificar las
restricciones, el absurdo se considera como un elemento genérico.
**Dado que el teorema posee a las constantes “b” y “c” en su expresión, seleccionamos
como parámetro a “a” para no tener inconvenientes con las restricciones posteriores de la
eliminación del existencial.
(Qab ∧ ¬Qab) ↔ (𝑄𝑐𝑑 ∧ ¬𝑄𝑐𝑑)
71
XXI. Simbolice los siguientes razonamientos indicando el código empleado, y pruebe

su validez utilizando las reglas de la Lógica de Predicados de Primer Orden.
Ejemplo:
Algunas tortugas no son indolentes. Las tortugas son reptiles. Luego, existen reptiles que no son
indolentes.
Código: Px : x es tortuga Qx : x es indolente Rx : x es reptil
Simbolización: x (Px  Qx), x (Px → Rx) – x (Rx  Qx)
1. x (Px  Qx)
2. x (Px →Rx)
3. Pa  Qa
4. Pa → Ra (E) 2
5. Pa (E) 4
6. Ra (E→) 3, 5
7. Qa (E) 4
8. Ra  Qa (I) 6, 7
9. x (Rx  Qx) (I) 8
10. x (Rx  Qx) (E) 1, 3 - 9
1. Todos los socios de Juan son asesorados por Pedro. Por lo tanto, Pedro asesora a María, pues
ella es socia de Juan. Sin embargo, Juan no es asesorado por todos sus socios.
Diccionario: Pxy : x es socio de y Qxy: x asesora a y a: Juan b: Pedro
c: María
Simbolización: x(Pxa → Qbx), x(Pxa → ¬Qxa), Pca – Qbc
1) x(Pxa → Qbx) Pr.
2) x(Pxa → ¬Qxa) Pr.
3) Pca Pr. / Qbc
4) Pca → Qbc El.  1
5) Qbc El. →  
Simbolización: x(Pxa → Qbx), ¬x(Pxa → Qxa), Pca – Qbc

) x(Pxa → Qbx) Pr.
2) ¬x(Pxa → Qxa) Pr.
3) Pca Pr. / Qbc
4) Pca → Qbc El.  1
5) Qbc El. →  
2. Algunos profesionales no son honestos o idóneos, ya que hay abogados que no son honestos ni
idóneos, y cualquier abogado es profesional, aunque ningún profesional idóneo es deshonesto.
Diccionario: Px: x es profesional Qx: x es honesto Rx: x es idóneo Sx: x es abogado
Simbolización:
x(Sx (¬Qx  ¬Rx)), x(Sx → Px)  x((Px  Rx)→ ¬¬Qx) – x(Px  (¬Qx  ¬Rx))
73

1) x(Sx (¬Qx  ¬Rx)) Pr.
2) x(Sx → Px)  x((Px  Rx)→ ¬¬Qx) Pr.  x(Px  (¬Qx  ¬Rx))
3) Sa (¬Qa  ¬Ra) Supuesto ()
4) x(Sx → Px) El.  
5) Sa → Pa El.  
6) Sa El.  
7) Pa El. → 5, 6
8) ¬Qa  ¬Ra El.  3
9) ¬Qa El.  8
10) ¬Qa  ¬Ra In.  9
11) Pa  (¬Qa  ¬Ra) In.   
12) x(Px  (¬Qx  ¬Rx)) In.  
13) x(Px  (¬Qx  ¬Rx)) El.  1, 3-12. Rest. Ok.
Opción 2 de Simbolización:
x(Sx (¬Qx  ¬Rx)), x(Sx → Px)  x((Px  Rx)→ ¬¬Qx) – x(Px  ¬(Qx  Rx))
1) x(Sx (¬Qx  ¬Rx)) Pr.
2) x(Sx → Px)  x((Px  Rx)→ ¬¬Qx) Pr.  x(Px  ¬(Qx  Rx))
3) Sa (¬Qa  ¬Ra) Supuesto ()
4) ¬Qa  ¬Ra El.  
5) Qa  Ra Supuesto (¬)
7) ¬Qa El.  4
8) ⊥ In.   
10) ¬Ra El.  4
11) ⊥ In.  9, 10
12) ⊥ El.  5, 6-8 y 9-11/Abs.
13) ¬(Qa  Ra) In. ¬
14) x(Sx → Px) El.  
15) Sa → Pa El.  
16) Sa El.  
17) Pa El. → 15, 16
18) Pa  ¬(Qa  Ra) In.   
19) x(Px  ¬(Qx  Rx)) In.  
20) x(Px  ¬(Qx  Rx)) El.  1, 3-19. Rest. Ok.
3. Hubo asesinos seriales sagaces y meticulosos. Los asesinos seriales son criminales peligrosos y
audaces, pero no todos los criminales audaces son asesinos. Por lo tanto, algunos criminales
fueron sagaces.
Diccionario: Px: x es asesino serial Qx: x es sagaz Rx: x es meticuloso
Sx: x es criminal Tx: x es peligroso Vx: x es audaz
Simbolización:
x(Px (Qx  Rx)), x(Px → ((Sx  Tx)  Vx))  ¬x ((Sx  Vx) → Px) – x(Sx  Qx)
74

1) x(Px  (Qx  Rx)) Pr.
2) x(Px → ((Sx  Tx)  Rx))  ¬x((Sx  Vx) → Px) Pr. / x(Sx  Qx)
3) Pa  (Qa  Ra) Supuesto ()
4) x(Px → ((Sx  Tx)  Vx)) El.  
5) Pa → ((Sa  Ta)  Va) El.  
6) Pa El.  3
7) (Sa  Ta)  Va El. →  
8) Sa  Ta El.  7
9) Sa El.  8
10) Qa  Ra El.  3
11) Qa El.  10
12) Sa  Qa In.  9, 11
13) x(Sx  Qx) In.  12
14) x(Sx  Qx) El.  1, 3-13. Restr. Ok.
4. Toda sustancia derivada del petróleo es contaminante. Nada que sea contaminante es nutritivo.
De modo que ninguna sustancia derivada del petróleo es producto lácteo, pues es falso que
algunos productos lácteos no son nutritivos.
Diccionario: Px: x es una sustancia derivada del petróleo Qx: x es contaminante
Rx: x es nutritivo Sx: x es un producto lácteo
Simbolización:
x(Px → Qx), x(Qx → ¬Rx), ¬x(Sx ¬Rx) – x(Px → ¬Sx)
Prueba de validez:
1) x(Px → Qx) Pr.
2) x(Qx → ¬Rx) Pr.
3) ¬x(Sx ¬Rx) Pr.  x(Px → ¬Sx)
5) Sa Supuesto (¬)
6) Pa → Qa El.  1
7) Qa → ¬Ra El.  2
8) Qa El. → 6, 4
9) ¬Ra El. → 7, 8
10) (Sa ¬Ra) In.   
11) x(Sx ¬Rx) In  10
12) x(Sx ¬Rx)  ¬x(Sx ¬Rx) In.  3, 11 (Absurdo)
13) ¬Sa In. ¬ 5, 5-12
14) Pa → ¬Sa In. → 4, 13
15) x(Px → ¬Sx) In.  14. Restr. Ok.
5. Ningún avión del escuadrón del Barón Rojo estaba camuflado. El Fokker D-1 era avión del
escuadrón del Barón Rojo. Pero todos los aviones del escuadrón del Barón Rojo eran cazas
alemanes. Así que el Fokker D-1 era un caza alemán que no estaba camuflado.
Diccionario: Px: x es un avión Qxy: x pertenece al escuadrón y Rx: x está camuflado
Sx: x es un caza alemán a: Fokker D-1 b: Barón Rojo
Simbolización: x((Px  Qxb) → ¬Rx), Pa  Qab x((Px  Qxb) → Sx) – Sa  ¬Ra
75
Prueba de validez:
1) x((Px  Qxb) → ¬Rx) Pr.
2) Pa  Qab Pr.
3) x((Px  Qxb) → Sx) Pr.  Sa  ¬Ra
4) (Pa  Qab) → ¬Ra El.  1
5) (Pa  Qab) → Sa El.  2
6) ¬Ra El. → 4, 2
7) Sa El. → 5, 2
8) Sa  ¬Ra In.   
6. No todos los jueces son imparciales. Pero los miembros de la Corte Suprema que son amigos
de Méndez son jueces. En consecuencia, algunos miembros de la Corte Suprema que son
amigos de Méndez no son imparciales.
Diccionario: Px: x es juez Qxy: x es miembro de y Rx: x es imparcial Sxy: x es
amigo de y a: Corte Suprema b: Mendez
Simbolización: ¬x(Px → Rx), x(Qxa  Sxb) → Px) – x((Qxa  Sxb)  ¬Rx)
Prueba de validez:
El argumento no posee una deducción natural desde sus premisas a su conclusión.
Ejercicio adicional (Guía 2012):

6*. Algunos miembros de la Corte Suprema no cumplen con todos sus deberes. Pues, no es cierto
que cualquier miembro de la Corte Suprema sea imparcial. Sin embargo, todos ellos son jueces, y
ningún juez que no sea imparcial cumple con todos sus deberes.
Diccionario: Px: x es juez Qxy: x es miembro de y Rx: x es imparcial Sx: x cumple con
su deber a: Corte Suprema
Simbolización:
Premisa 1: ¬x(Qxa → Rx) se reemplaza por x(Qxa  ¬Rx)
x(Qxa  ¬Rx), x(Qxa → Px)  x((Px  ¬Rx) → ¬Sx) – x(Qxa  ¬Sx)
Prueba de validez:
1) x(Qxa  ¬Rx) Pr.
2) x(Qxa → Px)  x((Px  ¬Rx) → ¬Sx) Pr. / x(Qxa  ¬Sx)
3) Qba  ¬Rb Supuesto () (Parámetro: b)
4) x(Qxa → Px) El.  2
5) x((Px  ¬Rx) → ¬Sx) El.  2
6) Qba → Pb El.  4
7) (Pb  ¬Rb) → ¬Sb El.  5
8) Qba El.  
9) Pb El. →  
10) ¬Rb El.  
11) Pb  ¬Rb In.   
12) ¬Sb El. →  
13) Qba  ¬Sb In.   
14) x(Qxa  ¬Sx) In.  13
15) x(Qxa  ¬Sx) El.  1, 3-14. Restr. Ok.
76
XXII. Pruebe la validez de los siguientes razonamientos utilizando las reglas de la

Lógica de Predicados de Primer Orden.
Ejemplo:
x (Px → y (Qy → Rxy)); x (Px  y ¬Rxy) – x ¬Qx
1. x (Px → y (Qy → Rxy))
2. x (Px  y ¬Rxy)
3. ----- Pa  y ¬Ray
4. Pa (E) 3
5. y ¬Ray (E) 3
6. Pa → y (Qy → Ray) (E) 1
7. y (Qy → Ray) (E→) 6 y 4
8. Qb → Rab (E) 7
9. ¬Rab (E) 5
10. ¬ Qb MT 8 y 9
11. ----x ¬Qx (I) 10
12. 12. x ¬Qx (E) 2, 3-11
1. x (Pxa → Pxb), Pca – Pcb

1) x (Pxa → Pxb) Premisa
2) Pca Premisa
3) Pca → Pcb El.  1
4) Pcb El. → 3, 2
2. x (Px → Qxa), x (Qxa → Rx) – y (Py → Ry)

1) x (Px → Qxa) Premisa
2) x (Qxa → Rx) Premisa
3) Pb Supuesto (→)
4) Pb → Qba El.  1
5) Qba → Rb El.  2
6) Qba El. → 4, 3
7) Rb El. → 5, 6
8) Pb → Rb In. → 3, 7
9) y (Py → Ry) In.  8. Rest. Ok
77
3. x Pxx – x y Pxy
1) x Pxx Premisa
2) Paa Supuesto (  parámetro: “a”)
3) y Pay In.  2
4) x y Pxy In.  3
5) x y Pxy El.  1, 2-4. Rest. Ok.
4. xy Pxy – y x Pxy

1) xy Pxy Premisa
2) y Pay Supuesto (  parámetro: “a”)
3) Pab In.  2
4) x Pxb In.  3
5) x Pxb El.  1, 2-4. Rest. Ok s/parámetro “a”.
6) yx Pxy In.  5 Rest. Ok. s/parámetro “b”.
5. y (Py → Qy) – xy ((Rxy  Py) → (Rxy  Qy))

1) y (Py → Qy) Premisa
2) Rab  Pb Supuesto (→)
3) Pb → Qb El.  1
4) Pb El.  2
5) Qb El. → 3, 4
6) Rab El.  2
7) Qb  Rab In.  5, 6
8) Rab  Pb → Rab  Qb In. → 2, 7
9) y (Ray  Py → Ray  Qy) In.  8
10) xy (Rxy  Py → Rxy  Qy) In.  9
6. x y Pxy – y x Pxy
1) x y Pxy Premisa
2) y Pay Supuesto (  parámetro: “a”)
3) Pab Supuesto (  parámetro: “b”)
4) x Pxb In.  3
5) y x Pxy In.  4
6) y x Pxy El.  2, 3-5
7) y x Pxy El.  1, 2-6
78
7. x (y Pyx → z Pxz) – y z (Pyz → Pzy)

1) x (y Pyx → z Pxz) Premisa
2) Pab Supuesto (→)
3) y Pyb → z Pbz El.  1
4) y Pyb In.  2
5) z Pbz El. → 3, 4
6) Pba El.  5
7) Pab → Pba In. → 2, 6
8) z (Paz → Pza) In.  7. Rest. Ok
9) y z (Pyz → Pzy) In.  8. Rest. Ok
8. x (Pax → Qxb); x Qxb → yQby – x Pax → yQby

1) x (Pax → Qxb) Premisa
2) x Qxb → yQby Premisa
3) x Pax Supuesto (→)
4) Pac Supuesto (  parámetro: “c”)
5) Pac → Qcb El.  1
6) Qcb El. → 5, 4
7) x Qxb In.  6
8) yQby El. → 2, 7
9) yQby El.  3, 4-8
10) x Pax → yQby In. → 3, 9
9. x y (z Pyz → Pyx); y z Pyz – x y Pyx

1) x y (z Pyz → Pyx) Premisa
2) y z Pyz Premisa
3) y (z Pyz → Pya) Supuesto (  parámetro: “a”)
4) z Pbz → Pba El.  3
5) z Pbz El.  2
6) Pba El. → 4, 5
7) y Pya In.  6. Rest. Ok (parámetro: “b”)
8) x y Pyx In.  7
9) x y Pyx El.  1, 3-8. Rest. Ok
79
10. x((Px  Qx) → y((Sy  Ty)  Rxy)), x(Sx → Tx)  x(Sx → Rxx) – x(Sx  (Px  Qx))
1) x((Px  Qx) → y((Sy  Ty)  Rxy)) Premisa
2) x(Sx → Tx)  x(Sx → Rxx) Premisa
3) x(Sx  (Px  Qx)) Supuesto (¬)
4) Sa  (Pa  Qa) Supuesto ( / parámetro: “a”)
5) (Pa  Qa) → y((Sy  Ty)  Ray) El.  1
6) x(Sx → Tx) El.  2
7) x(Sx → Rxx) El.  2
8) Sa → Ta El.  6
9) Sa → Raa El.  7
10) Sa El.  4
11) Ta El. → 8, 10
12) Raa El. → 9, 10
13) Sa  Ta In.  10, 11
14) (Sa  Ta)  Raa In.  12, 13
15) y((Sy  Ty)  Ray) In.  14
16) Pa  Qa El.  4
17) y((Sy  Ty)  Ray) El. → 5, 16
18) ⊥ In.  15, 17
19) ⊥ El.  3, 4-18. Rest. Ok.
20) x(Sx  (Px  Qx)) In. ¬ 3
80
XXIV. Simbolice los siguientes razonamientos indicando el código empleado, y pruebe

su validez utilizando las reglas de la Lógica de Predicados de Primer Orden.
Ejemplo:
Nadie contratará a una persona que no se respeta a sí misma. Por lo tanto, una persona que
no respeta a nadie no será contratada por nadie.
Código: Pxy: x respeta a y; Qx: x es una persona; Rxy: x contrata a y
Simbolización: x ((Qx¬Pxx) → ¬y(QyRyx)) – x ((Qxy¬Pxy) → z(Qz →¬Rzx))
1. x ((Qx¬Pxx) → ¬y(QyRyx))
2. Qa  y ¬Pay
3. (Qa¬Paa) → ¬y(QyRya) (E) 1
4. Qa (E) 2
5. y ¬Pay (E) 2
6. ¬Paa (E) 5
7. Qa¬Paa (I) 4 y 6
8. ¬y(QyRya) (E→) 3 y 7
9. y ¬(QyRya) (¬) 8
10. ¬(QbRba) (E) 9
11. Qb →¬Rba Def →/¬ 10
12. z (Qz →¬Rza) (I) 11
13. (Qay ¬Pay) → z(Qz→¬Rza) (I→) 2-12
14. x ((Qxy¬Pxy) → z(Qz →¬Rzx)) (I) 13
1. El hombre bueno ama todo lo que es bueno. De aquí se sigue que el hombre bueno se ama a sí
mismo.
Código: Px: x es un hombre; Qx: x es bueno; Sxy: x ama a y
Simbolización: x((Px  Qx) → y(Qy → Sxy)) – x((Px  Qx) → Sxx))
1) x((Px  Qx) → y(Qy → Sxy)) Pr.  x((Px  Qx) → Sxx))
2) Pa  Qa Supuesto (→)
3) (Pa  Qa) → y(Qy → Say)) El.  1
4) y(Qy → Say)) El. → 3, 2
5) Qa → Saa El.  4
6) Qa El.  2
7) Saa El. → 5, 6
8) (Pa  Qa) → Saa In. → 2, 7
9) x((Px  Qx) → Sxx)) In.  8. Restr. Ok
2. Todo aquel que estafa a cualquiera es un delincuente. Luego, nadie estafa a todos, dado que no hay
delincuentes.
Código: Px: x es persona; Qxy: x estafa a y; Rx: x es delincuente
Simbolización: x((Px  y(Py  Qxy)) → Rx), ¬xRx – x(Px → ¬y(Py → Qxy))
83

1) x((Px  y(Py  Qxy) → Rx) Pr.
2) ¬xRx Pr.  x(Px → ¬y(Py → Qxy))
4) y(Py → Qay) Supuesto (¬)
5) (Pa  y(Py  Qay) → Ra El.  1
6) Pa → Qaa El.  4
7) Qaa El. → 6, 3
8) Pa  Qaa In.  3, 7
9) y(Py  Qay) In.  8
10) Pa  y(Py  Qay) In.   
11) Ra El. → 6, 3
12) xRx In.  11
13) ¬xRx  xRx In.  2, 12 / Absurdo
14) ¬y(Py → Qay) In. ¬ 4, 4-13
15) Pa → ¬y(Py → Qay) In. → 3, 14
16) x(Px → ¬y(Py → Qxy)) In.  15, Restricciones Ok.
3. Los políticos son personas ambiciosas y deshonestas. Por lo tanto, quien elige ser representado por
algún político, elige ser representado por alguna persona ambiciosa y deshonesta.
Código: Px: x es un político; Qx: x es ambicioso; Rx: x es honesto;
Sxy: x elige ser representado por y
Simbolización: x((Px →(Qx  ¬Rx) – x(y(Sxy  Py) → z(Sxz  (Qz  ¬Rz))
1) x((Px →(Qx  ¬Rx) Pr.  xy((Sxy  Py)) → xy(Sxy  (Qy  ¬Ry))
2) y(Say  Py) Supuesto (→)
3) Sab  Pb Supuesto () – Parámetro: b
4) Pb →(Qb  ¬Rb) El.  1
5) Pb El.  3
6) Qb  ¬Rb El. → 4, 5
7) Sab El.  3
8) Sab  (Qb  ¬Rb) In.  6, 7
9) z(Saz  (Qz  ¬Rz) In.  8
10) y(Saz  (Qz  ¬Rz) El.  2, 4-10 Restr. Ok. p/Parámetro: b
11) y((Say  Py)) → y(Saz  (Qz  ¬Rz) In. →  
12) x(y((Sxy  Py) → z(Sxz  (Qz  ¬Rz))) In.  11. Restr. Ok. p/Parámetro: a
1) ∀𝑥((𝑃𝑥 → (𝑄𝑥 ∧ ¬𝑅𝑥)) Pr.  xy((Sxy  Py)) → xy(Sxy  (Qy  ¬Ry))

2) ∀𝑥∃𝑦((𝑆𝑥𝑦 ∧ 𝑃𝑦)) Supuesto (→)
3) ∃𝑦((𝑆𝑎𝑦 ∧ 𝑃𝑦) El.  2 (x/a)
4) 𝑆𝑎𝑏 ∧ 𝑃𝑏 Supuesto () – Parámetro: b
5) 𝑃𝑏 → (𝑄𝑏 ∧ ¬𝑅𝑏) El.  1
6) 𝑃𝑏 El.  4
7) 𝑄𝑏 ∧ ¬𝑅𝑏 El. → 5, 6
8) 𝑆𝑎𝑏 El.  4
9) 𝑆𝑎𝑏 ∧ (𝑄𝑏 ∧ ¬𝑅𝑏) In.  7, 8
10) ∃𝑦(𝑆𝑎𝑦 ∧ (𝑄𝑦 ∧ ¬𝑅𝑦) In.  9
11) ∃𝑦(𝑆𝑎𝑦 ∧ (𝑄𝑦 ∧ ¬𝑅𝑦) El.  3, 4-10 Restr. Ok. p/Parámetro: b
12) ∀𝑥∃𝑦(𝑆𝑥𝑦 ∧ (𝑄𝑦 ∧ ¬𝑅𝑦)) In.  11. Restr. Ok. p/Parámetro: a
13) ∀𝑥∃𝑦((𝑆𝑥𝑦 ∧ 𝑃𝑦)) → ∀𝑥∃𝑦(𝑆𝑥𝑦 ∧ (𝑄𝑦 ∧ ¬𝑅𝑦)) In. →  
84
4. No hay políticos que sean personas confiables. Ya que ninguna persona confiable vota algún
político ambicioso. Sin embargo, los políticos son ambiciosos, y cualquier político se vota a sí mismo.
Código: Px: x es un político; Qx: x es confiable; Rx: x es ambicioso; Sxy: x
vota a y
Simbolización:
x((Qx → ¬y((Py  Ry)  Sxy), x(Px → (Qx  Rx))  x(Px → Sxx) – ¬x(Px  Qx)
85

1) x((Qx → ¬y((Py  Ry)  Sxy) Pr.
2) x(Px → (Qx  Rx))  x(Px → Sxx) Pr.  ¬x(Px  Qx)
3) x(Px  Qx) Supuesto (¬)
5) x(Px → (Qx  Rx)) El.  2
6) x(Px → Sxx) El.  2
7) Qa → ¬y((Py  Ry)  Say) El.  1
8) Pa → (Qa  Ra) El.  5
9) Pa → Saa El.  6
10) Qa El.  4
11) ¬y((Py  Ry)  Say) El. → 7, 10
12) Pa El.  4
13) Qa  Ra El. → 8, 12
14) Saa El. → 9, 12
15) Ra El.  13
16) (Pa  Ra) In.  12, 15
17) (Pa  Ra)  Saa In.  16, 14
18) y((Py  Ry)  Say) In.  17
19) ¬y((Py  Ry)  Say)  y((Py  Ry)  Say) / ⊥ In.  11, 18 (Absurdo)
20) ⊥ El.  3, 4-19. Restr. Ok
21) ¬x(Px  Qx) In. ¬ 3, 3-20
5. Algunos miembros de la Corte Suprema no cumplen con todos sus deberes. Pues no es cierto
que cualquier miembro de la Corte Suprema sea imparcial. Sin embargo, todos ellos son jueces, y
ningún juez que no sea imparcial cumple con todos sus deberes.
Código: Pxy: x es miembro de y; Qx: x cumple con y; Rx: x es un deber; Sx: x es parcial;
Tx: x es juez a: Corte Suprema
Simbolización:
¬x(Pxa → ¬Sx), x(Pxa → Tx)  x((Tx  Sx) → ¬y(Ry → Qxy))
– x(Pxa  ¬y(Ry → Qxy))
) ¬x(Pxa → ¬Sx) Pr.
) x(Pxa → Tx)  x((Tx  ¬¬Sx) → ¬y(Ry → Qxy)) Pr.  x(Pxa  ¬y(Ry → Qxy))
) x(Pxa → Tx) El.  2
) x((Tx  ¬¬Sx) → ¬y(Ry → Qxy)) El.  2
) x(Pxa  Sx) Equivalencia ¬¬/
) Pba  Sb Supuesto () – Parámetro: b
) Pba → Tb El.  
) (Tb  Sb) → ¬y(Ry → Qby) El.  
) Pba El.  6
) Tb El. → 7, 9
) Sb El.  6
) Tb  Sb In.   
) ¬y(Ry → Qby) El. → 8, 12
) Pba  ¬y(Ry → Qby) In.  9, 13
) x(Pxa  ¬y(Ry → Qxy)) In.  
) x(Pxa  ¬y(Ry → Qxy)) El.  5, 6-15. R. Ok p/Parám.: b
86
6. El rey Arturo odia a la reina Ginebra. Ya que los amigos del caballero Lancelot odian a quienes
Lancelot ama, y el rey Arturo es amigo de Lancelot. Pero el caballero Lancelot ama a la reina Ginebra,
aunque ella es la esposa del rey Arturo.
Código: Pxy: x ama a y; Rxy: x es amigo de y; Sxy: x odia a y; Txy: x es esposa de y
a: Lancelot b: Reina Ginebra c: Rey Arturo
Simbolización: ∀x (Rxa → ∀y(Pay→Sxy))  Rca, Pab  Tbc – Scb
1) ∀x (Rxa → ∀y(Pay→Sxy))  Rca Pr.
2) Pab  Tbc Pr.  Scb
3) ∀x (Rxa → ∀y(Pay→Sxy)) El.  1
4) Rca → ∀y(Pay→Scy) El. ∀ 3
5) Rca El.  1
6) ∀y(Pay→Scy) El. → 4, 5
7) Pab→Scb El. ∀ 6
8) Pab El.  2
9) Scb El. → 7, 8
7. Dados dos números naturales cualesquiera, su suma es siempre mayor o igual que cada uno de ellos.
Por lo tanto, si, dados dos números, su suma no es mayor o igual que cada uno de ellos, entonces,
o bien el primer número no es natural, o bien el segundo no lo es.
Código: Px: x es un número; Qx: x pertenece al conjunto de números naturales;
Rxyz: x es la suma de x e y; Sxy: x es mayor a y; Txy: x es igual a z
Simbolización:
xy(((Px  Qx)  (Py  Qy)) → z(Rzxy → ((Szx  zx)  (Szy  zy))))
– xy(((Px  Py)  z ¬(Rzxy → ((Szx  zx)  (Szy  zy)))) → (¬Qx  ¬Qy))
87

1) xy(((Px  Qx)  (Py  Qy)) → z(Rzxy → ((Szx  zx)  (Szy  zy)))) Pr.
2) (Pa  Pb)  z ¬(Rzab → ((Sza  za)  (Szb  zb))) Sup.(→)
3) y(((Pa  Qa)  (Py  Qy)) → z(Rzay → ((Sza  za)  (Szy  zy)))) El.  1
4) ((Pa  Qa)  (Pb  Qb)) → z(Rzab → ((Sza  za)  (Szb  zb))) El.  3
5) Qa  Qb Sup (¬)
6) Pa  Pb El.  2
7) (Pa  Qa)  (Pb  Qb) In.  5, 6
8) z(Rzab → ((Sza  za)  (Szb  zb))) El. → 4, 7
9) Rcab → ((Sca  ca)  (Scb  cb)) El.  8
10) z ¬(Rzab → ((Sza  za)  (Szb  zb))) El.  2
11) ¬(Rcab → ((Sca  ca)  (Scb  cb))) El.  10
12) ⊥ In.  9, 10
13) ¬(Qa  Qb) In. ¬ 5
14) ¬(¬Qa  ¬Qb) Sup. (¬)
15) Qa Sup (¬)
16) Qb Sup (¬)
17) Qa  Qb In.  15, 16
18) ⊥ In.  13, 17
19) ¬Qb In ¬ 16
20) ¬Qa  ¬Qb In.  19
21) ⊥ In.  14, 20
22) ¬Qa In. ¬ 15
23) ¬Qa  ¬Qb In.  22
24) ⊥ In.  14, 23
25) ¬¬(¬Qa  ¬Qb) In. ¬ 14
26) ¬Qa  ¬Qb Dobl Neg. 25
27) (Pa  Pb)  z ¬(Rzab → ((Sza  za)  (Szb  zb))) → (¬Qa  ¬Qb) In. → 2, 26
28) y(((Pa  Py)  z ¬(Rzay → ((Sza  za)  (Szy  zy)))) → (¬Qa  ¬Qy)) In.  27
29) xy(((Px  Py)  z ¬(Rzxy → ((Szx  zx)  (Szy  zy)))) → (¬Qx  ¬Qy)) In.  28
Opción 2 (simplificada) de formalización:

Código: Px: x es un número; Qx: x pertenece al conjunto de números naturales;
Rx: x es la suma mayor que cada uno de los números sumados; Sx: x es la suma igual que cada
uno de los números sumados;
Simbolización:
xy(((Px  Qx)  (Py  Qy))) → z(Rz  Sz) – xy(((PxPy)  z ¬((RzSz)) → (¬Qx  ¬Qy))
88

1) xy(((Px  Qx)  (Py  Qy))) → z(Rz  Sz) Pr.
2) (Pa  Pb)  z ¬(Rz  Sz) Sup. (→)
3) Qa  Qb Sup. (¬) - Equiv. Morgan.
4) Pa  Pb El.  
5) (Pa  Qa)  (Pb  Qb) In.   
6) y((Pa  Qa)  (Py  Qy)) → z(Rz  Sz) El.  1
7) ((Pa  Qa)  (Pb  Qb)) → z(Rz  Sz) El.  6
8) z(Rz  Sz) El. → 7, 5
9) Rc  Sc El.  8
10) z ¬(Rz  Sz) El.  2
11) ¬(Rc  Sc) El.  10
12) ⊥ In.   
13) ¬(Qa  Qb) In. ¬ 3 (Eq. MG ¬A¬B)
14) ¬(¬Qa  ¬Qb) Sup. (¬) / Equiv. Morgan.
15) Qa Sup. (¬)
16) Qb Sup. (¬)
17) Qa  Qb In.  15, 16
18) ⊥ In.  13, 17
19) ¬Qb In. ¬ 16
20) ¬Qa  ¬Qb In.  19 (agrego ¬Qa)
21) ⊥ In.  , 20
22) ¬Qa In. ¬ 15
23) ¬Qa  ¬Qb In.  22 (agrego ¬Qb)
24) ⊥ In.  , 23
25) ¬¬(¬Qa  ¬Qb) In. ¬ 14
26) ¬Qa  ¬Qb Doble Neg. 25
27) ((Pa  Pb)  z ¬(Rz  Sz)) → (¬Qa  ¬Qb) In. →  
28) y(((Pa  Py)  z ¬((Rz  Sz)) → (¬Qa  ¬Qy)) In.  27
29) xy(((Px  Py)  z ¬((Rz  Sz)) → (¬Qx  ¬Qy)) In.  28
8. Ninguna empresa que comercialice algún producto agrícola abastece todos los mercados. Por
consiguiente, Solosoja S.A. no abastece todos los mercados, si Solosoja S.A. es una empresa que
comercializa algunos cereales y oleaginosas. Dado que todos los cereales y las oleaginosas son
productos agrícolas.
Código: Px: x es una empresa; Qxy: x comercializa con y; Rx: x es un producto
agrícola Sxy: x abastece a y; Tx: x es un mercado Vx: x es un cereal Wx: x
es una oleaginosa a: Solosoja S.A.
Simbolización:
x((Px  y(Ry  Qxy) → ¬z(Tz → Sxz))), x(Vx → Rx)  y(Wy → Ry)
– (Pa  (x(Vx  Qay)  y(Wy  Qay))) → ¬z(Tz → Saz)
89

1) x((Px  y(Ry  Qxy))→ ¬z(Tz → Sxz)) Pr.
2) x(Vx → Rx)  y(Wy → Ry) Pr.
3) (Pa  y(Ry  Qay)) → ¬z(Tz → Saz) El. 1
4) x(Vx → Rx) El.  2*
5) Vb → Rb El.  4*
6) y(Wy → Ry) El.  2**
7) Wc → Rc El.  6**
8) Pa  (x(Vx  Qay)  y(Wy  Qay)) Supuesto (→)
9) x(Vx  Qay)  y(Wy  Qay) El.  8
10) x(Vx  Qay) El.  9
11) y(Wy  Qay) El.  9
12) Vb  Qab Sup. () / Parám.: “b”
13) Wc  Qac Sup. () / Parám.: “c”
14) Wc El.  13
15) Rc El. → 7, 14
16) Qac El.  13
17) Rc  Qac In.  15, 16
18) y(Ry  Qay) In.  17
19) y(Ry  Qay) El. 11, 13-18 Restr. Ok.***
20) y(Ry  Qay) El. 10, 12-19 Restr. Ok.***
21) Pa El.  8
22) Pa  y(Ry  Qay) In.  20, 21
23) ¬z(Tz → Saz) El. → 3, 22
24) (Pa  (x(Vx  Qay)  y(Wy  Qay))) → ¬z(Tz → Saz) In. → 8, 23
* Los pasos 4 y 5 pueden ser obviados en esta resolución; hay más de una solución posible de este ejercicio
(ver soluciones alternativas).
** Los pasos 6 y 7 pueden realizarse dentro del supuesto existencial que se abre en 13.
*** Los pasos 19 y 20 pueden variar: dentro de los supuestos existenciales, podrían haber llegado hasta
la formula “¬z(Tz → Saz)” -esto implica que los pasos 21, 22 y 23 se realizan dentro de los supuestos-
y, luego, cerrar los supuestos con dicha formula, dado que cumple las restricciones. Para finalmente
aplicar la introducción del condicional del paso 24.
* Prueba formal de validez (utilizando sólo y(Wy  Qay)):

2) x(Vx → Rx)  y(Wy → Ry) Pr.
4) y(Wy → Ry) El.  2
5) Wc → Rc El.  4
7) x(Vx  Qay)  y(Wy  Qay) El.  6
8) y(Wy  Qay) El.  7
9) Wc  Qac Sup. () / Parám.: “c”
10) Wc El.  9
11) Rc El. → 5, 10
12) Qac El.  9
13) Rc  Qac In.  11, 12
14) y(Ry  Qay) In.  13
15) y(Ry  Qay) El. 10, 9-14 Restr. Ok.
16) Pa El.  6
17) Pa  y(Ry  Qay) In.  15, 16
18) ¬z(Tz → Saz) El. → 3, 17
90
* Prueba formal de validez (utilizando sólo x(Vx  Qay)):

2) x(Vx → Rx)  y(Wy → Ry) Pr.
4) x(Vx → Rx) El.  2
5) Vb → Rb El.  4
7) x(Vx  Qay)  y(Wy  Qay) El.  6
8) x(Vx  Qay) El.  7
9) Vb  Qab Sup. () / Parám.: “b”
10) Vb El.  9
11) Rb El. → 5, 10
12) Qab El.  9
13) Rb  Qab In.  11, 12
14) y(Ry  Qay) In.  13
15) y(Ry  Qay) El. 8, 9-14. Restr. Ok.
16) Pa El.  6
17) Pa  y(Ry  Qay) In.  15, 16
18) ¬z(Tz → Saz) El. → 3, 17
9. Ningún senador, cualquiera sea la provincia que represente, respeta todas las leyes. Esto se
infiere de que ningún senador que sea sobornado respeta todas las leyes. Pero todos los senadores
que representaban alguna provincia fueron sobornados.
Código: Px: x es senador; Qxy: x representa a la provincia y; Rxy: x respeta la ley y;
Sx: x es sobornado;
Simbolización:
x(Px → ¬(Sx → zRxz)) x(Px → y(Qxy  Sx)) – x(Px → ¬(y(Qxy → zRxz)))
91

) x(Px → ¬(Sx → zRxz)) Pr.
2) x(Px → y(Qxy  Sx)) Pr.
3) Pa Sup. (→)
4) y(Qay → zRaz) Sup. (¬)
5) Qab → zRaz El.  4
6) Pa → y(Qay  Sa) El.  
7) Pa → ¬(Sa → zRaz) El.  
8) y(Qxy  Sx) El. →  
9) Qab  Sa Sup. () / Parám: “b”
10) ¬(Sa → zRaz) El. →  
11) ¬(Sa  ¬zRaz) Sup. (¬)
12) Sa Sup. (→)
13) ¬zRaz Sup. (¬)
14) Sa  ¬zRaz In.   
15) ⊥ In.    (Absurdo)
16) ¬¬zRaz In. ¬ 13
17) zRaz Dob. Neg. 16
18) Sa → zRaz In. → 12, 17
19) ⊥ In.  10, 17 (Absurdo)
20) ¬¬(Sa  ¬zRaz) In ¬ 11
21) Sa  ¬zRaz Dob. Neg. 20
22) Qab El.  9
23) zRaz El. → 5, 22
24) ¬zRaz El.  
25) ⊥ In.  23, 24
26) ⊥ El.  8, 9-25. Rest. Ok
27) ¬y(Qay → zRaz) In. ¬ 4
28) Pa → ¬(y(Qay → zRaz)) In. 3, 27
29) x(Px → ¬(y(Qxy → zRxz))) In. 28
10. Hay ríos que nacen en alguna zona lluviosa pero no son caudalosos. Pues el Nilo es un río que
nace en el Lago Victoria y atraviesa Sudán. Pero ningún río que atraviese alguna región desértica es
caudaloso. Ahora bien, los ríos que nacen en el Lago Victoria nacen en alguna zona lluviosa. Además,
cualquier río que atraviese Sudan atraviesa alguna región desértica.
Código: Px: x es un río; Qxy: x nace en y; Rx: x es una zona lluviosa Sx: x es caudaloso
Txy: x atraviesa a y Vx: x es una zona desértica
a: Nilo b: Lago Victoria c: Sudán
Simbolización:
(Pa  Qab)  Tac, x(Px → (y(Vy  Txy) → ¬Sx)), x(Px → (Qxb → y(Ry  Qxy))),
x(Px → (xc → y(Vy  Txy))) – x((Px  y(Ry  Qxy))  ¬Sx)
92

1) (Pa  Qab)  Tac Premisa
2) x(Px → (y(Vy  Txy) → ¬Sx)) Premisa
3) x(Px → (Qxb → y(Ry  Qxy))) Premisa
4) x(Px → (xc → y(Vy  Txy))) Premisa
5) Pa → (y(Vy  Tay) →¬Sa) El.  2
6) Pa → (Qab → y(Ry  Qay)) El.  3
7) Pa → (ac → y(Vy  Tay)) El.  4
8) Pa  Qab El.  1
9) Pa El.  8
10) y(Vy  Tay) → ¬Sa El. → 5, 9
11) Qab → y(Ry  Qay) El. → 6, 9
12) ac → y(Vy  Qay) El. → 7, 9
13) Qab El.  8
14) Tac El.  1
15) y(Ry  Qay) El. → 11, 13
16) y(Vy  Tay) El. → 12, 14
17) ¬Sa El. → 10, 16
18) Pa  y(Ry  Qay) In.  9, 15
19) Pa  y(Ry  Qay)  ¬Sa In.  18, 17
20) x((Px  y(Ry  Qxy))  ¬Sx) In.  19
93

Ejercicios DN

Cargado por

Copyright:

Formatos disponibles

Ejercicios DN

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ejercicios DN

Cargado por

Copyright:

Formatos disponibles

Cecilia Sanseverino | Prohibida su impresión y reproducción no autorizada

Otra forma de probar la validez del mismo razonamiento:

10. p → s , q  (t  s), s → r – q  (p → r)

12) q  (p → r) El.  2, 4-5 y 6-11

17. (p → q)  (r → s), ¬q  ¬s , r |– (p → ¬t)

(b) |– ((p  q) → (r → s)) → ((q  s) → (p → r))

2. – (p → r) → ((q → r) → ((p  q) → r))

3. – ((p → r)  (q → s)) → ((p  q) → (r  s))

4. – (p → q) → ((r → s) → ((p  r) → (q  s)))

5. – ((p → r)  (q → s)) → ((p  q) → (r  s))

6. – (p → q) → ((r → p) → (q → r))

7. – (p → q) → ((q → r) → (r → p))

9. – (p  q) → ((p → (r  s)) → ((q → (s  t)) → s))

2. x (Px → Qx), y Qy – x Px

5. y (Qy → Ry), x (Px → Qx) – z (Pz → Rz)

6. y (Py → Qy), z Qz – x Px

7. x (Rx →Px), z (Pz → Sz), y (Ry  Qy → Sy) – x (Rx → (Px → Qx))

Ejemplo (b): x (Px  Qx) – y Py  z Qz

9. y (Py  Qy), z (Pz → Rz) – x (Rx  Qx)

10. x ((Px  Qx )  Rx), y (Py → Sy) – z (Pz  Sz)

11. x (Px  Qx) – y Py  z Qz

13. x(Rx → Px)  Qa, x Px→ y Qy – x (Px  Rx)

Ejemplo (a): x (Px → Qx), y (Ry → Py) – z (Rz → Qz)

 x ((Px  Qx) →Rx), Pa – y Ry

3. y (Qy  Ry), z (Pz  Qz) – x (Px → Rx)

4. x (Px  Rx), y (Py  Qy) – x Rx

5. x (Px  Qx → Rx), z (Qz  Sz) – x (Px  Rx)

6. ¬z (Pz → ¬Qz) – ¬xRx  xQx

8) z(Pz → ¬Qz) Int.  7 Restr. Ok

7. ¬x ¬(¬Px → Qx) – z ¬Pz → x Qx

8) x¬(¬Px → Qx) Int.  7. Rest. Ok.

8. y(¬Qy → x Rxy), z(Tz → y(Sy  ¬Rzy) ) – (¬x(Sx  Qx) →¬yTy)

 xPx → (Qa  Ra) – (Qa  xPx) → Ra

12) (Qa  xPx) → Ra Int. → 2, 11

 y(Pya → Qyb) – yPya → x(Pxa   Qxb)

5. |– (∀z Pz ∨ ∀yQy) → ∀x (Px ∨ Qx)

6. |– ∀x ((Px ∧ Qx) → Rx) → (∃y Py → (∀x Qx → ∃x Rx))

7. |– ∃x (Px → Qx ∨ Rx) → (∀z Pz → ∃x (¬Qx → Rx))

Opcion 2 (Cambio la posición del Supuesto existencial del paso 3 al 2):

8. |– ∃x (Px ∧ Qx) → (∃z Pz ∧ ∃y Qy)

9. |– (∃z Pz ∧ ∀x Qx) → ∃y (Py ∧ Qy)

10. |– ∀z (Pz → Qz) → (∀y Py → ∀x Qx)

11. |– ∀x (Px → Qx) → (∃x Px → ∃x Qx)

15. |– ∀x (Px ↔ Qx) → (∀z Pz ↔ ∀y Qy)

16. |– ∀z (Pz ↔ Qz) → (∃x Px ↔ ∃y Qy)

17. |– (∀y(Tyc → Qyb) ∧ ∀yTyc) → ¬∃x (Txc ∧ ¬ Qxb)

*Cuando trabajamos con el absurdo, la fórmula que lo representa (por ejemplo: Qa ∧

(Qab ∧ ¬Qab) ↔ (𝑄𝑐𝑑 ∧ ¬𝑄𝑐𝑑)

XXI. Simbolice los siguientes razonamientos indicando el código empleado, y pruebe

Simbolización: x(Pxa → Qbx), ¬x(Pxa → Qxa), Pca – Qbc

Prueba formal de validez:

Prueba formal de validez:

Ejercicio adicional (Guía 2012):

XXII. Pruebe la validez de los siguientes razonamientos utilizando las reglas de la

1. x (Pxa → Pxb), Pca – Pcb

2. x (Px → Qxa), x (Qxa → Rx) – y (Py → Ry)

4. xy Pxy – y x Pxy

5. y (Py → Qy) – xy ((Rxy  Py) → (Rxy  Qy))