Respuestas I

1
RESPUESTAS A LOS EJERCICIOS IMPARES

Versión marzo 20, 2017
Capítulo 1
Ejercicio 1.1
1. No. Es una pregunta.
3. Sí
5. Sí
7. Sí
Ejercicio 1.2
1. Ningún pato baila el vals.

Todos los oficiales bailan el vals.
Ningún oficial es un pato.
EAE-2
Ningún oficial es un pato.

Todas mis aves son patos.
Ninguna de mis aves es un oficial.
EAE-2
3. Todos los pájaros multicolores viven del néctar.

Todos los picaflores son multicolores.
Los picaflores viven del néctar.
AAA-1
Ningún pájaro grande vive del néctar.

Los picaflores viven del néctar.
Ningún picaflor es grande.
EAE-2
5. Todas las frutas saludables están maduras.

Ninguna fruta que haya crecido en la sombra está madura.
Ninguna fruta que haya crecido en la sombra es saludable.
AEE-2
Ninguna fruta que haya crecido en la sombra es saludable.

Todas estas manzanas son saludables.
Estas manzanas no crecieron en la sombra.
EAE-2
2
Ejercicio 1.3
1. Fabio tiene buenos modales.
Quien tiene buenos modales, tuvo una buena educación.
Fabio tuvo una buena educación.
3. Hay charcos por todas partes.

Si hay charcos, llovió anoche.
Llovió anoche.
5. Les sobró mucha comida.

Si les sobró mucha comida, la fiesta no fue exitosa.
La fiesta no debió ser muy exitosa.
7. Jaramillo fue un buen senador.

Quien es buen senador será buen presidente.
Jaramillo va a ser un buen presidente.
9. En el nuevo almacén venden sólo productos importados.

Si sólo venden productos importados, el almacén tiene precios altos.
Los precios en el nuevo almacén de la esquina van a ser altos.
11. Él estudió con Pepe Romero.

Quien estudia con Pepe Romero, es buen guitarrista.
Él es buen guitarrista.
13. La mitad de los que se sientan en la primera fila creen en Dios.

Si la mitad de la primera fila cree en Dios, la mitad de la clase cree en Dios.
La mitad de la clase debe creer en Dios.
15. Si no creen en su inocencia, no le devuelven su empleo.

Le devuelven su empleo.
Creen en su inocencia.
3
Capítulo 2
Ejercicio 2.1
A.
1. L&C
3. ~L & ~C
~(L  C)
5. L  C
7. ~L & C
9. ~(C  L) & ~A
11. (L  A) & ~(L & A)
13. A  ~A
15. ~~C
B.
1. Adriana y Luis juegan tenis todos los días.
3. Adriana o Carolina juega tenis todos los días.
5. Ni Adriana ni Carolina juega tenis todos los días.
7. Luis juega tenis todos los días y Adriana o Carolina trata todos los días.
9. O Adriana o Luis o Carolina no juega tenis todos los días.
Ejercicio 2.2
A.
1. L  ~P
3. L  ~P
5. (C & L)  A
7. MC
9. (~C  ~L)  ~A
11. M  [C  (A & L)]
13. (S & ~P)  (A & L)
15. [M & (~P & S)]  [C & (L & A)]
17. (C  A)  (S & M)
19. [(C  L)  A]  [S & ~P]
B.
1. L: La historia del tiempo fue escrita por un loco.
F: La historia del tiempo fue escrita por un autor de ciencia ficción.
C: La historia del tiempo fue escrita por un científico.
P: El autor de La historia del tiempo fue inspirado por un incidente en un acelerador de
partículas
E: El autor de La historia del tiempo había escrito un libro antes
4
L  (F  C)
P & ~C
~F & ~E
L
3. M: La mucama cometió el crimen.

Y: El mayordomo cometió el crimen.
B: Lord Bradley cometió el crimen.
H: El crimen fue cometido con un cuchillo.
~B  (M  Y)
(H  B) & (H  ~[M  Y])
H
B
5. M: El candidato ganará en San Mateo.

l: El candidato ganará en La Estrella
S: El candidato ganará en Salvador.
C: El candidato es percibido como corrupto.
E: La estrategia publicitaria del candidato es exitosa.
C  [~L & (M & S)]

(E  ~C) & E
[(L & M)  (S & L)]  (M & S)
Ejercicio 2.3
1. [B  (A & C)] & ([A  (B & C)] & [C  (A & B)])
3. E  [~(C  B)  A]
5. C  (L & E)
7. L  [ (~[A & C] & T)  B]
9. A  (B  C)
11. [C & ~(B  A)]  ([A & ~(C  B)]  [B & ~(A  C)])
13. (A & B)  [(C & A)  (B & C)]
15. [(A & B) & ~C]  ([(C & A) & ~B]  [(B & C) & ~A])
Ejercicio 2.4
A.
1. No
3. No
5. No
7. No
9. Sí
5
B.
1. Operador lógico principal: &
Componentes proposicionales inmediatos: (S  ~G)
S
3. Operador lógico principal: 
Componentes proposicionales inmediatos ~G
~(D & F)
5. Operador lógico principal: 
Componentes proposicionales inmediatos: [(G  F)  (F  D)]
(G  D)
7. Operador lógico principal: 

Componentes proposicionales inmediatos: [F  (D  G)]
[(S  G)  T]
6
Capítulo 3
Ejercicio 3.1
A.
1. ~ S  S
F V V V
VF F F
La fórmula es semánticamente indeterminada.
3. (A  B)  (~ A  B)
V V V V F V F V
V V F V F V V F
F V V V V F V V
F F F F V F F F
La fórmula no es verdadera.
5. ~ M  [(N & M)  O]
F V V V V V V V
F V V V V V F F
F V V F F V V V
F V V F F V V F
V F V V F F V V
V F V V F F V F
V F V F F F V V
V F V F F F V F
La fórmula es una tautología.
7. [(E  ~ E)  E]  E
V V F V V V V V
F V V F F F V F
9. (~ A & ~ D)  ~ (A  D)
F V F F V F F V V V
F V F V F F F V V F
V F F F V F F F V V
V F V V F V V F F F
7
11. [(F  G) & (F  H)]  ~ (G & H)

V V V V V V V F F V V V
V V V V V V F V V V F F
V V F V V V V V V F F V
V V F V V V F V V F F F
F V V V F V V F F V V V
F V V V F F F V V V F F
F F F V F V V V V F F V
F F F F F F F V V F F F
13. (E  ~ K)  ~ ~ (K  E)
V V F V V V F V V V
V V V F V V F F V V
F F F V V F V V F F
F V V F V V F F V F
15. [(B  ~ E) & ~ (B & E)]  ~ E

V V F V F F V V V V F V
V V V F V V V F F V V F
F F F V F V F F V V F V
F V V F V V F F F V V F
B.
1. Sí. Los valores de verdad de P y Q nunca van a ser iguales bajo una valuación dada. Por esta
razón, el bicondicional P  Q será una contradicción.
3. No. La disyunción puede ser una tautología o una fórmula semánticamente indeterminada.
No podemos determinar cuál de las dos con la información suministrada.
8
Ejercicio 3.2
A.
1. [~ (M & N)]  [~ (M  N)]

F V V V V F V V V
V V F F F F V V F
V F F V F F F V V
V F F F V V F F F
No son semánticamente equivalentes.
3. (A  G)  (~ A  ~ G)
V V V V F V V F V
F F V V V F F F V
V F F V F V F V F
F V F V V F V V F
Son semánticamente equivalentes.
5. [(G  A)  (A  G)]  [(G  A)  (~ A  G)]

V V V V V V V V V V V V F V V V
F V V F V F F V F F V F F V F F
V F F V F V V V V F F V V F V V
F V F V F V F V F V F V V F V F
Son semánticamente equivalentes.
7. ([K  ~ (M & L)]  ~ M)  ([M  ~ (K & L)]  ~ K)

V V F V V V F F V V V V F V V V F F V
V V V F F V V V F V F F F V V V V F V
V V V V F F F F V V V V V V F F F F V
V V V F F F V V F F F V V V F F F F V
F F F V V V V F V V V V V F F V V V F
F V V F F V V V F V F V V F F V V V F
F V V V F F F F V F V V V F F F V V F
F V V F F F V V F V F V V F F F V V F
9
9. [~ (A & B)  (B  ~ C)]  [(A & B)  ~ C]

F V V V V V F F V F V V V F F V
F V V V F V V V F F V V V V V F
V V F F V F V F V V V F F V F V
V V F F F F F V F F V F F V V F
V F F V F V F F V F F F V V F V
V F F V V V V V F V F F V V V F
V F F F V F V F V V F F F V F V
V F F F F F F V F F F F F V V F
B.
1. Los valores de verdad de ambas proposiciones se invierten, pero siguen siendo
equivalentes.
3. Si estas proposiciones tienen el mismo valor de verdad, entonces la negación de alguna de
ellas será igual a la negación de la otra. En la disyunción la negación de P tiene el mimo
valor de verdad que la negación de Q, por tanto lo que es falso en Q es verdadero en ~P y
viceversa, y el valor de la disyunción será siempre verdadero porque alguno de las dos
partes es verdadera.
Ejercicio 3.3
1. {A , B , C}
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
El conjunto es semánticamente consistente.
3. B  (C & D) ~C ~ B  B
V V V V V FV FV V V
V F V F F FV FV V V
V F F F V VF FV V V
V F F F F VF FV V V
F F V V V FV VF F F
F V V F F FV VF F F
F V F F V VF VF F F
F V F F F VF VF F F
10
El conjunto es semánticamente inconsistente.
5. {~ [B  (A  C)] , C  (~ B  ~ A) , A  (B  C)}
F V V V V V V F F V F F V V V V V V
F V V V F F F V F V F F V V V V V F
F F V V V V V V V F V F V V V F V V
V F F V F F F F V F V F V V F F F F
F V V F V V V V F V V V F F F V V V
F V V F V F F F F V V V F F F V V F
F F V F V V V V V F V V F F F F V V
F F V F V F F F V F V V F F V F F F
7. Y  (Z & X) Z  (Y  X) X  ~X
V V V V V V V VV V V V FV
V V F F V F F VV V V V FV
F V V V V V V F VV V V FV
F F F F V F F F VV V V FV
V V V F F V V VV F F V VF
V V F F F F F VV F F V VF
F F V F F V F FFF F V VF
F F F F F F V FFF F V VF
9. {(M & N)  (O  N) , ~ M , ~ N}
V V V V V V V F V F V
V V V V F V V F V F V
V F F F V F F F V V F
V F F V F V F F V V F
F F V V V V V V F F V
F F V V F V V V F F V
F F F F V F F V F V F
F F F V F V F V F V F
11
Ejercicio 3.4
A.
1. (X  Y)  (Y  Z) , Y ; X  Z
V V V V V V V V V V V
V V V F V F F V V F F
V F F V F V V F V V V
V F F V F V F F V F F
F V V V V V V V F V V
F V V F V F F V F V F
F V F V F V V F F V V
F V F V F V F F F V F
El argumento es válido.
3. ~ ~ A  ~ ~ B , ~ B  ~ A ; B  A
V F V V V F V F V V F V V V V
V F V F F V F V F F F V F V V
F V F V V F V F V V V F V F F
F V F V F V F V F V V F F V F
El argumento es inválido.
5. D  (H & P) , P  H , ~ P ; ~ D
V V V V V V V V F V F V
V F V F F F F V V F F V
V F F F V V F F F V F V
V F F F F F V F V F F V
F V V V V V V V F V V F
F V V F F F F V V F V F
F V F F V V F F F V V F
F V F F F F V F V F V F
7. (P  Q)  (~ P  Q) ; (~ P  ~ Q)  ~ (P  Q)
V V V V F V F V F V V F V V F V V V
V F F V F V V F F V F V F V V V F F
F F V V V F V V V F F F V V V F F V
F V F V V F F F V F V V F V F F V F
12
9. (E  ~ T) & T , (T  [(B  E) & B)]  ~ E ; T  ~ E

V F F V F V V V V V V V V F F V V F F V
V V V F F F F V V V V V V F F V F V F V
F V F V V V V V V F F F V V V F V V V F
F F V F F F F F V F F F V V V F F V V F
V F F V F V V V F V V F F F F V V F F V
V V V F F F F F F V V F F V F V F V F V
F V F V V V V V F V F F F V V F V V V F
F F V F F F F F F V F F F V V F F V V F
B.
1. N  ~ N , (T  N)  T ; N  ~ T
V F F V V V V V V V F F V
V F F V F V V F F V V V F
F V V F V F F V V F V F V
F V V F F V F F F F F V F
El argumente es válido.
3. (A  V)  ~ (A & V) , V  (V  A) ; V  A
V V V F F V V V V V V V V V V V
V V F V V V F F F F F V V F V V
F V V V V F F V V F V F F V F F
F F F V V F F F F F F V F F V F
5. F & ~ [(G & H)  (H  F)] , G  ~ G ; ~ H  H

F V V V
V F F V V F F F
F V V V
V V V F F F F F V V F V V F V F F F
F V V V
V F F V V F F F
F V V V
F F V F F F F F V F F V V F V F F F
C.
1. S: El espeleólogo encontrará la salida de la cueva
B: las baterías de la linterna del espeleólogo duran más de tres horas
13
BS
~B
~S
B  S , ~ B ; ~ S
V V V F V F V
V F F F V V F
F V V V F F V
F V F V F V F El argumento es inválido.
3. A: La primera línea de metro fue inaugurada en 1927

F: Mi memoria me falla.
C: El planetario fue construido en 1927.
M: El Museo de Arte Egipcio fue construido en 1928.
A & (~F  C)
~F
C&M
A & (~ F  C) , ~ F ; C & M
V V F V V V F V V V V
V V F V V V F V V F F
V V V F V V V F V V V
V V V F V V V F V F F
V V F V V F F V F F V
V V F V V F F V F F F
V F V F F F V F F F V
V F V F F F V F F F F
F F F V V V F V V V V
F F F V V V F V V F F
F F V F V V V F V V V
F F V F V V V F V F F
F F F V V F F V F F V
F F F V V F F V F F F
F F V F F F V F F F V
F F V F F F V F F F F El argumento es inválido.
5. U: La inflación continúa estable.

T: Los intereses tenderán a bajar.
I: El consumo interno aumenta.
C: La economía crecerá.
(U  T) & (I  C)
(T  ~C) & (~C  U)
U
14
(U T) & (I  C) , (T  ~ C) & (~ C  U) ; U

V V V V V V V V F F V F F V V V V
F V V V V V V V F F V F F V V F F
V F F F V V V F V F V V F V V V V
F V F V V V V F V F V V F V V F F
V V V V F V V V F F V F F V V V V
F V V V F V V V F F V F F V V F F
V F F F F V V F V F V V F V V V V
F V F V F V V F V F V V F V V F F
V V V F V F F V V V F V V F V V V
F V V F V F F V V V F F V F F F F
V F F F V F F F F V F F V F V V V
F V F F V F F F F V F F V F F F F
V V V V F V F V V V F V V F V V V
F V V V F V F V V V F F V F F F F
V F F F F V F F F V F F V F V V V
F V F V F V F F F V F F V F F F F
15
Capítulo 4
Ejercicio 4.1
A.
1. Si asumimos que  {~P} es semánticamente inconsistente, entonces no existe ninguna
asignación de valor de verdad bajo la cual todos los miembros del conjunto  {~P} sean
verdaderos. Como ~P es falsa bajo una asignación de verdad si y sólo si P es verdadera bajo esa
misma asignación de valor de verdad, entonces no existe ninguna asignación de valor de verdad
bajo la cual todos los miembros de sean verdaderos y P sea falsa. Por definición implica a P.
3. Si asumimos que ╞═ P  Q, entonces no existe ninguna asignación de valor de verdad bajo la
cual los miembros del conjunto  sean verdaderos y P  Q sea falso. Como P  Q es falso si y
solo si P es verdadero y Q es falso, entonces no existe ninguna asignación de valor de verdad bajo
la cual los miembros del conjunto  y P sean verdaderos y Q sea falso. Por tanto  {P}╞═ Q.
Si asumimos  {P}╞═ Q, entonces no existe ninguna asignación de valor de verdad bajo la
cual los miembros del conjunto  y P sean verdaderos y Q sea falso. Como P  Q es falso si y
solo si P es verdadero y Q es falso, entonces no existe nunguan asignación de valor de verdad en
la cual los miembros del conjunto  sean verdaderos y P  Q sea falso. Por tanto ╞═ P  Q.
5. Si asumimos que el conjunto  es consistente, entonces bajo alguna asignación de valor de

verdad todos los miembros del conjunto  son verdaderos. Si tenemos una contradicción P, bajo
ninguna asignación de valor de verdad será verdadera la fórmula. Por tanto si unimos el conjunto
 con la fórmula P, bajo ninguna asignación de valor de verdad serán verdaderos todos los
miembros del conjunto  {P}, es decir, el conjunto  {P} será inconsistente.
7. Si asumimos que ╞═ P, entonces bajo ninguna asignación de valor de verdad los miembros
del conjunto  serán verdaderos y P falso. Si a la vez asumimos que ╞═ ~P, entonces bajo
ninguna asignación de valor de verdad los miembros del conjunto  serán verdaderos y ~P falso.
Como P es verdadero si y solo si ~P es falso, entonces los miembros del conjunto  no pueden
ser verdaderos bajo ninguna asignación de valor de verdad. Si no, no implicaría a ambas
proposiciones. Por tanto el conjunto  es inconsistente.
Ejercicio 4.2
1. {~(F  G), F  G}
1. ~(F  G) MC El conjunto es inconsistente.

2. F  G MC
3. ~F 1(~)
4. ~G 1(~)
5. F G 2()
X X
16
3. {~(A  B), A  ~B}

1. ~(A  B) MC
2. A  ~B MC Es consIstente en A B
3. ~A 1(~) F F
4. ~B 1(~)
5. A ~B 2()
X 
5. {M & (N & O), ~[M & (N & O)]}

1. M & (N & O) MC
2. ~[M & (N & O)] MC
3. M 1(&)
4. N & O 1(&)
5. N 4(&)
6. O 4(&)
7. ~M ~(N & O) 2(~&)
8. X ~N ~O 7(~&)
X X
El conjunto es inconsistente.
7. {~F  (D & E), F, ~(D & E)}

1. ~F  (D & E) MC El conjunto es inconsistente.
2. F MC
3. ~(D & E) MC
4. ~F D & E 1()
5. X D 4(&)
6. E 4(&)
7. ~D ~E 3(~&)
X X
17
9. {(~R & ~S) & [(S  ~U) & (U  ~T)]}

1. (~R & ~S) & [(S  ~U) & (U  ~T)] MC El conjunto es consistente en
2. ~R & ~S 1(&) R S U
3. (S  ~U) & (U  ~T) 1(&) F F F
4. ~R 2(&)
5. ~S 2(&)
6. S  ~U 3(&)
7. U  ~S 3(&)
8. S ~U 6()
9. X U ~S 7()
X 
11. {(H  ~I) & [(I  ~J) & (J  ~K)]}

1. (H  ~I) & [(I  ~J) & (J  ~K)] MC El conjunto es consJstente en
2. H & ~I 1(&) H I J K
3. (I  ~J) & (J  ~K) 1(&) V F F F
4. H 2(&)
5. ~I 2(&)
6. I  ~J 3(&)
7. J  ~K 3(&)
8. I ~J 6()
9. X J ~K 7()
X 
Ejercicio 4.3
1. {~(J  K), ~(K  J)}
1. ~(J  K) MC
2. ~(K  J) MC
3. J 1(~)
4. ~K 1(~)
5. K 2(~)
6. ~J 2(~)
X
18
3. {C  A, ~A}
1. C  A MC El conjunto es consistente en C A
2. ~A MC F F
3. C ~C 1()
4. A ~A 1()
X
5. {~[(M  ~N)  (N  M)], ~(~M  ~N)]}

1. ~[(M  ~N)  (N  M)] MC El conjunto es consistente en
2. ~(~M  ~N) MC MN
3. M  ~N 1(~) F V
4. ~(N  M) 1(~)
5. ~M 2(~)
6. ~~N 2(~)
7. N 6(~~)
8. N 4(~)
9. ~M 4(~)
10. ~M N 3()
X X
7. {C  A, ~(C  A)}
1. C  A MC El conjunto es inconsistente.
2. ~(C  A) MC
3. C 2(~)
4. ~A 2(~)
5. C ~C 1()
6. A ~A 1()
X X
19
9. {B  A, A  C, ~(B  C)}
1. B  A MC
2. A  C MC
3. ~(B  C) MC
4. B 3(~)
5. ~C 3(~)
6. B ~B 1()
7. A ~A 1()
X
8. A ~A 2()
9. C ~C 2()
X X
11. {Z  (X  ~Y), ~(Z  X)}

1. Z  (X  ~Y) MC
2. ~(Z  X) MC
3. Z ~Z 2(~)
4. ~X X 2(~)
5. ~Z X  ~Y ~Z X  ~Y 1()

X
6. X ~X X ~X X ~X 5()
7. ~Y ~~Y ~Y ~~Y ~Y ~~Y 5()
8. X Y  X X 7(~~)

El conjunto es consistente en Z X Y
V F V
F V F
20
13. {R  (~S  T), ~R  (S  ~T), ~(R  ~T)}

1. R  (~S  T) MT
2. ~R  (S  ~T) MT
3. ~(R  ~T) MT
4. R 3(~)
5. ~~T 3(~)
6. T 5(~~)
7. R ~R 1()
8. ~S  T ~(~S  T) 1()
X
9. ~S ~~S 8()
10. T ~T 8()
X
11. ~~R S  ~T 2()
12. R 11(~~)

13. ~S ~~T 11()
14.  T 13(~~)

El conjunto es consistente en R S T
V F V
Ejercicio 4.4
1. K & ~K
1. K & ~K MC La fórmula es una contradicción.
2. K 1(&)
3. ~K 1(&)
X
3. ~L  ~L
1. ~L  ~L MC La fórmula no es una tautología.
2. ~L ~L 1()
1. ~(~M  ~M) MC La fórmula no es una contradicción.

2. ~M 1(~)
3. ~M 1(~)
Es una fórmula contingente.
21
5. (L  Z)  (A & Z)
1 ~[(L  Z)  (A & Z)]  MC No es una tautología.
2 ~(L  Z)  1 (~)
3 ~(A & Z)  1 (~)
4 L ~L 2 (~)
5 ~Z Z 2 (~)
6 ~A ~Z ~A ~Z 3 (~&)

1 (L  Z)  (A & Z) MC No es una contradicción.
2 (L  Z) (A & Z) MC
3 L ~L 2 ()
4 Z ~Z 2 ()
5 A 2 (&)
6 Z 2 (&)
Por lo tanto, es una fórmula semánticamente indeterminada.
7. (B  D) & [(B  ~D) & ~(~B  D)]

1. (B  D) & [(B  ~D) & ~(~B  D)] MB La fórmula es una
2. B  D 1(&) contradicción.
3. (B  ~D) & ~(~B  D) 1(&)
4. B  ~D 3(&)
5. ~(~B  D) 3(&)
6. ~~B 5(~)
7. ~D 5(~)
8. B 6(~~)
9. ~B D 2()
X X
22
9. (~F  ~G) & (F & ~G)

1. (~F  ~G) & (F & ~G) MC La fórmula es una
2. ~F  ~G 1(&) contradicción.
3. F & ~G 1(&)
4. F 3(&)
5. ~G 3(&)
6. ~F ~~F 2()
7. ~G ~~G 2()
8. X G 7(~~)
X
11. (M  N) & ~(M  N)

1. (M  N) & ~(M  N) MC La fórmula es una contradicción.
2. M  N 1(&)
3. ~(M  N) 1(&)
4. ~M 3(~)
5. ~N 3(~)
6. M N 2()
X X
13. (P  Q)  ~(P  Q)
1. (P  Q)  ~(P  Q) MC
2. P  Q ~(P  Q) 1() La fórmula es una

3. ~(P  Q) ~~(P  Q) 1() contradicción.
4. ~P 3(~)
5. ~Q 3(~)
6. P Q 2()
7. X X P  Q 3(~~)
8. ~P 2(~)
9. ~Q 2(~)
10. P Q 7()
X X
23
Ejercicio 4.5
1. ~(B & A) y ~B & ~A
1. ~[~(B & A)  (~B & ~A)] MC
2. ~(B & A) ~~(B & A) 1(~)

3. ~(~B & ~A) ~B & ~A 1(~)
4. B & A 2(~~)
5. B 4(&)
6. A 4(&)
7. ~B 3(&)
8. ~A 3(&)
9. ~B ~A X 2(~&)
10. ~~B ~~A ~~B ~~A 3(~&)

11. B A B A 10(~~)
X   X
No son equivalentes.
3. (P & Q)  R y (P  R) & (Q  R)
1. ~([(P & Q)  R] [(P  R) & (Q  R)]) MC
2. (P & Q)  R ~[(P & Q)  R] 1(~)

3. ~[(P  R) & (Q  R)] (P  R) & (Q  R) 1(~)
4. P & Q 2(~)
5. ~R 2(~)
6. Q 4(&)
7. P 4(&)
8. P  R 3(&)
9. QR 3(&)
10. ~P R 8()
11. ~(P  R) ~(Q  R) X X 3(~&)
12. P Q 11(~)
13. ~R ~R 11(~)
14. ~(P & Q) R ~(P & Q) R 2()

X X
15. ~P ~Q ~P ~Q 14(~&)
X   X
24
5. D & (E  F) y (D & E)  (D & F)
1. ~([D & (E  F)]  [(D & E)  (D & F)]) MC
2. D & (E  F)  ~[D & (E  F)] 1(~)

3. ~[(D & E)  (D & F)] (D & E)  (D & F) 1(~)
4. D 2(&)
5. E  F 2(&)
6. ~(D & E) 3(~)
7. ~(D & F) 3(~)
8. ~D ~E 6(~&)
X
9. E F 5()
X
10. ~D ~F 7(~&)
11. X X ~D ~(E  F) 2(~&)
12. ~E 11(~)
13. ~F 11(~)
14. D & E D & F D & E D & F 3()

15. D D D D 14(&)
16. E F E F 14(&)
X X X X
Son equivalentes.
25
7. N  (O  P) (N  O)  P
1. ~([N  (O  P)]  [(N  O)  P]) PC
2. N  (O  P) ~[N  (O  P)] 1(~)

3. ~[(N  O)  P] (N  O)  P 1(~)
4. N 2(~)
5. ~(O  P) 2(~)
6. O 5(~)
7. ~P 5(~)
8. ~(N  O) P 3()

9. N X 8(~)
10. ~O 8(~)
11. N  O X 3(~)
12. ~P 3(~)
13. ~N O 11()
14. ~N O  P ~N O  P 2()
 
15. ~O P ~O P 14()
 X X X
Ejercicio 4.6
1. A & (B  C)
(A & C)  (A & ~B)
1. A & (B  C) MC
2. ~[(A & C)  (A & ~B)] MC
3. A 1(&)
4. B  C 1(&)
5. ~(A & C) 2(~)
6. ~(A & ~B) 2(~)
7. ~A ~C 5(~&)
X
8. ~B C 4()
X
9. ~A ~~B 6(~&)
10. X B 9(~~)
X El argumento es válido.
26
3. R & (S  T)
(~T  U) & (U  ~U)
R&S
1. R & (S  T) MC
2. (~T  U) & (U  ~U) MC
3. ~(R & S) MC
4. R 1(&)
5. S  T 1(&)
6. ~T  U 2(&)
7. U  ~U 2(&)
8. ~R ~S 3(~&)
X
9. S T 5()
X
10. ~T U 6()
X
11. ~U ~U 7()
X X
5. (R  Q)  ~(Q & P)
~R  ~Q
~P  ~(Q & P)
R
1. (R  Q)  ~(Q & P) MC

2. ~R  ~Q MC
3. ~P  ~(Q & P) MC
4. ~R MC
5. ~~R ~Q 2()
6. R 5(~~)
7. X R  Q ~(Q & P) 1()
8. R ~R 7()
9. Q ~Q 7()
10. X ~Q ~P 7(~&)
11. ~~P ~(Q & P) ~~P ~(Q & P) ~~P ~(Q & P) 3()
12. P P P 11(~~)
13. X ~Q ~P X ~Q ~P X ~Q ~P 11(~&)
El argumento no es válido.
27
7. C & (E  K)
~K  H
(C  K)  ~K
~H
F&G
1. C & (E  K) FC
2. ~K  H FC
3. (C  K)  ~K FC
4. ~H FC
5. ~(F & G) FC
6. C 1(&)
7. EK 1(&)
8. ~~K H 2()
9. K X 8(~~)
10. ~(C  K) ~K 3()

X
11. C ~C 10(~)
12. ~K K 10(~)
X X
9. J  (H  G)
~H  ~J
I&J
G
1. J  (H  G) MC
2. ~H  ~J MC
3. I & J MC
4. ~G MC
5. I 3(&)
6. J 3(&)
7. ~~H ~J 2()
8. H X 7(~~)
9. ~J H  G 1()
X
10. ~H G 9()
X X
El argumento es váIido.
28
11. M  (N & O)
ON
~O
~M
1. M  (N & O) MC
2. ON MC
3. ~O MC
4. ~~M MC
5. M 4(~~)
6. ~M N & O 1()
7. X N 6(&)
8. O 6(&)
9. X
13. H  ~H
(I  H)  I
H  ~I
1. H  ~H MC
2. (I  H)  I MC
3. ~(H  ~I) MC
4. H ~H 3(~)
5. ~~I ~I 3(~)
6. I 5(~~)
7. ~H ~H ~H ~H 1()
X X
8. ~(I  H) I ~(I  H) I 2()
9. ~I X ~I X 8(~)
10. H H 8(~)
X X
29
15. [(C  D) & E]  A

D
EA
1. [(C  D) & E]  A MC
2. D MC
3. ~(E  A) MC
4. E 3(~)
5. ~A 3(~)
6. ~[(C  D) & E] A 1()

X
7. ~(C  D) ~E 6(~&)
8. ~C X 7(~)
9. ~D 7(~)
X
30
Capítulo 5
Ejercicio 5.1
1. Derive: C
1 AC Sup.
2 B&A Sup.
3 A 2(&E)
4 C 1,3(E)
3. Derive: X  Z
1 X  (Y & Z) Sup.
2 X Sup.
3 Y&Z 1, 2 (E)
4 Z 3 (&E)
5 XZ 2-4 (I)
5. Derive: (I & F)  ~H
1 I  (G & ~H) Sup.
2 I&F Sup.
3 I 2 (&E)
4 G & ~H 1, 3 (E)
5 ~H 4 (&E)
6 (I & F)  ~H 2-5 (I)
Ejercicio 5.2
1. Derive: ~A
1 ~B & (A  B) Sup.
2 A Sup.
3 AB 1(&E)
4 ~B 1(&E)
5 B 2,3(E)
6 ~A 2-5(~I)
31
3. Derive: T
1 (~T  ~S) & (~S  S) Sup.
2 ~T Sup.
3 ~T  ~S 1(&E)
4 ~S 2, 3 (E)
5 ~S  S 1 (&E)
6 S 4, 5 (E)
7 T 2-6 (~E)
5. Derive: ~~M
1 ~M  L Sup.
2 ~M  ~L Sup.
3 ~M Sup.
4 L 1,3(E)
5 ~L 2,3(E)
6 ~~M 3-5(~I)
Ejercicio 5.3
1. Derive: A  (C  B)
1 C Sup.
2 CB 1 (I)
3 A  (C  B) 2 (I)
3. Derive: D
1 AB Sup.
2 AD Sup.
3 BD Sup.
4 A Sup.
5 D 2, 4 (E)
6 B Sup.
7 D 3, 6 (E)
8 D 1, 4-8 (E)
5. Derive: W
1 WW Sup.
2 W Sup.
3 W 2(R)
32
4 W Sup.
5 W 4(R)
6 W 1,2-5(E)
Ejercicio 5.4
1. Derive: B
1 C  (~A & B) Sup.
2 C Sup.
3 ~A & B 1, 2 (E)
4 B 3 (&E)
3. Derive: G & ~C
1 F & (G  ~D) Sup.
2 ~C & (F  ~D) Sup.
3 G  ~D 1(&E)
4 F 1(&E)
5 F  ~D 2(&E)
6 ~C 2(&E)
7 ~D 4,5(E)
8 G 3,7(E)
9 G & ~C 6,8(&D)
5. Derive: (J  K) & (K  J)
1 (J  L) & (L  K) Sup.
2 KJ Sup.
3 JL 1(&E)
4 LK 1(&E)
5 K Sup.
6 J 2,5(E)
7 J Sup.
8 L 3,7(E)
9 K 4,8(E)
10 JK 5-9(I)
11 KJ 5-9(I)
12 (J  K) & (K  J) 10,11(&I)
Ejercicio 5.5
1. Derive: (F & G)  H
1 F  (G  H) Sup.
33
2 F&G Sup.
3 F 2 (&E)
4 GH 1,3 (E)
5 G 2 (&E)
6 H 4,5 (E)
7 (F & G)  H 2-6 (I)
3. Derive: A & ~B
1 (A & C) & (~B & D) Sup.
2 A&C 1(&E)
3 ~B & D 1(&E)
4 A 2(&E)
5 ~B 3(&E)
6 A & ~B 4,5(&I)
5. Derive: ~A
1 AB Sup.
2 ~B Sup.
3 A Sup.
4 B 1,3(E)
5 ~B 2(R)
6 ~A 3-5(~I)
7. Derive: F  G
1 (F & ~G)  (~G & H) Sup.
2 H  ~F Sup.
3 F Sup.
4 ~G Sup.
5 F & ~G 3,4(&I)
6 ~G & H 1,5(E)
7 H 6(&E)
8 ~F 2,7(E)
9 F 3(R)
10 G 4-9(~E)
11 F  G 3-10(I)
34
9. Derive: F  (F & ~G)

1 ~F & ~J Sup.
2 (~H  F)  J Sup.
3 HG Sup.
4 G  (F & ~G) Sup.
5 ~H  F Sup.
6 H Sup.
7 G 3,6(E)
8 F & ~G 4,7(E)
9 ~G 8 (&E)
10 ~H 6-9(~I)
11 F 5,10(E)
12 J Sup.
13 ~F Sup.
14 ~J 1 (&E)
15 J 12 (R)
16 F 13-15(~E)
17 F 2, 5-16 (E)
18 F  (F & ~G) 17 (I)
11. Derive: M  (N  O)
1 (M  N) & (M  O) Sup.
2 MN 1 (&E)
3 MO 1 (&E)
4 M Sup.
5 N 2, 4 (E)
6 NO 5 (I)
7 NO Sup.
8 N Sup.
9 M 2, 8 (E)
10 O Sup.
11 M 3, 10 (E)
12 M 7, 8-11(E)
13 M  (N  O) 4-12(I)
35
13. Derive: N
1 ~M  N Sup.
2 LN Sup.
3 ~M  L Sup.
4 ~M Sup.
5 N 1,4(E)
6 L Sup.
7 N 2,6(E)
8 N 2,4-7(E)
15. Derive: (~W & X)  Z

1 Z  (~W & X) Sup.
2 (~W & X)  Y Sup.
3 YZ Sup.
4 ~W & X Sup.
5 Y 2,4(E)
6 Z 3,5(E)
7 Z Sup.
8 ~W & X 1,7(E)
9 (~W & X)  Z 4-8(I)
Ejercicio 5.6
1. ~(B & A)
~(B & A)  C
BC
1 ~(B & A) Sup.
2 ~(B & A)  C Sup.
3 C 1,2(E)
4 BC 3(I)
3. CD
DE
CE
1 CD Sup.
2 DE Sup.
3 C Sup.
4 D 1,3(E)
5 E 2,4(E)
6 CE 3-5(I)
36
5. TV
VX
TX
1TV Sup.
2VX Sup.
3 T Sup.
4 V 1,3(E)
5 X 2,4(E)
6 X Sup.
7 V 2,6(E)
8 T 1,7(E)
9TX 3-8(I)
7. N & ~(L  M)
[(L  M)  N]  J
(J  I) & (I  K)
K
1 N & ~(L  M) Sup.

2 [(L  M)  N]  J Sup.
3 (J  I) & (I  K) Sup.
4 JI 3(&E)
5 IK 3(&E)
6 N 1(&E)
7 (L  M)  N 5(I)
8 J 2,7(E)
9 I 4,8(E)
10 K 5,9(E)
9. QR
QR
Q&R
1 QR Sup.
2 QR Sup.
3 Q Sup.
4 R 1,3(E)
5 Q&R 3,4(&I)
6 R Sup.
7 Q 1,6(E)
8 Q&R 6,7(&I)
9 Q&R 2,3-8(E)
37
Ejercicio 5.7
1. (A  B) & ~~D, (C  E) & A, F  G} ├─ ~~D & (C  E)
1 (A B) & ~~D Sup.
2 (C  E) & A Sup.
3 FG Sup.
4 ~~D 1 (&E)
5 CE 2 (&E)
6 ~~D & (C  E) 4, 5 (&I)
3. {F  (F  G)} ├─ F  G
1 F  (F  G) Sup.
2 F Sup.
3 FG 1,2(E)
4 G 2,3(E)
5 FG 2-4(I)
5. {M & N, ~(M & O)} ├─ ~O

1 M&N Sup.
2 ~(M & O) Sup.
3 O Sup.
4 M 1(&E)
5 M&O 3,4(&I)
6 ~(M & O) 2(R)
7 ~O 3-6(~I)
Ejercicio 5.8
1. A  (A  B)
1 A Sup.
2 AB 1(I)
3 A  (A  B) 1-2(I)
3. (A & ~A)  (B & ~B)

1 A & ~A Sup.
2 ~(B & ~B) Sup.
3 A 1 (&E)
4 ~A 1 (&E)
5 B & ~B 2-4 (~E)
6 (A & ~A)  (B & ~B) 1-5 (I)
38
5. (A  B)  [(C  A)  (C  B)]
1 AB Sup.
2 CA Sup.
3 C Sup.
4 A 2,3(E)
5 B 1,4(E)
6 CB 3-5(I)
7 (C  A)  (C  B) 2-6(I)
8 (A  B)  [(C  A)  (C  B) 1-7(I)
7. [(A  B) & ~B]  ~A

1 (A  B) & ~B Sup.
2 A Sup.
3 AB 1(&E)
4 ~B 1(&E)
5 B 2,3(E)
6 ~A 2-5(~I)
7 [(A  B) & ~B]  ~A 1-6(I)
9. A  [B  (A  B)]
1 A Sup.
2 B Sup.
3 A Sup.
4 B 2(R)
5 AB 3-4(I)
6 B  (A  B) 2-5(I)
7 A  [B  (A  B)] 1-6(I)
Ejercicio 5.9
1. (A & B) & C A & (B & C)
1 (A & B) & C Sup.
2 A & B 1(&E)
3 C 1(&E)
4 A 2(&E)
5 B 2(&E)
6 B & C 3,5(&I)
7 A & (B & C) 4,6(&I)
1 A & (B & C) Sup.

39
2 A 1(&E)
3 B&C 1(&E)
4 B 3(&E)
5 C 3(&E)
6 A&B 2,4(&I)
7 (A & B) & C 5,6(&I)
3. A&A AA
1 A&A Sup.
2 A 1(&E)
3 AA 2(I)
1 AA Sup.
2 A Sup.
3 A 2(R)
4 A Sup.
5 A 4(R)
6 A 1,2-5(&I)
7 A&A 6(&I)
5. AB BA
1 AB Sup.
2 A Sup.
3 B 1,2(E)
4 B Sup.
5 A 14(E)
6 BA 2-5(I)
1 BA Sup.
2 A Sup.
3 B 1,2 (E)
4 B Sup.
5 A 1,4(E)
6 AB 2-5(I)
Ejercicio 5.10
40
1. {(M  B)  B, A  M, A & ~B}

1 (M  B)  B Suposición
2 AM Suposición
3 A & ~B Suposición
4 ~B 3 (&E)
5 A 3 (&E)
6 M 2, 5 (E)
7 MB 6 (I)
8 B 1, 7 (E)
3. {B  (A & ~A), ~B  (A & ~A)}
1 B  (A & ~A) Sup.
2 ~B  (A & ~A) Sup.
3 B Sup.
4 A & ~A 1,3(E)
5 A 4(&E)
6 ~A 4(&E)
7 ~B 3-6(~I)
8 A & ~A 2,7(E)
9 A 8(&E)
10 ~A 8(&E)
5. {~(Y  A), ~Y, ~A}

1 ~(Y  A) Sup.
2 ~Y Sup.
3 ~A Sup.
4 Y Sup.
5 ~A Sup.
6 Y 4(R)
7 ~Y 2(R)
8 A 5-7(~E)
9 A Sup.
10 ~Y Sup.
11 A 9(R)
12 ~A 3(R)
13 Y 10-12(~E)
14 Y  A 4-13(I)
15 ~(Y  A) 1(R)
41
7. {(~C  ~D) & (C  D), D  ~C, ~(B & ~D), B  (~C  D)}
1 (~C  ~D) & (C  D) Sup.
2 D  ~C Sup.
3 ~(B & ~D) Sup.
4 B  (~C  D) Sup.
5 CD 1 (&E)
6 ~C  ~D 1 (&E)
7 C Sup.
8 D 5,7 (E)
9 ~C 2,8 (E)
10 C 7 (R)
11 ~C 7-10 (~I)
12 ~D 6,11 (E)
13 ~C  D 11 (I)
14 B 4,13 (E)
15 B & ~D 12,14 (&I)
16 ~(B & ~D) 3 (R)
Ejercicio 5.11
A.
1. . {H  M, ~H  ~M} ├─ H  M
1 HM Sup.
2 ~H  ~M Sup.
3 H Sup.
4 M 1, 3 (E)
5 M Sup.
6 ~H Sup.
7 ~M 2, 6 (E)
8 M 5 (R)
9 H 6-8 (~E)
10 HM 3-9 (I)
3. {A  B, ~B} ├─ A
1 AB Sup.
2 ~B Sup.
3 A Sup.
4 A 3(R)
5 B Sup.
6 ~A Sup.
7 B 5(R)
8 ~B 2(R)
9 A 6-8(~E)
42
10 A 1,3-9(E)
5. {~(Y  X), ~(X  H)} ├─ K

1 ~(Y  X) Sup.
2 ~(X  H) Sup.
3 ~K Sup.
4 X Sup.
5 ~H Sup.
6 Y Sup.
7 X 4(R)
8 Y X 6-7(I)
9 ~(Y  X) 1(R)
10 H 5-9(~E)
11 X  H 4-10(I)
12 ~(X  H) 2(R)
13 K 3-12(~E)
7. {~(F  G), ~(G  H)} ├─ ~I

1 ~(F  G) Sup.
2 ~(G  H) Sup.
3 I Sup.
4 G Sup.
5 ~H Sup.
6 F Sup.
7 G 4(R)
8 FG 6-7(I)
9 ~(F  G) 1(R)
10 H 5-9(~E)
11 G  H 4-10(I)
12 ~(G  H) 2(R)
13 ~I 3-12(~I)
43
9. {(P  Q)  R} ├─ P  (Q  R)
1 (P  Q)  R Sup.
2 PQ Sup.
3 P Sup.
4 P  (Q  R) 3(I)
5 Q Sup.
6 QR 5(I)
7 P  (Q  R) 6(I)
8 P  (Q  R) 2,3-8(E)
9 R Sup.
10 Q  R 9(I)
11 P  (Q  R) 10(I)
12 P  (Q  R) 1,2-11(E)
11. {(L  X)  B, [~(L  X) & ~B]  [J  (E & ~F)]} ├─ [J  (E & ~F)]  Z

1 (L  X)  B Sup.
2 [~(L  X) & ~B]  [J  (E & ~F)] Sup.
3 J  (E & ~F) Sup.
4 ~Z Sup.
5 ~(L  X) & ~B 2,3(E)
6 LX Sup.
7 LX 6(R)
8 B Sup.
9 ~(L  X) Sup.
10 B 8(R)
11 ~B 5(&E)
12 LX 10-11(~E)
13 LX 1,6-12(E)
14 ~(L  X) 5(&E)
15 Z 4-14(~E)
16 [J  (E & ~F)]  Z 3-15(I)
44
13. {P  Q} ├─ (R  P)  (R  Q)
1 PQ Sup.
2 RP Sup.
3 R Sup.
4 P 2,3(E)
5 Q 1,4(E)
6 Q Sup.
7 P 1,6(E)
8 R 2,7(E)
9 RQ 3-8(I)
10 RQ Sup.
11 R Sup.
12 Q 10,11(E)
13 P 1,12(E)
14 P Sup.
15 Q 1,14(E)
16 R 10,15(E)
17 R  P 11-16(I)
18 (R  P)  (R  Q) 2-17(I)
15. {A  (Q & B), (~Q  B) & (C  A)} ├─ (A  B)  ~C

1 A  (Q & B) Sup.
2 (~Q  B) & (C  A) Sup.
3 AB Sup.
4 C Sup.
5 CA 2(&)
6 A 4,5(E)
7 Q&B 1,6(E)
8 ~Q  B 2(&E)
9 B 7&(&E)
10 ~Q 8,9(E)
11 Q 7(&E)
12 ~C 4-11(~I)
13 (A  B)  ~C 3-12(I)
45
B.
1. (H & I)  (H & S)
H
1 (H & I)  (H & S) Sup.
2 H&I Sup.
3 H 2(&E)
4 H&S Sup.
5 H 4(&E)
6 H 1,2-5(E)
3. K  ~~Q
~~K
Q
1 K  ~~Q Sup.
2 ~~K Sup.
3 ~K Sup.
4 ~~K 2(R)
5 ~K 3(R)
6 K 3-5(~E)
7 ~~Q 1,6(E)
8 ~Q Sup.
9 ~Q 8(R)
10 ~~Q 7(R)
11 Q 8-10(~E)
5. MI
~I & L
MB
B
1 MI Sup.
2 ~I & L Sup.
3 MB Sup.
4 M Sup.
5 ~B Sup.
6 I 1,4(E)
7 ~I 2(&E)
8 B 5-7(~E)
9 B Sup.
10 B 9(R)
11 B 3,4-10(E)
46
7. MA
[M  (A & M)]  [C & ~(A & D)]
~(A & D)  (C & ~D)
~D
1 MA Sup.
2 [M  (A & M)]  [C & ~(A & D)] Sup.
3 ~(A & D)  (C & ~D) Sup.
4 M Sup.
5 A 1,4(E)
6 A&M 4,5(&I)
7 A&M Sup.
8 M 7(&E)
9 M  (A & M) 4-8(I)
10 C & ~(A & D) 2,9(E)
11 ~(A & D) 10(&E)
12 C & ~D 3,11(E)
13 ~D 12(&E)
9. A  ~(~K  C)
~(~K  C)  ~A
~A  ~(~K  C)
1 A  ~(~K  C) Sup.
2 ~(~K  C)  ~A Sup.
3 ~A Sup.
4 A Sup.
5 ~K  C Sup.
6 A 4(R)
7 ~A 3(R)
8 ~(~K  C) 5-7(~I)
9 ~(~K  C) Sup.
10 ~(~K  C) 9(R)
11 ~(~K  C) 1,4-10(E)
12 ~(~K  C) Sup.
13 ~A 2,12(E)
14 ~A  ~(~K  C) 3-13(I)
47
11. A  B
~B  C
~C
A
1 AB Sup.
2 ~B  C Sup.
3 ~C Sup.
4 A Sup.
5 A 4(R)
6 B Sup.
7 ~B Sup.
8 ~A Sup.
9 B 6(R)
10 ~B 7(R)
11 A 8-10(~E)
12 C Sup.
13 ~A Sup.
14 C 12(R)
15 ~C 3(R)
16 A 13-15(~E)
17 A 2,7-16(E)
18 A 1,4-17(E)
C.
1. ~[(A & B) & ~(A & B)]
1 (A & B) & ~(A & B) Sup.
2 A&B 1(&E)
3 ~(A & B) 1(&E)
4 ~[(A & B) & ~(A & B)] 1-3(~I)
3. (A  ~A)  ~(A  ~A)

1 A  ~A Sup.
2 A  ~A Sup.
3 A Sup.
4 ~A 2,3(E)
5 A 3(R)
6 ~A 3-5(~I)
7 A 1,6(E)
8 ~(A  ~A) 2-7(~I)
9 (A  ~A)  ~(A  ~A) 1-8(I)
48
5. (A  B)  (B  A)
1 ~[(A  B)  (B  A)] Sup.
2 A Sup.
3 ~B Sup.
4 B Sup.
5 A 2(R)
6 BA 4-5(I)
7 (A  B)  (B  A) 6(I)
8 ~[(A  B)  (B  A)] 1(R)
9 B 3-8(~E)
10 A  B 2-9(I)
11 (A  B)  (B  A) 10(I)
12 ~[(A  B)  (B  A)] 1(R)
13 (A  B)  (B  A) 1-12(~E)
7. [A  (B  C)]  [(A  B)  (A  C)]

1 A  (B  C) Sup.
2 AB Sup.
3 A Sup.
4 BC 1,3(E)
5 B 2,3(E)
6 C 4,5(E)
7 AC 3-6(I)
8 [(A  B)  (A  C)] 2-7(I)
9 [(A  B)  (A  C)] Sup.
10 A Sup.
11 B Sup.
12 A Sup.
13 B 11(R)
14 AB 12-13(I)
15 AC 9,14(E)
16 C 10,15(E)
17 BC 11-16(I)
18 A  (B  C)
19 [A  (B  C)]  [(A  B)  (A  C)] 1-18(I)
49
9. [(A  B)  C]  [~(A & B)  C]
1 (A  B)  C Sup.
2 ~[~(A & B)  C] Sup.
3 A&B Sup.
4 A Sup.
5 B 3(&E)
6 B Sup.
7 A 3(&E)
8 AB 4-7(I)
9 C 1,8(E
10 ~(A & B)  C 9(I)
11 ~[~(A & B)  C] 2(R)
12 ~(A & B) 3-11(~I)
13 ~(A & B)  C 12(I)
14 ~[~(A & B)  C] 2(R)
15 ~(A & B)  C 2-14(~E)
16 [(A  B)  C]  [~(A & B)  C] 1-15(I)
D.
1. ~A  B AB
1 ~A  B Sup.
2 A Sup.
3 ~A Sup.
4 ~B Sup.
5 A 2(R)
6 ~A 3(R)
7 B 4-6(~E)
8 B Sup.
9 B 8(R)
10 B 1,3-9(E)
11 A  B 2-19(I)
1 AB Sup.
2 ~(~A  B) Sup.
3 A Sup.
4 B 1,3(E)
50
5 ~A  B 4(I)
6 ~(~A  B) 2(R)
7 ~A 3-6(~I)
8 ~A  B 7(I)
9 ~A  B 2-8(~E)
3. ~(A  B) A & ~B
1 ~(A  B) Sup.
2 ~(A & ~B) Sup.
3 A Sup.
4 ~B Sup.
5 A & ~B 3,4(&I)
6 ~(A & ~B) 2(R)
7 B 4-6(~E)
8 AB 3-7(I)
9 ~(A  B) 1(R)
10 A & ~B 2-9(~E)
1 A & ~B Sup.
2 AB Sup.
3 A 1(&E)
4 ~B 1(&E)
5 B 2,3(E)
6 ~(A  B) 2-5(~I)
5. AB (A & B)  (~A & ~B)

1 AB Sup.
2 ~[(A & B)  (~A & ~B)] Sup.
3 A Sup.
4 B 1,3(E)
5 A&B 3,4(&I)
6 (A & B)  (~A & ~B) 5(I)
7 ~[(A & B)  (~A & ~B)] 2(R)
8 ~A 3-7(~I)
9 B Sup.
10 A 1,9(E)
11 A&B 9,10(&I)
12 (A & B)  (~A & ~B) 11(i)
13 ~[(A & B)  (~A & ~B)] 2(R)
14 ~B 9-13(~I)
51
15 ~A & ~B 8,14(&I)
16 (A & B)  (~A & ~B) 15(I)
17 ~[(A & B)  (~A & ~B)] 2(R)
18 (A & B)  (~A & ~B) 2-17(~E)
1 (A & B)  (~A & ~B) Sup.

2 A&B Sup.
3 A Sup.
4 B 2(&E)
5 B Sup.
6 A 2(&E)
7 AB 3-6(I)
8 ~A & ~B Sup.
9 A Sup.
10 ~B Sup.
11 A 9(R)
12 ~A 8(&E)
13 B 10-12(~E)
14 B Sup.
15 ~A Sup.
16 B 14(R)
17 ~B 8(&E)
18 A 15-17(~E)
19 A  B 9-18(I)
20 A  B 1,2-19(E)
E.
1. {(M  N) & (~M  N), (N  B) & (N  ~B)}
1 (M  N) & (~M  N) Sup.

2 (N  B) & (N  ~B) Sup.
3 NB 1 (&E)
4 N  ~B 1 (&E)
5 MN 2 (&E)
6 ~M  N 2 (&E)
7 M Sup.
8 N 5, 7 (E)
9 B 3, 8 (E)
10 ~B 4, 8 (E)
11 ~M 7-10 (~I)
52
12 N 6-11 (E)
13 B 3, 12 (E)
14 ~B 4, 12 (E)
3. {W  (Z  Y), ~Y & ~(W  ~Z)}

1 W  (Z  Y) Sup.
2 ~Y & ~(W  ~Z) Sup.
3 W Sup.
4 W  ~Z 3(I)
5 ZY Sup.
6 Z Sup.
7 Y Sup.
8 ~Y 2(&E)
9 ~Z 6-8(~I)
10 W  ~Z 9(I)
11 W  ~Z 1,3-10(E)
12 ~(W  ~Z) 2(&E)
5. {[(X  Z)  (Y & ~Y)]  Z, X}

1 [(X  Z)  (Y & ~Y)]  Z Sup.
2 X Sup.
3 XZ Sup.
4 Z 2, 3 (E)
5 (X  Z)  (Y & ~Y) 1, 4 (E)
6 Y & ~Y 3, 5 (E)
7 Y & ~Y Sup.
8 ~(X  Z) Sup.
9 Y 7 (&E)
10 ~Y 7 (&E)
11 X  Z 8-10 (~E)
12 (X  Z)  (Y & ~Y) 3-11 (I)
13 Z 1, 12 (E)
14 X Sup.
15 Z 13 (R)
16 Z Sup.
17 X 2 (R)
18 XZ 14-17 (I)
19 Y & ~Y 12, 18 (E)
20 Y 19 (&E)
21 ~Y 19 (&E)
53
Capítulo 6
Ejercicio 6.1
1. Término singular: Santiago
Predicado: es arquitecto.
3. Términos singulares: Santiago y Claudia

Predicados: ama a .
ama a Claudia.
Santiago ama a .
5. Términos singulares: Santiago de Chile, Lima y Concepción

Predicados: está al sur de .
Santiago de Chile está al sur de .
está al sur de Lima.
está al norte de .
Santiago de Chile está al norte de .
está al norte de Concepción.
7. Términos singulares: 2, 3, 4 y 6.
Predicados: por es igual a por .
por es igual a por 6.
por es igual a 2 por .
por 4 es igual a por .
3 por es igual a por .
3 por 4 es igual a por .
3 por es igual a 2 por .
3 por es igual a por 6.
por 4 es igual a 2 por .
por 4 es igual a por 6.
por es igual a 2 por 6.
por 4 es igual a 2 por 6.
9. Cuantificador: Algunas
Predicados: es estrella.
es supernova.
Ejercicio 6.2
A.
1. Naj
3. ~Ndl
5. Snl & (Slm & Smj)
54
7. Gkl  Gjm
9. Nck & ~Vck
11. Mde  Mda
B.
1. (Ea & Ia) & ~Fa
3. Fe & (Ie & Ee)
5. Ib  (Id & Ia)
7. Iae & Vac
9. (~Ica & ~Vca) & (Icd & Ecd)
11. Gcb  (Mbc & Fb)
13. (Mdc & Mca)  Mda
15. (Icb & Iba)  (Vca & Mca)
17. Fd & [(~Fe & ~Fa) & (~Fb & ~Fc)]
C.
1. Ax: x es alpinista.
Ex: x ha subido al Everest.
Kx: x ha subido al K2.
Nx: x es buen nadador.
Gxy: a x le gusta y.
a: Arturo.
c: Cristóbal.
l: Lina
j: Juana
(Aa & Ac) & (~Ea & ~Ec)

(Al & El) & (Kl & Nl)
~Na & ~Nc
(~Aj & Nj) & Gjc
3. Bx: A x le gusta jugar bolos.

Px: x tiene bola propia.
Jx: x es buen jugador.
Zx: x tiene zapatos de bolos propios.
Txy: x tiene más técnica que y.
Fxy: x es más fuerte que y.
c: Camila.
55
e: César.
a: Carlos.
n: Ana.
(Bc & Be) & (~Pc & ~Pe)

Pa & ~Ga
Jn & Gn
[(Jc & Je) & (Ja & Jn)] &[(Pa & Pn) & (~Pe & ~Jc)]
[(Tnc & Tne) & Tna] & [(Fec & Fea) & Fen]
D.
1. (x) ~Sx
3. (x) Mx
5. (x)Bx & (x)Rx
7. (x)Rx  (x)Sx
9. (x)Rx  ~(x)Bx
E.
1. ~Pj  Dj
3. Pf  (x)Px
5. ~Pp  ~(x)Px
7. (Pj  Pp) & (Pp  (x)Px)
9. (x) ~Px & ~(x)Dx
Ejercicio 6.3
A.
1. Sí es una fórmula de LC. Es una fórmula cerrada.
3. Sí es una fórmula de LC. No es una fórmula cerrada.
5. No es una fórmula de LC. Un cuantificador no puede cuantificar una constante.
11. No es una fórmula de LC. El cuantificador (y) no cuantifica ninguna variable y.
56

21. No es una fórmula de LC. Un cuantificador no puede cuantificar una constante.
27. No es una fórmula de LC. Existen dos cuantificadores para la misma variable.
Ejercicio 6.4
A.
1. (x)(Rx  Ex) A
3. (x)(Px & ~Cx) O
5. (x)(Ex & Mx) I
7. (x)(Gx  ~Ix) E
9. (x)(Hx  Gx) A
B.
1. (y)(Ry  Py)
3. (y)(Ay  ~Ny)
5. (y)Py & ~(y)Py
7. ((y)Ay & (y)Ry) & ~(y)(Ay & Ry)
9. (y)(Ny  Ry)
11. (y)Py & ((y)Ny & (y)Vy)
13. (y)( ~My  Ny) & (y)(My  ~Ny)
15. ((y)Vy & (y)Ny) & ~(y)(Vy & Ny)
C.
1. UD: Todo
Px: x es un pato.
Ox: x es un oficial.
Vx: x baila el vals.
Ax: x es una de mis aves.
~(x)(Px & Vx)
~(x)(Ox & ~Vx)
(x)(Ax  Px)
57
~(x)(Ax & Ox)
3. UD: Personas
Ex: x es experimentada.
Cx: x es competente.
Px: x mete la pata.
j: Jenkins.
~(x)(Ex & ~Cx)
~(x)(Cx & Px)
Pj
~Ej
5. UD: Pájaros
Px: x es un picaflor.
Mx: x es multicolor.
Gx: x es grande.
Nx: x vive del néctar.
(x)(Px  Mx)
~(x)(Gx & Nx)
(x)(~Nx  ~Mx)
~(x)(Px & Gx)
7. UD: Frutas
Vx: x está verde.
Sx: x es saludable.
Cx: x creció en la sombra.
Mx: x es una de estas manzanas.
~(x)(Vx & Sx)
(x)(Mx  Sx)
~(x)(Cx & ~Vx)
(x)(Mx  ~Cx)
9. UD: Todo
Bx: x aprecia a Berthoven.
Hx: x habla cuando Brendel toca la sonata “Claro de luna”.
Mx: x sabe de música.
Cx: x es un conejillo de indias.
~(x)(Bx & Hx)
(x)(Cx  ~Mx)
~(x)(~Mx & ~Hx)
(x)(Cx  ~Bx)
Ejercicio 6.5
A.
58
1. (x)(Lx  Nx)
3. (x)(Cx & Tx)
5. (x)[Ax  (Lx & Vx))]
7. ~(x)[(Lx  Tx)  Ax]
9. (x)[(Lx & Ux)  Ax)]
11. (x)Ax  At
13. (x)(Nx  ~Ux)
15. ~(x)[(Cx & Ax) & Ux]
17. (x)(Lx  Cx)  (x)(Lx  ~Ax)
19. (x)[(Tx & Vx) & (Ax & ~Ux)]
B.
1. (x)(Tx  Sx)
3. (x)(Hx  Cx) & (x)(Tx  ~Cx)
5. (x)(Tx & Vlx)
7. (x)[(Cx & Ix) & Mlx]
9. (x)(Ex & Sx) & ~(x)(Ex  Sx)
11. (x)[(Hx & Vxl)  (Cx & ~Tx)]
13. (x)(Mxj  Mlx)
15. ~Ij & Cj
C
1. UD: Objetos
Cx: x es caro.
Vx: x es valioso.
Rx: x es raro.
Dx: x es deseable.
Px: x es precioso.
(x)[Cx  (Vx & Rx)]
(x)[Vx  (Dx & Px)]
(x)[(Vx  Cx)  (Rx & Px)]
3. UD: Personas
Ax: x es un artista.
59
Cx: x es caprichoso.
Tx: x es terco.
Ex: x es un estereotipo.
Ox: x es odioso.
Ix: x es ignorante.
(x)[Ax  (Cx & Tx)] & (x)[~Ax  (Cx & Tx)]
(x)[Ex  (Ox & Ix)]
(x)[Ax  (Ox & Ix)]
Ejercicio 6.6
A.
1. (x)(Ex  ~(y)(Ey & Jxy)]
3. ~(x)[Ex  (y)(My & Axy)]
5. ~(x)(y) ([My & Uy) & Pxy]  Hx)
7. ~(x)[(Mx & Tx)  Cx]
9. (x)[(y)(Mx & Pyx)  (z)Azx]
11. Md & (x)(Mx & Jdx)
13. (x)[Ex  (~Adx & Jdx]
B.
1. (x)[Dx  (y)(Yy & Gxy)] & (y)[Yy & (z)(Dz  Gyz)]
3. (x)(y)([(Tx & Ey) & Gxy]  Px)
5. ~(x)(Yx  Mx) & (x)(Mx  Yx)
7. (x)[(Tx & Yx)  (y)[(Ty & ~Yy) & Gxy]]
9. (x)(y)([(Dx & Mx) & (Dy & ~My)]  Gxy)
11. (x)((Tx & Dx) & (y)[(Dy & My)  Dxy])
13. (x)(y)Dxy & (x)[(Tx & ~Dx)  (y)Dxy]
15. (x)(Dxj  Ddx)
C.
1. (w)(x)[(Pw & Px)  Pwx]
3. (x)(y)[Pxy  (Px  Py)]
5. ~(z)Izb
7. (x)(Px  ~(y)Iyx)
60
Ejercicio 6.7
A.
1. (x)[(Mx & ~(x = a))  Rx]
3. (Ma & Cai) & (x)((Mx & Cxi)  x = a)
5. Hdj & (x)[(Hxj  Axj)  x = j]
7. (x)(y)((Ox & Oy) & [(Px & Py) & (Nx & Ny)]) &
(z)([(Oz & Pz) & Nz]  (z = x  z = y))
9. (x)(Axv & Cxi) & (y)(Ayv  Cyi)  y = x)
B.
1. (x)(y)[~(x = y)  Mxy]
3. (Ra & Pa) & (x)[(Rx & Px)  x = a]
5. (x)(y)(z)…
Capítulo 7
Ejercicio 7.1
A.
1. Falsa. 5. Falsa.
3. Verdadera. 7. Verdadera.
B.
1. Falsa. 5. Falsa.
3. Falsa. 7. Falsa
Ejercicio 7.2
Ejercicio 7.3
A.
1. UD: Los ríos del mundo
Nxy: x nace en y.
a: El amazonas.
d: El Danubio.
3. UD: Los números naturales

Lx: x es par.
Cxy: x es mayor que y.
m: 3
j: 4
61
5. UD: Ciudades
Fx: x está en Francia.
Nx: x está en Norteamérica.
a: Armenia.
e: Esparta.
c: Cataluña.
B.
1. UD: Los número naturales
Hxy: el producto de x por y es 20.
t: 1
g: 2
3. UD: Animales
Jx: x es reptil.
a: El gato con botas.
e: El pato Lucas.
i: El pájaro loco.
5. UD : Astros
Jx: x es amarillo.
Sxy: x es más o igual de brillante que y.
a: El sol.
c: La luna.
C.
Gxy: x es mayor que y.
Rxy: x es menor que y.
a: 2
b: 1
3. UD: Ciudades
Lx: x es una ciudad sudamericana.
Dxyz: x está entre y y z.
a: Armenia.
b: Bogotá.
e: Esparta.
r: Reykiavik.
5. UD: Los números naturales.

Kxy: x es mayor que y.
Sxy: x es menor que y.
c: 1
62
f: 2
D.
E.
Gx: x es positivo
Px: x es par
Fx: x es negativo
Dxy: x es mayor o igual a y
n: 1
Ejercicio 7.4
A.
1.
3. UD: Animales.
Fx: x es un tigre.
Gx: x es mamífero.

Bxy: x es la raíz cuadrada de y.
7. UD: Piedras preciosas

Fx: x es una esmeralda.
Gx: x es verde.
9. UD: Caninos
Gx: x es felino.
Fxy: x es más grande que y.
B.
1. UD: Personas
Bxy: x conoce a y.
3. UD: Animales
Fx: x es felino.
Gx: x es crustáceo.

Fx: x es negativo.
Gx: x es positivo.
7. UD: Mamíferos
63
Dxy: x es más grade que y.
C.
1. UD: Astros
Fx: x es una estrella.
Gx: x es amarilla.
UD: Los números naturales.

Fx: x es positivo.
Gx: x es mayor o igual a 1.

Bxy: x es menor que y.
t: 5
UD: Mamíferos.
Bxy: x es más grande que y.
t: La ballena azul.
5. UD: Personas
Nxy: x tiene la misma edad que y.
UD: Personas.
Nxy: x es hijo de y.
7. UD: Mamíferos.
Cx: x es carnívoro.
Hx: x es herbívoro.
UD: Mamíferos.
Cx: x es macho.
Dx: x es hembra.
D. Cada una de las siguientes proposiciones es una tautología en LC. Explique por qué.
1. Prueba: Supongamos que “(x)Ax  ((y)By  (x)Ax)” no es una tautología, es decir,

que existe alguna valuación V bajo la cual la fórmula es falsa. En tal caso, V((x)Ax) = V y
V((y)By  (x)Ax) = F. Pero V((y)By  (x)Ax) = F ssi V((y)By) = V y V((x)Ax) =
F. Como “(x)Ax” no puede ser verdadera y falsa bajo la misma interpretación, la
suposición inicial es errónea y la fórmula es una tautología.
3. Prueba: Supongamos que “(x)(Ax & Bx)  ((x)Ax & (x)Bx)” no es una tautología, es
decir, que existe alguna valuación V bajo la cual la fórmula es falsa. En tal caso, V((x)(Ax
& Bx)) = V y V((x)Ax & (x)Bx) = F. Ahora bien, V((x)(Ax & Bx)) = V ssi Va(Aa &
64
Ba) = V para alguna Va. Y Va(Aa & Ba) = V para alguna Va ssi Va(Aa) = V y Va(Ba) = V
para alguna Va. Y Va(Aa) = V para alguna Va ssi V((x)Ax) = V. Por otra parte, V((x)Ax
& (x)Bx) = F ssi V((x)Ax) = F y V((x)Bx) = F. Pero “(x)Ax” no puede ser verdadera y
falsa bajo la misma interpretación. Por lo tanto, la suposición inicial es errónea y la fórmula
es una tautología.
Ejercicio 7.5
A.
1. UD: Animales.
Fx: x es mamífero.
Gx: x es un ave.
a: El gato con botas.
3. UD: Los número naturales.

Fx: x es par.
Gx: x es impar.
5. UD: Ciudades.
Fx: x está en Francia.
Gx: x está en Grecia.

Bx: x es primo.
Dxy: el producto de x por y es par
B.
1. Supongamos que (x)Fx  Ga es verdadera. Entonces (x)Fx puede ser verdadera o falsa.
Si es verdadera, entonces Ga tiene que ser verdadera y “(x)(Fx  Ga)” también será
verdadera.
Si es falsa, entonces el antecedente del condicional será falso, y el condicional será
verdadero.
Si suponemos que (x)Fx  Ga es falsa. Entonces si (x)Fx es verdadera y Ga es falsa, en
este caso todos los miembros del universo de discurso cumplen “Fx”, por tanto el
antecedente del condicional será verdadero y el consecuente falso, es decir, (x)(Fx  Ga)
será falso.
3. Si suponemos que ~(y)(~Fy & ~Gy) es verdadera, entonces si un elemento del universo de
discurso tiene la propiedad “F” o la propiedad “G”, la conjunción será falsa y la negación
del cuantificador universal será verdadera. Por tanto, (x)(Fx  Gx) será verdadera.
Si suponemos que ~(y)(~Fy & ~Gy) es falsa, entonces todos los elementos del universo de
discurso no deben tener ni la propiedad “F” ni la “G”. Y si es así entonces, ambos miembros
de la disyunción (x)(Fx  Gx) serán falsos, y la disyunción también. Por tanto (x)(Fx 
Gx) será falsa.
65
Ejercicio 7.6
A.
Bx: x es primo.
Cx: x es impar.
3. UD: Animales
Fx: x es mamífero.
Gx: x es vertebrado.
Jx: x es una langosta.
Hx: x es un crustáceo.

Nx: x es impar.
Mx: x es par.
Cxy: x es mayor que y.
7. UD: Personas
Nx: x es mayor de 50 años.
Mx: x es calvo.
B.
1. Si (x)~(Bx  Cx) es verdadera, entonces no puede existir ningún elemento del universo de
discurso que tenga la propiedad “B” y la “C”, que es lo contrario a lo que dice la fórmula
(x)(Bx & Cx). Por tanto, bajo ninguna interpretación pueden ser verdaderas ambas
proposiciones.
3. La fórmula (x)(y)(Byx  Bxy) nos dice que todos los miembros del universo de discurso
tienen una relación “B” con todos los miembros del universo de discurso, y la fórmula
(y)~Byy nos dice que existe un miembro del universo de discurso que no cumple la
relación “B” con él mismo. Por tanto, bajo ninguna interpretación pueden ser verdaderas
ambas proposiciones.
Ejercicio 7.7
A.
Fx: x es positivo.
Gx: x es negativo.
Nx: x es fraccionario.
3. UD: Los astros

Fx: x es azul.
66
Gx: x es una estrella.

Hx: x es un planeta.

Fx: x es positivo.
Gx: x es negativo.
7. UD: Mamíferos
Gx: x es grande.
Dxy: x es igual a y.
B.
1. Prueba: Supongamos que el argumento es inválido, es decir, que la premisa es verdadera y
la conclusión falsa bajo alguna valuación: V(~(x)Bx) = V y V((x)~Bx) = F. Si
V(~(x)Bx) = V, entonces V((x)Bx) = F. Y V((x)Bx) = F ssi Va(Ba) = F para alguna
Va. Como Va(Ba) = F ssi Va(~Ba) = V, entonces Va(~Ba) = V para alguna Va. Pero en tal
caso, V((x)~Bx) = V, lo cual contradice nuestra suposición inicial, el argumento es válido
en LC.
3. Prueba: Supongamos que el argumento es inválido, es decir, que la premisa es verdadera y

la conclusión falsa bajo alguna valuación: V((x)Px & (y)Dy) = V, V((x)Px  (y)Dy) =
F. Si V((x)Px & (y)Dy) = V, entonces V((x)Px) = V y V((y)Dy) = V . Por otra parte, si
V((x)Px  (y)Dy) = F, entonces (i) V((x)Px) = V y V((y)Dy) = F, o (ii) V((x)Px) = F
y V((y)Dy) = V. Como cualquiera de estas dos posibilidades contradice nuestra suposición
inicial, el argumento es válido en LC.
Ejercicio 7.8
A.
1. Para: {a}
Ca  Aaa
3. Para:{a}
Na  Oaa
5. Para:{a}
Aaa  ~Oaa
7. Para:{a}
Ca  (Na  ~Aaa)
B.
1. Para:{a, b}
67
Dan & Fbn

3. Para:{a, b}
[Pa & (Daa  Dba)]  [Pb & (Dab  Dbb)]
5. Para:{a, b}
(Ga  [(Daa  Daa)  (Dab  Dba)]) & (Gb [(Dba  Dab)  (Dbb  Dbb)])
7. Para:{a, b}
(Dan  [(Ga & Daa)  (Gb & Dab)]) & (Dbn  [(Ga & Dba)  (Gb & Dbb)])
C.
1. Para:{a, b, c}
[(Ga  Naa) & (Gb  Nbb)] & [Gc  Ncc]
3. Para:{a, b, c}
[(Na  Na)  (Na  Nb)]  [Na  Nc]
Ejercicio 7.8
1. UD: {a,b}
[~(a = a)  ~(a = b)]  [~(b = a)  ~(b = b)]
[~ (a = a)  ~ (a = b)]  [~ (b = a)  ~ (b = b)]
F V F F V F F V F F V
F V V V F V V F V F V
Bajo los valores de verdad del primer caso, la fórmula es falsa, es decir, no es una tautología.
Bajo los valores de verdad del segundo caso, la fórmula es verdadera, lo que muestra que la
fórmula no es una contradicción. Por tanto la fórmula es contingente.
3. UD: {a}
[(Gaa  Gaa)  (a = a)]  Gaa
[(Gaa  Gaa)  (a = a)]  Gaa

V V V V V V V
F F F V V F F
Bajo una interpretación, los valores de verdad de ambas proposiciones no son iguales, lo que
indica que las proposiciones no son equivalentes.
5. UD: {a,b}
68
(a = a) & (b = b), [~(a = a)  ~(a = b)]  [~(b = a)  ~(b = b)]; [~(a = a) & ~(a = b)]  [~(b =
a) & ~(b = b)]
(a = a) & (b = b), [~ (a = a)  ~ (a = b)]  [~ (b = a)  ~ (b = b)]

V V V F V F F V F F V F F V
V V V F V V V F V V F V F V
[~ (a = a) & ~ (a = b)]  [~ (b = a) & ~ (b = b)]

F V F F V F F V F F V
F V F V F F V F F F V
Existe una interpretación bajo la cual todos los miembros del conjunto son verdaderos y la
fórmula es falsa, lo que indica que el conjunto no implica a la fórmula.
Capítulo 8
Ejercicio 8.1
1. {(x)Mx  (y)Ny, (x)(~Mx & Nx)}
1. (x)Mx  (y)Ny MC El conjunto es consistente.
2. (x)(~Mx & Nx) MC
3. ~Ma & Na 2()
4. ~Ma 3(&)
5. Na 3(&)
6. (x)My (y)Ny 1()
7. Ma 6()
8. X Nb 6()

3. {(x)(Mx  Nxa), (x)Mx}

1. (x)(Mx  Nxa) MC El conjunto es consistente.
2. (x)Mx MC
3. Mb 2()
4. Mb  Nba 1()
5. ~Mb Nba 4()

X 
5. {(x)(Mx  Nx), Ma & ~Nb, ~(y)(Fy  Gy)}

1. (x)(Mx  Nx) MC El conjunto es consistente.
2. Ma & ~Nb MC
3. ~(y)(Fy  Gy) MC
4. Ma 2(&)
69
5. ~Nb 2(&)
6. (y)~(Fy  Gy) 3(~)
7. Mb  Nb 1()
8. ~(Fa  Ga) 6()
9. ~Fa 8(~)
10. ~Ga 8(~)
11. Mb Nb 7()
 X
Ejercicio 8.2
A. Utilice el método de los árboles de verdad para determinar si los siguientes conjuntos de
fórmulas de LC son semánticamente consistentes.
1. {(x)Fx, ~(x)Gx, (x)(Fx  Gx)}

1. (x)Fx MC El conjunto es consistente.
2. ~(x)Gx MC
3. (x)(Fx  Gx) MC
4. (x)~Gx 2(~)
5. ~Ga 4()
6. Fa 1()
7. Fa  Ga 3()
8. Fa Ga 7()
 X
3. {Am  Cm, ~(x)(Bx  Cx), (x)[Bx  (y)(Ay  ~By)]}

1. Am  Cm MC El conjunto es consistente.
2. ~(x)(Bx  Cx) MC
3. (x)[Bx  (y)(Ay  ~By)] MC
4. (x)~(Bx  Cx) 2(~)
5. ~(Bm  Cm) 4()
6. ~Bm 5(~)
7. ~Cm 5(~)
8. Ba  (y)(Ay  ~By) 3()
9. ~(Ba  Ca) 4()
10. ~Ba 9(~)
11. ~Ca 9(~)
12. Am Cm 1()
X
13. Ba (y)(Ay  ~By) 8()
14. X Am  ~Bm 13()
70
15. ~Am ~Bm 14()

X 
5. {(x)(Lx  Kx), (x)(Bx  Ba), (x)[Ba  (~Kx  ~Lx)]}Falta corchete.

1. (x)(Lx  Kx) MC
2. (x)(Bx  Ba) MC
3. (x)[Ba  (~Kx  ~Lx)] MC
4. Lb  Kb 1()
5. Ba  Ba 2()
6. Ba  (~Kb  ~Lb) 3()
7. Ba ~Ba 5()
8. Ba ~Ba 5()
9. ~Ba ~Kb  ~Lb ~Ba ~Kb  ~Lb 6()

X
10. ~Kb ~Lb ~Kb ~Lb 9()
11. Lb Kb Lb Kb Lb Kb Lb Kb Lb Kb 4()
 X X     X X 
El conjunto es consistente.
7. {~(x)(Rx  ~Sx), (y)(Ry & Sy)}

1. ~(x)(Rx  ~Sx) MC
2. (y)(Ry & Sy) MC
3. (x)~(Rx  ~Sx) 1(~)
4. Ra & Sa 2()
5. Ra 4(&)
6. Sa 4(&)
7. ~(Rb  ~Sb) 3()
8. Rb 7(~)
9. ~Sb 7(~)

El conjunto es consistente.
9. {(x)(y)(~Jxy  Jyx), ~Jcc}

1. (x)(y)(~Jxy  Jyx) MC
2. ~Jcc MC
3. (y)(~Jcy  Jyc) 1()
4. ~Jcc  Jcc 3()
71
5. ~~Jcc Jcc 4()

6. Jcc X 5(~~)
X
B. Utilice el método de los árboles de verdad para determinar si las siguientes fórmulas de LC
son tautologías.
1. (x)(Dx  ~Dx)
1. ~(x)(Dx  ~Dx) MC
2. (x)~(Dx  ~Dx) 1(~)
3. ~(Da  ~Da) 2()
4. ~Da 3(~)
5. ~~Da 3(~)
6. Da 5(~~)
X
3. (x)(Hx  (y)~Hy)
1. ~(x)(Hx  (y)~Hy) MC
2. (x)~(Hx  (y)~Hy) MC
3. ~(Ha  (y)~Hy) 2()
4. Ha 3(~)
5. ~(y)~Hy 3(~)
6. (y)~~Hy 5(~)
7. ~~Ha 6()
8. Ha 7(~~)

La fórmula no es una tautología.
5. [(x)Ax & (y)(Ay  By)]  (z)Bz

1. ~([(x)Ax & (y)(Ay  By)]  (z)Bz) MC
2. (x)Ax & (y)(Ay  By) 1(~)
3. ~(z)Bz 1(~)
4. (z)~Bz 3(~)
5. ~Ba 4()
6. (x)Ax 2(&)
7. (y)(Ay  By) 2(&)
8. Aa 6()
9. Aa  Ba 7()
10. ~Aa Ba 9()

X X
72
7. (x)(y)(z)(Nxyz  Nxzy)
1. ~(x)(y)(z)(Nxyz  Nxzy) MC
2. (x)~(y)(z)(Nxyz  Nxzy) 1(~)
3. ~(y)(z)(Nayz  Nazy) 2()
4. (y)~(z)(Nayz  Nazy) 3(~)
5. ~(z)(Nabz  Nazb) 4()
6. (z)~(Nabz  Nazb) 5(~)
7. ~(Nabc  Nacb) 6()
8. Nabc 7(~)
9. ~Nacb 7(~)

La fórmula no es una tautología.
9. (x)(y)Rxy  (x)(Rxa  (y)Rya) Falta paréntesis.

1. ~[(x)(y)Rxy  (x)(Rxa  (y)Rya)] MC
2. (x)(y)Rxy 1(~)
3. ~(x)(Rxa  (y)Rya) 1(~)
4. (x)~(Rxa  (y)Rya) 3(~)
5. ~(Rba  (y)Rya) 4()
6. Rba 5(~)
7. ~(y)Rya 5(~)
8. (y)~Rya 7(~)
9. ~Rba 8()
X
C. Utilice el método de los árboles de verdad para determinar si los siguientes pares de fórmulas
de LC son semánticamente equivalentes.
1. (y)Kyy ~(y)~Kyy
1. ~((y)Kyy  ~(y)~Kyy) MC
2. (y)Kyy ~(y)Kyy 1(~)

3. ~~(y)~Kyy ~(y)~Kyy 1(~)
4. (y)~Kyy 3(~~)
5. Kaa 2()
6. ~Kaa 4()
7. X (y)~Kyy 2(~)
8. (y)~~Kyy 3(~)
73
9. ~~Kaa 8()
10. Kaa 9(~~)
11. ~Kaa 7()
X
Las fórmulas son semánticamente equivalentes.
3. Mn  (z)Mz (z)Mz
1. ~[(Mn  (z)Mz)  (z)Mz] MC
2. Mn  (z)Mz ~(Mn  (z)Mz) 1(~)

3. ~(z)Mz (z)Mz 1(~)
4. (z)~Mz 3(~)
5. ~Ma 4()
6. Mn ~Mn 2()
7. (z)Mz ~(z)Mz 2()
8. Ma 7()
9. X (z)~Mz 7(~)
10. ~Mb 9()
11.  Ma 3()
12. Mn ~Mn 2(~)

13. ~(z)Mz (z)Mz 2(~)
14. Mn 13()
15. (z)~Mz X 13(~)
16. ~Mb 15()

Las fórmulas no son semánticamente equivalentes.
5. (x)(Fx  Ba) (x)Fx  Ba

1. ~[(x)(Fx  Ba)  ((x)Fx  Ba)] MC
2. (x)(Fx  Ba) ~(x)(Fx  Ba) 1(~)

3. ~((x)Fx  Ba) (x)Fx  Ba 1(~)
4. Fb  Ba 2()
5. (x)Fx 3(~)
6. ~Ba 3(~)
7. Fb 5()
8. ~Fb Ba 4()
9. X X (x)~(Fx  Ba) 2(~)
10. ~(Fa  Ba) 9()
11. Fa 10(~)
12. ~Ba 10(~)
74
13. ~(x)Fx Ba 3()

14. (x)~Fx X 13(~)
15. ~Fb
 Las fórmulas no son semánticamente equivalentes.
7. (y)(z)(Ay  Bz) (y)(Ay  (z)Bz)
1. ~[(y)(z)(Ay  Bz)  (y)(Ay  (z)Bz)] MC
2. (y)(z)(Ay  Bz) ~(y)(z)(Ay  Bz) 1(~)

3. ~(y)(Ay  (z)Bz) (y)(Ay  (z)Bz) 1(~)
4. (y)~(Ay  (z)Bz) 3(~)
5. ~(Aa  (z)Bz) 4()
6. Aa 5(~)
7. ~(z)Bz 5(~)
8. (z)~Bz 7(~)
9. ~Bb 8()
10. (z)(Aa  Bz) 2()
11. Aa  Bb 10()
12. ~Aa Bb 11()

13. X X (y)~(z)(Ay  Bz) 2(~)
14. ~(z)(Aa  Bz) 13()
15. (z)~(Aa  Bz) 14(~)
16. ~(Aa  Bb) 15()
17. Aa 16(~)
18. ~Bb 16(~)
19. Aa  (z)Bz 3()
20. ~Aa (z)Bz 19()

21. X Bb 20()
X
Las fórmulas son equivalentes.
9. (w)(Tw  (x)Ux) (w)(x)(Tw  Ux)

1. ~[(w)(Tw  (x)Ux)  (w)(x)(Tw  Ux)] MC
2. (w)(Tw  (x)Ux) ~(w)(Tw  (x)Ux) 1(~)

3. ~(w)(x)(Tw  Ux) (w)(x)(Tw  Ux) 1(~)
4. (w)~(x)(Tw  Ux) 3(~)
5. ~(x)(Ta  Ux) 4()
6. (x)~(Ta  Ux) 5(~)
7. Ta  (x)Ux 2()
8. Ta (x)Ux 7()
75
9. Ub 8()
10. ~(Ta  Ub) ~(Ta  Ub) 6()
11. ~Ta ~Ta 10(~)
12. ~Ub ~Ub 10(~)
13. X X (w)~(Tw  (x)Ux) 2(~)
14. ~(Ta  (x)Ux) 13()
15. (x)(Ta  Ux) 3()
16. Ta  Ub 15()
17. ~Ta 14(~)
18. ~(x)Ux 14(~)
19. (x)~Ux 18()
20. ~Ub 19()
21. Ta Ub 16()
X X
Las fórmulas son semánticamente equivalentes.
D. Utilice el método de los árboles de verdad para determinar si los siguientes argumentos de LC
son semánticamente válidos.
1. (x)(Cx  Dx)
(x)Cx  (x)Dx
1. (x)(Cx  Dx) MC
2. ~((x)Cx  (x)Dx) MC
3. ~(x)Cx 2(~)
4. ~(x)Dx 2(~)
5. (x)~Cx 3(~)
6. ~Ca 5()
7. (x)~Dx 4(~)
8. ~Db 7()
9. Ca  Da 1()
10. Ca Da 9()
X 
El argumento es semánticamente inválido.
3. (x)(y)(Sx & Ty)

(x)(y)(Sx & Ty)
1. (x)(y)(Sx & Ty) MC
2. ~(x)(y)(Sx & Ty) MC
3. (x)~(y)(Sx & Yy) 2(~)
4. ~(y)(Sa & Ty) 3()
5. (y)~(Sa & Ty) 4(~)
76
6. ~(Sa & Ta) 5()

7. (y)(Sb & Ty) 1()
8. Sb & Ta 7()
9. Sb 8(&)
10. Ta 8(&)
11. ~Sa ~Ta 6(~&)

 X
5. (x)((y)Ay  Lx)
(x)((y)Ly  Ax)
1. (x)((y)Ay  Lx) MC
2. ~(x)((y)Ly  Ax) MC
3. (x)~((y)Ly  Ax) 2(~)
4. ~((y)Ly  Aa) 3()
5. (y)Ly ~(y)Ly 4(~)

6. ~Aa Aa 4(~)
7. Lb 5()
8. (y)~Ly 5(~)
9. ~Lb 8()
10. (y)Ay  Lb (y)Ay  Lb 1()
11. (y)Ay ~(y)Ay (y)Ay ~(y)Ay 10()

12. Lb ~Lb Lb ~Lb 10()
13. Aa X X (y)~Ay 11(~)
14. X ~Ac 13()

7. ~(x)Ax  (y)Ay
(x)~Ax
(x)(Ax  (Bx  Cx)) Falta paréntesis
(y)(Ay  (By  Cy))
1. ~(x)Ax  (y)Ay MC
2. (x)~Ax MC
3. (x)(Ax  (Bx  Cx) MC
4. ~(y)(Ay  (By  Cy)) MC
5. ~Aa 2()
6. (y)~(Ay  (By  Cy)) 4(~)
7. ~(Aa  (Ba  Ca)) 6()
8. ~Aa 7(~)
77
9. ~(Ba  Ca) 7(~)

10. ~Ba 9(~)
11. ~Ca 9(~)
12. Aa  (Ba  Ca) 3()
13. ~Aa Ba  Ca 12()
14. Ba Ca 13()
15. ~(x)Ax (y)Ay X X 1()
16. (x)~Ax 15(~)
17. ~Aa 16()
18.  Aa 15()
X
9. (x)(Axa  (y)Axy)
(x)(y)~Axy Falta subrayar.
(x)(y)~Axy
1. (x)(Axa  (y)Axy) MC
2. (x)(y)~Axy MC
3. ~(x)(y)~Axy MC
4. (y)~Aay 2()
5. ~Aaa 4()
6. (x)~(y)~Axy 3(~)
7. ~(y)~Aay 6()
8. (y)~~Aay 7(~)
9. ~~Aaa 8()
10. Aaa 9(~~)
X
B.
1. (x)Hx
(x)Hx
(x)(Px  Hx)
(x)(Px & Hx)
3. (x)(y)Axy
(x)(y)Ayx
78
(x)(y)Ayx
(x)(y)Axy
5. (x)(Ex & Ix) & (x)(Ex & ~Fx)

(x)[Ex & (Ix  ~Fx)]
(x)(Ex  Ix) & ~(x)(Ex & Fx)

(x)[Ex & (Ix  ~Fx)]
Capítulo 9
Ejercicio 9.1
1. Derive: Fa & Fb & Fc
1 (x)Fx Suposición
2 Fa 1(E)
3 Fb 1(E)
4 Fc
5 Fa & Fb 2,3(&I)
6 (Fa & Fb) & Fc 4, 5 (&I)
3. Derive: (x)Fxax
1 Faaa Suposición
2 (x)Fxax 1 (I)
5. Derive: (y)Hy
1 (x)Hx Suposición
2 Ha 1(E)
3 (y)Hy 2(I)
7. Derive: (y)(Zy  Hy)

1 (x)Zx Suposición
2 Za Suposición
3 Za  Ha 2(I)
4 (y)(Zy & Hy) 3(I)
5 (y)(Zy & Hy) 1,2-4(E)
79
9. Derive: Ts & Sa
1 (z)Mz Suposición
2 (z)~Mz Suposición
3 ~(Ts & Sa) Suposición
4 Ma 1(E)
5 ~Ma 2(E)
6 Ts & Sa 3-5(~E)
11. Derive: (y)(z)Cyz

1 (w)(z)Cwz Suposición
2 (z)Caz 1(E)
3 Cab 2(E)
4 (z)Caz 3(I)
5 (y)(z)Cyz 4(I)
13. Derive: (x)(Ex  Kx)

1 (x)(Ex  Sx) Suposición
2 (x)(Sx  Kx) Suposición
3 Ea Sup.
4 Ea  Sa 1(E)
5 Sa  Ka 2(E)
6 Sa 3,4(E)
7 Ka 5,6(E)
8 Ea  Ka 3-7(I)
9 (x)(Ex  Kx) 8(I)
15. Derive: (x)(y)Kxy

1 (y)(x)Kxy Suposición
2 (x)Kxa Suposición
3 Kba 2(E)
4 (y)Kby 3(I)
5 (y)Kby 1,2-4(E)
6 (x)(y)Kxy 5(I)
Ejercicio 9.2
1. {(x)Kxx} ├─ (z)Kzz
1 (x)Kxx Sup.
80
2 Kaa Sup.
3 (z)Kzz 2(I)
4 (z)Kzz 1,2-3(E)
3. {(x)Mx} ├─ (x)(~Mx  Mx)

1 (x)Mx Sup.
2 ~Ma Sup.
3 Ma 1 (E)
4 ~Ma  Ma 2-3(I)
5 (x)(~Mx  Mx) 4(I)
5. {(x)[(Hx & ~Kx)  Ix], (y)(Hy & Gy), (x)(Gx & ~Kx)} ├─ (y)(Iy & Gy)
1 (x)[(Hx & ~Kx)  Ix] Sup.
2 (y)(Hy & Gy) Sup.
3 (x)(Gx & ~Kx) Sup.
4 Ha & Ga Sup.
5 (Ha & ~Ka)  Ia 1(E)
6 Ga & ~Ka 3(E)
7 Ha 4(&E)
8 ~Ka 6(&E)
9 Ha & ~Ka 7,8(&I)
10 Ia 5,9(E)
11 Ga 6(&E)
12 Ia & Ga 10,11(&I)
13 (y)(Iy & Gy) 12(I)
14 (y)(Iy & Gy) 2,4-13(E)
Ejercicio 9.3
1. (x)(y)Cxy
(Caa & Cab) & (Cba & Cbb)
1 (x)(y)Cxy Sup.
2 (y)Cay 1(E)
3 Caa 2(E)
4 Cab 2(E)
5 (y)Cby 1(E)
6 Cba 5(E)
7 Cbb 5(E)
8 Caa & Cab 3,4(&I)
9 Cba & Cbb 6,7(&I)
10 (Caa & Cab) & (Cba & Cbb) 8,9(&I)
81
3. (y)[(Hy & Fy)  Gy]

(z)Fz & ~(x)Kxb
(x)(Hx  Gx)
1 (y)[(Hy & Fy)  Gy] Sup.
2 (z)Fz & ~(x)Kxb Sup.
3 Ha Sup.
4 (Ha & Fa)  Ga 1(E)
5 (z)Fz 2(&E)
6 Fa 5(E)
7 Ha & Fa 3,6(&I)
8 Ga 4,7(E)
9 Ha  Ga 3-8(I)
10 (x)(Hx  Gx) 9(I)
5. (x)(~Ax  Kx)
(y)~Ky
(w)(Aw  ~Lwf)
1 (x)(~Ax  Kx) Sup.
2 (y)~Ky Sup.
3 ~Ka Sup.
4 ~Aa  Ka 1(E)
5 ~Aa Sup.
6 Ka 4,5(E)
7 ~Ka 3(R)
8 Aa 5-7(~E)
9 Aa  ~Laf 8(I)
10 (w)(Aw  ~Lwf) 9(I)
11 (w)(Aw  ~Lwf) 2,3-10(E)
Ejercicio 9.4
1. (x)(y)(Ay  Ax)
1 Aa Sup.
2 Aa 1(R)
3 Aa  Aa 1-2(I)
4 (y)(Ay  Aa) 3(I)
82
5 (x)(y)(Ay  Ax) 4(I)
3. (x)(Ax  Bx)  ((x)Ax  (x)Bx)

1 (x)(Ax  Bx) Sup.
2 (x)Ax Sup.
3 Aa 2(E)
4 Aa  Ba 1(E)
5 Ba 3,4(E)
6 (x)Bx 5(I)
7 (x)Ax  (x)Bx 2-6(I)
8 (x)(Ax  Bx)  ((x)Ax  (x)Bx) 1-7(I)
5. (x)(Bi  Ax)  (Bi  (x)Ax)

1 (x)(Bi  Ax) Sup.
2 Bi Sup.
3 Bi  Aa 1(E)
4 Aa 2,3(E)
5 (x)Ax 4(I)
6 Bi  (x)Ax 2-5(I)
7 Bi  (x)Ax Sup.
8 Bi Sup.
9 (x)Ax 7,8(E)
10 Aa 9(E)
11 Bi  Aa 8-10(I)
12 (x)(Bi  Ax) 11(I)
13 (x)(Bi  Ax)  (Bi  (x)Ax) 1-12(I)
Ejercicio 9.5
1. (x)Ax y (x)(Ax & Ax)
1 (x)Ax Sup.
2 Aa 1(E)
3 Aa 1(E)
4 Aa & Aa 2,3(&I)
5 (x)(Ax & Ax) 4(I)
1 (x)(Ax & Ax) Sup.

2 Aa & Aa 1(E)
83
3 Aa 2(&E)
4 (x)Ax 3(I)
3. (x)(Ax  Bx) y (x)Ax  (x)Bx

1 (x)(Ax  Bx) Sup.
2 Aa  Ba Sup.
3 Aa Sup.
4 (x)Ax 3(I)
5 (x)Ax  (x)Bx 4(I)
6 Ba Sup.
7 (x)Bx 6(I)
8 (x)Ax  (x)Bx 7(I)
9 (x)Ax  (x)Bx 2,3-8(E)
10 (x)Ax  (x)Bx 1,2-9(E)
1 (x)Ax  (x)Bx Sup.

2 (x)Ax Sup.
3 Aa Sup.
4 Aa  Ba 3(I)
5 (x)(Ax  Bx) 4(I)
6 (x)(Ax  Bx) 2,3-5(E)
7 (x)Bx Sup.
8 Ba Sup.
9 Aa  Ba 8(I)
10 (x)(Ax  Bx) 9(I)
11 (x)(Ax  Bx) 7,8-10(E)
12 (x)(Ax  Bx) 1,2-11(E)
5. ~(x)Fx y (x)~Fx
1 ~(x)Fx Sup.
2 ~(x)~Fx Sup.
3 ~Fa Sup.
4 (x)~Fx 3(I)
5 ~(x)~Fx 2(R)
6 Fa 3-5(~E)
7 (x)Fx 6(I)
8 ~(x)Fx 1(R)
9 (x)~Fx 2-8(~E)
84
1 (x)~Fx Sup.
2 (x)Fx Sup.
3 ~Fa Sup.
4 (x)~Fx Sup.
5 Fa 2(E)
6 ~Fa 3(R)
7 ~(x)~Fx 4-6(~I)
8 ~(x)~Fx 1,3-7(E)
9 (x)~Fx 1(R)
10 ~(x)Fx 2-9(~I)
Ejercicio 9.6
1. {(x)Hx, (y)~(Hy  Byy)}
1 (x)Hx Sup.
2 (y)~(Hy  Byy) Sup.
3 ~(Ha  Baa) 2(E)
4 Ha 1(E)
5 Ha  Baa 4(I)
3. {(x)Rx, (x)~Rx}
1 (x)Rx Sup.
2 (x)~Rx Sup.
3 ~Ra Sup.
4 ~(~Ab & Ab) Sup.
5 Ra 1(E)
6 ~Ra 3(R)
7 ~Ab & Ab 4-6(~E)
8 ~Ab & Ab 2,3-7(E)
9 ~Ab 8(&E)
10 Ab 8(&E)
5. {(w)(z)(Jwz  ~Jwz)}
1 (w)(z)(Jwz  ~Jwz) Sup.
85
2 (z)(Jaz  ~Jaz) 1(E)

3 Jab  ~Jab 2(E)
4 Jab Sup.
5 ~Jab 3,4(E)
6 Jab 4(R)
7 ~Jab 4-6(~I)
8 Jab 3,7(E)
Ejercico 9.7
A.
1. {(x)(~Bx  ~Wx), (x)Wx} ├─ (x)Bx
1 (x)(~Bx  ~Wx) Sup.
2 (x)Wx Sup.
3 ~Ba  ~Wa 1(E)
4 Wa Sup.
5 ~Ba Sup.
6 ~Wa 3,5(E)
7 Wa 4(R)
8 Ba 5-7(~E)
9 (x)Bx 8(I)
10 (x)Bx 2,4-9(E)
3. {(x)(Hx  (y)Rxyb), (x)(z)(Razx  Sxzz)} ├─ Ha  (x)Sxcc

1 (x)(Hx  (y)Rxyb) Sup.
2 (x)(z)(Razx  Sxzz) Sup.
3 Ha Sup.
4 Ha  (y)Rayb 1(E)
5 (y)Rayb 3,4(E)
6 Racb 5(E)
7 (z)(Razb  Sazz) 2(E)
8 Racb  Sacc 7(E)
9 Sacc 6,8(E)
10 (x)Sxcc 9(I)
11 Ha  (x)Sxcc 3-10(I)
86
5. {(z)(~Lz  (y)Ky)} ├─ (z)Lz  (y)Ky

1 (z)(~Lz  (y)Ky) Sup.
2 (z)Lz Sup.
3 ~La  (y)Ky 1(E)
4 La Sup.
5 ~La Sup.
6 ~(y)Ky Sup.
7 La 4(R)
8 ~La 5(R)
9 (y)Ky 6-8(~E)
10 (y)Ky Sup.
11 (y)Ky 10(R)
12 (y)Ky 3,5-11(E)
13 (y)Ky 2,4-12(E)
14 (z)Lz  (y)Ky 2-13(I)
B.
1. (x)(Sx  (y)Ky)
(x)(Sx  (y)(Ky  Py))
1 (x)(Sx  (y)Ky) Sup.
2 Sa Sup.
3 Sa  (y)Ky 1(E)
4 (y)Ky 2,3(E)
5 Kb Sup.
6 Kb  Pb 5(I)
7 (y)(Ky  Py) 6(I)
8 (y)(Ky  Py) 4,5-7 (E)
9 Sa  (y)(Ky  Py) 2-8(I)
10 (x)(Sx  (y)(Ky  Py)) 9(I)
87
3. (x)(Hx  Fx)
(x)[(Fx & Uxx)  Wxx]
(z)Uzz
(x)(Hx  Wxx)
1 (x)(Hx  Fx) Sup.
2 (x)[(Fx & Uxx)  Wxx] Sup.
3 (z)Uzz Sup.
4 Ha Sup.
5 Ha  Fa 1(E)
6 (Fa & Uaa)  Waa 2(E)
7 Uaa 3(E)
8 Fa 4,5(E)
9 Fa & Uaa 7,8(&I)
10 Waa 6,9(E)
11 Ha  Waa 4-10(I)
12 (x)(Hx  Wxx) 11(I)
5. (x)(Lx  Ex)
(x)(Cx & Ex) & (x)(Cx & ~Ex)
~(x)(Cx  Lx)
1 (x)(Lx  Ex) Sup.
2 (x)(Cx & Ex) & (x)(Cx & ~Ex) Sup.
3 (x)(Cx & ~Ex) 2(&E)
4 Ca & ~Ea Sup.
5 (x)(Cx  Lx) Sup.
6 Ca  La 5(I)
7 La  Ea 1(E)
8 Ca 4(&E)
9 La 6,8(E)
10 Ea 7-9(E)
11 ~Ea 4(&E)
12 ~(x)(Cx  Lx) 5-11(~I)
13 ~(x)(Cx  Lx) 3,4-12(E)
88
C.
1. [(x)(y)Axy & (x)(Axx  Bi)]  Bi
1 (x)(y)Axy & (x)(Axx  Bi) Sup.
2 (x)(y)Axy 1(&E)
3 (x)(Axx  Bi) 1(&E)
4 (y)Aay 2(E)
5 Aaa 4(E)
6 Aaa  Bi 3(E)
7 Bi 5,6(E)
8 [(x)(y)Axy & (x)(Axx  Bi)]  Bi 1-7(I)
3.
D.
1. (x)(Ax  Ax) y (x)(Bx  Bx)
1 (x)(Ax  Ax) Sup.

2 Ba Sup.
3 Ba 2(R)
4 Ba  Ba 2-3(I)
5 (x)(Bx  Bx) 4(I)
1 (x)(Bx  Bx) Sup.

2 Aa Sup.
3 Aa 2(R)
4 Aa  Aa 2-3(I)
5 (x)(Ax  Ax) 4(I)
89
3. (x)(Bi  Ax)  (Bi  (x)Ax)

1 (x)(Bi  Ax) Sup.
2 Bi  Aa Sup.
3 Bi Sup.
4 Aa 2, 3 (E)
5 (x)Ax 4(I)
6 Bi  (x)Ax 3-5(I)
7 Bi  (x)Ax 1,2-6(E)
8 Bi  (x)Ax Sup.
9 ~(x)(Bi  Ax) Sup.
10 Bi Sup.
11 ~Aa Sup.
12 (x)Ax 8,10(E)
13 Ab Sup.
14 Bi Sup.
15 Ab 13(R)
16 Bi  Ab 14-15(I)
17 (x)(Bi  Ax) 16(I)
18 (x)(Bi  Ax) 12,13-17(E)
19 ~(x)(Bi  Ax) 9(R)
20 Aa 11-19(~E)
21 Bi  Aa 10-20(I)
22 (x)(Bi  Ax) 21(I)
23 ~(x)(Bi  Ax) 9(R)
24 (x)(Bi  Ax) 9-23(~E)
(x)(Bi  Ax)  (Bi  (x)Ax) 1-24(I)
90
5. (x)(y)(Ax  By) y ~(x)Ax  (y)By

1 (x)(y)(Ax  By) Sup.
2 (y)(Aa  By) Sup.
3 Aa  Bb 2(E)
4 ~(~(x)Ax  (y)By) Sup.
5 (x)Ax Sup.
6 Aa 5(E)
7 Bb 3, 6 (E)
8 (y)By 7 (I)
9 ~(x)Ax  (y)By 8 (I)
10 ~(~(x)Ax  (y)By) 4 (R)
11 ~(x)Ax 5-10 (~I)
12 ~(x)Ax  (y)By 11 (I)
13 ~(~(x)Ax  (y)By) 4 (R)
14 ~(x)Ax  (y)By 4-13 (~E)
15 ~(x)Ax  (y)By 1, 2-14 (E)
1 ~(x)Ax  (y)By Sup.

2 ~(x)Ax Sup.
3 ~(x)(y)(Ax  By) Sup.
4 ~Aa Sup.
5 Aa Sup.
6 ~Bb Sup.
7 Aa 5(R)
8 ~Aa 4(R)
9 Bb 6-8(~E)
10 Aa  Bb 5-9(I)
11 (y)(Aa  By) 10(I)
12 (x)(y)(Ax  By) 11(I)
13 ~(x)(y)(Ax  By) 3(R)
14 Aa 4-13(~E)
15 (x)Ax 14(I)
16 ~(x)Ax 2(R)
17 (x)(y)(Ax  By) 3-16(~E)
18 (y)By Sup.
19 Aa Sup.
91
20 Bb 18(E)
21 Aa  Bb 19-20(I)
22 (y)(Aa  By) 21(I)
23 (x)(y)(Ax  By) 22(I)
24 (x)(y)(Ax  By) 1,2-23(E)
J. Demuestre que los siguientes conjuntos son inconsistentes en DNC.
1. {(y)(z)Byz, (w)~Baw}
1 (y)(z)Byz Sup.
2 (w)~Baw Sup.
3 (z)Baz 1(E)
4 Bab Sup.
5 ~(Ac & ~Ac) Sup.
6 Bab 4(R)
7 ~Bab 2(E)
8 Ac & ~Ac 5-7(~E)
9 Ac & ~Ac 3,4-8(E)
10 Ac 9(&E)
11 ~Ac 9(&E)
3. {(x)(~Bx & Lxx), (z)(Cz & Bz), (y)[(By & ~Cy)  Lyy]}
1 (x)(~Bx & Lxx) Sup.
2 (z)(Cz & Bz) Sup.
3 (y)[(By & ~Cy)  Lyy] Sup.
4 ~Ba & Laa Sup.
5 ~(~Ab & Ab) Sup.
6 Ca & Ba 2(E)
7 Ba 6(&E)
8 ~Ba 4(&E)
9 ~Ab & Ab 5-8(~E)
10 ~Ab & Ab 1,4-9(E)
11 ~Ab 10(&E)
12 Ab 10(&E)
Capítulo 10
Ejercicio 10.1
A. Simbolice las siguientes proposiciones en LPM (Lógica Proposicional Modal). Utilice “D”
para simbolizar la proposición “Dios existe”.
1. Es lógicamente posible que Dios exista.

D
92
3. Dios existe, pero “Dios existe” no es una verdad necesaria.

D & ~D
5. Es lógicamente posible que Dios exista, pero de hecho no existe.
D & ~D
7. “Dios existe” es una proposición contingente.
D
9. “Dios existe” es necesariamente falsa.
~D
11. Hay al menos un mundo posible en el que Dios existe.
D
13 No hay ningún mundo posible en el que Dios exista.
~D
15. O bien Dios existe en todos los mundos posibles o no existe en nuestro mundo.
D  ~D
Capítulo 11
Ejercicio 11.1
A.
1. A
B
(A & B)
1. A, 0 MC
2. B, 0 MC
3. ~(A & B), 0 MC
4. ~(A & B), 0 3(D)
5. 0r1 2()
6. B, 1 2()
7. ~(A & B), 1 4,5()
8. A, 1 1,5()
9. ~A,1 ~B,1 7(~&E)
X X
3. 1 A, 0 MC
2 B, 0 MC
3 ~(A & B), 0  MC
4 ~(A & B), 0 3 (D)
93
El argumento es semánticamente inválido en el sistema K. Las premisas son verdaderas y la

conclusión falsa en cualquier mundo desde el cual no haya acceso a ningún otro mundo.
B.
1. (A  B)  (A  B)
1. ~[(A  B)  (A  B)],0 MC
2. A  B,0 1(~)
3. ~(A  B),0 1(~)
4. ~(A  B),0 3(D)
5. 0r1 4()
6. ~(A  B),1 4()
7. ~A,1 6(~)
8. ~B,1 6(~)
9. A,0 B,0 2()
10. A,1 B,1 5,9()
X X
3. (A  B)  (A  B)

1. ~[(A  B)  (A  B)],0 MC
2. (A  B),0 1(~)
3. ~(A  B),0 1(~)
4. ~A,0 3(~)
5. ~B,0 3(~)
6. ~A,0 4(D)
7. ~B,0 4(D)
8. 0r1 6()
9. ~A,1 6()
10. 0r2 7()
11. ~B,2 7()
12. A  B,1 2,8()
13. A,1 B,1 12()
14. X A  B,2 2,10()
15. A,2 B,2 14()
X
5. L  L
1. ~(L  L),0 MC
2. L,0 1(~)
3. ~L,0 1(~)

94
Mundo 0.
L
~L
7. (A & B)  A & B

1. ~[(A & B)  A & B],0 MC
2. (A & B),0 1(~)
3. ~(A & B),0 1(~)
4. 0r1 2()
5. A & B,1 2()
6. A,1 5(&)
7. B,1 5(&)
8. ~A,0 ~B,0 2(~&)
9. ~A,0 ~A,0 8(D)
10. ~A,1 ~B,1 4,9()
X X
9. P  (~P  P)
1. ~[P  (~P  P)],0 MC
2. P,0 ~P,0 1(~)

3. ~ (~P  P),0 (~P  P),0 1(~)
4. ~(~P  P),0 3(D)
5. 0r1 4()
6. ~(~P  P),1 4()
7. ~P,1 6(~)
8. P,1 6(~)
9. X ~P,0 2(D)
10. 0r1 9()
11. ~P,1 9()
12. ~P  P,1 3,10()
13. ~~P,1 P,1 12()
14. P,1 X 13(~~)
X
11. 1 ~B & T, 0  MC

2 ~~B, 0  MC
3 B, 0  2(~~)
4 0R1 3()
5 B, 1  3()
6 ~B, 0 1(&)
95
7 T, 0 1(&)
8 ~B, 1 4, 6()
Ejercicio 11.2
A
B
C
D.
Ejercicio 11.3
A
B
C.
15. 1 (P  Q), 0  MC
2 ~(P  Q), 0  MC
3 ~P, 0  2 (~)
4 ~Q, 0  2 (~)
5 ~P, 0 3 (D)
6 ~Q, 0 4 (D)
7 0R1 1 ()
8 (P  Q), 1  1 ()
9 1R2 8 ()
10 P  Q, 2  8 ()
11 0R2 7, 9 (T)
12 ~P, 2 5, 11 ()
13 ~Q, 2 6, 11 ()
14 P, 2 Q, 2 10 ()
 
El argumento es semánticamente válido en el sistema S5.
Capítulo 12
Ejercicio 12.1
A.
1. ~E
~E
1 ~E Sup.
2 ~E 1(D)
96
3 ~E 2(E)
3. (A & B)
B
1 (A & B) Sup.
2 A & B 1(EMD)
3 B 2(&E)
4 B 3(E)
5 B 4(I)
5. H  ~S
~H
~S
1 H  ~S Sup.
2 ~H Sup.
3 ~H 2(D)
4 ~S 1,3(SD)
1 ~S 4(D)
7. AE
~E
~A
1 AE Sup.
2 ~E Sup.
3 A  E 1 (OIE)
4 ~E 2 (D)
5 ~A 3, 4 (E)
6 ~A 5 (D)
9. (A & ~B)

~B
1 (A & ~B) Sup.
2 A & ~B 1(EMD)
3 ~B 2(&E)
4 ~B 3(D)
B.
1. E  F
(E  F)  G
G
1 E  F Sup.
2 (E  F)  G Sup.
97
3 (E  F) 1(EMD)
4 G 2,3(E)
5 G 4(I)
3. LM
~M
~L
1 LM Sup.
2 ~M Sup.
3 L  M 1(OIE)
4 ~M 2(D)
5 ~L 3,4(E)
6 ~L 5(D)
5. A  B
~A  B
1 A  B Sup.
2 (A  B) 1(IE)
3 A  B 2(E)
4 ~A  B 3(Impl)
5 ~A  B 4(D)
7. (~D & ~E)

A  D
~A
1 (~D & ~E) Sup.
2 A  D Sup.
3 ~D & ~E 1 (IMD)
4 ~D 3 (&E)
5 ~D 4 (D)
6 ~A 2, 5 (E)
7 ~A 6 (D)
8 ~A 7 (E)
9. (R  D)
~R
98
D
1 (R  D) Sup.
2 ~R Sup.
3 (~~R  D) 1(DN)
4 (~R  D) 3(Impl)
5 ~R  D 4(IE)
6 ~R  D 5(OIE)
7 D 2,6(E)
11. [H  (J  K)]

J
(H  K)
1 [H  (J  K)] Sup.
2 J Sup.
3 H Sup.
4 H  (J  K) 1(IE)
5 H  (J  K) 4(OIE)
6 (J  K) 5,6(E)
7 JK 7(IE)
8 J  K 8(OIE)
9 K 2,9(E)
10 H  K 3-10(I)
11 ~H  K 11(Impl)
12 ~H  K 12(D)
13 (~H  K) 13(EMD)
14 (H  K) 14(Impl)
13. (E & F)  G

E
~G  ~F
1 (E & F)  G Sup.
2 E Sup.
99
3 (E & F)  G 1 (EMD)

4 E  (F  G) 3 (Export)
5 (F  G) 2, 4 (E)
6 (~G  ~F) 5 (Trans)
7 ~G  ~F 6 (I)
15. (L  M)
~L
M  ~N
~N
1 (L  M) Sup.
2 ~L Sup.
3 M  ~N Sup.
4 L  M 1(EMD)
5 ~L 2(D)
6 M 4,5(SD)
7 M  ~N 3(OIE)
8 ~N 6,7(E)
9 ~N 8(D)
17. [S  (P & R)]

Q  ~S
Q  ~(P & R)
~Q
1 [S  (P & R)] Sup.
2 Q  ~S Sup.
3 Q  ~(P & R) Sup.
4 Q Sup.
5 ~S 2,4(E)
6 S  (P & R) 1(EMD)
7 (P & R) 5,6(SD)
8 ~(P & R) 3,4(E)
9 ~Q 4-8(~I)
10 ~Q 9(D)
11 ~Q 10(E)
Ejercicio 12.2
A.
1. Derive: ~H
1 ~H Suposición
100
2 ~H 1 (D)
3 ~H 2 (S4)
4 ~H 3 (D)
3. A  B
A
B
1 A  B Sup.
2 A Sup.
3 A 2(S4)
4 B 1,3(E)
5. (C  C)  D
(C  D)
1 (C  C)  D Sup.
2 (C  C)  D 1(S4)
3 C  D 2(Idem)
4 (C  D) 3(IE)
7. A
AB
B
1 A Sup.
2 AB Sup.
3 A  B 2(OIE)
4 B 1,3(E)
5 B 4(S4)
9. (A & B)
A & B
1 (A & B) Sup.
2 (A & B) 1(S4)
3 A & B 2(EMD)
4 A 3(&E)
5 B 3(&E)
6 B 5(S4)
7 A & B 4,6(&I)
101
B.
1. R
R
1 R Sup.
2 R 1(S4)
3 R 2(S5)
3. G
G  H
H
1 G Sup.
2 G  H Sup.
3 G 1(S5)
4 H 2,3(E)
5 H 4(S5)
6 H 5(E)
5. J
K  ~J
~K
1 J Sup.
2 K  ~J Sup.
3 J 1(S5)
4 ~~J 3(DN)
5 ~K 2,4(E)
6 ~K 5(S4)
7. LM
M  L
L
L
1 LM Sup.
2 M  L Sup.
3 L Sup.
102
4 L  M 1(OIE)
5 M 3,4(E)
6 M  L 2(OIE)
7 L 5,6(E)
8 L 7(S5)
9 L 8(E)
9. (H &E)
H & E

Respuestas I

Cargado por

Información del documento

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

Respuestas I

Cargado por

Copyright:

Formatos disponibles

1

RESPUESTAS A LOS EJERCICIOS IMPARES

1. Ningún pato baila el vals.

Ningún oficial es un pato.

3. Todos los pájaros multicolores viven del néctar.

Ningún pájaro grande vive del néctar.

5. Todas las frutas saludables están maduras.

Ninguna fruta que haya crecido en la sombra es saludable.

Fabio tuvo una buena educación.

3. Hay charcos por todas partes.

5. Les sobró mucha comida.

La fiesta no debió ser muy exitosa.

7. Jaramillo fue un buen senador.

Jaramillo va a ser un buen presidente.

9. En el nuevo almacén venden sólo productos importados.

Los precios en el nuevo almacén de la esquina van a ser altos.

11. Él estudió con Pepe Romero.

13. La mitad de los que se sientan en la primera fila creen en Dios.

La mitad de la clase debe creer en Dios.

15. Si no creen en su inocencia, no le devuelven su empleo.

3. M: La mucama cometió el crimen.

5. M: El candidato ganará en San Mateo.

C  [~L & (M & S)]

7. Operador lógico principal: 

La fórmula es una tautología.

La fórmula es semánticamente indeterminada.

11. [(F  G) & (F  H)]  ~ (G & H)

15. [(B  ~ E) & ~ (B & E)]  ~ E

1. [~ (M & N)]  [~ (M  N)]

5. [(G  A)  (A  G)]  [(G  A)  (~ A  G)]

7. ([K  ~ (M & L)]  ~ M)  ([M  ~ (K & L)]  ~ K)

9. [~ (A & B)  (B  ~ C)]  [(A & B)  ~ C]

El conjunto es semánticamente inconsistente.

El conjunto es semánticamente inconsistente.

El conjunto es semánticamente consistente.

9. (E  ~ T) & T , (T  [(B  E) & B)]  ~ E ; T  ~ E

5. F & ~ [(G & H)  (H  F)] , G  ~ G ; ~ H  H

3. A: La primera línea de metro fue inaugurada en 1927

5. U: La inflación continúa estable.

(U T) & (I  C) , (T  ~ C) & (~ C  U) ; U

5. Si asumimos que el conjunto  es consistente, entonces bajo alguna asignación de valor de

1. ~(F  G) MC El conjunto es inconsistente.

3. {~(A  B), A  ~B}

5. {M & (N & O), ~[M & (N & O)]}

7. {~F  (D & E), F, ~(D & E)}

9. {(~R & ~S) & [(S  ~U) & (U  ~T)]}

11. {(H  ~I) & [(I  ~J) & (J  ~K)]}

5. {~[(M  ~N)  (N  M)], ~(~M  ~N)]}

11. {Z  (X  ~Y), ~(Z  X)}

5. ~Z X  ~Y ~Z X  ~Y 1()

13. {R  (~S  T), ~R  (S  ~T), ~(R  ~T)}

1. ~(~M  ~M) MC La fórmula no es una contradicción.

1 (L  Z)  (A & Z) MC No es una contradicción.

2 (L  Z) (A & Z) MC

7. (B  D) & [(B  ~D) & ~(~B  D)]

9. (~F  ~G) & (F & ~G)

11. (M  N) & ~(M  N)

2. P  Q ~(P  Q) 1() La fórmula es una

1. ~[~(B & A)  (~B & ~A)] MC

2. ~(B & A) ~~(B & A) 1(~)

10. ~~B ~~A ~~B ~~A 3(~&)

1. ~([(P & Q)  R] [(P  R) & (Q  R)]) MC

2. (P & Q)  R ~[(P & Q)  R] 1(~)

14. ~(P & Q) R ~(P & Q) R 2()

10. B A B A 3(~&)