SOLUCIONARIO DE LÓGICA

Página 6

1. a) – Si A, entonces B.
– No A.
– Luego no B.
b) – Todos los A son B.
– x es A.
– Luego x es B.
c) – Todas las A son B.
– Algunas A son C.
– Luego algunos C son B.
d) – A o B.
– Si B, entonces C y D.
– Si C y D, entonces A.
– Luego A.

Página 8

2. a) p ì q
b) ¬ q 8 p
c) r 5 ¬ q
d) ¬ q 5 r
e) ¬ q î p
f) ¬ r ì q
g) Ä 1. p 8 q
Ä 2. ¬ q
|Ä 3. ¬ p î r

Página 12

3. a) – «Suben los salarios»: r

– «Aumenta la inflación»: s
– «Disminuye la exportación»: t
Ä 1. r 8 s
Ä 2. s 8 t
Ä 3. r
Ä 4. s MP 1, 3
|Ä 5. t MP 2, 4
b) – «La metafísica contiene la solución a todos los problemas de la existencia»: r
– «Soy un vampiro loco»: s
Ä 1. p
|Ä 2. p î q ID 1
Solucionario de lógica
4. – «El profesor debe enseñarnos lógica»: r
– «El profesor es competente»: p
– «El profesor quiere hacernos competentes»: q
Ä 1. p 8 (q 8 r)
Ä 2. p 8 q
Ä 3. p
4. q 8 r MP 1, 3
5. q MP 2, 3
|Ä 6. r MP 4, 5

Página 13

5. a) – «Vigilo mi inconsciente»: p
– «Sueño con las vacaciones»: q
– «Me despierto triste»: r
Ä 1. ¬ p 8 q
Ä 2. q 8 r
Ä 3. ¬ p
Ä 4. q MP 1, 3
Ä 5. r MP 2, 4
|Ä 6. ¬ p 8 r II 3, 5
b) – «Sócrates renuncia a la lógica»: p
– «Sócrates renuncia a razonar correctamente»: q
– «Sócrates admite la lógica»: r
– «Sócrates pierde su apuesta con Platón»: s
Ä 1. p 8 q
Ä 2. r 8 s
Ä 3. p î r
Ä 4. p
Ä 5. q MP 1, 4
Ä 6. q î s ID 5
Ä 7. r
Ä 8. s MP 2, 7
Ä 9. q î s ID 8
|Ä 10. q î s ED 4-6, 7-9
c) – «Los filósofos están locos»: p
– «A los filósofos los internarán en manicomios»: q
– «Los filósofos aman la libertad»: r
– «Los filósofos intentan escaparse»: s
– «Los filósofos actúan sensatamente»: t
Ä 1. p 8 q
Ä 2. r 8 s
Ä 3. (q ì s) 8 t

Solucionario de lógica
 Ä 4. p ì r
5. p EC 4
6. q MP 1, 5
7. r EC 4
8. s MP 2, 7
9. q ì s IC 6, 8
Ä 10. t MP 3, 9
|Ä 11. (p ì r) 8 t II 4-10
d) – «Es necesario tomar el poder»: p
– «Hace falta tener mayoría»: q
– «Se quiere cambiar el mundo»: r
Ä 1. p 8 q
Ä 2. ¬ (r 8 q)
Ä 3. r 8 p
– 4. r
5. p MP 3, 4
– 6. q MP 1, 5
7. r 8 q II 4-6
Ä 8. (r 8 q) ì ¬ (r 8 q) IC 2, 7
|Ä 9. ¬ (r 8 p) IN 3-8

6. – «El Racing ganará la Liga»: p

– «Pierdo una apuesta»: r
– «Me voy de viaje»: s
– «Me quedo sin ahorros»: t
Ä 1. ¬ p 8 r
Ä 2. (r î s) 8 t
Ä 3. ¬ t
Ä 4. ¬ p
Ä 5. r MP 1, 4
Ä 6. r î s ID 5
Ä 7. t MP 2, 6
Ä 8. t ì ¬ t IC 3, 7
Ä 9. ¬ ¬ p IN 4-8
|Ä 10. p EN 9

7. a) Ä 1. p 8 q
Ä 2. p ì ¬ q
3. p EC 2
4. q MP 1, 3
5. ¬ q EC 2
Ä 6. q ì ¬ q IC 4, 5
|Ä 7. ¬ (p ì ¬ q) IN 2-6

Solucionario de lógica
 b) Ä 1. p 8 q
Ä 2. ¬ q
– 3. p
4. q MP 1, 3
– 5. q ì ¬ q IC 2, 4
Ä 6. ¬ p IN 3-5
|Ä 7. ¬ q 8 ¬ p II 2-6
c) Ä 1. p 8 (q 8 r)
Ä 2. p ì q
3. p EC 2
4. q 8 r MP 1, 3
5. q EC 2
Ä 6. r MP 4, 5
|Ä 7. (p ì q) 8 r II 2-6

Página 16
8. 1) Silogismo hipotético (SIL):
A8B
B8C
ÄÄÄ
A8C
Ä 1. A 8 B
Ä 2. B 8 C
Ä 3. A
Ä 4. B MP 1, 3
Ä 5. C MP 2, 4
|Ä 6. A 8 C II 3-5
2) Identidad (IDE):
A
=
A
Ä 1. A
Ä 2. ¬ A
Ä 3. A ì ¬ A IC 1, 2
Ä 4. ¬ ¬ A IN 2-3
|Ä5. A EN 4
3) Mutación de premisa (MUT)
A 8 (B 8 C)
–––––––––––
B 8 (A 8 C)
Ä 1. A 8 (B 8 C)
Ä 2. B
– 3. A
4. B 8 C MP 1, 3
– 5. C MP 2, 4
Ä 6. A 8 C II 3-5
|Ä 7. B 8 (A 8 C) II 2-6
Solucionario de lógica
 4) Carga de premisa (CPr)
A
–––––
B8A
Ä 1. A
Ä 2. B
– 3. ¬ A
– 4. A ì ¬ A IC 1, 3
5. ¬ ¬ A IN 3-4
Ä 6. A EN 5
|Ä 7. B 8 A II 2-6
5) Conmutativa del conjuntor (CC)
AìB
=====
BìA
- Ä 1. A ì B
2. A EC 1
3. B EC 1
|Ä 4. B ì A IC 2, 3
- Ä 1. B ì A
2. B EC 1
3. A EC 1
|Ä 4. A ì B IC 2, 3
6) Conmutativa del disyuntor (CD)
AîB
=====
BîA
- Ä 1. A î B
Ä 2. A
Ä 3. B î A ID 2
Ä 4. B
Ä 5. B î A ID 4
|Ä 6. B î A ED 1, 2-3, 4-5
- Ä 1. B î A
Ä 2. B
Ä 3. A î B ID 2
Ä 4. A
Ä 5. A î B ID 4
|Ä 6. A î B ED 1, 2-3, 4-5
7) Asociativa del conjuntor (AC)
(A ì B) ì C
=========
A ì (B ì C)
- Ä 1. (A ì B) ì C
2. A ì B EC 1
3. C EC 1
4. A EC 2
5. B EC 2
Solucionario de lógica
 6. B ì C IC 3, 5
|Ä 7. A ì (B ì C) IC 4, 6
- Ä 1. A ì (B ì C)
2. A EC 1
3. B ì C EC 1
4. B EC 3
5. C EC 3
6. A ì B IC 2, 4
|Ä 7. (A ì B) ì C IC 5, 6
8) Asociativa del disyuntor (AD)
(A î B) î C
=========
A î (B î C)
- Ä 1. (A î B) î C
Ä 2. A î B
– 3. A
– 4. A î (B î C) ID 3
– 5. B
6. B î C ID 5
– 7. A î (B î C) ID 6
Ä 8. A î (B î C) ED 2, 3-4, 5-7
––– 9. C
10. B î C ID 8
––11. A î (B î C) ID 9
|Ä 12. A î (B î C) ED 1, 2-8, 9-11
- Ä 1. A î (B î C)
– 2. A
3. A î B ID 2
– 4. (A î B) î C ID 3
–––5. B î C
–6. B
7. A î B ID 6
–8. (A î B) î C ID 7
––9. C
–10. (A î B) î C ID 9
––11. (A î B) î C ED 5, 6-8, 9-10
|Ä 12. (A î B) î C ED 1, 2-4, 5-11
9) Distributiva del conjuntor (DC)
A ì (B î C)
==============
(A ì B) î (A ì C)
- Ä 1. A ì (B î C)
2. A EC 1
3. B î C EC 1
Ä 4. B
5. A ì B IC 2, 4
Ä 6. (A ì B) î (A ì C) ID 5

Solucionario de lógica
 Ä 7. C
8. A ì C IC 2, 7
Ä 9. (A ì B) î (A ì C) ID 8
|Ä 10. (A ì B) î (A ì C) ED 3, 4-6, 7-9
- Ä 1. (A ì B) î (A ì C)
Ä 2. A ì B
3. A EC 2
4. B EC 2
5. B î C ID 4
Ä 6. A ì (B î C) IC 3, 5
Ä 7. A ì C
8. A EC 7
9. C EC 7
10. B î C ID 9
– 11. A ì (B î C) IC 8, 10
12. A ì (B î C) ED 1, 2-6, 7-11
10) Distributiva del disyuntor (DD)
A î (B ì C)
=============
(A î B) ì (A î C)
- Ä 1. A î (B ì C)
Ä2. A
3. A î B ID 2
4. A î C ID 2
Ä5. (A î B) ì (A î C) IC 3, 4
––6. B ì C
7. B EC 6
8. C EC 6
9. A î B ID 7
10. A î C ID 8
––11. (A î B) ì (A î C) IC 9, 10
|Ä12. (A î B) ì (A î C) ED 1, 2-5, 6-11
- Ä 1. (A î B) ì (A î C)
2. A î B EC 1
3. A î C EC 2
– 4. A
– 5. A î (B ì C) ID 4
––– 6. B
– 7. A
– 8. A î (B ì C) ID 7
–– 9. C
10. B ì C IC 6, 9
– 11. A î (B ì C) ID 10
–– 12. A î (B ì C) ED 3, 7-8, 9-11
|Ä 13. A î (B ì C) ED 2, 4-5, 6-12

Solucionario de lógica
 11) Idempotencia del conjuntor (IdC)
AìA
=====
A
- Ä 1. A ì A
- Ä 2. A EC 1
- Ä 1. A
Ä 2. ¬ A
Ä 3. A ì ¬ A IC 1, 2
4. ¬ ¬ A IN 2-3
5. A EN 4
|Ä 6. A ì A IC 1, 5
12) Idempotencia del disyuntor (IdD)
AîA
======
A
- Ä 1. A î A
Ä 2. A
– 3. ¬ A
– 4. A ì ¬ A IC 2, 3
5. ¬¬ A IN 3-4
Ä 6. A EN 5
–– 7. A
– 8. ¬ A
– 9. A ì ¬ A IC 7, 8
10. ¬¬ A IN 8, 9
– 11. A EN 10
|Ä12. A ED 1, 2-6, 7-11
- Ä1. A
|Ä2. A î A ID 1
13) Absorción del conjuntor (AbsC)
A ì (A î B)
=========
A
- Ä 1. A ì (A î B)
|Ä 2. A EC 1
- Ä 1. A
2. A î B ID 1
|Ä 3. A ì (A î B) IC 1, 2
14) Absorción del disyuntor (AbsD)
A î (A ì B)
=========
A
- Ä 1. A î (A ì B)
- Ä 2. A
- – 3. ¬ A
- – 4. A ì ¬ A IC 2, 3
- 5. ¬ ¬ A IN 3-4
- Ä 6. A EN 5
Solucionario de lógica
 - – 7. A ì B
- – 8. A EC 7
|Ä 9. A ED 1, 2-6, 7-8
- Ä 1. A
|Ä 2. A î (A ì B) ID 1
15a) Contraposición 1 (CP 1)
A8B
–––––––––
¬B8¬A
Ä 1. A 8 B
Ä 2. ¬ B
– 3. A
4. B MP 1, 3
– 5. B ì ¬ B IC 2, 4
Ä 6. ¬ A IN 3-5
|Ä 7. ¬ B 8 ¬ A II 2-6
15b) Contraposición 2 (CP 2)
A8¬B
ÄÄÄÄ
B8¬A
Ä 1. A 8 ¬ B
Ä 2. B
– 3. A
4. ¬ B MP 1, 3
– 5. B ì ¬ B IC 2, 4
Ä 6. ¬ A IN 3-5
|Ä 7.B 8 ¬ A II 2-6
15c) Contraposición 3 (CP 3)
¬A8B
ÄÄÄÄ
¬B8A
Ä 1. ¬ A 8 B
Ä 2. ¬ B
– 3. ¬ A
4. B MP 1, 3
– 5. B ì ¬ B IC 2, 4
6. ¬ ¬ A IN 3-5
Ä 7. A EN 6
|Ä 8. ¬ B 8 A II 2-7
15d) Contraposición 4 (CP 4)
¬A8¬B
–––––––––
B8A

Solucionario de lógica
 Ä 1. ¬ A 8 ¬ B
Ä 2. B
– 3. ¬ A
4. ¬ B MP 1, 3
– 5. B ì ¬ B IC 2, 4
6. ¬ ¬ A IN 3-5
Ä 7. A EN 6
|Ä 8. B 8 A II 2-7
16) Modus tollens (MT)
A8B
¬B
–––––
¬A
Ä 1. A 8 B
Ä 2. ¬ B
Ä 3. A
4. B MP 1, 3
Ä 5. B ì ¬ B IC 2, 4
|Ä 6. ¬ A IN 3-5
17) Introducción del doble negador (IDN)
A
–––––
¬ ¬A
Ä 1. A
Ä 2. ¬ A
Ä 3. A ì ¬ A IC 1, 2
|Ä 4. ¬ ¬ A IN 2-3
18) De una contradicción se sigue cualquier cosa (ECQ)
Aì¬A
ÄÄÄ
B
Ä 1. A ì ¬ A
Ä 2. ¬ B
3. A EC 1
4. ¬ A EC 1
Ä 5. A ì ¬ A IC 3, 4
6. ¬ ¬ B IN 2-5
|Ä 7. B EN 6
19) Importación (IMP)
A 8 (B 8 C)
––––––––––
(A ì B) 8 C
Ä 1. A 8 (B 8 C)
Ä 2. A ì B
3. A EC 2
4. B EC 2
5. B 8 C MP 1, 3
Ä 6. C MP 4, 5
|Ä 7. (A ì B) 8 C II 2-6
Solucionario de lógica
 20) Exportación (EXP)
(A ì B) 8 C
––––––––––
A 8 (B 8 C)
Ä 1. (A ì B) 8 C
Ä 2. A
– 3. B
4. A ì B IC 2, 3
– 5. C MP 1, 4
Ä 6. B 8 C II 3-5
|Ä 7. A 8 (B 8 C) II 2-6
21a) Silogismo disyuntivo (SD 1)
AîB
¬B
ÄÄ
A
Ä 1. A î B
Ä 2. ¬ B
Ä 3. A
– 4. ¬ A
– 5. A ì ¬ A IC 3, 4
6. ¬ ¬ A IN 4-5
Ä 7. A EN 6
––– 8. B
–– 9. ¬ A
– 10. B ì ¬ B IC 2, 8
11. ¬ ¬ A IN 9-10
–– 12. A EN 11
|Ä 13. A ED 1, 3-7, 8-12
21b) Silogismo disyuntivo (SD 2)
AîB
¬A
–––
B
Ä 1. A î B
Ä 2. ¬ A
Ä 3. A
– 4. ¬ B
– 5. A ì ¬ A IC 2, 3
6. ¬ ¬ B IN 4-5
Ä 7. B EN 6
––– 8. B
–– 9. ¬ B
– 10. B ì ¬ B IC 8, 9
11. ¬ ¬ B IN 9-10
–– 12. B EN 11
|Ä 13. B ED 1, 3-7, 8-12

Solucionario de lógica
 22a) Dilemas (DIL 1)
AîB
A8C
B8C
–––––
C
Ä 1. A î B
Ä 2. A 8 C
Ä 3. B 8 C
Ä 4. A
Ä 5. C MP 2, 4
Ä 6. B
Ä 7. C MP 3, 6
|Ä 8. C ED 1, 4-5, 6-7
22b) Dilemas (DIL 2)
AîB
A8C
B8D
––––––
CîD
Ä 1. A î B
Ä 2. A 8 C
Ä 3. B 8 D
Ä 4. A
5. C MP 2, 4
Ä 6. C î D ID 5
Ä 7. B
8. D MP 3, 7
Ä 9. C î D ID 8
|Ä 10. C î D ED 1, 4-6, 7-9
22c) Dilemas (DIL 3)
¬ Aî¬ B
C8A
C8B
–––––
¬C
Ä 1. ¬ A î ¬ B
Ä 2. C 8 A
Ä 3. C 8 B
Ä 4. ¬ A
– 5. C
6. A MP 2, 5
– 7. A ì ¬ A IC 4, 6
Ä 8. ¬ C IN 5-7

Solucionario de lógica
 ––– 9. ¬ B
– 10. C
11. B MP 3, 10
– 12. B ì ¬ B IC 9, 11
–– 13. ¬ C IN 10-12
|Ä 14. ¬ C ED 1, 4-8, 9-13
22d) Dilemas (DIL 4)
¬ Aî¬ B
C8A
D8B
–––––––––
¬Cî¬ D
Ä 1. ¬ A î ¬ B
Ä 2. C 8 A
Ä 3. D 8 B
–– 4. ¬ A
– 5. C
6. A MP 2, 5
– 7. A ì¬ A IC 4, 6
8. ¬ C IN 5-7
–– 9. ¬ C î ¬ D ID 8
Ä 10. ¬ B
–11. D
12. B MP 3, 11
–13. B ì ¬ B IC 10, 12
14. ¬ D IN 11-13
Ä 15. ¬ C î ¬ D ID 14
|Ä 16. ¬ C î ¬ D ED 1, 4-9, 10-15
23a) Definición del implicador (DI 1)
A8B
============
¬ (A ì ¬ B)
- Ä 1. A 8 B
Ä 2. A ì ¬ B
3. A EC 2
4. ¬ B EC 2
5. B MP 1, 3
Ä 6. B ì ¬ B IC 4, 5
|Ä 7. ¬ (A ì ¬ B) IN 2-6
- Ä 1. ¬ (A ì ¬ B)
Ä 2. A
– 3. ¬ B
4. A ì ¬ B IC 2, 3
– 5. ¬ (A ì ¬ B) ì (A ì ¬ B) IC 1, 4
6. ¬ ¬ B IN 3-5
Ä 7. B EN 6
|Ä 8. A 8 B II 2-7

Solucionario de lógica
 23b) Definición del implicador (DI 2)
A8B
=========
¬AîB
- Ä 1. A 8 B
––– 2. ¬ (¬ A î B)
––– 3. A
– 4. ¬ B
5. B MP 1, 3
– 6. B ì ¬ B IC 4, 5
7. ¬ ¬ B IN 4-6
8. B EN 7
9. ¬ A î B ID 8
––10. ¬ (¬ A î B) ì (¬ A î B) IC 2, 9
11. ¬ A IN 3-10
12. ¬ A î B ID 11
–– 13. ¬ (¬ A î B) ì (¬ A î B) IC 2, 12
14. ¬ ¬ (¬ A î B) IN 2-13
|Ä 15. ¬ A î B EN 14
- Ä 1. ¬ A î B
––– 2. ¬ A
Ä 3. A
– 4. ¬ B
– 5. A ì ¬ A IC 2, 3
6. ¬ ¬ B IN 4-5
Ä 7. B EN 6
––– 8. A 8 B II 3-7
–––– 9. B
Ä10. A
–11. ¬ B
–12. B ì ¬ B IC 9, 11
13. ¬ ¬ B IN 11-12
Ä14. B EN 13
––– 15. A 8 B II 10-14
|Ä 16. A 8 B ED 1, 2-8, 9-15
24a) Definición del conjuntor (DfC 1)
AìB
=============
¬ (A 8 ¬ B)
- Ä 1. A ì B
Ä 2. A 8 ¬ B
3. A EC 1
– 4. B
5. ¬ B MP 2, 3
– 6. B ì ¬ B IC 4, 5
7. ¬ B IN 4-6
8. B EC 1
Ä 9. B ì ¬ B IC 7, 8
|Ä 10. ¬ (A 8 ¬ B) IN 2-9
Solucionario de lógica
 - Ä 1. ¬ (A 8 ¬ B)
––– 2. ¬ (A ì B)
Ä 3. A
– 4. B
5. A ì B IC 3, 4
– 6. ¬ (A ì B) ì (A ì B) IC 2, 5
Ä 7. ¬ B IN 4-6
8. A 8 ¬ B II 3-7
––– 9. ¬ (A 8 ¬ B) ì (A 8 ¬ B) IC 1, 9
10. ¬ ¬ (A ì B) IN 2-9
|Ä 11. A ì B EN 10
24b) Definición del conjuntor (DfC 2)
AìB
===========
¬ (¬ A î ¬ B)
- Ä 1. A ì B
––– 2. ¬ A î ¬ B
Ä 3. ¬ A
– 4. ¬ A î ¬ B
5. A EC 1
– 6. A ì ¬ A IC 3, 5
Ä 7. ¬ (¬ A î ¬ B) IN 4-6
–––8. ¬ B
–– 9. ¬ A î ¬ B
10. B EC 1
– 11. B ì ¬ B IC 8-10
––12. ¬ (¬ A î ¬ B) IN 9-11
13. ¬ (¬ A î ¬ B) ED 2, 3-7, 8-12
–––14. ¬ (¬ A î ¬ B) ì (¬ A î ¬ B) IC 2, 13
|Ä 15. ¬ (¬ A î ¬ B) IN 2-14
- Ä 1. ¬ (¬ A î ¬ B)
Ä 2. ¬ A
3. ¬ A î ¬ B ID 2
Ä 4. ¬ (¬ A î ¬ B) ì (¬ A î ¬ B) IC 1, 3
5. ¬ ¬ A IN 2-4
6. A EN 5
Ä 7. ¬ B
8. ¬ A î ¬ B ID 7
Ä 9. ¬ (¬ A î ¬ B) ì (¬ A î ¬ B) IC 1, 8
10. ¬ ¬ B IN 7-9
11. B EN 10
|Ä 12. A ì B IC 6, 11
25a) Definición del disyuntor (DfD 1)
AîB
=======
¬A8B

Solucionario de lógica
 - Ä 1. A î B
–––– 2. ¬ A
Ä 3. A
– 4. ¬ B
– 5. A ì ¬ A IC 2, 3
6. ¬ ¬ B IN 4-5
Ä 7. B EN 6
––– 8. B
–– 9. ¬ B
– 10. B ì ¬ B IC 8, 9
11. ¬ ¬ B IN 9-10
Ä12. B EN 11
––––13. B ED 1, 3-7, 8-12
|Ä 14. ¬ A 8 B II 2-13
- Ä 1. ¬ A 8 B
Ä 2. ¬ (A î B)
– 3. ¬ A
4. B MP 1, 3
5. A î B ID 4
– 6. ¬ (A î B) ì (A î B) IC 2, 5
7. ¬ ¬ A IN 3-6
8. A EN 7
9. A î B ID 8
– 10. ¬ (A î B) ì (A î B) IC 2, 9
11. ¬ ¬ (A î B) IN 2-10
|Ä 12. A î B EN 11
25b) Definición del disyuntor (DfD 2)
AîB
===============
¬ (¬ A ì ¬ B)
- Ä 1. A î B
––––– 2. ¬ A ì ¬ B
Ä 3. A
– 4. ¬ B
5. ¬ A EC 2
– 6. A ì ¬ A IC 3, 5
7. ¬ ¬ B IN 4-6
Ä 8. B EN 7
––– 9. B
– 10. ¬ B
– 11. B ì ¬ B IC 9, 10
12. ¬ ¬ B IN 10-11
–– 13. B EN 12
14. B ED 1, 3-8, 9-13
15. ¬ B EC 2
–––– 16. B ì ¬ B IC 14, 15
|Ä 17. ¬ (¬ A ì ¬ B) IN 2-16

Solucionario de lógica
 - Ä 1. ¬ (¬ A ì ¬ B)
––– 2. ¬ (A î B)
Ä 3. ¬ A
– 4. ¬ B
5. ¬ A ì ¬ B IC 3, 4
– 6. ¬ (¬ A ì ¬ B) ì (¬ A ì ¬ B) IC 1, 5
7. ¬ ¬ B IN 4-6
8. B EN 7
9. A î B ID 8
– 10. ¬ (A î B) ì (A î B) IC 2, 9
11. ¬ ¬ A IN 3-10
12. A EN 11
13. A î B ID 12
–– 14. ¬ (A î B) ì (A î B) IC 2, 13
15. ¬ ¬ (A î B) IN 2-14
|Ä 16. A î B EN 15
26a) Leyes De Morgan (DM 1)
¬ (A ì B)
===========
¬Aî¬ B
- Ä 1. ¬ (A ì B)
––– 2. ¬ (¬ A î ¬ B)
Ä 3. A
– 4. B
5. A ì B IC 3, 4
– 6. ¬ (A ì B) ì (A ì B) IC 1, 5
7. ¬ B IN 4-6
8. ¬ A î ¬ B ID 7
Ä 9. ¬ (¬ A î ¬ B) ì (¬ A î ¬ B) IC 2, 8
10. ¬ A IN 3-9
11. ¬ A î ¬ B ID 10
–– 12. ¬ (¬ A î ¬ B) ì (¬ A î ¬ B) IC 2, 11
13. ¬ ¬ (¬ A î ¬ B) IN 2-12
|Ä 14. ¬ A î ¬ B EN 13
- Ä 1. ¬ A î ¬ B
–– 2. ¬ A
– 3. A ì B
4. A EC 3
– 5. A ì ¬ A IC 2, 4
Ä 6. ¬ (A ì B) IN 3-5
––– 7. ¬ B
–– 8. A ì B
9. B EC 8
– 10. B ì ¬ B IC 7, 9
–– 11. ¬ (A ì B) IN 8-10
|Ä 12. ¬ (A ì B) ED 1, 2-6, 7-11

Solucionario de lógica
 26b) Leyes De Morgan (DM 2)
¬ (A î B)
===========
¬Aì¬ B
- Ä 1. ¬ (A î B)
Ä 2. A
3. A î B ID 2
Ä 4. ¬ (A î B) ì (A î B) IC 1, 3
5. ¬ A IN 2-4
Ä 6. B
7. A î B ID 6
Ä 8. ¬ (A î B) ì (A î B) IC 1, 7
9. ¬ B IN 6-8
|Ä 10. ¬ A ì ¬ B IC 5, 9
- Ä 1. ¬ A ì ¬ B
––– 2. A î B
Ä 3. A
– 4. A î B
5. ¬ A EC 1
– 6. A ì ¬ A IC 3, 5
Ä 7. ¬ (A î B) IN 4-6
–– 8. B
–– 9. A î B
10. ¬ B EC 1
–11. B ì ¬ B IC 8, 10
– 12. ¬ (A î B) IN 9-11
13. ¬ (A î B) ED 2, 3-7, 8-12
–– 14. ¬ (A î B) ì (A î B) IC 2, 13
|Ä 15. ¬ (A î B) IN 2-14

Página 18

9. a) (p 8 q) 8 (q 8 p)
p q p 8 q q 8 p (p 8 q) 8 (q 8 p)
V V V V V
V F F V V
F V V F F
F F V V V
Es una proposición contingente.
b) (p 8 q) ì (q 8 p)
p q p8q q8p (p 8 q) ì (q 8 p)
V V V V V
V F F V F
F V V F F
F F V V V
Es una proposición contingente.

Solucionario de lógica
 c) (¬ p 8 q) ì (¬ q 8 p)
p q ¬p ¬q ¬p8q ¬q8p (¬ p 8 q) ì (¬ q 8 p)
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 F F F
Es una proposición contingente.
d) (p ì q 8 r) 8 (p 8 ¬ q î r)
p q r ¬ q p ì q ¬ q î r p ì q 8 r p 8 ¬ q î r (p ì q 8 r) 8 (p 8 ¬ q î r)
V V V F V V V V V
V V F F V F F F V
V F V V F V V V V
V F F V F V V V V
F V V F F V V V V
F V F F F F V V V
F F V V F V V V V
F F F V F V V V V
Es una tautología.
e) [(¬ p 8 ¬ q) ì (¬ q 8 ¬ r)] 8 (¬ p 8 ¬ r)
p q r ¬p ¬q ¬r ¬p8¬q ¬q8¬r ¬p8¬r
V V V F F F V V V
V V F F F V V V V
V F V F V F V F V
V F F F V V V V V
F V V V F F F V F
F V F V F V F V V
F F V V V F V F F
F F F V V V V V V
(¬ q 8 ¬ r) ì (¬ p 8 ¬ r) [(¬ p 8 ¬ q) ì (¬ q 8 ¬ r)] 8 (¬ p 8 ¬ r)
V V
V V
F V
V V
F V
F V
F V
V V
Es una tautología.

Solucionario de lógica
Página 23

10. a) – Todos los franceses son europeos.

Franceses

Europeos

– Ningún americano es europeo.

Americanos

Europeos

– Luego ningún americano es francés.

Franceses
Americanos

Europeos

Solucionario de lógica
 b) – Todos los filósofos son platónicos.

Platónicos

Filósofos

– Algunos enamorados son filósofos.

Enamorados

Filósofos

– Luego algunos enamorados son platónicos.

Platónicos
Enamorados

Filósofos

Solucionario de lógica