Lógica Clásica de Primer Orden

Lógica Clásica de Primer Orden:

Estrategias de Deducción, Formalización
y Evaluación Semántica
(Soluciones a los ejercicios)

José L. Falguera López

Concepción Martínez Vidal

D 1 T O R I A L T R O i T A
 CONTENIDO

COLECCIÓN ESTRUCTURAS Y PROCESOS

Serie Filosofía

Ejercicios I 9

Ejercicios II 19

Ejercicios III . . . . . . . . . . . 23

Ejercicios IV 55

Ejercicios V 63
© Editorial Trotta, S.A., 1999
Sagasta, 33. 28004 Madrid Ejercicios VI 75
Teléfono: 91 593 9040
Fax: 91 5 9 3 9 1 1 1
Ejercicios VII 99
E-mail: lrotla@infornet.es
http://www.trotta.es
Ejercicios VIII 105
© José L. Falguera López, Concepción Martínez Vidal, 1999
Ejercicios IX 129
Diseño
Luis Arenas
Ejercicios X 131
ISBN: 84-81 64-291 -6 (Obra completa]
ISBN: 84-8164-318-1 (Tomo 2)
Depósito Legal: VA-127/99

Impresión
Simancas Ediciones, S.A.
Pol. Ind. San Cristóbal
C/ Estaño, parcela 152
47012 Valladolid
 EJERCICIOS I

BLOQUE I

1. Incorrecta. Un argumento es una entidad conceptual, así

pues de carácter abstracto, y como tal está formado por entidades
abstractas más elementales, como son las proposiciones. Son las ar-
gumentaciones las entidades lingüísticas de carácter concreto que
están formadas por enunciados. Otra cosa es que los enunciados
expresen proposiciones.
2. Incorrecta. Una argumentación no es una entidad concep-
tual, sino una entidad lingüística de carácter concreto formada por
enunciados.
3. Correcta. Las proposiciones son (conforme a la lógica clási-
ca) verdaderas o falsas. Estos últimos son los únicos valores de ver-
dad (valores veritativos) que se consideran en lógica clásica.
4. Incorrecta. El que algo sea un argumento no depende de que
se pretenda que las proposiciones componentes (premisas y conclu-
sión) sean verdaderas, sino que se pretende (por parte de alguien)
que la conclusión se siga de las premisas.
5. Correcto. El criterio de validez de un argumento se establece
de esa manera. Hemos de suponer que se trata de un argumento de-
ductivo (o de un criterio deductivo de evaluación de argumentos).
6. Incorrecto. Propiamente no hablamos de argumentos induc-
tivos válidos. Los valores cualitativos que aplicamos a argumentos
inductivos (o en una evaluación inductiva de argumentos) son los
de "débil" o "fuerte".
7. Incorrecto. Los valores aplicables a argumentos nunca son
los de "verdadero" o "falso".
8. Correcto. A un argumento deductivo no-válido también se le
 LÓGICA C L Á S I C A DE PRIMER O R D E N : E S T R A T E G I A S
denomina "falacia". Aunque hay argumentos deductivos válidos
que también son falacias como las de "petitio principii". Además,
no todo argumento falaz es un argumento deductivo.
9. Correcto. Todo enunciado lógicamente verdadero es imposi-
ble que no sea verdadero; pero los enunciados verdaderos podrían
ser falsos y, por ello, no pueden ser lógicamente verdaderos.
10. Incorrecto. La validez o no-validez de un argumento (de-
ductivo) no depende de los valores veritativos de premisas y conclu-
sión [salvo cuando las premisas son verdaderas y la conclusión fal-
sa; y en este caso porque no es posible una estructura lógica válida
(propia de argumentos válidos), donde la conclusión se siga necesa-
riamente de las premisas, con tal combinación de valores veritati-
vos].
11. Incorrecto. La validez de un argumento (deductivo) es una
propiedad de carácter óntico. Lo que es epistémico es encontrar
una deducción para demostrar la validez de un argumento deducti-
vo.
12. Correcto. La noción de implicación que manejamos es esa.
BLOQUE II
1. Efectivamente, ese es el criterio de evaluación de argumentos
(deductivos).
2. Es falso. Que un argumento (deductivo) sea válido no signifi-
ca que exista una deducción correspondiente que demuestre que la
conclusión se sigue necesariamente de las premisas. (Incluso en ar-
gumentos formales de los que se tiene constancia de que es posible
obtener una deducción en cierto sistema deductivo, no tiene por
qué disponerse de hecho de tal deducción [véase apartado
VIII.6.2]).
3. Conforme a las definiciones dadas en el texto de "deduc-
ción" y de "prueba", tenemos que la afirmación es totalmente inco-
rrecta. En realidad, toda prueba es una deducción pero no toda una
deducción es una prueba.
4. No hay seguridad de que se acierte a construir un contra-ar-
gumento de un argumento (deductivo) no-válido.
5. No. Un argumento (deductivo) sólido es aquel que es válido
y sus premisas son verdaderas, por tanto, puede no ser sólido por-
que sus premisas no sean verdaderas y ser igualmente válido.
6. Efectivamente, ya que una verdad lógica se sigue de cualquier
conjunto de premisas. Esto se debe a que la relación que se da entre
las premisas y la conclusión de un argumento deductivo válido es
una relación de implicación. Si la conclusión es una verdad lógica
10
S O L U C I O N E S A LOS E J E R C I C I O S
dicha relación se dará, ya que es imposible que se dé el caso de que
las premisas sean verdaderas y la conclusión falsa.
7. Sí, por ejemplo, "Juan ama a María" y "María es amada por
Juan" son dos enunciados que expresan la proposición en la que se
expresa la existencia de la relación no simétrica (eventualmente) de
amorío entre Juan y María.
8. Efectivamente, ya que en este caso es imposible que todas sus
premisas sean verdaderas y con ello queda satisfecho el requisito
para ser un argumento válido.
9. Correcto. La relación de implicación es de carácter óntico,
no depende de lo que se sabe, lo que se crea o lo que se demuestre.
10. Incorrecto. La dimensión óntica corresponde a lo que hay.
La dimensión epistémica es la que permite reconocer o demostrar
algo.
BLOQUE III
1. El disponer de una prueba de un argumento es condición su-
ficiente para afirmar que su conclusión es verdadera.
2. Una deducción correcta supone que la conclusión se sigue ne-
cesariamente de las premisas.
3. Una deducción incorrecta supone ... [estrictamente no se pue-
de completar la frase. Una deducción incorrecta no nos permite su-
poner nada cierto acerca del argumento implícito].
4. El análisis de la forma lógica de un enunciado exige distin-
guir entre constantes lógicas y el resto de sus expresiones, clasifi-
cándose éstas según diferentes categorías sintácticas.
5. La validez de un argumento es de carácter óntico.
6. Una deducción contiene premisas, conclusión y una cadena
de enunciados establecidos a modo de pasos intermedios para de-
mostrar la relación de implicación entre premisas y conclusión.
7. Se dice que las premisas de un argumento implican la conclu-
sión cuando el argumento es válido (o la conclusión se sigue nece-
sariamente de las premisas).
8. Una contradicción es un enunciado que es lógicamente falso
en función de la forma lógica determinada por las conectivas lógi-
cas que contiene.
9. Un contra-argumento de A es otro argumento B que tiene la
misma estructura lógica que A y en el que las premisas son eviden-
temente verdaderas y la conclusión evidentemente falsa.
10. Un contra-argumento es un procedimiento epistémico para
establecer la no-validez de otro argumento con su misma estructura
lógica.
11
 LÓGICA CLÁSICA DE PRIMER ORDEN: E S T R A T E G I A S
BLOQUE IV
1. La validez o no validez de un argumento depende de su es-
tructura lógica. Por tanto dos argumentos que tengan la misma es-
tructura lógica son ambos o bien válidos o bien ambos no-válidos.
De hecho utilizamos este criterio precisamente para establecer con-
tra-argumentos de argumentos no-válidos.
2. Efectivamente dos argumentos con la misma estructura lógi-
ca, tal y como hemos señalado anteriormente son ambos válidos o
ambos no válidos. Precisamente esa es la base de los estudios de ló-
gica.
3. No, hay estructuras lógicas distintas que dan lugar a argu-
mentos válidos. Ahora bien, a todos los argumentos deductivos con
la misma estructura lógica le corresponde la misma evaluación: se-
rán todos válidos o todos no-válidos.
"2" implica a "1" dado que la información establecida en 1
está implícitamente dada en 2, luego 1 se sigue necesariamente (o se
sigue lógicamente) de 2. O dicho de otra forma, 2 implica 1; no es
posible que 2 sea verdadero y 1 falso dado lo que establecen ambos
enunciados.
"2" no implica a "3" dado que 2 es verdadero y 3 es falso, lue-
go no puede ser un argumento válido el que tome como premisa 2 y
como conclusión a 3.
"3" implica a "2" dado que la información dada en 2 está con-
tenida en 3, o dicho de otra forma, si 3 fuera verdadero, aunque de
hecho no lo es, pero si lo fuera, 2 también tendría que serlo. No po-
dría darse que 3 fuera verdadero y 2 no lo fuera dado el contenido
de ambos enunciados.
BLOQUE V
d) porque a, b y c son equivalentes e igualmente verdaderas.
BLOQUE VI
Si nos atenemos a la información que dan las diferentes argu-
mentaciones a, b y c, es decir, a la información explícitamente esta-
blecida en esas argumentaciones, los argumentos así expresados
son no-válidos, dado que la información contenida en la conclusión
no se sigue de la contenida en las premisas de las respectivas argu-
mentaciones. Ahora bien, si tenemos en cuenta información implí-
cita, es decir, información presupuesta para cada una de las argu-
mentaciones que asumimos como establecida (como conocida)
12
S O L U C I O N E S A LOS E J E R C I C I O S
entonces podríamos decir que las diferentes argumentaciones son
válidas y, por lo tanto, también los argumentos así expresados.
En el primer caso, entre las premisas deberíamos contemplar
como premisa no explícita pero si presupuesta para que la argu-
mentación fuera válida, la que establece que los números 1, 3 y 5
son todos los números impares entre el O y el 6. O dicho de otra
forma, todos los números impares entre el O y el 6 son el 1, el 3 y el
5.
Para la argumentación b) la premisa implícita a los efectos de
que el argumento sea válido tendría que establecer que la tierra es
un planeta.
Y para la argumentación c) la premisa implícita a los efectos de
que la argumentación fuera válida tendría que establecer que todo
mamífero es un animal.
Si nosotros asumimos esas diferentes premisas de las respectivas
argumentaciones como premisas presupuestas, ya conocidas, en-
tonces las argumentaciones resultan válidas y se puede establecer
las deducciones informales correspondientes para esas argumenta-
ciones.
a) Si el 1 es un número primo, el 3 es un número primo, el 5 es
un número primo entonces el 1, el 3 y el 5 son número primos. Si es
cierto que el 1, el 3 y el 5 son todos los números impares entre el O
y el 6 (premisa implícita) entonces todos los números impares entre
el O y el 6 son números primos. Por tanto, todo número impar entre
el O y el 6 es un número primo.
b) Si los planetas giran alrededor del sol y si es cierto que la tie-
rra es un planeta (premisa implícita) entonces la tierra gira alrede-
dor del sol. Por tanto, la tierra gira alrededor del sol.
c) Si todo perro es un mamífero y si es cierto que todo mamífe-
ro es un animal (premisa implícita) entonces todo perro es un ani-
mal. Por tanto todo perro es un animal.
BLOQUE vil
Premisas Conclusión Válido No-válido
Verdaderas Verdadera 1 5
Verdaderas Falsa 2 6
Falsas* Verdadera 3 7
Falsas* Falsa 4 8
1) —1 Todos los parisinos son franceses.
—2 Todos los franceses son europeos.
I- Todos los parisinos son europeos.
13
 S O L U C I O N E S A IOS E J E R C I C I O S
LÓGICA CLASICA DE PRIMER ORDEN: ESTRATEGIAS

que utilizamos habitualmente y que tiene sus similitudes con este

2) NO HAY.
3) —1 Todos los parisinos son africanos.
—2 Todos los africanos son franceses.
I- Todos los parisinos son franceses.
4) —1 Todos los parisinos son marroquíes.
—2 Todos los marroquíes son africanos.
I- Todos los parisinos son africanos.
5) —1 Todos los parisinos son franceses.
I- Todos los franceses son europeos.
principio lógico, y es el de establecer un absurdo o bien algo que
consideramos absurdo y a partir de ahí concluir cualquier otra cosa
por muy absurda que sea. Por ejemplo, si eso es cierto ... (y conti-
núa lo que consideramos absurdo) entonces yo soy rey de la Pata-
gonia o yo soy papa o yo soy Dios.
4. Ninguna proposición que es la conclusión de una deducción
que tiene una o más premisas falsas es ... [No se puede completar
esta cuestión ya que ninguna respuesta sería adecuada, salvo para
decir algo obvio como que ninguna proposición de esa índole es a
la vez verdadera y falsa].
5. Ninguna prueba tiene alguna premisa falsa, porque una
prueba es una deducción cuyas premisas son verdaderas.

6) —1 Todos los parisinos son franceses. BLOQUE IX

—2 Todos los franceses son europeos,
h Todos los europeos son parisinos. 1) —1 Todo perro es un mamífero.
—2 Todo mamífero es mortal.
7) —1 Todos los parisinos son africanos. I- Todo perro es mortal.
I- Todos los parisinos son franceses.
2) NORAY.
8) —1 Todos los parisinos son marroquíes.
I- Todos los parisinos son africanos. 3) —1 Todo perro es un hombre.
—2 Todo hombre es un mamifero.
H Todo perro es un mamifero.
BLOQUE VIII
4) —1 Todo perro es un hombre.
1. Toda proposición implicada por una proposición verdadera —2 Todo hombre es un asno.
es verdadera, porque si es falsa la implicación entre premisa y con- I- Todo perro es un asno.
clusión no podría darse ya que estaríamos en el caso de que la pre-
misa fuese verdadera y la conclusión falsa. 5) —1 Todo doberman es un mamifero.
2. Toda proposición que implica a una proposición falsa es fal- —2 Todo perro es un mamifero.
sa, porque si es verdadera la implicación entre premisa y conclusión h Todo doberman es un perro.
no podría darse ya que estaríamos en el caso de que la premisa fue-
se verdadera y la conclusión falsa. 6) —1 Todo perro es un mamifero.
3. Todo conjunto contradictorio de premisas implica cualquier —2 Todo gato es un mamifero.
proposición, porque en esta situación no cabe la posibilidad, bajo \- Todo perro es un gato.
ninguna circunstancia, de que todas y cada una de las premisas re- 7) —1 Todo doberman es un colibrí.
sulten verdaderas, con lo que el principio que asegura la implica- —2 Todo perro es un colibrí.
ción (o validez) se va a satisfacer con independencia del contenido H Todo doberman es un perro.
de la conclusión.
Esto corresponde a un pricipio lógico que establece que desde 8) —1 Todo perro es un colibrí.
una contradicción se concluye cualquier cosa, lo que se quiera, —2 Todo gato es un colibrí.
también llamado principio de ex contraditione qualibet. Además, H- Todo perro es un gato.
desde el punto de vista intuitivo hay un proceso de razonamiento

14 15
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

BLOQUE X BLOQUE XIII

Supongamos que tenemos todos los cisnes que no son negros. La respuesta correcta es la b). El resto de las respuestas serían
Como, por la premisa 1 todo cisne es blanco o negro y éstos no son inadecuadas. La respuesta a) por hacer alusión a las leyes del pen-
negros entonces tienen que ser blancos porque sino no serían ni samiento y ser esto objeto de estudio de una parte de la psicología.
blancos ni negros y esto se contradice con nuestro punto de partida La respuesta c) por hacer referencia a la ciencia del razonamiento y
que dice que todo cisne es blanco o negro. Por tanto, todo cisne no- ser también los razonamientos objeto de estudio de una parte de la
negro es blanco. psicología. Y la respuesta d) sería también inadecuada en principio
por la misma razón, por hacer referencia a razonamientos. Podría
aceptarse como adecuada la respuesta d) si se entendiera razona-
BLOQUE XI miento como equivalente a argumento o argumentación, pero no-
sotros no hemos procedido así en el texto aunque otros autores sí
a) Válido. Si Juan es francés y Pedro no entonces Juan y Pedro di- entienden razonamiento como equivalente a lo que nosotros llama-
fieren en una propiedad (la de ser francés). Como difieren en una mos argumento.
propiedad no pueden ser el mismo individuo. Por lo tanto, Juan no
es Pedro.
BLOQUE XIV
b) No-válido.
—1 Ningún hombre es un perro. a) —1 Algunos números son pares y algunos números son impares,
—2 Ningún perro es racional. h Algunos números son pares e impares.
I- Ningún hombre es racional. b) —1 Todos los madrileños son españoles.
—2 Miguel Induráin es español.
c) No-válido. I- Miguel Induráin es madrileño.
—1 El 1 es impar.
—2 El 3 es impar,
h El 1 es el 3. BLOQUE XV

d) No-válido. 1. La respuesta correcta es la a). Es la forma lógica la que nos

—1 Algunos pares son primos.
—2 Algunos primos son impares,
h- Algunos pares son impares.
e) No-válido. (Aplicado al conjunto de los números naturales)
—1 Todo número tiene algún sucesor,
h Algún sucesor no tiene sucesor.
e) No-válido. (Aplicado al conjunto de los números naturales)
—1 Todo número tiene algún sucesor.
I- Existe un sucesor que es el sucesor de todos.
BLOQUE XII
La respuesta correcta es la c). Un argumento es válido o no-vá-
lido y no caben valores intermedios en lógica deductiva clásica
permite saber si un enunciado es lógicamente falso independiente-
mente de como sea el mundo. Toda contradicción es un enunciado
lógicamente falso pero lo es en virtud de las conectivas lógicas, sin
embargo, no todo enunciado lógicamente falso tiene porque ser
una contradicción.
2. La respuesta correcta es la a). Si un conjunto de premisas es
contradictorio entonces es imposible que sea verdadero el conjunto
o la conjunción de esas premisas, luego de ese conjunto contradic-
torio se sigue necesariamente cualquier enunciado independiente-
mente de cual sea su valor veritativo, es decir, la conclusión tanto
puede ser verdadera como falsa. Las respuestas c) y d) se pueden
considerar como respuestas correctas pero un tanto incompletas al
no hacer alusión a que también se puede deducir en c) una conclu-
sión falsa y en d) una conclusión verdadera.
3. La respuesta correcta es la d). La respuesta a) porque ser ló-
gicamente verdadero es insuficiente, debe serlo en virtud de sus co-
nectivas lógicas. La respuesta b) es igualmente insuficiente ya que

16 17
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S

no hace referencia a que la verdad del enunciado se da en virtud de

sus conectivas. La respuesta c) también es insuficiente, si es una
tautología entonces es la conclusión de un argumento válido, pero
que sea la conclusión de un argumento válido no quiere decir que
sea una tautología.
4. Las respuestas correctas son la b) y la c). La respuesta b) por- EJERCICIOS II
que si la conclusión de un argumento es verdadera, el argumento es
válido independientemente del valor que tomen las premisas. La
respuesta c) es correcta porque un enunciado tautológico es una
verdad lógica y toda verdad lógica es siempre verdadera indepen-
dientemente de como sea el mundo.
5. Las respuestas correctas son la a) y la c). La respuesta a) por-
que si la premisa de un argumento es falsa el argumento es válido
independientemente del valor de la conclusión. La respuesta c) por-
que toda contradicción es una falsedad lógica, es siempre falsa in-
dependientemente de como sea el mundo, dicha falsedad viene de-
terminada por las conectivas lógicas.
6. La respuesta correcta es b). Tiene que ser un enunciado lógi- BLOQUE I
camente verdadero porque un enunciado lógicamente verdadero
sólo implica a un enunciado lógicamente verdadero. a) Sí, porque el alfabeto y las reglas de formación de Q determi-
7. La respuesta correcta es d). Si entre las premisas de un argu- nan un conjunto de fbfs sin hacer referencia a cuestiones de índole
mento hay al menos una que es falsa (cosa que sucede cuando las semántica.
premisas son contradictorias, es decir, si las premisas son contra- b) No, porque en el vocabulario primitivo o alfabeto de Q no se
dictorias es imposible que todas y cada una sean verdaderas) enton- distingue entre expresiones lógicas (constantes lógicas u operadores
ces el argumento es válido independientemente del valor que tome lógicos) y el resto de los símbolos primitivos.
la conclusión. Las respuestas a) y c) son correctas pero incompletas.

BLOQUE II
BLOQUE XVI
a) Sí, porque el alfabeto y las reglas de formación determinan
1. Se usan los términos "Santiago" y "Valencia". un conjunto de fbfs sin hacer referencia a cuestiones de índole se-
2. Se menciona el término "Santiago" y se usa "Estocolmo' mántica.
3. Se usan los términos "Vigo" y "Santiago".
4. Se menciona el término "Estocolmo". c) ( J ) no es una fórmula de X porque la regla de formación 1
indica que toda cadena finita de símjbolos del alfabeto que contenga
J y <$> /s una fbf y esta no incluye $ •
^ ^> § qj fy# no es una fbf de X porque no incluye J y además #
no es un símbolo del alfabeto.
« no es una fbf de X porque no incluye J ni ^.

BLOQUE III

a) Sí, dado que satisface las condiciones de un lenguaje formal,

18 19
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S
pero se trata de un lenguaje formal un tanto peculiar porque las re-
glas de formación definen un conjunto vacío de fbfs. Esto se debe a
que no hay ninguna secuencia que se pueda formar con el alfabeto
de Y conforme a las reglas explicitadas por Y.
b) No, ppraue J no es un símbolo del alfabeto.
' 'H™ . J ; J J J J | J J J .
BLOQUE IV
E no es un lenguaje formal, dado que para establecer si algo es
o no es una es una fbf de este lenguaje tenemos que saber si es una
palabra del ruso y por lo tanto si tiene contenido semántico en ese
lenguaje.
BLOQUE V
a) Es falso, dado que el conjunto Y es un conjunto vacío y el
conjunto X tiene fbfs concretas, por lo tanto X no puede estar in-
cluido en Y o, dicho de otra forma, no puede haber fórmulas de X
que sean fórmulas de Y.
b) Es verdadero, dadas las cuestiones planteadas para el aparta-
do a) resulta obvio que todas las fbfs del lenguaje Y, que es un con-
junto vacío de fórmulas, son fórmulas del lenguaje X. El conjunto
de las fbfs del lenguaje Y están incluidas en el conjunto de las fbfs
del lenguaje X.
c) Es verdadero, nada que se pueda considerar una fbf de X es
una fbf de Y porque estrictamente Y no contiene ninguna fbf.
d) Es falso, por la misma razón ya indicada no hay fbfs de X
que sean fbfs de Y.
BLOQUE VI
a) Sí, porque está formado por un lenguaje cuyas reglas definen
un conjunto de fbfs y por un mecanismo deductivo que consta de
un axioma y una regla de transformación y todo ello que hace sin
apelar a ningún tipo de consideración de índole semántica.
b) No, porque en el alfabeto del lenguaje de Z no se ha distin-
guido entre los símbolos lógicos (constantes lógicas u operadores
lógicos) y el resto de los símbolos primitivos.
c) No lo es dado que de * * no se sigue conforme a la regla de
transformación 1 ninguna otra fbf.
20
S O L U C I O N E S A LOS E J E R C I C I O S
d) Sí, por aplicación de la regla de transformación 1.
e) No, la consecuencia debe tener al menos un *.
f) No, dado que * * » no constituye una fbf de Z. Además la
consecuencia debe tener al menos un * .
g) Sí, porque es consecuencia del axioma por la regla de trans-
formación 1.
h) Ninguna, puesto que para que alguna fbf tenga consecuencia
debe terminar por un número impar de » .
i) De ninguna porque para que una fbf sea consecuencia de algo
debe contener al menos un » .
j) * * * A ; A A A A » **; A * » * * » ,
BLOQUE VII
'A" y "B" son metavariables que están por fbfs de L.
BLOQUE VIII
a) Sí, porque está formado por un lenguaje formal que median-
te un alfabeto y unas reglas de formación definen un conjunto de
fbfs del sistema; y un mecanismo deductivo formado por cinco
axiomas y una regla de transformación. Y todo esto se realiza sin
hacer referencia a cuestiones de índole semántica.
b) Sí, porque en el lenguaje se distingue entre constantes lógicas
( * , < , # ) y los demás símbolos primitivos.
c) Los axiomas de un sistema son fbfs de ese sistema, los esque-
mas de axiomas son esquemas de fbfs de ese sistema expresados en
un metalenguaje de ese sistema.
BLOQUE IX
a) Sí, porque está formado por un lenguaje formal que median-
te un alfabeto y unas reglas de formación definen un conjunto de
fbfs del sistema; y un mecanismo deductivo formado por un axio-
ma y dos reglas de transformación. Y todo esto se realiza sin hacer
referencia a cuestiones de índole semántica.
No es un sistema lógico-formal porque en el vocabulario primi-
tivo o alfabeto de M no se distingue entre expresiones lógicas
(constantes lógicas u operadores lógicos) y el resto de los símbolos
primitivos.
b) Sí, porque de (aabb)S(aabb), que es un axioma, se sigue
21
 LÓGICA C L A S I C A DE PRIMER ORDEN: E S T R A T E G I A S

(aabb)T(aabb) por la regla de transformación 1, y de esta última

expresión se sigue aabbaabb por la regla de transformación 2.
No, estrictamente (abc)S(abc) no es un teorema sino una instan-
cia de un esquema axioma.
c) No, faltaría una "c" en la fórmula que aparece a la derecha EJERCICIOS III
de la T para se diese ese caso.
d) Sí, según la regla de transformación 2.
e) No, la expresión que aparece a la izquierda de la segunda T
está entre paréntesis.
Sí, según la regla de transformación 2.

BLOQUE I

1)
-1 s -»t
-2t->r hr
-3s
4t
5r

2)
-1 q -> t A S
-2 t -»p I-P
-3q
4 t AS E-» 1,3
5t EA4
6P E-»2,5

3)

1 s -> t
2 t —> w A q hs
3 w —> p

rI 56ts

22 23
 LÓGICA CLÁSICA DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS EJERCICIOS

7w Aq E—> 2, 6 r-8s
8w EA7 L-9 q E-» 2,8
9 p E->3, 8 plO p
•10 q E->4, 9 L-ll q E-»3,10
11 s -» q I-» 5-10 1—12 q Ev 7, 8-9,10-11
13 r - » q I-»4-12
4)

— 1 t - > ( p ->(s ^r)) Hp-»(s- )) ^ _lp_>tvr

2 p
— z. n
—2 t —> s A m
-3 s h-
—3 r —» -«
r 45 1p - > ( s - > r ) E->1,4
—4 m v -is —» -i(t vr)
5p
6 s -> r E-> 5, 2 E-»l,5
6 t vr
- 7r E^ 6, 3
- 7t
— 8 t->r I-» 4-7 8 s Am
n E-»2,7
" s —> /(t —> r)v T
1—> -^3-8n
9m EA 8
10 p ->(s-> (t-»r)) I-» 2-9 Iv9
10 m v -is
11 -.(tvr) E-»4, 10 * '
5) •-12 ( t v r ) A-Ktvr) IA 6, 11
—1 t -> (p -> s) A (s -» -ir)
i-13 r
—2 (-15 v r) A (-i-it A -i(p -» q)) H -i(p-> q) A (s -.r)
3 -nt A -i(p -4 q) EA 2 14 -.s E->3,13
4 -iit EA 3 15 m v -is Ivl4
5 t Ei 4 : r, i 16-i(tvr) E->4, 15
6 (p —> s) A (s -» -ir) E-> 1, 5 ','•• ; '.' *— 17 (t vr ) A-i(t vr) IAÓ, 16
7 s -> -ir EA 6 18 (t v r ) A-.(t vr) Ev 6,7-12,13-17
8 -i(p —> q) EA 3 , ' 19 -.p I-. 5-18
9 i(p -> q) A (s -> -ir) IA 8, 7

6) BLOQUE II
—1 r v -is —» (s v p) A (-iq v -it)
—2 s -» q Kr (NOTA: A continuación se presenta una posible solución a cada
uno de los ejercicios propuestos, pero evidentemente caben otras
-3 p-^q ; múltiples soluciones alternativas.)
•4 r
5 r v -is Iv 4 1)
6 (s vp) A(-iqv-it) E->1,5 —1 t ->p
7 svp EA 6 —2 s-» t
—3s

24 25
 S O L U C I O N E S A LOS E J E R C I C I O S
LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS

4t 2,3 7)
— 1 s -> p
1,4
—2 p-»q I- s m
2) —3 q-»r
-1 r v q —> t —4 r —» m
-2t-»p 1-P -5 s
-3 r v q 6 p E->1,5
4t E-»l,3 7q E->2,6
5p En>2, 4 8 r E->3, 7
-9 m En>4, 8
3)
-1 (s —»t) —» r v s 10 s -»m I-»5-9
-2 r v s —> w I- w
-3 s -> t 8)
4rvs E-»l,3 —1 r v t —> p A q
5w E-» 2, 4 —2 p o (w o s) H (r v t) -4 (w os)
—3 p A q — » ( r v s - » t A m )
4) —4 ( s v r — » t A \ v ) - » p
Irvs—» tvw [—5 r v t
•2 t v w -> r 6 p Aq . . i
3 r —> p A q 7p
rvs
U8w E-*2, 7
5 tvw E-»l,4
9 (r v t) —> (w •
6r E-» 2, 5
7 p Aq E-> 3, 6
9)
5) —1 r —> w A p A q
—2 (p -> q) -> (r -> q) h (s v t ^ s) q)
2 -i r v s —»(-ip -> -iq) I—i q —3 (s v t -»s) -> r
3 -i r v s ApAq—>(p-»q)
4 -ip -» -iq E-> 2, 3 5 s v t —»s
5 -nq Eo 4, 1 6 r E->3, 5
7 w Ap Aq
-1 s A t E->4, 7
-2 p —> q A i r I- w ,8
-3 (p —> q A T) • (S A t -» W) 10 ( s v t - > s ) ->(r ^q)
4 s A t -> w E-»3,2
5w ,1

26 27
 LÓGICA CLÁSICA DE PRIMER ORDEN: E S T R A T E G I A S SOLUCIONES A LOS E J E R C I C I O S

10) 8s
—1 -is v t -»(q ->p v r ) H q v t -> p v r)
14)
I—2 q —1 w -> p A t
i—3 -is v t —2 t A r A s -4 q
4 q —»p vr —3 w A r A s
1— 5 p vr E->4,2 4w EA3
—6 -is v t —> p v r 5 p At E-4 1,
7 q -4(-is v t -» p v r ) 6 r As EA3
7t EA5
U) 8 t Ar As U7, 6
—1 q->(s - 4 ( t - > w ) ) 9q E^2,
O
t
15)
[ J q —1 ( q ^ s A t ) ^ t A t
r45 s s _> ( t _> w ) E-»l,3
—2 q —> s A t h pAt

—3 r —> (s A t —> p)
6 t -> w E->5,4 —4 q A w
1-7 w E^é,2 5 r At
•—8 s -> w 1-^4-7 6r EA5
9 q ->(s -» w) I-»3-8 7 S A t —> p
10 t -> (q —» (s -4 w)) I-»2-9 8q EA4 '
9SAt E->2, 8
12) 10 p E^7, 9
—1 r ^ s 11 t EA5
12 p A Í IA 10,11
—2 s —> p A q i-q
—3 t A r
4r EA3 16)
5s —1 r —»'p A q
6 p Aq E-> 2, 5 —2 p A q —> (s v t ->w) h r AW
7q EA 6 —3 (s v t -» w) -» w
—4r
13) 5 p Aq E-» 1, 4
6 s v t —> w E—> 2, 5
—1 s -> p A t 7w E-> 3, 6
—2 t —¥ w A q 8 r Aw IA 4, 7
-3s
4 p AÍ 17)
5t EA4 —1 r -> s A t
6 w Aq E->2,5 —2r I- s
-7 q —3 r -» p A q

28 29
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S
S O L U C I O N E S A LOS E J E R C I C I O S

4 p Aq E->3,2 21)
5 SA t E-*l,2 — 1 (p A q —» r) A (p -> s A t)
6s EA5 —2 p A t i H r A (w
7q EA4 —3 S A t - » q A ( w v m )
8 s Aq ¡Aé, 7 4 p A q —> r EA 1
5 p EA2
18) 6 p —> s A t EA!
— 1 r —> i--i(s —»q) 7 SAt ! E->6, 5
—2 (S A w) A p 1- nr -> q 8 q A (w v m) E-» 3, 7 »
r 3 -.-ir
4 r E-i3
9 wvm EA8
EA8
10 q
5 n(s -» q) E-^1,4 11 p A q IA5, 10
6 s^q E-.5 12 r E->4, 11
7 SAW EA2 13 r A (w vm) IA 12, 9
8 s EA7
-9 q E->6, 8 22)
10 -"r->q 1-^3-9 —1 (r -» iw) -» (iq -> t)
2 iW A p 1—iq -> s v r
19) —3 t -> m A s .
•1 r A (s v t ) -4 w - i ' - fi :
2r ~5 i*1
1-P
•3 S A t Le -.w EA2 ;, ; :;
w —> p 7 r —» iw I—> 5-6 . <;•
5s
6 sv t
EA
Iv5
8 -iq -»t E-» 1,7 ? v i (-i -• . • •
9 t E-»8,4
7 r A (s v t) U2, 6
8w 10 O Í A S E-^3, 9
.'<;••• ". ; - •
9p E-»4, 8 lis EAlO
^ -^ ^fr • . ''
—1 2 s v r Ivll
20) 13 -iq ->s vr I-»4-12
H (p -> q) A (q -> r) r* (p -> r)
(p -»q (q 23) i '
r-2 p — 1 r A s —> t A m h (t A m) v (w -
3 p->q EA! —2 T A S
4 q 3 t Am E->1,2
5 q —» r EA! 4 (t A m) v (w -» m A s) Iv3
L-6 r
24)
I—7 p —> r —1 r A p A q H W VS
8 (p -»q A(q —2 r A q —» w
3r EA 1

30 31
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

4p Aq EA!
5q EA4 —1 t v -iq —> (q v s) A (ir v t)
6 r Aq U3, 5 —2 q -4 r h t-»r
7w E->2, 6
—3 s -» r
8wvs Iv7
— 4 t
5 t v-iq Iv4
-1 r -» (s —» t AHÍ) Hs-»(r-»tvqvp) 6 (q v s) A (-* v t) E->1,5
-2 s 7 q vs • ,- " • EAÓ
-3 r r 8q
4 s —»t A m E-> 1, 3 L 9 r E^2, 8
5 t Am E-4 4, 2 r-10 s
6 t EA5 L-ll r E->3, 10
•7tvqvp Iv6 — 12 r '.'">• ' Ev 7, 8-9, 1(M1
•8r—>tvqvp I—> 3-7 13 t ->r I-> 4-12
9 s—>(r—>tvqvp) I-> 2-8

26) —1 (p v t) A (m -> w) —> s v q

\- s v (t -» r) —2 (p v t) A (s -» r) hr
—2 p v r —> s —3 (m ->w) A (q -»r)
3p EA! 4 pvt EA2
4pvr Iv3 5 m —> w EA3
5s E-^2,4 6 (p v t) A (m —» w) U4, 5
6 s v (t -» r) Iv5 7 s vq
27) 8 s->r EA 2
—1 p —> r A q 9 q EA3
—2 r A m-» t htvm r-10 s
—3 q —> m L-llr E->8, 10 '•""
p As [-12 q
5p EA4 Ll3r E-> 9, 12
6 r Aq 14 r Ev 7, 10-11,12-13
7q EAÓ
8m E-»3, 7
9tvm Iv8

32 33
 S O L U C I O N E S A IOS E J E R C I C I O S
LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S

33)
30)
—1 tvm — 1 r A t —» p v s
—2 t->p I- S V (W A t) — 2 r —> t h q vw
—3 p —»s —3 r A (p —> q A m)
—4 m —> q —4 s -> w A H
—5 q -> w A t 5 r EA3
-6 t 6 t E->2, 5
7 P E->2,6 7 r At L\5, 6
8 s 8 p vs E-»l,7
— 9 s v (w A t) Iv8 - 9 p
lOm 10 p —> q A m EA3
11 q E-»4, 10 11 q A m E-> 10, 9
12 W At E->5, 11 12 q EAÜ
l—13 s v (w A t) Ivl2 —13 q v w Ivl2
14 s v (w A t) Ev 1, 6-9, 10-13 r-14 s
15 w A n En>4, 14
31) 16 w EA15
—1 s v t -> r —17 q v w NT 16
—2 r v q —» m A w s -» m v p 18 q v w Ev 8, 9-13, 14-17
-3 s ' r •
4 S V t . ;• Iv3 34)
5 r '" i '• E-»l —1 (q A w) A (q v r)
6 rvq .,;,.•• Iv5 —2 r A (q A s) -»s I- s vt
7 m Aw , ./ E->2 —3 (q A w) v r -»t
8 m ,• • EA7 4 q Aw EA 1
_ Q
m vp Iv8 5 (q A w) v r Iv4
6t E-> 3, 5
10 s —> m v p 1^3
7svt Iv 6
32) 35)
-1 (w v r) A (q v r)
—2 q A p —> s hsvt •1 u v r —» p v q
—3 w v r —> t •2 q ^ t I- u — » t v m
4wvr EA 1 •3 p -> m A (s —»t)
5t E-» 3, 4 s —> w A o
6svt Iv 5 5 u
6 u vr Iv5
7 p vq

34 35
 LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A LOS E J E R C I C I O S

1—15 m v ( s v(r -> t)) Iv 14

9 m A(S -> t) E-> 3, 8 16 m v ( s v(r -* t)) Ev 1,4-8,9-15
10 m EA9 ,.,'.,
L- 11 t v m IvlO • i . 38)
r-12 q —1 -i-i (r A t) H- t v p
Il3t E-»2, 12 2rAt E-i 1 ,
"—14 t v m Ivl3 3t EA 2
1 15 t v m Ev 7, 8-11,12-14 4tvp Iv 3
16 u ->t v m I->5-15 <;
39)
36) — 1 -i-i(-i-ir —> -np A -"q) Kri-4(pÁq) vs
I— 2 r :•! ' • • • ' .
—1 p v (r A m) —J>"s'! 3 -i-ir —> -i-ip A -i-iq El 1 ' '; '

—2 q A S » — > t I- p -> (q -> r)

—3 s A t —> r
—4 p
; tí r A -ir lA2,4 > :•
6 -•-ir I-i 4-5 } :..:•.
r 5q 7 ->-ip A -i-iq . ' . : E^3,6 „ '
6 p v (r A m) Iv 4 8 -,-,p EA 7 ¡¡i • ."•;•
7 s 9 -•-•q EA7 » • M
8 q AS IA5, 7 10 E^ 8 , j:; ;:
P
9 t
10 SAt IA?, 9
11 q E-i 9 -,-;<- • : í
12 p Aq lAlO, 11 ; , .1
L-41 r E-> 3, 10 -43 (p A q) v s ,'T Ivl2 v ':
L-12 q 14 r -» (p A q ) v s • : . i I->2-13 v :, ';
13 p
40)
37)
—l q - » - i ( p v s )
—1 w v r f:
—2 -i(p v s) —» r l--.q <. '• -
—2 w —» q A s ;. * hm v(s v(r -»t))¡ —3 -ir - ' • ? '. \ ,
—3 r -» p A t / í ':' í.
p4q : : '" " ;
—4 w 5 -i(p v s) E->1, 4 '' - "' '
5 q AS E-^2,4 6r ' E-^2,5 ' , '•
6 s EA5 — 7 r A ->r ' ' IA 6 , 3 ' - - • • ! ,
7 s v(r —»t) Iv6 8-.q -\'\4- I-, 4.7 r- ' ;
1— 8 m v (s v (r -> t)) Iv 7
—9 r
r 10r 41)
11 p At ,10 — 1 s A t -» -iq 1- q -> -i(s A t) v(r —> t )
L-12t EAÜ ^2q
13r-M I-» 10-12 3 s At
14 s v(r -> t) Ivl3
: l?^ IA 2, 4

36 37
 LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A IOS E J E R C I C I O S

I-. 3-5
L67 -.(s AÍ)
-i(s A t) v (r —> t) Iv 6
44)
—1 t v p -> q A r h tvp-»s
8 q-»-i(s A t ) v(r I-> 2-7
—2 q v w - » ( t v p —» s)
-3 t vp
42) 4 q AF E-»l, 3
— 1 q v r -» -i(p A s) 5 1 .: EA4
— 2 t v m —> k v m i. H -i(t vm 6 qvw Iv5
—3 k - > q 7 t v p -> s E->2, 6
— 4 m —> r 1-8 s E->7, 3
—5 --(p A s) -> -i(t v m) 9 t v p -» s I-> 3-íi
— 6 tvm
7 k vm E->2, 6 45)
p 8k —1 s v p -» q
9 q E-»3, 8 —2 q -> (w —> m) hm
lOq vr Iv9
—3 r —> s
11 -.(p AS) E-» 1, 10
12-i(tvm) E-*5, 11 —4 r A -i-iw
13 (t v m) A-i(t v m) IA 6, 12 5r EA4
r-14 m 6s E->3, 5
15r E-> 4, 14 7 s v p ,t Iv6
16 q vr Ivl5 Oí 8q E-*l, 7
17-i(p AS) -"¡ E-» 1, 16 i í 9 w -> m E-*2, 8
18 -i(t v m ) E-» 5, 17 10i-w EA4
1-19 (t v m) A -i(t v m) IAÓ, 18 11 w E-. 10
—20 (t v m ) A-i(t v m ) Ev 7, 8-13, 14^9 12 m E->9, 11
21 -.(t vm) I-. 6-20
ifU 46)
43)
—1 i(-ik v -10) —> -is Íh./1'í 1 ::'''.' • . ::'• . . • . . ' ':.,,:.!.

—1 s A F —2 -i(h v m) A ( F -» t ) h-irv-xj-*WA(r->t)
—2 r A s —> -it —3 -ir v-i q <->o A k
1 3 f -4 (-P-* p ) - > ( k —> w)
r4 r —5 (ip^ m) A (m ->n)
5 s EA! 6 -ir v -i q
6 r As lA4,5
7 -4 E->2,6 1— 7 -•P
"- 8 t A -n IA3, 7
r8 T
9 -ip —> m EA5
1— 9 -.r Ii 4-8 10 m E^9, 8
10 t-»-* I->3-9 11 h v m Iv 10
12 i(hv m) EA2
L13 (h v m) A -i(h vm) lAll,12
14 -i-,p I-i 8-13
1—15 P E-. 14

38 39
 LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A LOS E J E R C I C I O S

16 ->p -»p I-> 7-15 7q EAÓ

17 k -»w E-> 4, 16 8p EA5
18 [(-rv-.q) -»(o Ak)] A 9q-»r E-*l, 8
A [(o A k) -> (ir v -iq)] Dfo 3 10 r E-^ 9, 7
19 (-ir v-iq) -> (o A k) EA18
20 o Ak E-> 19, 6 11 -.r EA5
21 k EA20 12rA-«r l A l O , 11

22 w E->17,21 13 1 í ECQ12
23 r - > t EA2
-24 w A (r -> t) IA 22, 23 3)
25 -T v iq -» w A (r -» t) I-> 6-24 — 1 p —> [(q -»r) —>¡
—2 (r A ->s) v (s A t) 0 Hw-,(p t)
47) |—3 p
•>. 4 (q -> r) -> s E->1, 3
—1 p A q —» (-15 v -ir —» s) p 5 r A ->s
—2 -i(-ip v -iq) \- -tvs 6 -s EA5 •:
—3 -ip 7 ->(q —> r ) MT 4, 6
i-4 -i(-it vs) 8 q A ->r DefA/->7
5 -ip v -iq . Iv3 9 r EA5
L-6 (-ip v -iq) A -i(-ip v -iq) IA5.2 10 -.r EA 8
7 -.-.(-.tvs) I-.4-6 11 r A -.r IA9, 10 '
8 -.tvs E-.7 L12 t ECQ11
C 1314 SAt
t EA13
BLOQUE III 1— 15 t Ev 2, 5-12, 13-14
16 p -»t I->3-15
(NOTA: A continuación se presenta una posible solución a cada 17 w -»(p -» t) CrPrl6
uno de los ejercicios propuestos, pero evidentemente caben otras
múltiples soluciones alternativas.) 'i '' ; :"
4) ' '.:í ? '¡
1) — 1 p v -iq v r -» s '¡ :'
—1 p ^ q hs->(p-»r) —2 p v r -4 (t -> s) • .: • :••' ..*-
—2 q —> r — 3 ->s v q
r-3 s - 4 ->s
1-4 p ^ r Tr->l,2 5 ->(p v -iq v r) MT1,4
5 s -»(p -»r) 1^3-4 6 -.p A -i(->q v r) DM V/A 5
7 ->(-.q v r) EAÓ
2) 8 qA-ir DM V/A 7
ht L9 q EA8
—2 -i(p —> r) A ->(s -» -.q) plO q
3 -(p -> r) EA2 Lll q Id 10
4 ->(s -> ->q) EA2 12 q Ev 3, 4-9, 10-11
5 p A -ir Def A/-» 3 13 t - > q Cr Pr 12
6 s Aq Def A/-> 4

40 41
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

4 q -4 r CrPr3
-1 (p v q) A (-iq v p) I- r v s vp 5 -p MT1,4
2pvq EA! ,, 6 -.p-4s EA2
3 -iq v p EA! 7 s E-> 6, 5
4 -ip —> q Def v/-> 2 r 8 "s
9 SA-.S IA 7, 8
5q^> p Def v/-> 3
6 -ip -4 p Tr-> 4, 5 Uo t ECQ9
7p vp Def v/-> 6 11 -is -4 t 1-4 8-10
8P Idpv7
9 r v sv p IV8 ,:..
9)
— 1 p A (q vr)
—2 p —> -ir H p)
6)
-lp-»q 3P EA!
—2 -.(-iq -» s) 1- -T 4^ E^2, 3
— 3 -ip A r —> s 5qvr EA!
4 -iq A -is Def A/-> 2 6q SD 5, 4
5-q EA4 7qA p IA 6, 3
6 -ip MT1,5 8 t -4 (q A p) Cr Pr 7
- 7r
8 -ip A r IA6.7 10)
9s E->3, 8
10 -.s EA4 —1 p -» (q A T —> -is) (;:;- :í
-11 s A -15 IA 9, 10 —2 -i[-i(s A r) v -iq] HT,
12 -.r 1-7-11 3 (s A r) A q DM V/A 2
4 s Ar EA3 :; ,' •
C -_
l

-1 (p v -.q) -4 -i(r v -it) 6 q A r -4 -is E-»l,5

-2 (q -4 s) A (s -4 p) h tvs 7 s EA4
3 q -4 s EA2 8 -i(qAr) MT6,7 . ,. .
9 s A(r A q) Asoc A 3 , .. •
4 s -> p
5 q -» p
EA 2
Tr->3,4 ií
10 r Aq EA9 ;• .-;
11 q Ar Conm A 10 ,.'. |.
6 -iq v p Def ->/v 5 -12 (q A T ) A -i(q A T ) IA 11, 8 .' >
7 p v -iq Conm v 6 13 -.p I- 5-12 ;
8i(rv-.t E—> 1, 7
9-.r A t
lOt
DM V/A 8
EA9
11) —1 q A r —> s |
11 tvs IvlO —2 (r ->s) ->t h q A w -4t
3 q - ^ ( r -»s) Imp/Exp 1
8) 4 q -4 t ; i Tr-> 3, 2
i—5 qAw
6 q EA5
2 (-ip —> s) A r
L7 t E-44,6
3 r EA2
8 q A w -4 t 1-45-7

42 43
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

12) 15)
—1 q A r —¥ s — 1 (t -> p v q) -> -ir
—2 (r —> s) —. —2 r (- -ip
-3-4 3 -i(t -»fp v q) MT1,2
4 -i(r ->s) MT2, 3 4 t A -i(p v q) DefA/->3
5 q^(r Imp/Exp 1 5 -i(p v q) EA 4 ' .. ''
6 -iq MT5, 4 6 -ip A -iq DM V/A 5
7 iq v -iv Iv6 EAÓ
7 -P '-
L-8 i(q A w DMA/v7
9 -* -» -i(q AW) 1-43-8 16)
— 1 ( t - » p vq),T*.ir
13) —2 p A -iS ', ¡ : ">..; 1—T A (-is v w)
— 1 (p vq) v -ir 3p iv "•''• EA2
—2 r A (q -» p) H t -»(s 4-is EA2
3 r EA2 5pvq ;;; . ' • ", Iv3 ••'
4 q->p
5 pvq ,
EA2
SD1.3
6 1-» p v <j-> • ' ' Cr Pr 5
6 -ip -» -iq Ctrp 4 7 -.r |r"!'1. E-4 1, 6
7 -ip -> q Defv/-»5 8 -is v w : : Iv 4 , :

r 8 -.p 9 -ir A (-15 v w) IA?, 8 - ' ' l ' '"'" ' :

9 q E^7, 8
10 -iq E^6, 8 .' ' , ' j 17)
— 1 1 q A -iq IA 9, 10 '-H-' — i p -> (q -> r) • "' ' ;••' •": " ' •
12 p Abs8-ll —2 p -> (s -» t) 1- t V (W Att); ,; ',:(
13 s -> p •• .1 Cr Pr 12 — 3 p A -ir A -i(-iq A -1$)
14 t - » ( s -»p) CrPrl3 •T. 4p EA3
'- ! ¡r • P 5 q -4 r E-»l,4
14) * 6 s -> t E—> 2,4
— 1 p v q —> [-i(r v t) -*t] ' • " * ; '" 7 -ir A -i(-iq A -is) EA3 ;;'"" ' v . ' ,'
8nr 1 ' 1 .'' T-.
EA 7
-J i '•'}<""
•
' • •' ;1"

—2 p A -T H •ívi'
3 p EA2 £, . ! 9 -i(-iq A -15) " ;" ' EA7 '<" " I- 1 "''
4 pvq Ivl '! • - . i..'- 10 q v s DM A/V 9 :
í / ( (. ?..J 11 -.q MT 5, 8
5 -i(r v t ) -> t E->1, 4
- 6 -i(t v s) "¡ tj'' 12 s SD 10, 11
7 -it A -«s DM V/A 6 13 t EH> 6, 12
8 -.t EA7 14 t v (w A u) Iv 13
':(" •",' '•>"'• "• •
9 rvt MT5, 8 ' • • ' • :'•>
/ " i •, r -
10 r 18)
SD9, 8
— 1 p —^ Q ^i
11 -.r EA2
-12 r A -.r l A l O , 11
—2 -ip —» -15 . '• 1- q v r v -15
13 tvs Abs 6-12 3 -iq -» -ip « :I Ctrp 1
4 -iq —> -is } i ¡ Tr-> 3, 2
5 q v -is i- ' Defv/-»4
6 r v q v -15 Iv5

44 45
 S O L U C I O N E S A IOS E J E R C I C I O S
LÓGICA C L Á S I C A DE PRIMER ORDEN: ESTRATEGIAS

22)
7 (r v q) v -15 Asoc v 6
—1 -ip v -iq -> -i(r —> s)
8 (q v r) v -15 Conm v (Interc) 7
—2 s 1- (~ip -» -4) A ((
19) 3 r —> s •* Cr Pr 2
4 -i(-ip v -iq) , MT1,3
—1 q v -ir —> -ip 5pAq : '''," Def A/V 4 ;í :
—2 ( s - » p ) A ( S ->q) h (p -> -.s) A (-.p 6p :'! EA5
3 s —> p EA2 7 t ->p CrPr6
4 s -> q EA2
8 -ip —> -it Ctrp7
r-5 s
6 p E^3, 5 9q EA 5 ' . '
7 q E->4, 5 10 q v t Iv9
8 -i(q v -ir) MT1,6 11 (-ip —> -it) A (q vt) U 8 , 10
9 -iq A T DM V/A 8
10 -.q EA9 23)
'—11 q A ->q IA 7, 10 —1 (p v -iq) v r
12 -.s I- 5-11 —2 (iq —> -is) A ![r -» -is) l—is v (q Ar)
13 p ->-is Cr Pr 12 -3 -p
14 -ip —> -is Cr Pr 12 4 p v (-iq vr) Asoc v 1
15 (p -» -is) A (-ip -»-is) IA 13, 14 5 -iq vr SD4, 3
F 6 -iq
10) 7 -iq —> -is EA2 ,,,;,;,
— 1 -ip v -iq v r L 8 -is E^7,6 ,, ,.. .
—2 t v [q A (w v s)]
— 3-n
H p -» r r109 rr -> -.s EA2
4 q A (w v s) SD2, 3 L ll is E-4 10, 9
12 -s Ev 5, 6-8,9-11
5q EA4
13 -is v (q A T ) Ivl2 . . •. :¡v>
6 (~ip v -iq) v r Asoc v 1 ¡,,

7 (iq v -ip) v r Conm v (Interc) 6

8 -iq v (-ip v r) Asoc v 7 24)
9-ipvr SD8, 5 — 1 (p v q) -> r v -.(s->t)
10p->r Def v/-> 9 —2 (-is v t) A -ir 1—ip A -iq
3 -ir A (-is v t) Conm A 2
¿1) 4 -ir A (s —> t) Def v/-» (Interc) 3
— 1 t —> -i(s —> p v -iq) 5 -i[r v-i(s -> t)] Def A/V 4
—2 p v (-iq A r) h -it A (p V r) 6 -i(p v q) MT 1, 5
3 (p v-iq) A (p vr) Dist v 2 7 -ip A -iq DMv/A6
4pvr EA3
5 p v -iq EA3 25)
—1 ->p v (-iq A -ir)
6 s —» p v ->q CrPr5
—2 (s -> p) A (-ir -> I iS V (-1S A t)
7-.t MT1.6 r- 3 -.
8 -it A (p v r) IA?, 4 | 4 s EA 2

47
46
 LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A LOS E J E R C I C I O S

—J ÍV11 1 )J 29)
r 67 -•q
-ir
A -ir
EA 6
—1 (p v q) -» (r -^ s) A (r ^ t)
—2 (r A -is) v (r A -it) 1—
8 -ir -> -is • EA2 3 --(r -> s) v i(r -> t) Def A/-^ (Interc) 2
-9 -iS E-»8 ,7 4 -i[(r -> s) A (r -»t)] Def V/A 3
10 -is Evl, 3-5, 6-9 5 -i(p v q) MT 1, 4
11 iS v (-15 A t) IvlO 6 -ip A -iq DM V/A 5
7 -iq EA 6
26)
—1 p v (q A r) 30)
—2 (p -> s) A -iq h- S <-> p — 1 p A -iq -» r j

3 p —» s EA 2 —2 r ^ t hnp v q v-is
4-iq EA2 — 3-.t
5 -iq v -ir Iv4 4 -.r MT2, 3
6 -i(q A r) Def V/A 5 5 i(p A -.q) MT1,4
SD1,6 6 -ip v q DMA/v5
8s->p CrPr7 7 -ip v q v ->s Iv6
9 s <-> p I<->8, 3
31)
27) — 1 p A q <-» r v s
—1 P A q ->r « —2 -i(m A ->n)
—2 -iq v s !t ' h- iq A (-ir —fr-ip v -iq) —3 w v n
—3 -is A p —4 (r -> t) -> u A (w m
4 -.s EA3 — 5 -i(n v it)
5 -q ..'-". ••.; SD 2, 4 6 -m A t DM V/A 5
r-6 -M- " fí ' ; ": 7 -in EA 6
7 -.(p A q) -; ': MT1.6 ; 8 -un v n DM A/V 2
L 8 -ip v -iq DM A/V 7 9 -¡m SD 8, 7
9 -ir —> -ip v -iq 10 w SD3,7
10 -iq A (-ir —> -ip v -<q) ,-, IAS.9 .... lAlO, 9
Def A/-> 11
28) 13 -iu v -i(w -» m) Iv 12
—1 -9 -> q 14 -.[u A (w -» m)] Def V/A 13
—2 -i(p A -ir) A -i(q A -ir) I- r 15i(r-»t) MT4, 14
3 -i(p A -ir) EA 2 16rA--t Def -»/A 15
4 p -» r Def A/-» 3 17 1 EAÓ
5 -i(q A -ir) EA 2 18-it EA16
6 q -> r Def A/-> 5 19tA-.t U17, 18
7pvq Def ->/v 1 20-ipv-.q ECQ19
8r Dil 7, 4, 6

48 49
 L Ó G I C A C L A S I C A DE PRIMER ORDEN: E S T R A T E G I A S
S O L U C I O N E S A LOS E J E R C I C I O S

32)
35)
— 1 (-ip v t) -» (S->W) ;

—2 (-ip v t) —> (-iw —> r) 1—>s A r —1 - q v s ,:

—3 -i(p v w) —2 ->s v p 1—iq v r
4 -ip A -iw DM V/A 3 —3 -ir —> -ip • i
5-ip EA4
6 -ip v t Iv5 1-5 -iq v r Iv4 ;
r6 s
7 s —> w E-> 1, 6
7 P SD2, 6
8 -iw EA4 8 r MT 3, 7
9-is MT7, 8 -9 -iq v r Iv8
10-.w->r E->2, 6 10 -iq v r Ev 1, 4-5, 6-9
11 r E-> 10, 8
12 -15 A r L\9, 11 36)
33) -lp-»q
—1p v q , — 2 q —» r h--(svp)
—2 -ir —» -ip 1—¡(-ir A -is) — 3 q —> s
—3 q —» s —4 s -4 p A -ir
4 -ip —> q — 5 svp
De
r- 6 s
5 -ir -> q Tr- 7 p A -ir E->4, 6
6 -ir —> s Tr- 8 -.r EA 7
7 -I(T A -is) De >/A 6 "!•; .<
9 iq MT2, 8
1 0 -.p -i MT 1, 9
34) 11 p EA 7 ; r..
—1 p - > q
—2 -i(q A -ir) Hs L-12 p A-.p lAll,10 i

— 3 t A -i(-ip A-IS) pl3 p

—4 r A t -»s 14 q E-» 1, 13
5 -i(-ip A -is ) EA3 15 r E-» 2, 14
6 p vs DM A/V 5 16 s E^ 3, 14
- 7p 17 p A -ir E^ 4, 16
8 q E-» 1,7 18 -.r EA 17
9 -iq v r DM AA/2 19 r A-.r IA 15, 18
10 r , SD 9, 8 ^20 p A -ip ECQ19
11 t EA3 L- 21 p A-ip Ev5, 6-12, 13-20
12 rAt l A l O , 11
22 -.(s v p) Ii 5-21
L-13 s E-» 4, 12
r-14 s 37)
L-15 s Id 14 —1 p v q —> r v s
16 s Ev 6, 7-1 —2 r —> t A u A w
—3 -iu v -it
—4 s —> -ip
—5 wvm
6 -it v -m Conm v 3

50
51
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

7 it v iu v iw Iv6 7T> EA4

8 i(tAUAW) Def V/A 7 8r SD6, 7
9 ir MT2, 8 9rvs Iv8
•10 p ;.>• 10-4 E-»3, 9
11 iS MT4, 10 11 -it A ->p IA 10, 7
12 ir AIS L\9, 11 12i(tvp) Def A/vll
13 i(r vs) Def A/V 12
14 i(pvq) MT1.13 40)
15 ipAiq DM V/A 14
16 ip EA 15 —1 (ip v iq) A (w vi)
•17 p A ip lAlO, 16 —2 (r-»p) A ( s ->q) I- p At
18 ip Ii 10-17 —3 i(r A S A ! ) —> [i(p , , t) -» ir v im]
19 ipvl Ivl8 n(m A r)
5 i(im v ir) DM A/V (Interc) 4
38) 6 ip viq EA!
7 r->p EA2
1- (p A q -> r ) <-> (p iq) 8 EA2
— 1 p A q —> r ;'i.
[—2 p A ir ir MT7, 9
3 ir EA 2 ['»
L-ll ir v IvlO
4 i(p A q ) MT1,3
5
6
ip v iq
p
DM AJV 4
EA 2
\\l
14 ir v is
MT 8,12
L Ivl3
L7 iq .: SD 5, 6 15 ir v is Ev 6, 9-11, 12-14
'— 8 p A ir -» ic} i I-»2-7 - 16 ir v is v il IvlS
9 (p A q -> r ) -^ (p A -» -^ -iq) I-> 1-8 j 17 i(r A S A ! ) Def V/A 16
—10 p A ir —nci ¡:; ' , ;. ¡ :; 18 i(p A t) -»ir v -im E->3, 17
•1 -j _ ,-,
19 i(p A t) -> im v ir Conm v (Interc) 18
Fl2 q í.¡ EAÜ 20 p At MT 19, 5
13 i(p A ir) •:•' MT10, 12
14 ipvr DM A// 13
15 p :< ' EAÜ
L16 r SD 14, 15
— 17 p A q —» r I-> 11-16
18 (p A ir —> - q ) - ^ ( p A q ^ r ) 1^10-17
19 ( P A q - > r o(p Air ^iq) !<-> 9, 18

39)
—1 i(p v q )
—2 iq —> p v r I- i ( t v p )
—3 r v s —> it
4 ip A iq DM V/A 1
5iq EA4
6pvr ,5

52 53
 EJERCICIOS IV

BLOQUE I

l.pAq
2. p v q
3.p->q
4. (p v q) A -i(p A q)
5. pAq
6. -iq —» -ip
7.p^q
8. p -» -<q
9.q^p
10. -.( P Aq)
ll.q->p
12. p —> q A r
13. p A q A r
14. p v q
15. -ip A -iq
16. — 1 (p v q) A ->(p A q) •

—2 p n > r
— 3 -ip —> s A r
I- (q v -iq) A r
17. —1 (p v q ) A-i(p Aq)

18. p -4
19. (p A r —> -is A

55
 LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A LOS E J E R C I C I O S

20. 1 p —> [(q A r — » s ) v t] A -i[(q A r —» s) A t] BLOQUE II

2 -iw -> t
1.
3 r —> w
21. p -» -iq la) v ^ p - M q v r ) A s)=l
22. p -* q Ib) v 2 (p^(q vr) AS)=!
23. q -> p le) v 3 (p -» (q v r) A s)=l
24. q -> p 2a) Vi((p v r) A s -> (q -> ip))=l
25. p ^ q 2b) v 2 ((p v r) A s -> (q -> -ip))=l
26. ->p -» q 2c) v 3 ((p v r) A s -» (q -> -ip))=?
27. -np -> q
28. -ip A ->q —> r 3b) v 2 ((p 4^ -iq) -» (q v r))=l
29. -ip -> q 3c) v 3 ( ( p < - > - i q ) - ^ ( q v r ) ) = l
30. —1 -.q -» p
-2-iq 2.
(a) v(p)=l
^P (b) No se puede
31. —1 p A -iq A (-T —» s)
—2-.s (c)v(q)=l;v(t)=l
h rvt (d) v(r)=l
32. —1 -i(q v r) -> -ip (e) v(s)=l
-2^q (f) v(p)=l
I- r v -ip
33. —1 p A q A -T <-» s 3.
—2 -it —> -ip la) v(p)=0; v(q)=l
—3-it lb)v(p)=l;v(q)=l
I- -is le) v(p)=0; v(q)=0; v(r)=l; v(s)=0
34. -ip —» (-iq -> -T) Id) No se puede
35. p —> q v r le) No se puede
36. 1 -i(-iq —> p) If) No se puede
2 q —> r 2a) v(p)=0; v(q)=0
37. -i(q A r A s A -it) —» p 2b)v(p)=l;v(q)=0
38. p -> (q A r) v s 2c) v(p)=0; v(q)=0; v(r)=0; v(s)=0
39. —1 p -» -iq 2d)v(p)=l;v(q)=l;v(r)=0
—2 r —> q 2e) v(p)=0; v(q)=l
I- -i(p A r) 2f) No se puede
40. — 1 p A q - » r 3a)v(p)=l;v(q)=l
—2 q A -ir 3b) v(p)=0; v(q)=l
H-p 3c)v( P )=l;v(q)=l;v(r)=l;v( S )=l
41. —1 p A q A r -» s 3d)v( P )=l;v(q)=l;v(r)=l
—2 r A -is 3e) v(p)=0; v(q)=0
I—ip v -iq 3f) v(r)=l; v(s)=0
4a) No se puede
4b) No se puede
4c) No se puede
4d) No se puede

56 57
I
LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A IOS E J E R C I C I O S

4e) No se puede • K>...'• .•..•-' • ' 7.

4f) No se puede
v(p -> q)=l syss
4. ;••••', ' > ' • ' v(p)=0 ó v(q)=l syss
111) v(s)=0; v(r)=l ¡ •»•'.' " ''"> v(-ip)=l ó v(q)=l syss
112)v(q)=0;v(p)=l v(-ip v q)=l
113)v(p)=l;v(q)=0;v(s)=0 : < • • • < ; •
114) No se puede (b)
lI5)v(t)=l;v( P )=l;v(s)=0;v(q)«0 v(p A q)=l syss
116)v(p)=l;v(q)=0;v(r)=0 . . . " • • < : v(p)=l y v(q)=l syss
lI7)v(r)=l;v(s)=l;v( P )=0 ; v(-ip)=0 y v(-iq)=0 syss
211) v(s)=0;v(r)=0 v(-ip v -iq)=0 syss
212) v(q)=0; v(p)=0
2I3)v(s)=l;v(t)=0;v(q)=0
2I4)v(t)=l;v(p)=l;v(s)=l;v(r)=0 (c)
2I5)v(t)=l;v(s)=l;v(r)=l v(p <-> q)=l syss
2I6)v(p)=l;v(q)=0;v(r)=l v((p -> q) A (q -» p))=l syss
2I7)v(p)=l;v(t)=0;v(r)=0 v(p -4 q)=l y v(q -» p)=l syss
3Il)v(s)=l;v(t)=l;v(r)=l (v(p)=0 ó v(q)=l) y (v(q)=0 ó v(p)=l) syss
3I2)v(q)=l;v(t)=l;v(s)=l;v(p)=l (v(p)=0 y v(q)=0) ó (v(p)=0 y v(p)=l) ó (v(q)=l y v(q)=0) ó
313) v(s)=0; v(t)=0; v(w)=0; v(p)=0 (v(q)=l y v(p)=l)syss
314) v(t)=0 (v(p)=0 y v(q)=0) ó (v(q)=l y v(p)=l) [dado que, por el
315) No se puede < ' principio de bivalencia, no es posible que v(p)=0 y
3I6)v(r)=0;v(s)=l;v(q)=l v(p)=l ni que v(q)=l y v(q)=0] syss
317) v(p)=0; v(t)=0; v(r)=0 • • • : -í v(p)=v(q)
411) No se puede
412) No se puede (d)
413) No se puede v(-i(p vq))=l syss
414) No se puede v(p v q)=0 syss
415) No se puede v(p)=0 y v(q)=0 syss
416) No se puede '•' r ' ;'.': v(-ip)=l y v(-iq)=l syss
417) No se puede v(-ip A iq)=l

5. No es posible porque son argumentos válidos, y como tales

no puede existir valuación posible que haga verdaderas a las premi- v(p v (q A p))=l syss
sas y falsa a la conclusión. v(p)=l ó v(q A p)=l syss
v(p)=l ó (v(q)=l y v(p)=l) syss
6. v(p)=l
(a)v(t)=l;v(w)=l
(b)v(r)=l;v(s)=l (f)
(c)v(r)=l;v(p)=0 v(p -> (q -> r))=l syss
(d)v(q)=0;v(p)=l;v(t)=l;v(r)=0 v(p)=0 ó v(q -> r)=l syss
(e) v(r)=0; v(p)=l v(p)=0 ó v(q)=0 ó v(r)=l syss
(f) v(s)=0; v(p)=l v(p A q)=0 ó v(r)=l syss
v(p A q -> r)=l

58 59
 S O L U C I O N E S A LOS E J E R C I C I O S
LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S

puede darse que F N 9 y F N -19. Además, por otro lado, del hecho
de que haya una valuación que haga verdaderas a todas las fbfs de
(g) v(p -»(q —> r))=l syss
F y falsa a -19 (siendo 9 contingente o tautológica) no se sigue que
todas las valuaciones que hacen verdaderas a las fbfs de F hacen
v(p)=0 ó v(q -> r)=l syss verdaderas a 9, con lo que no es cierto que si F tf= -19 entonces
v(p)=0 ó v(q)=0 ó v(r)=l syss
F 1= 9 (por ejemplo, -ir no es consecuencia lógica de p A q, pero
v(q)=0 ó v(p)=0 ó v(r)=l syss tampoco r es consecuencia lógica de p A q).
v(q)=0 ó v(p —> r)=l syss
(c) Incorrecta: La primera parte de la anterior respuesta al ejer-
v(q-» (p-> r))=l cicio 9-(b) es aplicable aquí. Pero, además, debe tenerse en cuenta
que si 9 es una contradicción, entonces 19 ha de ser una tautología
y, por tanto, para -19 no hay valuación que la haga falsa con lo que
(a) no es cierto que F l£ -19.
v(p —> q)=0 syss (d) Correcta: Si 9 es una contradicción no hay valuación posi-
v(p)=l y v(q)=0 syss
ble que la haga verdadera y, por lo tanto, no hay valuación posible
v(p)=l y v(-iq)=l syss
que haga verdadera a 9 y falsa a y.
v(p A ->q)=l syss (e) Correcta: Si 9 y \|/ son lógicamente equivalentes, su valor es
p A ->q))=0
-
idéntico para toda valuación posible. Con lo que no hay valuación
posible que haga verdadera a 9 y falsa a \\i (por lo tanto, se da que
(b) 9 N \|f); ni hay valuación posible que haga verdadera a y y falsa a 9
v ( p v q)=0 syss • • > • . ; .(.,.
(por lo tanto, se da que \\i N 9)
v(p)=0 y v(q)=0 syss ' •''
(f) Incorrecta: Si 9 es una tautología y \|/ es una contradicción,
v(-.p)=l y v(q)=0 syss '•' ' :''(i»' '. F ;íí - ir
todas las valuaciones posibles hacen verdadera a 9 y falsa a \y, con
..' iív.¡ v (-.p->q)=0 ' " ? ' . ' ' ' . ' í l't''>'' 10 que \ no puede ser consecuencia lógica de 9.
(g) Correcta: Si 9 es una contradicción y \ es una tautología,
(c) todas las valuaciones posibles hacen falsa a 9 y verdadera a \|/, por
v(ip v ->q)=0 syss
tanto, no hay valuación posible que haga verdadera a 9 y falsa a v|/.
v(-ip)=0 y v(->q)=0 syss
(h) Correcta: No hay valuación posible que haga a todas las
v(p)=l y v(q)=l syss
fbfs de F verdaderas y que haga falsa a 9, puesto que 9 es una de
v(p A q ) = l las premisas que está en F.
(i) Correcta: Si no hay valuación posible que haga verdaderas a
(d) todas las F y falsa a 9 y no hay valuación posible que haga verda-
v(-ip A ->q)=0 syss
dera a todas las F y falsa a y, entonces no habrá valuación posible
v(-ip)=0 ó v(iq)=0 syss
que haga verdaderas a todas las F y falsa a la conjunción de 9 y \\t.
v(p)=l ó v(q)=l syss
(j) Correcta: Si no hay valuación posible que haga verdaderas a
v(p v q)=l
todas las F y falsa a 9, entonces no habrá valuación posible que
haga verdaderas a todas las F y falsas tanto a 9 como a y; puesto
9. que la disyunción será verdadera si no hay valuación posible que
(a) Correcta: Si 9 es una tautología, es verdadera para toda va-
luación posible. Por lo tanto, no hay valuación posible que haga haga falsa a 9.
falsa a 9, con lo que para toda valuación que haga verdaderas a to- (k) Incorrecta: De que haya una valuación posible que haga ver-
daderas a todas las F y falsa a 9 no se sigue que haya una valuación
das las fbfs de F hace verdaderas con total seguridad a 9.
(b) Incorrecta: Sea 9 una contingencia, una tautología o una posible que haga verdaderas a todas las F y falsa a -19, ni viceversa.
contradicción, siempre cabe una posibilidad de que esa fbf y su ne- Véase respuesta al ejercicio 9-(b) y adáptese a este ejercicio.
(1) Correcta: Si no hay valuación posible que haga verdaderas a
gación se sigan de un mismo conjunto F de premisas. Para eso bas-
ta con que F sea un conjunto contradictorio, ya que en ese caso no todas las A y falsa a 9, entonces no hay valuación posble que haga
hay valuación que haga verdaderas a todas las fbfs de F. Por lo que, verdaderas a todas las fbfs de F y falsa a 9, dado que A está inclui-

60 61
 LÓGICA CLÁSICA DE PRIMER ORDEN: E S T R A T E G I A S

do en F. Si (p es consecuencia lógica de A, será consecuencia lógica

de cualquier conjunto de fórmulas en el que A esté contenido.
(m) Correcta: Para que \|/ y ->\|/ se sigan lógicamente del conjun-
to de fbfs formado por F y por 9, este conjunto ha de ser contradic-
torio. Si este conjunto es contradictorio entonces no hay valuación
posible que haga verdaderas a F y a 9. Por lo tanto, toda valuación EJERCICIOS V
posible que haga verdaderas a las fbfs de F no hará verdadera a (p y
sí a -19. Con lo que, dado el antecedente de (m) se cumple su conse-
cuente.
(n) Correcta: Si no hay valuación posible que haga verdaderas
al conjunto de fbfs formado por F y (p y falsa \|/ y esta situación no
varía al sustituir una premisa 9 por otra X,, la situación tampoco va-
riará si la sustituimos por la disyunción de 9 y X.

BLOQUE I

l.Ga
2. Ri
3. Ub
4. Rj A Rk
5. 3x(Tbx A Lx)
6. De A Be
7. (Dd v De) A -.(Dd A De)
8. Ekd
9.Aab
10. Lj -> Rj
ll.Pdi-»Edi
12. Aab A Aba
13. ~>(Eja A Aac —¥ Eje)
14. -.(-.Abe -» Ebe)
15. -.Ge -> -.De
16. Tai -» Eai
17. 3xBx
18. 3xDx
19. VxUx
20. -.VxBx
21. BX-.DX
22. -.VxRx «- V° +e4°S
23. -.VxRx
24. ->3xOx *- A/.-^^-v»
25. -.3xOx
26. 3x-^Rx

62
63
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

27. Vx-.Ox iii) [3x(Sx A -iRxd)]3' = 1 syss para al menos un a e E

28. Ga AUa [Sx A -iRxd]3-3''»* = 1. Dado que esto último es cierto, por ejemplo
29. Tbj A Abe cuando a = A, entonces [3x(Sx A -iRxd)]3' = 1.
30. 3x(Gx A Dx) iv) [Vx(Sx -> -iSx)]3' = 1 syss para todo ce e 1
31. Be A Ge [Sx -» -iSx]3-7* = 1. Ya que para al menos un a e 1
32. 3xBx A 3xDx [Sx —¥ -iSx]3-7? = O, por ejemplo cuando a = A, entonces
33. 3xGx A Vy(Gy -> 3zEzy) [Vx(SxH>-.Sx)] a '=0.
34. No se puede formalizar conforme a LPO*, salvo que enten- v) [Sx -> -.Sx]3' = 1 syss [Sx]a' = O o [--Sx]3' = 1. Dado que
damos el enunciado como "Abraracurcix tiene algún enemigo". En [S]3' = S, [x]3' = + y +<2§, entonces [Sx]3' = 0. Por lo que
ese caso la formalización sería 3xExd [Sx->-.Sx] 3 '=l
35. 3x(Gx A Acx) vi) [Vx3yRyx]a' = 1 syss para todo a e 1 [3yRyx]9^ = 1 syss
36.3x3yPxy para todo a e B para algún (J e B [Ryx]3-7? y = 1. Ya que ningún
37. 3x3y(Rx A Pyx) par con A, por ejemplo, como segundo miembro pertenece a la ex-
38.3x3y(RxAGyATxy) tensión de E, entonces [Vx3yRyx]3' = 0.
39. Vx[Gx -> 3y(Ry A Txy)] vii) [Sx -* 3yRxy]a' = 1, ya que [Sx]3' = O (véase "v)").
40. Vx(Gx -4 3yTxy)
41. (Entendemos el enunciado como "Algún egipcio es amigo viii) [Vx(Sx -H» 3yRxy)]3' = 1 syss para todo a e B
de todo romano".) 3x[Ox A Vy(Ry -> Axy)] [Sx -> 3yRxy]a^' = 1 syss para todo a e B ([Sx]3-^ = O o
42. Vx(Lx —> 3yTxy) PyRxy]3-7? = 1) syss para todo a e B ([Sx]3-7? = O o para al menos
43. 3x(Gx A 3yPxy) un p e B [Rxy]*-'*» = 1) Esto último es cierto, ya que: para todo
44. Vx(Lx -4 Ux) elemento a del dominio tenemos que no pertenece a § o hay al me-
45. Vx(Gx -> Ux)
46. VxVy(Exy A Gy -> Rx) nos un elemento p del dominio con el que a está en la relación de-
47. (Entendemos el enunciado como "No es cierto que todo notada por E. Por lo que [Vx(Sx -» 3yRxy)]3' = 1.
guerrero luche contra algún romano".) -iVx[Ux -> 3y(Ry A Txy)] ix) [Vx(Sx -> 3yRyx)]a'=lsyss para todo a e B
48. Vx(Bx -> -.Ux) [Sx -» 3yRyx]3J/<» =1 syss para todo a e B ([Sx]3-7? = O o
49. (Entendemos el enunciado como "Los romanos tienen al- PyRyx]3-7? = 1) syss.para todo a e B ([Sx]3-7? = O o para al menos
gún prisionero".) Vx(Rx —> 3yPyx)
50. (Entendemos el enunciado como "Los guerreros tienen al- un |3 e B [Ryx]*-**» = 1). Esto último es falso, ya que hay al menos
gún amigo".) Vx(Ux -»3yAyx) elemento del dominio, A, tal que pertenece a § y tal que no hay
51. (Entendemos el enunciado como "Los prisioneros tienen al- ningún elemento del dominio que esté en la relación E con A. Por
gún enemigo".) Vx(3yPxy -» 3zAzx) lo tanto, [Vx(Sx -> 3yRyx)]3' = O
52.-'Oi x) [Sx v -.Sx]a' = 1 syss [Sx]3' = 1 o hSx]a' = 1. Evidentemente
53. 3xExi esto último se cumple: se trata de una verdad lógica, una tautología
54. 3xjix de la lógica proposicional. Luego, [Sx v ->Sx]3/= 1
xi) [(Rxy A Ryx -> Ryz) -» (Rxy -> (Ryx -> Ryz))]3J = 1 syss
[Rxy A Ryx -» Ryz]3J = O o [Rxy -> (Ryx -> Ryz)]3J = 1 syss
BLOQUE II ([Rxy]3' = 1 y [Ryx]3' = 1 y [Ryz]3' = 0) o ([Rxy]3' = O o
[Ryx -> Ryz]3'= 1). Ya que [Rxy]a'= O, dado que <+, •> <É E, se
1. concluye que [(Rxy A Ryx -» Ryz) -> (Rxy -> (Ryx -> Ryz))] 3 '= 1.
i) [Sd]3' = 1 syss [d]3' e [S]3'. Por lo tanto, [Sd]*' = O, ya que Nótese que para cualquier otra asignación la fórmula también re-
a'g [S]3'. sultaría verdadera, pues se trata de una verdad lógica.
ii) [Rda]3'= 1 syss <[d]3', [a]3'> e [R]4* syss <+, A> e E. Por xii) [Sy A -iRxd]3' = 1 syss [Sy]3' = 1 y [--Rxd]3' = Isyss
lo tanto, [Rda]3'= [Rda]3 = O, ya que <+, A> £ R. [y]3' e [S]a' y <[x]', [d]3> <£ E. Esto último se cumple, por lo que
- "ií

64 65
 LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS
= \.
2. La variable no queda neutralizada. La asignación es funda-
mental para evaluar semánticamente dichas fórmulas, ya que en to-
das ellas hay ocurrencias libres de variables.
En el caso de "v)", [Sx -» --Sx]3J' = O si f={ <x,*>, <y,«>,
<z,A>, ...}, entonces [Sx]a// = 1 y el condicional sería falso. En el
caso de "x)" y de "xi)" es imposible que su valor semántico sea O,
por tratarse de verdades lógicas del LPO*.
3. C- «£, g>, donde
C= (x I x es un personaje del mundo de Asterix y Obelix);
g(a)=[a]c=Asterix, g(b)=[b]c-Obelix, g(c)=[c]c=Panoramix,
g(i)=[i]c=jElio César, g(j)=[j] c =Caius Bonus,
g(A)c=[A]c=A={<Asterix, Obel¡x>, <Obelix, Asterix>,
<Asterix, Panoramix>}
g(E)c=[E]c=E={<Caius Bonus, Asterix>, <Asterix, Julio César>)
g(U) c =[U] c =<2
4. <D= <SB>, g>, donde
®= {x I x es un personaje del mundo de Asterix y Obelix};
5. ., . ; ---, . , • .
i ) [ S d p = 0 , y a q u e [ d ] c g [S]c
ii) [Rdap = O, ya que <[d]c, [a]c> g [R|c, es decir, <0, 3> í R
iii) [3x(Sx A -.Rxd)p = 1 syss ,,. :
hay al menos un a e € tal que [Sx A ->Rxd]c-^ = 1 syss
hay al menos un a e O tal que ([Sx]c-** = 1 y [->Rxd]cJ« = 1) sysj
hay al menos un a e € tal que ([x]c-^e [S]c$ y
<[x]c-?» id]0-'* > £ [R]^ ). - • ••
Se cumple ya que para a = 3, 3 e § y <3, 0> £ R
iv) [Vx(Sx —> -'Sx)]c-f = 1 syss . !
para todo a e a ([Sx]CJ?? = O ó [-iSx]0-^ = 1).
Dado que: para a = 1, [Sx]CJx = 0; para a = 2, [Sx]c^« - 0; para
a = 3, [Sx]c-?x3 = 1 y [-.Sx]c^ = 0.
Así pues, no es el caso que para todo a e S el condicional sea ver-
dadero. Por tanto [Vx(Sx —> -iSx)P= 0.
v) [Sx -> -.Sxp= 1 syss [Sxp= O ó hSxp= 1
[Sx]«= O, ya que [xp<2 [S]w, es decir, 2 g §
Por consiguiente [Sx —» -iSx]CJ = 1.
vi) [VxByRyxp = 1 syss para todo a e <0 [3yRyx]c-^ = 1 syss
para todo a e e, para al menos un P e <S [Ryx]c-^y = 1 syss para
66
S O L U C I O N E S A LOS E J E R C I C I O S
todo a e e, para al menos un (3 e <g <[y]cj%y, [x]c-7?yP> e [R]c-7?yp
Dado que para a = 3 no hay ningún p tal que <p, 3> e R, entonces
[Vx3yRyxp=0.
vii) [Sx —> 3yRxy] CJ = 1 syss
[Sx]c'= O ó [3yRxy]^= 1 syss
[x]c^= 2, [SF= § y 2 e S. Por lo tanto, [Sx -» 3yRxy]«= 1.
viii) [Vx(Sx -> 3yRxy)]CJ = 1 syss para todo a e e
[Sx -> 3yRxy]c-^ = 1 syss
para todo a e 6 ([Sx]c-^ = O ó [3yRxy]c-^ =1).
Tenemos que: para a = 1 [Sx]c*í = 0; para a = 2 [Sx]cjx = 0; para
a = 3 [Sx]c-7« = 1 y no hay al menos un p e e tal que
[Rxy]c-?x f = 1. Es decir, no hay ningún P e S tal que <3, P> e R.
Por lo tanto, para a = 3 [Sx -> 3yRxy]c-?v = 0. Con lo cual
[Vx(Sx->3yRxy)p=0.
ix) [Vx(Sx -> 3yRyx)]CJ = 1 syss para todo a e <g
[Sx-^yRyxf-^* = 1 syss
para todo a e C ([Sx]c-^ = O ó [3yRyx]c-^ = 1)
Dado que: para a = 1, [Sx]cjl* = 0; para a = 2, [Sx]^*2 = 0; para
a - 3, [Sx]c^« = 1 y no hay al menos un P e e tal que [Ryx]cí* y =
1. Es decir, para a - 3, [Sx]c'? = 1 y [Ryx]cJ?P = 0. En ese caso
[Sx -» 3yRyx)]c-?v = 0. Por lo cual [Vx(Sx -> 3yRyx)P= 0.
x) [Sx v -.Sxp= 1 syss [Sx]c-'= 1 ó hSxp= 1.
[x]c/ g es decir, 2 g §. Así tenemos que [Sx]CJ = O y
[--Sxp= 1. Por tanto, [Sx v -.Sx]c^= 1.
xi) [(Rxy A Ryx -» Ryz) -^ (Rxy -> (Ryx -» Ryz))] CJ = 1 syss
[Rxy A Ryx -4 Ry/p= O ó [Rxy -» (Ryx -» Ryz)]«= 1 syss
([Rxy A Ryx]c' = 1 y [Ryzp = 0) ó ([Rxy]cJ = 0 0
[Ryx->Ryzp=l).
Dado que <[x]CJ, [y]c/> e [R]c^, es decir, <2, 4> g R, tenemos que
[Rxyp=0.
Con lo que [Rxy -> (Ryx -> Ryz)] c ^= 1.
Por consiguiente, dado que el consecuente es verdadero, sea cual
sea el valor de verdad del antecedente [(Rxy A Ryx -» Ryz) ->
-MRxy -> (Ryx -> Ryz))P= 1.
xii) [Sy A -.Rxdp = 1 syss [SyP = 1 y [--Rxdp = 1. Pero
Mc/ e [Sp, es decir, 4 e §. Por tanto [SyP = 0. Con lo cual
[SyA-.Rxdp=0.
67
 LÓGICA CIÁSICA DE PRIMER ORDEN: E S T R A T E G I A S
6.
la) 2J= <B>, g>, donde:
r: = {A, •. •};
g(R)=[R]c= E={A ,•, •};
g(P)=[P]»= P={«).
Ib) D = <3D), g>, donde:
g(P)=[P]»=!P={A,H}.
g(Q)=[Q]c= Q=(A, •, •}
le) 2J= <©, g>, donde:
D={1,2,3,4};
g(a)=[a]»=l;
g(T)=[T]I'=T={<l, !>,<!, 2>,
g(QHQF=Q=(i);
g(R)=[R]°=R={l}.
Id) 2J= <D, f>, donde:
D= {», ?, #};
f(S)=[S]»= §={*,?};
£(R)=[R]»=R={?,#}.
2a) £= <1, g>, donde:
2b) £= <!, g>, donde
ffi={a, b, c);
g(a)«[a]^ft5
g(QHQP= Q=(a, c};
g(P)=[P] z = IP=fa, b, c}.
2c) E= <S, g>, donde:
•={1,2,3,4};
g(a)=[a] z =l;
g(Q)-[QF=Q=(i);
R]E= R={2).
2d) !E= <1, f>, donde:
={',?,#};
S O L U C I O N E S A LOS E J E R C I C I O S
f(S)=[S]*= S={», ?, #};
f(R)=[R]*=R={?,#).
3a) í"= <1F, g>, donde:
iMMaría, Pepa);
g(P)=[PF= P={Mará, Pepa);
g(R) =[R]*= R=(María, Pepa);
g(Q)=[Q]*= Q={María, Pepa}.
3b) f= <!?, g>, donde:
W={a, b, c);
g(a)=[a]*=a;
g(P)=[P]*= P={a, c);
g(Q)=[Q]'= Q=(b, c}.
3c) f= <W, g>, donde:
f «{1,2, 3, 4);
g(a)=[a]'=l;
g(T)=[TF= T={<1, 1>, <2, 1
¡,
3d) No hay ninguna, ya que hacer verdadera a la tercera premi-
sa y a la segunda a la vez resulta imposible. Para que la segunda sea
verdadera, el valor semántico de P debería incluir todos los pares
<,-• .•<;'. de elementos en los que el primer miembro es igual al segundo;
pero entonces la tercera sería falsa. Y para que la tercera sea verda-
dera, la segunda debe resultar falsa.
4a) No es posible, ya que si la conclusión es verdadera, enton-
ces la segunda premisa sería también verdadera.
4b) No es posible, ya que para que la primera premisa sea falsa,
el valor semántico de VxPx tiene que ser 1; pero en ese caso la con-
clusión también es falsa.
4c) @= <®, g>, donde:
©={1,2,3,4};
g(R)=[R]*= R={
68 69

LÓGICA CLÁSICA DE PRIMER ORDEN: E S T R A T E G I A S
4d) f= <W, f>, donde
ff= {*,?,#};
f(S)=[SF= §=0;
f(R)=[R]*=R={'};
f(P)=[PF= IP={<#, #>);
f(T)=[T]'= T=0.
7.
(a)
!t Supongamos que hay al menos una posible realización A = <&, f>
y una asignación / tales que [3x(Px v Rx)]*tl y
[3xPx v 3xRx]JV=0
(i) [3x(Px v Rx)]**=l syss
para al menos un a E & [Px v Rx]*-7* =1 syss
para al menos un a e & ([Px]]*-7? =1 ó [Rx]*^ =1)
(ii) [3xPx v 3xRx]*M) syss
[3xPx]*M) ó [3xRx]**=0.
(11.1) [3xPx]^=0 syss no hay ningún a e & tal que [Px]-*-7* =1.
(11.2) [3xRx]**=0 syss no hay ningún P e & tal que [Rx]*/f =1.
Si se cumple (ii.l) y (ii.2), entonces para todo elemento del dominio
[Px]*í=0 y [RxJ-'tO. Pero en ese caso sería imposible que (i), es de-
cir, que para algún elemento del dominio ([Px]*^=l ó [Rx]*tl).
Luego, no puede ser verdad el supuesto de partida (*).
Por lo tanto, para toda A y toda / si [3x(Px v Rx)]*í=l, entonces
[3xPxv3xRxp=l.
** Supongamos que hay al menos una posible realización
A = <&, í> y una asignación J tales que [3xPx v 3xRx]**=l y
[3x(Px v Rx)]**=0
(iii) [3xPx v 3xRxJ*%sl syss
[3xPx]^=l ó [3xRx]**=l syss
para al menos un a e &. [PxJ*-" =1 ó para al menos un p e .&
[Rx]*jf =1
(iv) [3x(Px v Rx)]^=0 syss
para todo y e & [Px v Rjc]*'*? =0 syss
para todo y e & ([Px]*-# =0 y [Rx]*J? =0).
Pero si se cumple (iv), es decir, que para todo elemento del dominio
([Px]*tO y [Rx]*í=0), entonces es imposible que se cumpla (iii), es
decir, que para al menos uno [Px]*tl ó para al menos uno
Luego, no puede ser verdad el supuesto de partida (**).
Por lo tanto, para toda SI y toda J si [3xPx v 3xRx]*^=l entonces
[3x(PxvRx)]*>=l.
CONSIGUIENTEMENTE, dadas las conclusiones de * y de **, para
toda Sí y toda /[3x(Px v Rx)]*M syss [3xPx v 3xRx]*M.
70
S O L U C I O N E S A LOS E J E R C I C I O S
(b)
* Supongamos que hay al menos una posible realización Si = <&, f>
y una asignación /tales que [3xPx]*tl y [-iVx->Px]-*í=0
(i) [3xPx]J^=l syss
para al menos un a e & [Px]*-^ =1.
(ii) [-1Vx-.Px]-v=0 syss
[Vx~>PxJi<lfcl syss
para todo P e ^ [-iPx]*-^ =1 syss
para todo p e &[Px]*^=0.
Pero, es imposible que se cumplan (i) y (ii), es decir, que en la mis-
ma posible realización [3xPx]*ísl y [-A/x-iPx]-*tO.
Luego, no puede ser verdad el supuesto de partida (*).
Con lo cual, para toda Si y toda J si [3xPx]JV=l entonces
.
** Supongamos que hay al menos una posible realización
Si= <&, f> y una asignación /tales que [-iVx-iPx]*M y [3xPx]-*í=0
(iii) [-iVx-iPx]^^! syss
[Vx-iPxJ^^O syss
para al menos un a e & [-fx\*** =0 syss
para al menos un a e & [Px]*-*« =1.
(iv) [3xPx]^=0 syss
para todo P e & [Px]*jf =0.
No se pueden cumplir (iii) y (iv) a la vez.
Luego, no puede ser verdad el supuesto de partida (**).
Con lo cual, para toda Si y toda J si [-iVx-iPx]*^! entonces
CONSIGUIENTEMENTE, dadas las conclusiones de * y de para
toda ñ y toda J [3xPx]-^=l syss [-iVx-iPx]*t 1 .
!t Supongamos que hay al menos una posible realización Sí -
y una asignación /tales que [Vx(Px —> A)]*tO y [3xPx
(i) [Vx(Px -» A)]^=0 syss
para al menos un a e & [Px -» A}*-'* =0 syss
para al menos un a e & ([Px}*-*' =1 y [A]*-7? =0) syss
para al menos un a e & [Px]*-*» =1 y [A]*-7* =0.
(ii) [3xPx -» AJ-^1 syss
[3xPx]^0 ó [A]*M syss
para todo P € & [Px]*^ =0 ó [A]^^ =1.
Obviamente es imposible que se cumplan simultáneamente (i) y (ii).
Luego, no puede ser verdad el supuesto de partida (*).
Por lo tanto, para toda Si y toda /si [Vx(Px -» A)]*M) entonces
[3xPx
71
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

** Supongamos que hay al menos una posible realización

Sí = <&, í> y una asignación J tales que [3xPx —» A]*^0 y
[Vx(Px -
(iii) [3xPx -» A]*í=0 syss
[3xPx]*M y [A]*í=0 syss
para al menos un a e &, [Px]*-*« =1 y [A]*** =0.
(iv) [Vx(Px H> A)]*M syss
para todo P E & ([Px -> A]*M) syss
para todo (3 e & ([Px]*.»? =0 ó [A]*-$ =1).
Obviamente es imposible que se satisfagan simultáneamente (iii) y
(iv)
Luego, no puede ser verdad el supuesto de partida (**).
Por tanto, para toda A y toda J si [3xPx —» A]*^0 entonces
[Vx(Px -» A)]*M).
CONSIGUIENTEMENTE, dadas las conclusiones de * y de **, para
toda ñy toda /[Vx(Px -» A)]*M) syss [3xPx -> A]*4=0.
(d)
* Supongamos que hay al menos una posible realización Sl = <&, f>
y una asignación ^ tales que [-iVxPxJ^sfl y [3x-iPx]*^=l
(i) [-iVxPx]*^=0 syss
* Supongamos que hay al menos una posible realización Si = <&, f>
y una asignación / tales que [3x(Px A Rx)]*í=l y
[3xPx A 3xRx]JV=0
(i) [3x(Px A Rx)]*»=l syss
para al menos un a e ^ [Px A Rx]-*-*» =1 syss
para al menos un a e a, ([Px]*^» =1 y [Rx]*-7» =1) entonces
para al menos un a e & ([Px]*-'* =1) y para al menos un a E &
(ii) [3xPx A 3xRx]**=0 syss
[3xPx]JU=0 ó [3xRx]^=0 syss
para todo a e & [Px]*-^ =0 ó para todo (i e & [Rx]*-*E =0
Obviamente es imposible que se satisfagan simultáneamente las
condiciones (i) y (ii).
CONSIGUIENTEMENTE, dada la conclusión de *, para toda SI y toda
.7si [3x(Px A Rx)]*M entonces [3xPx A 3xRx]*M.
!t Supongamos que hay al menos una posible realización A - <&, f>

[VxPx]*í=l syss y una asignación ^tales que [VxPx]*í=l y [VyPy]*4=0

para todo a e la, [Px]*-" =1. (i) [VxPx]*í=l syss
(ii) [3x-iPx]**=l syss para todo a e & [Px]*-7» =1.
para al menos un (3 e & [-iPx]* Js =1 syss (ii) [VyPyF=0 syss
para al menos un (i e & [Px]*-'? =0. para al menos un [3 e & [Py]*-7? =0.
Obviamente es imposible que se satisfagan simultáneamente las Obviamente es imposible que se satisfagan simultáneamente las
condiciones (i) y (ii). condiciones (i) y (ii).
Por tanto, para toda Sí y toda J si [-iVxPx]*^0 entonces Por tanto, para toda SI y toda Jsi [VxPx]*tl entonces [VyPy]*tl.
** Supongamos que hay al menos una posible realización
** Supongamos que hay al menos una posible realización Si= <&, f> y una asignación /tales que [VyPy]*^=l y [VxPx]*^0
Sí= <J&, f> y una asignación /tales que [3x-iPx]*^=0 y [-iVxPx]*í=l (iii) [VyPy]*í=l syss
(iii) [3x-iPx]*tO syss para todo a e & [Py]*^ =1.
para todo a e $> [-iPx]*-'* =0 syss (iv) [VxPx]*^0 syss
para todo a e & [Px]*-^ =1. para al menos un P e d, [Px]*-'* =0.
(iv) [-iVxPx]**=l syss " • Obviamente es imposible que se satisfagan simultáneamente las
condiciones (iii) y (iv).
para al menos un [J e M, [Px]*-'s =0. Por tanto, para toda Si y toda J si [VyPy]*í=l entonces [VxPx]*^l.
Obviamente es imposible que se satisfagan simultáneamente las CONSIGUIENTEMENTE, dadas las conclusiones de * y de **, para
condiciones (iii) y (iv). toda SI y toda ^[VxPx]*í=l syss [VyPy]*í=l.
Por tanto, para toda Si y toda / si [3x-iPx]*^0 entonces
[--VxPx]*í=0. (g)
CONSIGUIENTEMENTE, dadas las conclusiones de * y de **, para * Supongamos que hay al menos una posible realización SI - <&, f>
toda ñ y toda /[-iVxPx]*í=0 syss [3x-iPx]*tQ. y una asignación J tales que [Vx(Px -> Rx)]*^=l y
[VxPx

72 73
 L Ó G I C A C L Á S I C A D E PRIMER O R D E N : E S T R A T E G I A S

(i) [Vx(Px -» syss

para todo a e [Px —> Rx]*-7* =1 syss
para todo a e & ([Px]*^ =0 ó [Rx]*-^ =1).
(ii) [VxPx -> VxRx]*tO syss
[VxPx]*fel y [VxRx]*t:0 syss EJERCICIOS VI
para todo a e & [Px]-*-^ =1 y para al menos un (3 e & [Rx]* * =0
Obviamente es imposible que se satisfagan simultáneamente las
condiciones (i) y (ii).
CONSIGUIENTEMENTE, dada la conclusión de *, para toda jly toda
Jú [Vx(Px -> Rx)]**=l entonces [VxPx -» VxRx]*í=l.

(a) Correcta: Si (p es lógicamente verdadera entonces 9 es verda-

dera en toda posible realización, por tanto es imposible que haya
una posible realización en la que las premisas sean verdaderas y la
conclusión falsa. Al ser 9 una verdad lógica, es consecuencia lógica
de cualquier conjunto de premisas. BLOQUE I
(b) Incorrecta: Es cierto que 9 puede ser una contingencia, pero
9 puede ser también una verdad lógica, en cuyo caso F N¡ 9 sería (NOTA: A continuación se presenta una posible solución a cada
verdadero y YIA -19 sería también verdadero. (Nótese que F no pue- uno de los ejercicios propuestos, pero evidentemente caben otras
de ser contradictorio porque en ese caso F ^ 9 syss F !/= -19 sería fal- múltiples soluciones alternativas.)
so. Si F fuera contradictorio, para toda posible realización que hi-
ciera verdaderas las premisas —dado que no habría ninguna—, D
—1 VxPx A VxQx
haría verdadera la conclusión con independencia que qué fórmula
fuera la conclusión —ya 9 ya -19—). —2 Vx(Px -» Rx) h VxRx
(c) Correcta: Si 9 es lógicamente falsa, entonces es imposible 3 Pa -> Ra EV 2 (x:a)
encontrar una posible realización en la que la premisa sea verdade- 4 VxPx EA 1
ra y la conclusión falsa. 5 Pa EV 4 (x:a)
(d) Correcta: Si 9 y \y son lógicamente equivalentes entonces 6 Ra E-» 3, 5
tienen el mismo valor de verdad en toda posible realización; por 7 VxRx IV 6 (a:x)
tanto, es imposible encontrar una posible realización en la que 9
sea verdadera y \ falsa o viceversa.
(e) Incorrecta: 9 N Vf no es condición suficiente para que, o bien —1 Vx(Px -> Qx)
9 sea lógicamente verdadera o \|/ lógicamente falsa. Por ejemplo, —2 Vx(-.Sx ->-.Qx) hVx(Px-»SxvRx)
podrían ser 9 y \|/ lógicamente equivalentes. 3 Pa -> Qa E V 1 , x:a)
(f) Correcta: Que 9 sea lógicamente falsa o que \|/ lógicamente 4 ->Sa -> ->Qa EV 2 (x:a)
verdadera es condición suficiente para que 91= V|/.
5 Qa -> Sa Ctrp4
(g) Correcta: En ese caso es no hay posible realización en la que
todas las premisas sean verdaderas y la conclusión, que es una de 6 Pa ->Sa Tr-> 3, 5
las premisas, sea falsa. 7 -iPa v Sa Def-Vv 6
(h) Correcta: Si es imposible hacer a todas las fbfs de A verdade- 8 -iPa v Sa v Ra Iv7
ras y a 9 falsa, también será imposible hacer simultáneamente ver- 9 Pa -> Sa v Ra Defv/-» 8
daderas a las fbfs de F (entre las que se incluyen las de A) y falsa a 9. 10 Vx(Px -» Sx v Rx) IV 9 (a:x)

74 75
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

3)
—1 Vx(Px -» Qx)
<*)•
—1 Vx(Tx -> Mx)
""-2-.Qa 1- 3x-.Px , I —2 Vx--(Mx A Rx) l- Vx(Tx -» -KMx -> Px))
3 Pa -> Qa EV 1 (xa) ^ kk. * — 3 Vx(Tx -> (Px -> Rx))
4 -.Pa MT 3,2 m i- 4 Ta
5 3x-.Px 13 4 (a:x) álK ,¿
•P-'
5 Ta —> Ma
6 -.(Ma A Ra) ', , .
EV 1 (x:a)
EV 2 (x:a)
4) 7 Ta -* (Pa -> Ra) „ -¡ EV 3 (x:a)
—1 Vx(Rx -> -.Qx) I SPa^Ra
9 ->Ma v -.Ra
:/;;; E-^ 7,4
DMA/v6 ¡
—2 Vx(Px -» Qx)
3 Ra -> iQa
H Vx(-.Px v -.Rx)
EV 1 (x:a) ^i
; • 10 Ma E^ 5,4 ;
4 Pa -> Qa EV 2 (x:a) 'I 11 -.Ra
12 -.Pa
SD 9, 10
MT8, 11
'
5 Qa -> -.Ra Ctrp3
6 Pa -> -.Ra Tr-4 4, 5 • 13 Ma A-.Pa lAlO, 12
7 -.Pa v -.Ra Def->/v 6 •
•
•
'-H-.tMa -^Pa)
15 Ta -»->(Ma -» Pa) !
Def A/-> 13
I->4-14
8 Vx(-.Px v -.Rx) IV 7 (a:x) • 16 Vx(Tx -> -.(Mx -> Px)) IV 15 (a:x)
5)
— 1 VxPx —> VxQx 8)
— 2-iQa h ^VxPx —1 Vx(Px v Tx)
3 3x-.Qx 13 2 —2 Vx(Px ^ (-.Tx -> -.Qx)) HVx(Sx^Tx)
4 -iVxQx Neg Gen 3 —3 Vx((QxAMx) v Q x )
5 -^VxPx MT 1,4 4 Pa v Ta EV 1 (x:a)
5 Pa -> (-nTa -> ->Qa) E V 2 ( x : a )
6) 6 (Qa A Ma) v Qa EV 3 (x:a)
r 7 Pa
— 1 Vx(Px -» Qx) 8 -Ta -> -.Qa En>5, 7
—2 Vx(-.Sx -^ -.Qx) 1- 3x-Px 9Qa Absc v 6
— 3 -.VxSx L10 Ta MT 8, 9
4 3x-nSx Neg Gen 3 pllTa ,^;
- 5-.Sa M2Ta Id 11
6 Pa -> Qa EV 1 (x:a) 13 Ta Ev 4, 7-10, 11-12
7 ->Sa -» ->Qa EV 2 (x:a) 14 Sa -4 Ta CrPrl3
8 -iQa E^ 7,5 15 Vx(Sx->Tx) IV 14 (a:x)
9-.Pa MT 6,8
-10 3x-.Px B9(a:x)
11 3x--Px £34,5-10
1 Vx-.(Px A Mx)
2 VxMx h Vx(-.(Px A Sx) v -.Px)
3 -.(Pa A Ma) EV 1 (x:a)
4 -iPa v ->Ma DMA/v3
5Ma EV 2 (x:a)
6-iPa SD4, 5

76 77
 LÓGICA CLÁSICA DE PRIMER O R D E N : ESTRATEGIAS SOLUCIONES A LOS E J E R C I C I O S

7 -(Pa A Sa) v -Pa Iv 6 j U10 3xMx E 9 (a:x)

8 Vxh(Px A Sx) v -Px) IV 7 (a:xf *WWWW , 11 3xMx £33,4-10
12-.Vx-.Mx DefPartll
10)
-1 Vx(Tx -> Qx) 13)
-2 Vx-(Px v iTx) ^^
1- 3x(-Px A Qx) . 1 -.
-„ v _ cw 1 i \! •™(Tx A Rxa
J T;p^ Q« EV 1 x:a _2 3x^(Sx ^ T
4 -(Pa v -Ta) EV 2 (x:a) 3 _,(sb ^ j^
5 -iPa A ----Ta DM V/A 4 4 Sb A -.Tb Def A/-> 3
6--Pa EA5 5-Tb EA 4
7 -.--Ta EA 5 6 ->Tb v Qb Iv 5
8Ta E-.7 L -73x(-.TxvQx) B 6 (b:x)
9Qa E->3, 8 8 3x(--Tx v Qx) £32,3-7
10-iPaAQa IAÓ, 9
11 3x(-.Px A Qx) 13 10 (a:x) 14)
11) 1
—1 Vx(Sx -> -.Rx)
-2 3x^(-,Px v -Sx) i- 3x(Px A -Rx)
—1 Vx(Px -> Qx) 3 -,(_,Pa v ^Sa)
-2 Vx(Qx -» -.Rx) 1- -3x-(Px -> --Rx) 4 Sa -4 -Ra EV 1 (x:a)
— 3 Pa 5 Pa A Sa Def A/V 3
f 4 Ra 6 Pa EA 5
5 Pa -> Qa EV 1 (x:a) 7 Sa EA 5
6 Qa E-» 5, 3 8 -Ra E-» 4, i
1 Qa -> -Ra EV 2 (x:a) 9 Pa A ^Ra IA ^ g
8-^Qa MT7,4 L10 3x(Px A -Rx) E 9 (a:x)
9QaA-Qa IA 6, 8 113x(PxA-Rx) E32, 3-10
—10 -Ra 1-4-9
UPa^-Ra I-»3-10
12 Vx(Px -» -Rx) IVll(a:x) 15>
13 -3x-(Px -^ -Rx) Def Gen 12 _j vx(Px -» Qx v Rx)
—2 3x(-Qx A Px) h 3xRx
12) p3-Qa APa
4Pa-^QavRa EV 1 (x:a)
— 1 Vx(Px -> Rx) 5 -Qa EA 4
—2Vx-Rx h-Vx-Mx 6Pa EA 4
— 33x(-Mx->Rx) 7QavRa E^ 4, 6
- 4 -Ma -» Pa 8 Ra SD 7, 5
5 Pa -> Ra EV 1 (x:a) L 9 3xRx 13 8 (a:x)
é-Ra EV2(x:a) 10 3xRx £32,3-9
7 -Pa MT 5, 6
8 — Ma MT 4, 7
9 Ma E- 8

78 79
 L Ó G I C A C L Á S I C A D E PRIME.R O R D E N : E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

16) 4 Pa v Qa Iv3
5 Vx(Px v Qx) IV 4 (a:x)
-1 Vx(->Px v Qx) 6 VxRx
-2 Vx(-.Sx -> Px) I- 3x(Tx -> Qx) E->1, 5
-3 3x^Sx 7Ra EV 6 (x:a)
• 4-nSa 83xRx 'v: 13 7 (a:x)
5 ->Pa v Qa EV 1 (x:a)
6 ->Sa -> Pa EV 2 (x:a) 20)
7Pa E-> 6,4 —1 i3xSx v (Qa A Ta)
8 Qa SD5, 7 —2 3x(Qx A Tx) -» VxRx h Rb
9 Ta -»Qa CrPrS —3Sa
•10 3x(Tx -> Qx) E 9 (a:x) 4 3xSx 13 3 (a:x)
11 3x(Tx->Qx) £33,4-10 5 Qa A Ta SD 1, 4
6 3x(Qx A Tx) E 5 (a:x)
17) 7 VxRx E^ 2, 6
8 Rb EV 7 (x:b)
-1 -i3x->(-iPx v Mx)
-2 3x~iMx I- 3x-iPx 21)
3 Vx(-iPx v Mx) Def Gen 1
-4 -iMa —1 Vx(Txx -» -iPx)
5 -.Pa v Ma EV 3 (x:a) —2 3x-.(-.Txx A iRx) w.-í I-
H- 3x(-.Px v Sx)
6 -.Pa SD5,4 —3 Vx(Rx -^ Sx)
-73x-.Px •'".'•' E 6 (a:x) - 4 -.(iTaa A -.Ra)
8 3x-.Px E3 2, 4-7 5 Taa -» -iPa EV 1 (x:a)
6 -iTaa —» Ra Def->/A 4
7 Ra -^ Sa EV3(x:a)
18) 8 ->Taa —> Sa Tr^ 6,7
—1 Vx(Px -* Qx) 9 Pa -^ -.Taa Ctrp5
—2 VxPx v VxPx h 3xRx 10Pa->Sa Tr-> 9,8
—3 3x(-iRx -> -iQx) ll-.PavSa Def-»/v 10
- 4 -iRa -» -.Qa M2 3x(-.Px v Sx) B U (a:x)
5 VxPx Idpv2 133x(-.PxvSx) £32,4-12
6 Pa -» Qa EV 1 (x:a)
7Pa EV 5 (x:a) 22)
8 Qa E-» 6,7
—1 i3x[(Rx -> Qx) A -iRx]
9-.-.Ra MT4, 8
10 Ra E-,9 —2 Vx(Rx -» Tx v Mx) H Vx(Qx -> Tx v Mx)
"-11 3xRx E 10 (a:x) 3 Vx--[(Rx -4 Qx) A -.Rx] Neg Part 1
123xRx £33,4-11 4 -.[(Ra -4 Qa) A -.Ra] EV 3 (x:a)
5 i(Ra -^ Qa) v Ra DMA/v4
19) 6 i(-.Ra v Qa) v Ra Def ->/v (Infere) 5
—1 Vx(Px v Qx) -> VxRx 7 (Ra A -.Qa) v Ra DM A/V (Interc) 6
—2 VxPx I- 3xRx 8Ra Absc v 7
3 Pa EV 2 (x:a) 9 Ra -> Ta v Ma EV 2 (x:a)
10 Ta v Ma ,8

80 81
 LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A LOS E J E R C I C I O S

11 Qa-> Ta v Ma Cr Pr 10 I 12 Qa EAÜ
12 Vx(Qx -^ Tx v Mx) IV 11 (a:x) 1-13 Qa A-iQa IA 12, 7
14 -.(Pa -» Sa) I-.4-13
23) L—15 3xi(Px -> Sx) B 14 (a:x)
—1 Vx(Px -> Rx) nVx(Qx -> Px) 16 3x-.(Px -» Sx) E32,3-15
—2 Vx(Px -> Rx) l- 3x--(-.Qx v Px) 17 -.Vx(Px -» Sx) Neg Gen 16
3 -.Vx(Qx -> Px)
4 3x-.(Qx -» Px) Neg Gen 3 26)
5 3x-i(-iQx v Px) Def ->/v (Interc) 4 —1 Vx(Px -» Rx)
—2 -iVxQx A 3xPx I- 3x(iRx -^ -.Qx)
24) 33xPx EA2
—1 Vx(Px -> Qx iVxSx - 4 Pa
—2 Vx(PxATx) h 3x-.(Tx A Qx • Sx) - 5 -nRa
3 iVxSx EA! 6 Pa -» Ra EV 1 (x:a)
4 3x--Sx Neg Gen 3 7Ra E^ 6,4
• 5-iSa 8 Ra A -.Ra lA7,5
• 6 Ta A Qa -> Sa - 9-<Ja ECQ8
7 Vx(Px-»Qx) EA! 10 --Ra -> --Qa I-» 5-9
8 Pa -» Qa EV 7 (x:a) -11 3x(-nRx -^ -.Qx) E 10 (a:x)
9Pa ATa EV2(x:a) 12 3x(-.Rx -»-.Qx) E33,4-ll
10 Pa EA9
11 Qa E-> 8, 10 27)
12 Ta EA9
13 Ta A Qa IA12, 11 —1 Vx[(Px ->Qx) ARx ->Sx]
14 Sa E-»6, 13 —2 3xi(Sx v -.Rx) r:" l- 3xPx
L15Sa AiSa IA 14, 5 p- 3 -.(Sa v -.Ra)
16 -i(Ta A Qa -> Sa) I-i 6-15 4 iSa A Ra DM V/A 3
l—173x-.(TxAQx->Sx) H16(a:x) 5 (Pa -> Qa) A Ra -> Sa EV 1 (x:a)
183x-.(TxAQx-»Sx) E34,5-17 EA4
7 -.((Pa Qa) A Ra) MT5, 6
8-i(Pa Qa) v -.Ra DM
25)
9Ra
—1 VxHQx A Rx) -> Px] 10 -.(Pa Qa) SD8, 9
—2 3x--(Sx v Qx) .Vx(Px ^ Sx) 11 Pa A-.Qa Def A/-» 10
— 3 --(Sa v Qa) 12 Pa EAÜ
4 Pa -» Sa '' L-133xPx H 12 (a:x)
5--(Qa A R a ) ->Pa EV 1 (x:a) 143xPx E3 2, 3-13
6 -iSa A -.Qa DM V/A 3
7 iQa EA 6
8 -.Sa EA 6
9 -.Pa MT 4, 8
10->-.(Qa A R a ) MT 5, 9
HQaARa E-. 10

82 83
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

28) I 11 Qa ARa E-» 10, 9

L-12 3x(Qx A Rx) E 11 (a:x)
—1 Vx(Qx -> -.Ex) 13 3x(Qx ARx) E3 4, 6-12
—2 3x(--Rx v Sx) -,Vx-.(Qx->Sx)
—3 Vx(-.Px -> Rx) 31)
r— 4 -iRa v Sa —1 3xVy->(Sx v Tx -» Pxy)
5 Qa ->-iPa EV 1 (x:a) —2 -i3x3y(->Pxy A -.Pxx) I- 3xiSx
6 -iPa -> Ra EV 3 (x:a) —3 Vx(Rx A iPxx)
7 Ra -» Sa Def -^/v 4 4 VxVy-i(->Pxy A ->Pxx) Neg Part 2
8 -.Pa -> Sa Tr-4 6, 7 • 5 Vy-i(Sa v Ta —» Pay)
9 Qa -»Sa Tr-> 5, 8 6 -i(Sa v Ta -» Paa) EV 5 (y:a)
U03x(Qx B9(a:x) 7 (Sa v Ta) A -iPaa Def-*/A 6
11 3x(Qx E3 2, 4-10 8 i(-.Pab A -iPaa) EV 4 (x:a; y:b)
12 -.Vx-.(Qx Sx) Def Part 11 9 Pab v Paa DMA/v8
10 -.Paa EA?
29) 11 Pab SD9, 10
—1 VxVy(Pxy ->Qyx) 12 Sa v Ta -»Pab CrPrll
—2 VxVy-.(Rx H> Qxy) VxVy(Ty -> -.Pxy A Rx) 13 -.(Sa vTa -» Pab) EV 5 (y:b)
3 -.(Ra -> Qab) EV 2 (x:a; y:b) 14 (Sa v Ta -» Pab) A -.(Sa v Ta • Pab) U12, 13
Def A/-> 3 15Sb A-nSb ECQ14
4 Ra A -.Qab
EA4 16 Sb A-.Sb E3 1, 5-15
5 Ra 173x--Sx ECQ16
6 -.(Rb -> Qba) EV 2 (x:b; y:a)
7 Rb A -.Qba Def A/-> 6
8 Pab -> Qba EV 1 (x:a; y:b) 32)
9-iQba EA7 —1 VxVyVz(Rxy ->(Ryz ->Rxz))
10-.Pab MT8, 9 —2 -i3x3y(Rxy v Ryx) h -i3x3y3z(- -.Rxy v ->Ryz -» Rzx)
11 -.Pab A Ra IA 10, 5 3 VxVy->(Rxy v Ryx) Neg Part 2
12Tb->-.Pab ARa CrPrll • 4 -.Rab v -.Rbc -> Rea
13 VxVy(Ty->->Pxy A Rx) IV 12 (a:x; b:y) 5 -.(Rae v Rea) EV 3 (x:a; y:c)
6 -.Rae A -.Rea DM V/A 5
30) 7-iRca EAÓ
8 i(-iRab v -.Rbc) MT4, 7
—1 ->3x3y(-.Txy A ->Tyx) 9 Rab A Rbc Def A/V 8
—2 Vx(Txa ^ Qa A Ra) H-3x(QxARx) 10 -.(Rab v Rba) EV 3 (x:a; y:b)
—3 -iVxTax 11 -.Rab A-nRba DM V/A 10
4 3x-iTax Neg Gen 3 12 iRab EAÜ
5 VxVy-i(-.Txy A -<Tyx) Neg Part 1 13 Rab EA9
6 -.Tab •14 Rab A -.Rab IA 13, 12
7 -.(-.Tab A -.Tba) EV 5 (x:a; y:b) 15 -.(-.Rab v -.Rbc -> Rea) I-. 4-14
8 Tab v Tba DM A/v7 16 VxVyVz->(-iRxy v ->Ryz —> Rzx) IV 15 (a:x; b:y; c:z)
9 Tba SD8, 6 17 ->3x3y3z(-iRxy v ->Ryz —> Rzx) Neg Part 16
10 Tba ->Qa ARa EV2(x:b)

84 85
 LÓGICA C L A S I C A DE PRIMER O R D E N : E S T R A T E G I A S
S O L U C I O N E S A LOS E J E R C I C I O S

33) 11 Qca A -.Qca IA4, 10

—!.VxVyVz(Qxz <-> -iPyx A Pyz) 12 Pd A -.Pd ECQ11
—2 -.3x3y-i(-.Ryx -> --Pxy) h VxVyVz(-iRyz -> ->Pxy v -.Qyz) 13PdA--Pd E3 3, 4-12
— 3 -.Rbc 14 -.3xQxa I-.3-13
• 4 Pab A Qbc 15 V x - n x a Neg Part 14
5 Qbc <-> -iPab A Pac EV 1 (x:b; y:a; z:c)
6 Qbc EA 4 36)
7 Qbc -> -iPab A Pac E<-> 5
8 -iPab A Pac E-> 7, 6 —1 VxVyVzHTxy -> Txz) -4
9 -nPab EA 8 —2 VxVyVz(Rya -» Qzx) -.3xRxa
10 Pab EA4 —3 3x3y3z(->Txz ATxy)
•llPabA-tfab IA 10, 9 I 4 -.Tbc A Tbd
12-.(Pab A Qbc) 1-4-11 I— 5 3xRxa
•13 --Pab v -.Qbc DM A/V 12 i- 6 Rea
14 -.Rbc -> iPab v-.Qbc I-> 3-13 7 Rea -> Qdc EV2 (x:c; y:e; z:d)
15 VxVyVz(-.Ryz -> -.Pxy v -iQyz) IV 14 (a:x; b:y; c:z)) 8 Qdc E->7, 6
9 -'(Tbd -> Tbc) -> -Qdc EV 1 (x:b; y:d; z:c)
10 Tbd ->Tbc MT9,8
34) 11-.Tbc EA4
—1 VxVy(Ryx -> (Rxy -»Rxx)) 12-.Tbd MT10, 11
—2 -.{Rab -> Rbb) h -iVxVyRxy 13 Tbd EA4
— 3 VxvyKxy 14 Tbd A ->Tbd IA 13, 12
4 Rab EV 3 (x:a; y:b) "-15 VxPx A -.VxPx ECQ14
5 Rab -» (Rba ->Rbb) EV 1 (x:b; y:a) l—16 VxPx A - E3 5, 6-15
6 Rba -4 Rbb E->5,4 1—17-i3xRxa Ii 5-16
7 Rba EV 3 (x:b; y:a) 18 -.3xRxa E33,4-17
8 Rbb '• EH> 6, 7
9 Rab A -.Rbb Def->/A 2 37)
10 -nRbb EA9
L llRbb A -.Rbb IA 8, 10 —1 Vx(Px -> Qx) • Vy(-.3z(-.Qz v Ryz) -> Vx(Px -^ ->Ryx)
12 -.VxVyRxy I-, 3-11 - 2 -dzhQz v Raz)
3 Vz-i(-.QzvRaz) Neg Part 2
4Pb
35) -.(-•Qb v Rab) EV 3 (z:b)
Qb A -.Rab DMv/A5
—1 VxVy(Ryb -> (Qxa -> Tx)) iRab
—2 Vx(-iTx A Rxb) I- Vx-.Qxa 8 Pb -> -.Rab
- 3 3xQxa - 9 Vx(Px^-.Rax)
4 Qca IV 8 (b:x)
10i3z(-.QzvRaz) Vx(Px ^-.Rax)
5 Rcb -> (Qca ->Te) EV 1 (x:c; y:c),.
6-.Te A Rcb EV2(x:c) 11 Vy(i3zhQz v Ryz) -^ Vx(Px -» -iRyx)) IV 10 (a:y)
7 -.Te EA 6
8 Rcb EA 6
9 Qca -* Te E-> 5, 8
10 -.Qca MT 9, 7

86
87
 S O L U C I O N E S A IOS E J E R C I C I O S
LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S

38) 11 Qc A Qa IA 8, 7
—1 Vx(Px -> Qx h VxVy(Ryx -» (Px -> Qx A Ryx)) 12QcAQaARca Ull.lO
13 Rae E->6, 12
—2 Rba 14 -i(3z(Qz A Raz A Rbz) ->Pab) ->
-3 Pa
-> -.(Qa v Qb) EV 1 (x:a; y:b)
4 Pa -» Qa EV 1 (x:a)
15QavQb Iv7
5 Qa E->4,3
Qa A Rba IA 5, 2 16-nPab EA5
173z(Qz A Raz ARbz)->Pab MT 14, 15
-7 Pa -^ Qa A Rba I-» 3-6
Rba -> (Pa ^ Qa A Rba) I-> 2-7 18 -.3z(Qz A Raz A Rbz) MT17, 16
VxVy(Ryx -»(Px -» Qx A Ryx)) IV 8 (a:x; b:y) 1 9 V z-.( Qz A Raz A Rbz) Neg Part 1 8
20 -.(Qc A Rae A Rbc) EV 19 (z:c)
21 Qc A Q b A R c b - » R b c EV 2 (x:c; y:b)
39) . '.M - v 22 Qb A -.Pab EA 5
23 Qb EA22
—1 Vx(-.Fa v Qx) , "''.".'• 24 Rcb EA 9
—2 Vx(Qx A Txb -> Rx) I- Vx-i(Qí¿ A RX} -» -#a v iTbb 25QcAQb IA8,23
- 3 Vx--(QxARx) r ;; 26 Qc A Qb A Rcb IA 25, 24
4 F a A Tbb '• '• . '"'' " . !'> ¡ 27 Rbc En>21,26
5Fa EA4 \\\ Tbb EA4
28 Qc A Rae IA 8, 13
29 Qc A Rae A Rbc I A 28,27
7 - F a v Q b "'•»• EVl(x:b)
-30 (Qc A Rae A Rbc)A-.(Qc A Rae A Rbc) IA 29, 20
8 Qb SD 7, 5
-31 -.(Qa A Qb A -.Pab) I-. 5-30
9--(Qb ARb) * r': '" E V 3 ( x : b )
-32 -.(Qa A Qb A -.Pab) E3 3, 4-31
10 -nQb v -.Rb : '' ' DM A/V 9
11-Rb ' ' SD10,8 33 3z(Qz A Rza A Rzb) ->
-» -.(Qa A Qb A -.Pab) I-» 3-32
12 Qb A Tbb -» Rb EV 2 (x:b)
34 VxVy(3z(Qz ARzx ARzy) ->
13-(Qb A Tbb) MT12, 11
-» -.(Qx A Qy A -.Pxy)) IV 33 (a:x; b:y)
14 Qb A Tbb IA 8, 6
•15 (QbATbb) A-.(QbATbb) IA 14,13
16-.(Fa A Tbb) . I-.4-15
—17->Fa v-.Tbb DMA/vl6 41)
18 Vx-.(Qx A Rx)-^-.Fa v-Tbb I->3-17
—1 VxVy(Qyx A Ryx —>->Qxy)
—2 Qab A Pb I- Rba -» 3x(-.Qbx A Pb)
40) - 3Rba
>s 4 Qba A Rba -> -.Qab EV 1 (x:a; y:b)
—1 VxVy[i(3z(Qz A Rxz A Ryz) ->Pxy) -» ->(Qx v Qy)] 5 Qab EA2
—2 VxVy(Qx A Qy A Rxy -» Ryx) 6 -n(Qba A Rba) MT4, 5
3 3z(Qz A Rza A Rzb) h- VxVy[3z(Qz A Rzx A Rzy) -» ¡ 7 --Qba v -.Rba DM A/v6
— 4 Qc A Rea A Rcb -» ^(Qx A Qy A --Pxy)] 8 -^Qba SD7, 3
— 5 Qa A Qb A --Pab 9Pb EA2
6 Qc A Qa A Rea -» Rae EV 2 (x:c; y:a) 10-.Qba APb US, 9
7 Qa EA 5 -11 3x(--Qbx APb) B 10 (a:x)
8 Qc EA 4 12 Rba -» 3x(--Qbx A Pb)
9 Rea A Rcb EA 4
10 Rea EA 9

89
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S
S O L U C I O N E S A LOS E J E R C I C I O S

42)
6 Vy3z(Ez A Pyz -* Pyy) EA 5
—1 VxVy(Px -> (Ty -> Rxy)) 7 3z(Ez A Pez -> Pee) EV 6 (y:c)
—2 3x(Px A -.Rxa) H-TTa - 8 Ed APcd->Pcc
•— 3 Pb A -.Rba 9 -.Pee EA 4
4 Pb -» (Ta -> Rba) EV 1 (x:b; y:a 10-.(EdAPcd) MT8, 9
5Pb EA3 11 -iEd v -.Pcd DM A/V 10
6 Ta -» Rba E-»4, 5 12 Ed EA 5
r- 7Ta 13-iPcd SD11, 12
8 Rba E->6, 7 14 3y-.Pyd H 13 (c:y)
9 -.Rba EA 3 15 Ed A 3y-.Pyd IA 12, 14
'—10 Rba A -.Rba IA 8, 9 -16 3x(Ex A 3yiPyx) B 15 (d:x)
11 -iTa I-. 7-10 í -173x(ExA3y-.Pyx) E3 7, 8-16
L12 3x-.Tx B 11 (a:x) . 183x(ExA3y-.Pyx) £33,4-17
13 3x-.Tx E3 2, 3-12
45)
43)
—1 Vx(Ox -» Mx) H Vx(3y(Oy A Bxy) -> 3z(Mz A Bxz))
—1 Vx(Sx ->Vy(Txy v Qyx -> Sy)) — 23y(OyABay)
—2 VxVy(Pxy -> Txy v Sy) h Vx(3y(-.Sy A Pxy) ->-iSx) - 3 Ob A Bab
— 3 3y(iSy A Pay) ,;-.; 4 Ob -» Mb EV 1 (x:b)
— 4 -.Sb A Pab 5 Ob EA 3
5 Pab EA 4 6Mb E-»4, 5
6 Pab -> Tab v Sb EV 2 (x:a; y:b) 7 Bab EA 3
7 Tab v Sb E-H> 6, 5 8 Mb A Bab IA 6, 7
8 -iSb ... , ; . EA4 - 9 3z(Mz A Baz) B 8 (b:z)
9 Tab SD 7, 8 -10 3z(Mz A Baz) E32, 3-9
-10 Sa 11 3y(OyABay) -> 3z(Mz A Baz) I->2-10
11 Sa-> Vy(Tay v Q y a ^ S y ) EV 1 (x:a) 12 Vx(3y(Oy A Bxy) -s>3z(Mz A Bxz)) IV 11 (a:x)
12 Vy(Tay v Qya -^ Sy) E^ 11, 10
13TabvQba^Sb EV 12 (y:b)
14 Tab v Qba Iv 9 46)
15 Sb E-> 13,14 —1 Vx3y(Fxy —> Gxy)
-16SbA-.Sb IA15, 8 —2 3xVyFxy I- 3x3yGxy
-17-.Sa I-. 10-16 — 3 VyFay
-18-iSa E33,4-17 , 4 3y(Fay EV 1 (x:a)
193y(-.Sy APay)->-.Sa 1-43-18
i— 5 Fab -> Gab
20 Vx(3y(-.Sy A Pxy) -» -.Sx) IV 19 (a:x)
6Fab EV 3 (y:b)
44) 7 Gab E->5, 6
1—8 3x3yGxy B7(a:x;b:y)
—1 Vx(Ex A Vy3z(Ez A Pyz -» Pyy)) — 9 3x3yGxy E3 4, 5-8
—2 Vx3y((Ey A ly) A h 3x(Ex A 3y-.Pyx) 10 3x3yGxy E3 2, 3-9
33y((Ey A ly) A-.PCC EV 2 (x:c)
i— 4 (Eb A Ib) A -iPcc
| 5 Ed A Vy3z(Ez A Pyz -> Pyy) EV 1 (x:d)

90 91
 LÓGICA CLASICA DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

47) 49)
—1 Vx3yAxy v VxVyBxy —1 Vx(Ax -> 3y(By A Cxy»
—2 Vx3y(Cx->-Bxy) Vx3y(Cx->Axy) —2 3x(Ax A Vy(By -> Dxy)) \- 3x3y(Cxy A Dxy)
— 3 Vx3yAxy — 3 Aa A Vy(By -> Day)
4 3yAay '•' EV 3 (x:a) 4Vy(By->Day) EA3
5 Aab 5 Aa EA3
6 Ca -»Aab CrPr5 6 Aa -> 3y(By A Cay) EV 1 (x:a)
7 3y(Ca -»Aay) B 6 (b:y) 7 3y(By A Cay) E->6,5
1 8 3y(Ca->Aay) E3 4, 5-7 - 8 Bb A Cab
9 VxVyBxy 9Bb EA8
10 Bab EV 9 (x:a; y:b) 10 Bb -» Dab EV 4 (y:b)
11 3y(Ca->-Bay) EV 2 (x:a) 11 Dab E->10, 9
•12 Ca -> -Bab 12 Cab EA8
13-Ca MT 12, 10 13 Cab A Dab IA12,11
14-Ca vAab Ivl3 -14 3x3y(Cxy A Dxy) B13(a:x;b:y)
15Ca->Aab Def -»A/ 14 •153x3y(CxyADxy) E3 7, 8-14
B15(b:y) 163x3y(Cxy A Dxy) E32, 3-15
-173y(Ca^Aay) E3 11, 12-16
183y(Ca->Aay) Ev 1,3-8, 9-17 50)
19 Vx3y(Cx^Axy) IV 18 (a:x)
—1 Vx(-(3y(Ly A Pxy) A 3y(Ly A -Pxy)) -> -Mx)
—2 3x(Mx A Vy(Ly -> Pxy)) h 3x(Lx AMx)
48) f— 3 Ma A Vy(Ly -> Pay)
—1 Vx3y-(Lx A -Mxy) 4 -(3y(Ly A Pay) A 3y(Ly A -Pay)) —» -Ma EV 1 (x:a)
—2 -Maa I- -VxLx 5 Ma EA3
—3 -3x3y(-Mxx A Mxy) 6 3y(Ly A Pay) A 3y(Ly A -Pay) MT4, 5
4 VxVy-(-Mxx A Mxy) Neg Part 3 7 3y(Ly A -Pay) EA6
5 -(-Maa A Mab) EV 4 (x:a; y:b) 8 Vy(Ly -> Pay) EA3
6 Maa v -Mab DM A/v5 9 Vy-i(Ly A -Pay) Def ->/A (Interc) 8
7-Mab SD6,2 10 -3y(Ly A -Pay) Neg Part 9
— 8 VxLx 11 3y(Ly A -Pay) A -3y(Ly A -Pay) IA 7, 10
9 3y-(La A -May) EV1 ,x:a •12 3x(Lx A Mx) ECQ11
•10 -(La A -Mab) 133x(LxAMx) E3 2, 3-12
11 -La v Mab DM A/vlO
12 La EV 8 (x:a) 51)
13 Mab SD11, 12
14 Mab A -Mab IA 13, 7 —1 -(Mab ->Sa A Sb)
•15 Pe A-Pe ECQ14 —2 -(-3xQx v Vx-Rabx) h Vx(Sa A Sb -> (Rabx -> -Qx))
•16 Pe A-Pe E3 9,10-15 3 Sa A Sb
17 -VxLx I- 8-16 — 4 Rabc
r-5Qc
6 Mab A -(Sa A Sb) Def A/-> 1
I 7 -(Sa A Sb)

92 93
 LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A LOS E J E R C I C I O S

111-8 (Sa ASb) A-i(Sa A Sb) IA 3, 7 54)

I—9-Qc 1-5-8 —1 Vx Vy Vz(Pxy A Pyz —> Pxz)
I—10 Rabc -» -.Qc I-> 4-9 —2 -.Vx3yPxy I- VxVyVz-.(Pxy Pyz) ->3xVyVz-.Sab
11 Sa A Sb-> (Rabc->-.Qc) I-» 3-10 3 3x->3yPxy Neg Gen 2
12 Vx(Sa A Sb -> (Rabx -* -.Qx)) IV 11 (c:x) 4 3xVy->Pxy Neg Part 3
- 5 Vy-.Pdy
52) 6--Pde EV 5 (y:e)
7 Pdc A Pee -» Pde EV 1 (x:d; y:c; z:e)
—1 Vx3y(-iQxy -> -iPxa A Qyx) I- Vxh(->3yQxy A Pxa) v Pxa) 8 -.(Pdc A Pee) MT7, 6
— 2 -.3yQby A Pba • 9 -.(Pdc -» -.Pee)
3 -GyQby EA 2 10 Pdc A Pee Def A/-> 9
4 Vy-iQby Neg Parí 3 11 (Pdc A Pee) A -.(Pdc A Pee) IA 10,8
5 3y(-.Qby ->-.Pba A Qyb) EV 1 (x:b) -12 iSab ECQ11
- 6 -.Qbc -> -.Pba A Qcb 13 -.(Pdc -> -.Pee) -> -.Sab I-> 9-12
7 -Qbc EV 4 (y:c) 14 Vz(-.(Pdc -»-.Pcz) -^ -.Sab) IV 13 (e:z)
8 -.Pba A Qcb E-> 6, 7 15 Vz-.(Pdc -> -.Pez) -» Vz-.Sab Dist Gen Cond 14
9 -.Pba EA 8 16 Vy(Vz-.(Pdy -> -.Pyz) -> Vz-Sab) IV 15 (c:y)
10 Pba EA2 17 VyVz-.(Pdy -» -.Pyz) -» VyVz-.Sab Dist Gen Cond 16
•11 Pba A-.Pba IA 10, 9 18 3x( VyVz-.(Pxy -> -.Pyz) -^ VyVz-.Sab) E 17(d:x)
•12 Pba A-.Pba E3 5, 6-11 •19 VxVyVz-.(Pxy -»-iPyz) -4 SxVyV Dist Part Cond 18
13-.(-dyQby A Pba) 1-2-12 20 VxVyVz-.(Pxy -> ->Pyz) -> 3xVyVz-.Sab E34,5-19
14 -.(-iByQby A Pba) v Pba Iv 13
15 VxH-GyQxy A Pxa) v Pxa) IV 14 (b:x)
55)
—1 Vx3y(Rxa -»Txy)
53) —2 -i3x3y(Txy A -.Txx) h 3xTxx
—1 VxVy(-.Ryx A -.Pxy -> -Sxy) —3 VxRxa
—2 3x3y(Sxy A ->Ryx) hSab ->3x3yPxy 4 VxVy->(Txy A ->Txx) Neg Part 2
— 3 Sab A -.Rba 5 3y(Rba -» Tby) EV 1 (x:b)
4 -.Rba A -.Pab -> -.Sab EV 1 (x:a; y:b) r- 6 Rba -» Tbc
5 Sab EA3 7 -.(Tbc A -.Tbb) EV4 x:b; y:c)
6 -.(-.Rba A -.Pab) MT4, 5 8 Tbc -» Tbb Def •/A 7
7 Rba v Pab DM A/v6 9 Rba EV3 x:b)
8 -iRba EA3 10 Tbc 9
9 Pab SD7, 8 11 Tbb 10
1-10 3x3yPxy E 9 (a:x; b:y) -12 3xTxx E 11 (b:x)
11 3x3yPxy E3 2, 3-10 13 3xTxx E3 5, 6-12
12 Sab -> 3x3yPxy CrPrll
56)
-1 3x3y->Vz(Lxy A Lxz o Qyz)
-2 -iVxVyVz(Lxy A Qyz —> Rzx) I- 3x3y3z .(Lxy -» Rzx)
3 3x3y3z-.(Lxy A Qyz —>Rzx) Neg Gen 2
• 4 VxVyVz(Lxy ->Rzx)

94 95
 LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A LOS E J E R C I C I O S

59)
5 Lab —> Rea EV 4 (x:a; y:b; z:c) —1 VxMx
- 6 --(Lab A Qbc -» Rea) —2 Vx-.Lxx l—iVx3y->(Mx A • .Lxy)
7 (Lab A Qbc) A -.Rea Def A/-> 6 —3 ->3x3y(Lxy A - Lxx)
8 -nRca EA7
MT5, 8 4 VxVy-.(Lxy A • iLxx) Neg Part 3
9--Lab
10 Lab A Qbc EA7 5Mb EV 1 (x:b)
11 Lab EAlO 6-.Lbb EV 2 (x:b)
12 Lab A -iLab lAll,9 7 -.(Lba A -.Lbb) EV 4 (x:b; ya)
-13Qd A-iQd ECQ12 8 -.Lba v Lbb DMA/v7
•14Qd A-.Qd E3 3, 6-13 SD8, 6
15-.VxVyVz(Lxy->Rzx) I-. 4-14 10 Mb A -.Lba IA 5, 9
16 3x3y3z-.(Lxy -> Rzx) Neg Gen 15 11 Vy(MbA-.Lby) IV 10 (a:y)
12 3xVy(Mx A -.Lxy) 13 11 (b:x)
57) 13-.Vx-.Vy(MxA nLxy)DefPart!2
—1 ->3x-i\/ySxy 14 ->Vx3y-.(Mx A - Lxy) Neg Gen (Interc) 13
—2 Sba A -iSaa H-A/xVyHSxy -> Sxx) -> -.Syx)
3 Vx-i-iVySxy Neg Part 1 60)
4 VxVySxy E-. (Interc) 3 —1 VxMx v VxQx
5 Saa EV 4 (x:a; y:a) —2 3xMx I- -iVx(Mx -»-.Qx)
6 ->Saa EA2 —3 3x-.Mx
7 Saa A -iSaa U5, 6 4 -. VxMx Neg Gen 3
8 -nVxVyHSxy -> Sxx) -» iSyx) ECQ7 5 VxQx SD1.4
r—6Ma
58) |— 7 Ma —» ->Qa
8-iQa ,6
—1 i3x-.Tx 9Qa
h -.Vx((Qxa -»Tx) -^ Rxb) EV 5 (x:a)
—2 -.3x-.(Rxb v Sx -> --Mx)
-lOQa A-iQa L\9, 8
—3 3xMx
11 -.(Ma -^--Qa) I-. 7-10
4 VxTx Def Gen 1
L—12 3x-.(Mx -> -.Qx) Hll(a:x)
5 Vx(Rxb v Sx -» -Mx) Def Gen 2
13 3x-.(Mx -> iQx) £32,6-12
- 6 Me
14 -.Vx(Mx -> -.Qx) Neg Gen 13
7 Rcb v Se -» -.Me EV 5 (x:c)
8 -.(Rcb v Se) MT7, 6
9 -.Rcb A -.Se DM V/A 8 61)
10 -.Rcb EA9
11 Te EV 4 (x:c) —1 Vx(Sx -» Qx)
CrPrll -2 -3y(Qy A Hy) I- Vx(Sx • 3y-Hy)
12 Qca -» Te
13 (Qca -> Te) A-iRcb IA12, 10 3 Vy-(Qy A Hy) Neg Part 2
14 --((Qca -> Te) -» Rcb) Def A/-> 13 4 Sa H> Qa EV 1 (x:a)
15 3x-.((Qxa -> Tx) -> Rxb) Q 14 (c:x) 5 -.(Qa A Ha) EV 3 (y:a)
-16 -.Vx((Qxa ->Tx) Neg Gen 15 6 -.Qa v -iHa DMA/v5
17-.Vx((Qxa->Tx) E33, 6-16 p7Sa
I 8Qa E-44, 7

96 97
 LÓGICA C L Á S I C A DE PRIMER ORDEN: ESTRATEGIAS

SD6, 8
L•109-iHa
3y-«y B9(a:y)
11 Sa->3y-.Hy I-> 7-10
12 Vx(Sx->3y-.Hy) IV 11 (a:x)
EJERCICIOS VII
62)
—1 VxSxb A -.Vy(Py -> Qby)
—2 VxVy(Qxy -» --Qyx) I- -i( nVx--Px -> Vy(Syb -»Qby))
— 3 -.Vx-.Px -> Vy(Syb -» Qby)
4 -iVy(Py -> Qby) EA!
5 3y-n(Py -» Qby) Neg Gen 4
— 6 -.(Pe -> Qbc)
7 Pe A -.Qbc DefA/->6
8 VX--PX v Vy(Syb -> Qby) Def ->/v 3
- 9 Vx-.Px
10-.Pe EV 9 (x:c)
11 Pe EA7 BLOQUE I
12 Pe A --Pe l A l l , 10
•13PdA-.Pd ECQ 12 1.-GxPbx
-14 VyfSyb -> Qby} 2. De
15Scb ^Qbc EV 14 (y:c) 3. -ijea
16-.Qbc , , EA7 4. 3xjix
17-.Scb MT15, 16 5. 3x3y(Jxy A Ry)
18 VxSxb EA! 6. 3x-.Ebx
19Scb EV18(x:c) 7. No se puede formalizar conforme a LPO*, salvo que enten-
20Scb A-.Scb U19, 17 damos el enunciado como "Algún jefe es galo". En ese caso la for-
•21 PdA-.Pd ECQ 20 malización sería 3x3y(Jxy A Gx)
•22 Pd A -.Pd Ev 8, 9-13, 14-21 8. (Entendemos el enunciado como "Algún galo tiene algún
-23 Pd A -.Pd E35, 6-22 amigo".) En ese caso la formalización sería 3x3y(Bx A Ayx)
24 -.(-.Vx-.Px -> Vy(Syb -4 Qby)) I-.3-23 9. (Entendemos el enunciado como "Algún jefe no es galo".)
En ese caso la formalización sería 3x3y(Jxy A -iGx)
10. (Entendemos el enunciado como "Algún guerrero no tiene
algún amigo".) En ese caso la formalización sería:
3x(Ux A ->3yAyx);
3xVy(Ux A -iAyx)
ll.-A/x[3yPxy->Ox] ;
-i\/xVy[Pxy —> Ox];
3x3y[Pxy A-.Ox]
12. -iVx[Ox ->3yPxy];
->Vx3y[Ox —» Pxyj;
3xVy[Ox A -iPxy]
13. -i3x(Lx A Dx)
Vx(Lx -» ->Dx)
14. Vx(Dx -» Gx)

98 99
 LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A LOS E J E R C I C I O S

15. Vx(Dx -» VxVy[Gx -4 -HCyx A Vz--(Ayz A Dz)}]

16. -.Vx(Lx -> --Ux); 37. VxfLx -4 VyQyx -» (--Uy -> iAxy)}]
3x(Lx A Ux) 38. -.3x3y(Axy A By A -.Bx)
17. -dx(Bx A -iGx); 39. -.Vx[Ux A Gx -> 3y(Ly A Ayx)]
Vx(Bx -> Gx) 40. -.3x[Ux A Gx A 3y(Ly A Ayx)]
18.3x(JdxAGx) 41.-Ob A 3y(Aby A Oy)
19. 3x(Jix A Rx) -> --3y(Tiy A Ry); 42. iVx[3y(Pxy A Fy) -> Gx]
3x(Jix A Rx) -> Vy-.(Tiy A Ry); 43. Vx(Bx -* -.3yAyx)
VxVyQix A Rx -4 -i(Tiy A Ry)] 44. -iVx(Ux —> 3yjyx)
20. Vx(Ebx A Rx -» -lAbx) 45. -.Vx(-dyjyx -4 -.Ux)
21. Vx(Ga A Cax A Ox —> Aax) 46. Vx[Gx -> Vy(Eyx -» Ry)];
22. Vx[Rx -> (Jix -4 iEix)]; Vx[Gx -> Vy(-.Ry -» --Eyx)]
Vx(Rx A Jix —> -i£ix) 47. VxVy[Gx A Cyx -> Ayx]
23. Vx(Axe -> 3yAxy); 48. Vx(Ux -> 3yExy)
' Vx3y(Axe -> Axy) 49. VxVy[Jxy A Gy -» Vz(Rz -4 Exz)];
24. Pjk A Rk -> 3x(Pjx A Rx) VxVyVzjJxy A Gy A Rz -» Exz]
3x(Pjk A Rk -> Pjx A Rx) 50. VxVy[Jxy A Gy -> Vz(Rz -> Exz)];
25. Pjk A Rk -> Pjk VxVyVzQxy A Gy A Rz -^ Exz]
26. Vx[3y(Pxy A Ry) -> 3z(Exz A Rz)];
VxVy3z[Pxy A Ry -> Exz A Rz]
27. Vx[3yPxy -> -3z(Fz A Axz)]; BLOQUE II
VxVyVz[Pxy -> -i(Fz A Axz)];
28. Vx[3y(Pxy A Ly) -» Exy]; 1 ) [Rxa A 3x x=a]-v = 1 syss
VxVy(Pxy A Ly -» Exy) [Rxap= 1 y [3x x=a]^= 1 syss
29. i3x(Gx A -.Ux); <[x]JV, [a]^ e R y para al menos un a e. & [x=a]*ff = 1 syss
Vx-.(Gx A ->Ux); <[x]-v, [a]^ e M. y para al menos un a e & ([x]-*-*? = [a]JU).
Vx(Gx -> Ux) Como <Q, O> e R y Q = Q, [Rxa]^= 1 y [3x x=a]^= 1
30. -i3x(3yPxy A ->3zExz); Con lo cual [Rxa A 3x x=a]-v= 1.
Vxi(3yPxy A -.3zExz);
Vx(3yPxy -» 3zExz); 2) [3yRfya -4 x/z]JV= 1 syss
VxVy3z(Pxy —> Exz) [3yRfya]^= O ó [x/z]*'- 1 Syss
31. Vx[Lx -> 3y(Cyx A Ayx)] PyRfya]^ = O ó [x]-v / [z]>w. Tenemos que [x]-v = Q y que
32. VxfBx A Gx -> 3y(Eyx A Txy)]; [ Z p=O.
Vx3y[Bx A Gx —> Eyx A Txy] Y como ü * O entonces [XÉ
33. Vx[Gx A Dx -> 3y(Ayx A Uy)]; Con lo cual [3yRfya -> x^z]-
Vx3y[Gx A Dx —> Ayx A Uy]
34. Vx[3y(Eyx A Ry) -» Gx A Ux]; 3) [3xVyR(fx)y A a=fb]**= í syss
VxVy(Eyx A Ry ^ Gx A Ux) [3xVyR(fx)y]-v= 1 y [3=^]^= 1 syss
35. ->3x(Axa A Lx); [3xVyR(fx)y]*>= 1 y [a]«= [fb]«.
Vx-i(Axa A Lx); Y como [a]^= ü y [fb]^^ O, entonces [3=^]-^= O
Vx(Axa -> -.Lx) Con lo cual, [3xVyR(fx)y A a=fb]**= O
36. -.3x[Gx A 3y{Cyx A ->3z(Ayz A Dz)}]
Vxi[Gx A 3y(Cyx A -Gz(Ayz A Dz)}] 4) [VxVyRxfy -4 -.Vx[Rxx A R(fx)a]] JV = 1 syss
Vx[Gx -^ i3y{Cyx A Vz--(Ayz A Dz)}] [VxVyRxfy]JV= O ó [-A/x[Rxx A R(fx)a]] JV = 1 syss

100 101
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

[VxVyRxfyP = O ó [Vx[Rxx A R(fx)a]] JV = O syss 11) 3x3y(x*y A Cx A Cy A Dxa A Dya)

[VxVyRxfy]Jtf = O ó para al menos un a e & [Rxx A R(fx.)a]*fi =O 12) VxVyVz(Cx A Cy A Cz A Dxa A Dya A Dza —>
syss —> x=y v x^z v y=z)
[VxVyRxíy]** = O ó para al menos un a e & ([Rxx]-*-*» = O ó 13) 3x3y[x^y A Vz(Cz A Dza <-^ x=z v y=z)]
[Rfxa]*^ = 0). 14) 3x[Vy(Vyb A Gy o y=x) A x=a]
Y como <A, A> g R, entonces [-A/x[Rxx A R(fx)a]]- v = 1. 15) 3x[Jx A 3y13y2{y1^y2 A Vy3(Cy3 A Exy3 <^ y3=yi v y3=y2)}]
Consiguientemente [VxVyRxfy —> -i\/x[Rxx A R(fx)a]]- v = 1. 16) 3xQx A 3yi3y 2 ( yi ^y 2 A Cy, A Cy2 A Exyt A Exy2)]
17) 3xQx A 3yjVy 2 (Cy 2 A Exy2 <^ y 2 =yi)]
5) [Vy3x(Rxy A fx*fy -> Ryx)] JU = 1 syss a 18) 3x3y[x*y A Px A Py A 3z!Vz2(Oz2 A Uxz2 o z 2 =zj) A
para todo a e & [3x(Rxy A fx^fy -» Ryx)]*1^ = 1 syss A 3z3Vz4(Oz4 A Uxz4 <-> z4=z3)]
para todo a e s, para al menos un (3 € ^ 19) 3x3y[x*y A Px A Py A 3ziVz 2 (Oz 2 A Uxz2 A Uyz2 <-> Zj=z 2 )]
[Rxy A fx*fy H> Ryx]-*J,°f = 1 syss 20) 3x3y[x*y A Px A Py A Vz!Vz 2 (Ozj A Oz2 A UxZi A Uxz2 —>
para todo a e & para al menos un (3 € & ([Rxy A fx^fy]-*/jf = O ó —> Zi=z 2 ) A Vz 3 Vz 4 (Oz 3 A Oz4 A Uyz3 A Uyz4 —¥ z3=z4)]
21) 3x3y[x^y A Vz(Pz A 3wiVw2(Ow2 A Uxw2 A Uyw2 <->
[Ryx]*J$= 1).
<-» Wi=w 2 ) <-» z=x v z=y}]
para todo a e & para al menos un P e & ({Rxy]*Jff= O ó 22) 3x[Px A 3yi3y 2 {yi^y 2 A Vy 3 (Ry 3 A Hy3x <-> y3=yt v y3=y2)}]
[íx*fy]*J$ = O ó [Ryx]*^ = 1). 23) 3x[Px A VyiVy 2 Vy 3 (Ryj A Ry2 A Ry3 A Hy t x A Hy2x A
Veamos las diferentes posibilidades: A Hy3x -» yi=y 2 v y1=y3 v y2=y3)]
a) a = Q. En este caso hay al menos un p 6 & (por ejemplo, p = O) 24) Vx!Vx 2 Vx 3 Vx 4 (Lx! A Lx2 A Lx3 A Lx4 A Eaxj A Eax2 A
que hace [RyxJ*Jff= 1 y con ello la disyunción previa resulta ver- A Eax3 A Eax4 —> Xi=x 2 v x,=x 3 v Xi=x 3 v Xi=x4 v x2=x3 v
dadera. v x2=x4 v x3=x4)
b) a = A. En este caso hay al menos un p € & (por ejemplo, P = A) 25) 3xVy(Ny A Py A ly A Mya <-> y=x)
que hace [RxyJ*Jjf * O y con ello la disyunción previa resulta ver- 26) 3x[Vy(Ny A Py A ly o y=x) A Mxa]
dadera. 27) ->3x[Px A Bx A Vy 1 Vy 2 (Iy ] A Iy2 A Hxyj A Hxy2 -» yi=y 2 )]
c) a = O. En este caso hay al menos un P e & (por ejemplo, p = O) 28) Vx[Cx ^ 3y(Ey A Mxy)J
que hace [Rxy]**jf= O y con ello la disyunción previa resulta ver- 29) 3xVy[Py A 3z(Ryz A Cx) o x=y]
dadera. 30) 3xVy[Py A 3zVw(Ryw A Cw <-» w=z) <-> x=y]
Luego, para todo a e & para al menos un P E & ([Rxy}*jp?= O ó 31) 3x[Vy(Py <-» y=x) A 3z¡Vw(Cw o z=w) A Rxy}]
[fx*fy]*J$= O ó [Ryx]* J$= 1). 32) 3x[Vy{Cy A 3zVw(Pw A Rwy <-> w=z) <-> y=x}]
Por consiguiente, ([Vy3x(Rxy A fx^fy -» Ryx)]-*^ 1). 33) 3xj3x2[x!^x2 A Px! A Px2 A 3yiVy 2 (Cy 2 A Rx,y2 <-» y 2 =yi) A
A 3z!Vz2(Cz2 A Rx2z2 <-> z 2 =Zi) A Vx3(Px3 A 3w x Vw 2 (Cw 2 A
A Rx 3 W 2 <-> W 2 =W!) —> X 3 =X t V X 3 =X 2 }]
BLOQUE III 34) 3x!3x2fx!^x2 A Pxi A Px2 A 3y!{Vy2(Cy2 A Rx,y2 A Rx2y2 <->
<-> y 2 =Yi) A Vx 3 (Px 3 A Rx3y: -> x 3 =xj v x3=x2)}]
l)f(a)=b 35) -i3x(Cxa A x^b A -iPxa);
2) Mf(a) Vx(Cxa -> x=b v Pxa)
3)f(a)=g(b) 36) Cab A Vx(x*a A x^c —> Aabx)
4) Pf(a, b)
5) 3x3y[Nx A Ny A f(x, y)=a]
6) 3x3y[x*y A Nx A Ny A f(x, x)=g(x, x) A f(y, y)=g(y, y)]
7) 3x3y[x*y A Vz(Nz A f(z, z)=g(z, z) <-> x=z v y=z)]
8) VxVyVz[Nx A Ny A Nz A f(x, x)=g(x, x) A f(y, y)=g(y, y) A
A f(z, z)=g(z, z) -> x=y v x=z v y=z]
9) Vx[Nx -* f(x, x)=g(x)]
10) Vx[Nx A Ix -» Nf(x) A If(x)]

102 103
 EJERCICIOS VIII

BLOQUE I

(NOTA: Como en las soluciones de ejercicios de deducción de capí-

tulos anteriores a continuación se presenta una posible solución a
cada uno de los ejercicios propuestos, pero evidentemente caben
otras múltiples soluciones alternativas.)
1)
I- Vx[Px o Vy(y=x -» Py)]
r-1 Pa
L2 Vy(y=a -> Py) 1=1
3 Pa -> Vy(y=a -> Py)
4 Vy(y=a -» Py)
C 5Pa E=4
6 Vy(y=a->Py) ->Pa
7 Pa <-» Vy(y=a -> Py)
8 VxfPx ^ Vy(y=x -> Py)] IV 7 (a:x)

2)
I- VxfPx <-> 3y(y=x A Py)]
— IPa
l— 2 ->3y(y=a A Py)
3 Vy-n(y=a A Py) Neg Gen 2
4 Vy(y:£a v -iPy) DMA/v (Interc) 3
5 a*a v -iPa EV 4 (y:a)
6 a/a SD5, 1
7 a=a R. Refl =

105
 LÓGICA CLÁSICA DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

5)
| L 8 (a=a) IA?, 6
!— 9 3y(y=a A Py) Abs 2-8 — 1 3xPx A VxVy(Px A Py -> x=y) I—i3x3y[x^y A
10 Pa -43y(y=a A Py) A Vz(Pz < x=z v y=z)
-11 3y(y=a APy) 2 VxVy(Px A Py -4 x=y) EA 1
-12b=a APb — 3 3x3y[x*y A Vz(Pz <-4 x=z v y=z)]
13 VxVy(x=y A Px-> Py) L. Leibniz — 4 a*b A Vz(Pz <-4 a=z v b=z)
1 4 b = a A P b -4Pa EV13 (x:b;y:a) 5 a*b EA 4
1-15 Pa E-4 14,12 6 Vz(Pzoa=z vb=z) EA 4
^16 Pa E3 11, 12-15 7PaAPb^a=b EV 2 (x:a; y:b)
173y(y=a APy) -4 Pa I-» 11-16 8 -.(Pa A Pb) MT 7, 5
18 Pa o3y(y=a APy) lo 10,17 9 -iPa v -.Pb DM A/V 8
19 Vx[Px<-> 3y(y=x APy)] IV 18 (a:x)) 10 Pa <->a=a vb=a EV 6 (z:a)
HVx(x=x) L.RefU
3) 12a=a EVll(x:a)
13a=avb=a Iv 12
VxVyVz[x=y -4 (x=z <-> y=z)] 14 a=a vb=a->Pa E<-4lO
r— 1 a=b 15 Pa E-»14,13
2 a=c
E 3b=a
4b=c
5 a=c -4b=C
R. Sim = 1
R. Trans = 3, 2
16 -«Pb
1 7 Pb <-» a=b v b=b
18 b=b
SD9, 15
EV 6 (z:b)
EV 11 (x:b)
19a=bvb=b Ivl8
6 b=c 20 a=b v b=b -4Pb Eo 17
C 7a=c R. Trans = 1,6 21 Pb E-»20, 19
8b=c -4 a=c I->6-7 22PbA-.Pb IA21.16
!— 9 a=c <-4 b=C fc-45, 8 •23 Pd A -.Pd ECQ 22
10 a=b -4 (a=c <-4 b=c) I-> 1-9 •24 Pd A -tfd E3 3, 4-23
11 VxVyVz[x=y -4 (x=z <-> y=z)] IV 10 (a:x; b:y; c:z) 25 -i3x3y[x*y A Vz(Pz <-> x=z v y=z)] I-i 3-24

?4) 6)
H VxVy Vz[x*y A y=z -» I- 3xVy(Py <- x=y) <-> 3x[Px A Vy(Py -* x=y)]
1 a*b A b=c — 1 3xVy(Py <-4 x=y)
2 VxVy(x^b A y=b -4 x^y) L. Leibniz i 2 i3x[Px A Vy(Py -4 x=y)]
3 a^b A c=b —» a^c EV2(x:a;y:c) 3 Vx->[Px A Vy(Py ->x=y)] Neg Part 2
4b=c EA! 4 -.[Pa A Vy(Py -> a=y)] EV 3 (x:a)
5 VxVy(x=y -4 y=x) L. Sim = 5 ->Pa v -iVy(Py ^a=y) DMA/v4
6 b=c -4 c=b EV 5 (x:b; y:c) - 6 Vy(Py <-> a=y)
7c=b 7 Pa <-4 a=a EV 6 (y:a)
8 a^b EA 1 8 Vx(x=x) L. Refl =
9 a^b A c=b IA 8, 7 : i. 9a=a EV 8 (x:a)
LIO a*c E-4 3, 9 10 a=a -4 Pa Eo7
I-» 1-10 11 Pa E^ 10, 9
12 VxVyVz[xí^y Ay=z IV 11 (a:x; b:y; c:z) 12 -iVy(Py -4 a=y) SD5,11

106 107
 L Ó G I C A C L Á S I C A DE P R I M E R O R D E N : E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

13 3y-i(Py -> a=y) Neg Gen 12 7)

-14 -.(Pb -> a=b) h- 3xPx A VxVy(Px A Py -> x=y) • 3x[Px A Vy(Py -^ x=y)]
15PbAa*b Def A/-> 14 •- 1 3xPx A VxVy(Px A Py -» x=y)
16 Pb <-> a=b EV 6 (y:b) 2 3xPx EA!
17 Pb EA15 l— 3 Pa
18Pb-»a=b Eol6 4 VxVy(Px A Py x=y) EA!
19a=b 5 Pa A Pb -^ a=b EV 4 (x:a; y:b)
20 a*b EA15 r-6Pb
21 a=b Aa^b lAl9,20 7 Pa A Pb
-22 fc=fd A fc*fd ECQ21 L8a=b E->5, 7
-23 fc=fd A fc*fd E3 13, 14-22: 9 Pb -» a=b
-24 fc=fd A fc^fd E3 1,6-23 10 Vy(Py -» a=y) IV 9 (b:y) i
-25 3x[Px A Vy(Py -» x=y)] Abs 2-24 11 Pa A Vy(Py^a=y) IA 3, 10
26 3xVy(Py o x=y) -> 3x[Px A Vy(Py » x=y)] -12 3x[Px A Vy(Py -> x=y)] Ell(a:x)
-27 3x[Px A Vy(Py -> x=y)] —13 3x[Px A Vy(Py -> x=y)] E32,3-12
-28 Pa A Vy(Py -» a=y) 14 3xPx A VxVy(Px A Py x=y) -»
-29 -.(Pb o a=b) -» 3x[Px A Vy(Py - x=y)] I-> 1-13
30 -.[(Pb -»a=b) A (a=b -» Pb)] Def 4-> (Interc) 29 • - 15 3x[Px A Vy(Py -> x=y)]
31 -.(Pb -> a=b) v -.(a=b -> Pb) DM A/V 30 ; - 16 Pa A Vy(Py -^ a=y)
32 (Pb Aa*b) v (a=b A--Pb) Def -»/A (Interc) 31 i— 17 ->[3xPx A VxVy(Px A Py -> x=y)]
-33 Pb Aa*b 18 ->3xPx v -.VxVy(Px A Py ->x=y) DM A/V 17
34 Vy(Py -> a=y) EA28 ,. ,; f c
19 Pa EA16
35 Pb -» a=b EV34(y:b) : . . . • : : 203xPx E19(a:x)
36 Pb EA 33 ..., ;! 21 --VxVy(Px A Py -» x=y) SD18,20
37a=b E-» 35,36 v, í 22 3x3y-i(Px A Py -4 x=y) Neg Gen 21
38 a*b EA33 :•• ••'•'• r 23-.(PbAPc ->b=c)
-39a=bA U37,38 , t t ; .< ' 24 Pb A Pe A b*c Def A/-> 23
-40 a=b A .Pb 25 Vy(Py -4 a=y) EA16
41 Pa EA28 26 Pb -> a=b EV25(y:b)
42a=b EA40 27 Pb EA24
43 VxVy(x=y A Px Py) L. Leibniz 28a=b
44 a=b A Pa -> Pb EV 43 (x:a; y:b) EA24
45 a=b A Pa IA 42, 41 30 Vx(x=c 1=29
46 Pb E-» 44, 45 31 a=c - EV 30 (x:a)
47 -tfb ;, EA40 MT31.28
48PbAiPb IA 46, 47 33 Pe -»a=c EV 25 (y:c)
-49a=bA ECQ48 34-.Pe MT 33, 32
-50 a=b A Ev 32, 33-39,40-49 35 Pe EA24
51 Pb <-> a=b Abs 29-50 36 Pe A -.Pe IA 35, 34
52 Vy(Py o a=y) IV 51 (b:y) -37 Pd A -iPd ECQ36
-533xVy(Pyox=y) E 52 (a:x) E3 22, 23-37
-54 3xVy(Py <^ x=y) E3 27, 28-53 1— 39 3xPx A VxVy(Px A Py -» x=y) Abs 17-38
55 3x[Px A Vy(Py -4 x=y)] -»3xVy(Py ox=y) 1^27-54
56 3xVy(Py o x=y) o 3x[Px A Vy(Py ->x=y)] lo 26, 55

108 109
 LÓGICA C L Á S I C A DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A LOS E J E R C I C I O S

-40 3xPx A VxVy(Px A Py -> x=y)

41 3x[Px A Vy(Py -» x=y)] -»
E3 15, 16-39

-> 3xPx A VxVy(Px A Py -» x=y) I-> 15-40

42 3xPx A VxVy(Px A Py -» x=y) <->
L 36 b=a A a=c —» b=c
37 b=a A a=c
38b=c
3 9 P b A P c -*b=c
EV 35 (x:b; y
L\34, 31
E->36, 37
I->25-38
O 3x[Px A Vy(Py -» x=y)] !<-> 14, 41 40 VxVy(Px A Py —> x=y) IV 39 (b:x; c:
r-41 -dxPx
8) 42 Vx-.Px Neg Part 41
43 -.Pa EV 42 (x:a)
H 3xPx A VxVy(Px A Py H • x=y) o 3xVy(Py <-» x=y) 44 Pa o a=a EV 22 (y:a)
— 1 3xPx A VxVy(Px A Py —> x=y) 45 a=a -> Pa
23xPx EA! 46 a^a MT 45, 43
-3 Pa 47 Vx(x=x) L. Refl =
- 4Pb EV47(x:a)
48 a=a
5 Pa A Pb lA3,4 U48,46
•—49 a=a A a^a
6 VxVy(Px A Py —> x=y) EA! 503xPx Abs 41-49
7 Pa A Pb o a=b EV 6 (x:a; y:b) <— 51 3xPx A Vx Vy(Px A Py -4 x=y) IA 50, 40
- 8 a=b E->7, 5
— 52 3xPx A VxVy(Px A Py —> x=y) £321,22-51
9 Pb ->a=b
53 3xVy(Py o x=y) -»
-10 a=b
—> ÉxPx A VxVy(Px A Py —> x=y) I-> 21-52
11 VxVy(x=y A Px-> Py) L. Leibniz
54 3xPx A VxVy(Px A Py -> x=y) o .
12 a=b A Pa -4 Pb EV11 (x:a; y:b)
o 3xVy(Py o x=y) lo 20, 53
13 a=b A Pa IA 10, 3
-14 Pb E->12,13
15a=b^Pb 9)
I-> 10-14
16 Pb o a=b I<->9, 15 —1 ->3xVy(Py o x=y) h 3xPx v 3x3y-i(Px A Py A
17 Vy(Py o a=y) IV16(b:y) — 2 -i[3xPx v 3x3y-.(Px A Py A 3
-183xVy(Pyox=y) B17(a:x) 3 -i3xPx A -i3x3y-i(Px A Py A DM V/A 2
-19 3xVy(Py o x=y) E32,3-18 4-.3xPx EA3
20 3xPx A VxVy(Px A Py -4 x=y) -4 5 Vx-.Px Neg Part 4
-4 3xVy(Py o x=y) 6 -i3x3y->(Px A Py A x?*y) EA 3
-21 3xVy(Py o x=y) 7 VxVy(Px A Py A x^y) Def Gen 6
-22 Vy(Py o a=y) 8 Pa APb Aa*b EV 7 (x:a; y:b)
23 Pb o a=b EV 22 (y:b) 9Pa EA 8
24 Pe o a=c EV 22 (y:c) 10-iPa EV 5 (x:a)
-25Pb A Pe ¡A9, 10
26 Pb EA25 12 3xPx v 3x3y-i(Px A Py A x*y) Abs 2-11
27 Pb -»a=b Eo23
28a=b 10)
E->27,26
29 Pe EA25 h 3x3y(Px A Py A x^y) A
30 Pe o a=c Eo24 A VxVyVzfPx A Py A Pz —> x=y v x=z v y=z) <-
31 a=c E-»30,29 o 3x3y[Px A Py A x^y A Vz(Pz -> x=z v y=z)]
32 VxVy(x=y —» y=x)
33 a=b —> b=a
34b=a
35 VxVyVz(x=y Ay=z
L. Sim =
EV 32 (x:a; y:b)
E->33,28
L. Trans =
r l 3x3y(Px A Py A \^y) A
A VxVyVz(Px A Py A Pz -> x=y v x=z v y=z)
2 3x3y(Px A Py A x^y) EA 1

110 111
 LÓGICA CLÁSICA DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

3 VxVyVz(Px A Py A Pz -> 40c=a R. Sim = 38

—» x=y v x=z v y=z) EA! 41 c=d R. Trans = 40, 39
i— 4 Pa A Pb A a*b EA28
i- 5 Pe -43 c=d A c¿d IA 41, 42
6 Pa A Pb A Pe —> a=b v a=c v b=c EV 3 (x:a; y:b; z:c) •44b=d
7 Pa A Pb EA4 • 45 a=e
8 Pa A Pb A Pe IA 7, 5 46 c=a R. Sim = 38
9 a=b v a=c v b=c E-» 6, 8 47c=e R. Trans = 46, 45
EA 4 48c*e EA28
L-ll a=c vb=c SD9,10 ( 49c=e IA 47, 48
12 Pe -» a=c v b=c I-*5-ll • 50 c=d A i ECQ49
13 Vz(Pz->a=z vb=z) IV 12 (c:z) •51b=e
14 Pa APb A 3 * b A 52d=b R. Sim = 44
A Vz(Pz -» a=z v b=z) IA4, 13 ' 53d=e R. Trans = 52, 51
1—15 3x3y[Px A Py A x^ty A ; EA28
A Vz(Pz -> x=z v y=z)] 13 14 (a:x; b:y) 55 d=e A d^e IA 53,54
1—16 3x3y[Px A Py A x*y A •56 c=d Ai ECQ55
A Vz(Pz-4 x=z v y=z)] £32,4-15 •57 c=d Ai Ev 37, 45-50, 51-56
17 3x3y(Px A Py A x;¿y) A VxVyVz(Px A Py A Pz —» -58 c=d A &d Ev 36, 39-43, 44-57
—> x=y v x=z v y=z) —> 3x3y[Px A Py A xly A •59b=c
A Vz(Pz -> x=z v y=z)] I-» 1-16 •60a=d
18 3x3y[Px A Py A x^y A Vz(Pz —» x=z v y=z)] •61 a=e
19 Pa A Pb A a*b A Vz(Pz ->a=z v b=z) 62d=a R. Sim ^'60
20 Pa A Pb A a*b EA19 63 d=e R. Trans = 62, 61
21 3x3y(Px APy Ax*y) E 20 (aaq b:y) EA28
22 Vz(Pz->a=z vb=z) EA19 65 d=e A i IA 63, 64
23 -iVxVyVz(Px A Py A Pz —> x=y v x=z v y=z) • 66 c=d A c/d ECQ65
24 3x3y3z-.(Px A Py A Pz -^ • 67 b=e
—> x=y v x=z v y=z) Neg Gen 23 68 c=b R. Sim = 59
25 -i(Pc A Pd A Pe -» c=d v c=e v d=e) 69c=e R. Trans = 68, 67
26 Pe A Pd A Pe A -.(c=d v c=e v d=e) Def -»/A 25 EA28
27 -i(c=d v c=e v d=e) EA 26 71 c=e A c¿e IA 69, 70
28 Cí^d A Cí^c A d^c DM v/A27 ' • 72 c=d A c^d ECQ71
29 Pe -» a=c v b=c EV 22 (z:c) , * •73d=e Ev 37, 61-66, 67-72
30 Pd -> a=d v b=d EV 22 (z:d) •74b=d
31 Pe -» a=e v b=c EV 22 (z:e) 75c=b R. Sim = 59
32 Pe EA26 76c=d R. Trans = 75, 74
33 Pd E A 26 EA28
34 P e . . . . . . EA26 •78 c=d A . IA 76, 77
35 a=c v b=c E-> 29, 32 • 79 c=d A c*d Ev 36, 60-73, 74-78
36a=dvb=d E^ 30, 33 80 c=d A c*d Ev 35, 38-58, 59-79
37a=e vb=e E-> 31, 34 -81 Ra A->Ra ECQ80
I—38 a=c -82Ra A-iRa E3 24, 25-81
||—39a=d

112 113
 LÓGICA C L A S I C A DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

83 VxVyVz(Px A P y A P / -»
—>x=y v x=z v y=z) Abs 23-82
-84 3x3y(Px A Py A x*y) A VxVyVz(Px A Py A Pz -»
t 29 3x3y[x*y A Vz(Pz <H> x=z v y=z)]
30 3x3y[x7ty A Vz(Pz o x=z v y=z)]
B 28 (a:x; b:y)
E3 1, 2-29
31 3x3y[Px A Py A x^y A Vz(Pz -> x=z v y=z)] —>
—»x=y v x=z v y=z) lA21,83 -» 3x3y[x^y A Vz(Pz <-» x=z v y=z)] 1-^ 1-30
85 3x3y(Px A Py A x*y) A VxVyVz(Px A Py A Pz -> - 32 3x3y[x^ty A Vz(Pz o x=z v y=z)]
->x=y v x=z v y=z) E3 18, 19-84 — 33 a*b A Vz(Pz o a=z v b=z)
86 3x3y[Px A Py A x^y A Vz(Pz —> x=z v y=z)] -> 34 a/b E A 33
-> 3x3y(Px A Py A x/y) A VxVyVz(Px A Py A Pz -» 35 Vz(Pz <-> a=z v b=z EA 33
->x=y vx=z v y=z) I-» 18-85 36 Pe <-> a=c v b=c EV 35 (z:c)
873x3y(Px APy Ax*y) A 37 Pe o a=c v b=c Eo36
A Vx VyVz(Px A Py A Pz —> x=y v x=z v y=z) <-> 38 Vz(Pz o a=z v b=z ,. IV37(c:z)
<-» 3x3y[Px A Py A x*y A Vz(Pz -» x=z v y=z)] !<-» 17, 86 39 Pb o a=b v b=b EV35(z:b) :
40 Vx(x=x) L. Refl =
11) 41 a=a EV40(x:a)
42 b=b EV 40 (x:b)
H 3x3y[Px A Py A x*y A Vz(Pz -» x=z v y=z)]
43 a=a vb=a Iv41
o 3x3y[x*y A Vz(Pz o x=z v y=z}] Iv42
44 a=b v b=b
- 1 3x3y[Px A Py A x^y A Vz(Pz —» x=z v y=z)]
45 a=b v b=b oPb Eo39
|- 2 Pa A Pb A a*b A Vz(Pz -» a=z v b=z) E->45,44
3 Vz(Pz -» a=z v b=z) 46 Pb
EA 2 EV38(z:a)
47 Pa o a=a v b=a
4 Pa A Pb A a*b EA 2 48 a=a v b=a -> Pa .. Eo47
5 a*b EA 4 E->48,43
49 Pa
I— 6 a=c v b=c L\49,46
50 Pa A Pb
i—7a=c ..-'<•• , U50, 3 4
8 Pa EA 4 52 Pa APb A a*b A Vz(Pz ->a=z v b=z) IA 51, 38
9 Vx(x=a -> Px) 1= 8
53 3x3y[Px A Py A x/y A
10 c=a -» Pe EV 9 (x:c) A Vz(Pz -> x=z v y=z)] B 52 (a:x; b:y)
11 VxVy(x=y —> y=x) L. Sim =
54 3x3y[Px A Py A x^y A
12a=c^c=a EV 11 (x:a; A Vz(Pz -» x=z v y=z)] E3 32, 33-53
13 c=a E-> 12, 7 55 3x3y[x;¿y A Vz(Pz <-> x=z v y=z)] ->
"-14 Pe E-» 10, 13 -4 3x3y[Px A Py A x^y A Vz(Pz -^ x=z v y=z)] I-* 32-54
r!5 b=c
56 3x3y[Px A Py A x*y A Vz(Pz ^ x=z v y=z)] <->
16 Pb
o 3x3y[x*y A Vz(Pz o x=z v y=z)] lo 31, 55
17 Vx(x=b -* Px) 1=16
18c=bH>Pc EV17(x:c) 12)
19 VxVy(x=y -» y=x) L. Sim =
20 b=c -> c=b EV 19 (x:b; y:c) I—i3x3y(Px A Py A x=y) VxPfx
21 c=b E-> 20, 15 — 1 ->3x3y(Px A Py A x=y)
u 22Pc E->18,21 2 VxVy-.(Px A Py A x=y) Neg Part 1
L-23 Pe Ev 6, 7-14, 15-22 p3 VxPfx
24 a=c v b=c -» Pe I-> 6-23 4 -.(Pfa A Pía A fa=fa) EV 2 (x:fa; y:fa)
25 Pe -> a=c v b=c EV 3 (z:c) 5 -.Pfa v -iPfa v fa^fa DM A/V 4
26 Pe <-> a=c v b=c lo 24, 25 6 Pfa EV 3 (x:a)
27Vz(Pz<-> a=zvb=z) IV26(c:z) 7 --Pía v fa/fa SD 5, 6
28 a*b A Vz(Pz o a=z v b=z) IA 5, 27 •-Sfa/fa SD7,6

114 115
 LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A LOS E J E R C I C I O S

L- 9-.VxPfx I-.3-8 1 1'— 17 d=e A d*e ECQ16

10 --3x3y(Px A Py A x=y) o -.VxPfx lo 1-9 '— 1 8 d=e A d?¿e £35,6-17
' 19 Vx3y(x;¿y) Abs 3-18
13) 1 20 Vx3y(x*y) E3 1,2-19
VxVy(x=y) <-> 3xVy(x=y)
21 3x3y(x*y) -> Vx3y(x*y) lo 1-20
r-22 Vx3y(x*y)
l VxVy(x=y)
E 2 3xVy(x=y) Des Cuant 1
2 3 3 x 3 vi x T^V )
24 Vx3y(x?¡y) o 3x3y(x*y)
Des Cuant 22
lo 22-23
3 VxVy(x=y) o 3xVy(x=y) lo 1-2
25 3x3y(xí¿y) o Vx3y(x7ty) lo 21, 24
i 5 Vy(a=y)
i— 6 ->VxVy(x=y) 15)
Neg Gen 6
73x3y(x*y) H -aüx3y(x;£y) o (3xFx o VxFx)
1 -i3x3y(x;£y)
9a=b EV 5 (y:b)
10a=c EV 5 (y:c) 2 VxVy-i(x^y) Neg Part 1
11 b=a R. Sim = 9 3 -i(a^b) EV 2 (x:a; y:b)
R. Trans = i— 4 3xFx
12b=c
13 b=c Ab^c IA 12, 8 i-5Fa
1—14 d^d ECQ13 6a=b E-.3
7 VxVy(x=y A Fx o Fy) L. Leibniz
'— 15 d^d E3 7, 8-14
'— J 6 VxVy(x=y) Abs 6-15 8 a=b A Fa o Fb EV 7 (x:a; y:b) .
17 VxVy(x=y) £34,5-16 9 a=b A Fa IAÓ, 5
18 3xVy(x=y) —> VxVy(x=y) lo 4-17 L-10 Fb Eo 8, 9 !?
11 Fb - '.' • / ; . ¡ E3 4, 5-10
19 VxVy(x=y) o 3xVy(x=y) lo 3, 18
!— 12 VxFx IV 11 (b:x)
13 3xFx o VxFx •". •• ' ••••:• lo 4-12
14) •-14 VxFx
L15 3xFx Des Cuant 14
3x3y(x^y) o Vx3y(x^y) 16 VxFxo3xFx lo 14-15
3x3y(x#y) — 173xFxo VxFx lo 13, 16
18 ->3x3y(x*y) o (3xFx <-» VxFx) lo 1-17
—3
4 3xVy-i(x*y) Neg Gen, Neg Part (Interc) 3
5 3xVy(x=y) "'"' "" E-i (Interc) 4 16)
— 6 Vy(a=y) I- 3x3yVz[x;¿y A (z=x v z=y)] o 3x3yVz[x*y o (z=x v z=y)]
7a=b EV 6 (y:b) — 1 3x3yVz[x*y A (z=x v z=y)]
8 a=c EV 6 (y:c) — 2 Vz[a^b A (z=a v z=b)]
9 VxVyVz(x=y Ay=z —»x=z) L. Trans = 3 a*b A (c=a v c=b) EV 2 (z:c)
10 VxVy(x=y o y=x) L. Sim - 4 a^b EA 3
11 a=b ob=a EV 10 (x:a; y:b) 5 c=a v c=b o a^b Cr Pr 4
12b=a Eo 11,7 6 c=a v c=b EA 3
13 b=a Aa=c o b=c EV 9 (x:b; y:a; z:c) 7 a*b o c=a v c=b Cr Pr 6
14 b=a A a=c IA 12, 8 8 a*b <-> c=a v c=b If-> 7, 5
15b=c Eo 13, 14 9 Vz[a*b o (z=a v z=b)] IV 8 (c:z)
16 b=c Ab^c IA 15, 2

116 117
 LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A LOS E J E R C I C I O S

t lO 3x3yVz[x*y <-> (z=x v z=y)]

11 3x3yVz[x*y <-> (z=x v z=y)j
12 3x3yVz[x*y A (z=x v z=yj] -»
E 9 (a:x; b:y)
E3 1,2-10 IILIÓ15 3x3y(x?ty)
Vz[3x3y(x*y) v Pz] IV 14 (a:z)
v VxPx Dist Gen Disy, Mut Var (Interc) 15
L— 17 3x3y(xí¿y) v VxPx E32, 3-16
—» 3x3yVz[x?ty <-» (z=x v z=y)] 18 Vx3y(Px <-> x=y) -4
13 3x3yVz[x*y <-> (z=x v z=y)] -> 3x3y(x*y) vVxPx I-*l-17 ;;
—14 Vz[a*b <-» (z=av z=b)] «n
3x3y(x;¿y) v VxPx
15 a^b <-> a=a v a=b EV 14 (z:a) -t f\1 w,r ~i / n
-> vxdy(Fx 4- \ x-y)
-16a=b 3xVy-i(Px<-> x = y ) Neg Gen, Neg Parí (Interc) 20
17 a=a va=b -» a*b Eol5 22 Vy-.(Pa <-> a=y)
18 -i(a=a v a=b) MT17, 16 23 3x3y(x;£y)
19 a*a A a A DM v/Al8
20a*a EA19 25 k ( P a O a = a )
L. Refl = EV 22 (y:a)
21 Vx(x=x) 26 ->[(Pa -> a=a ) A (a=a ->Pa)]
EV 21 (x:a) Def<-> (Interc) 25
22a=a 27 -.(Pa -> a=a) v -i(a=a -4 Pa)
IA 22, 20 DMA/V26
L-23 a=a Aa^a 28 (Pa Aa/a) v (a=a A -.Pa)
In 16-23 Def A/-> (Interc) 27
24a*b r- 29 Pa Aa;¿a
25 a/b <-» c=a v c=b EV 14 (z:c) 1— 30 a^a EA 29
26 a^b —> c=a v c=b E<->25 .
27 c=a v c=b E-> 26, 24 1—31 a=a A ->Pa
32 -.(Pa <-» a=b) EV 22 (y:b)
28 a^b A (c=a v c=b) IA 24, 27 33 -.[(Pa -> a=b) A (a=b -4 Pa)] Def o (Interc) 32
29 Vz[a*bA(z=a vz=b}] IV28(c:z) 34 -i(Pa -> a=b) v -i(a=b -> Pa) DM A/v33
I— 30 3x3yVz[x^y A (z=x v z=y}] B 29 (a:x; b:y) 35 (Pa A a*b) v (a=b A -.Pa) Def A/-> (Interc) 34
— 31 3x3yVz[x5*y A (z=x v z=y)] E3 13, 14-30 1—36 Pa A a A
32 3x3yVz[x*y <-> (z=x v z=y)] -> 37 Pa EA36
—> 3x3yVz[xí*y A (z=x v z=y)] I-»13-31 38 -.Pa EA31
33 3x3yVz[x*y A (z=x v z=y)] <-> •—39 Pa A -.Pa IA 37, 38
<-» 3x3yVz[x*y <-> (z=x v z=y)] !<-» 12, 32 r—40 a=b A ->Pa
17)
41 ->(Pa o a=c) EV 22 (y:c)
42 i[(Pa -4 a=c ) A (a=c ->Pa)] Defo (Interc) 41
I- Vx3y(Px <-» x=y) <-> 3x3y(x^y) v VxPx 43 -.(Pa -> a=c) v -i(a=c —> Pa) DM A/V 42
1 Vx3y(Px o x=y) 44 (Pa A a^c) v (a=c A •-.Pa) Def A/-> (Interc) 43
2 3y(Pa <-» a=y) EV 1 (x:a) r 45 Pa A aA;
46 -^Pa EA31
— 3 Pa o a=b
4 Pa -»a=b 47 Pa EA45
5 a=b -4 Pa L48 Pa A -.Pa lA47,46
6 -iPa v a=b Def r-49 a=c A -.Pa
^7--Pa 50 a=c EA49
8 a*b MT 5, 7 51 a=b EA40
9 3x3y(x^) 13 8 (a:x; b:y) 52 b=a R. Sim = 51
L10 3x3y(x?íy) v Pa Iv9 53 b=c R. Trans = 52, 50
ll a=b 54 b=c A b/c IA 53, 24
C12 Pa
13 3x3y(x*y) v Pa
14 3x3y(x^y) v Pa
E-»5, 11
Ivl2
Ev 6, 7-10, 11-13
L-55 Pa A -.Pa
L- 56 Pa A -iPa
57 Pa A -.Pa
ECQ54
Ev 44, 45-48, 49-55
Ev 35, 36-39, 40-56

118 119
 LÓGICA CLÁSICA Dt PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

•58 a*a ECQ57 19)

E 59
60
61 VxPx
Ev 28, 29-30, 31-58
E3 23, 24-59
—1 -i3x3y-iVz[(x*y v z^y) v x=z]
—2 -"VxVyVz(x=z v y^z)
3 VxVyVz[(x^y v z#y) v x=z] Neg Part, E-> 1
1-33x-iVy(x=y)
h
62 -.(Pa EV 22 (y:a) 4 3x3y3z->(x=z vy5^z) Neg Gen 2
63 -i[(Pa -> a=a) A (a=a -» Pa)] Def<-> (Interc) 62 — 5 -i(a=c v b*c)
64 -i(Pa —> a=a) v ->(a=a —» Pa) DM A/v63 6 a^c A b=c DM V/A 5
65 (Pa A a^a) v (a=a A -iPa) Def A/-» (Interc) 64 7 (a/b v c*b) v a=c EV 3 (x:a; y:b; z:c)
,-66Pa A 8 sote EA 6
6 Y a^a EA66 9 a/b v c A SD7, 8
1—68 a=a A 10 b=c EA6
69 -Pa EA68 11 VxVy(x=y —> y=x) L. Sim =
70 Pa EV 61 (x:a) 12 b=c -> c=b EV11 (x:b;y:c)
71 Pa A - IA70, 69 13c=b EH> 12, 10
"- 72 a#a ECQ71 14 a^b SD 9, 13
73 Ev 65, 66-67, 68-72 15 3x3y-i(x=y) E 14 (a:x; b:y)
74 Ev 19, 23-60, 61-73 ^16 3x-iVy(x=y) Neg Gen (Interc) 15
75 ECQ74 17 3x-iVy(x=y) E3 4, 5-16
76d*d E3 21, 22-75
77 Vx3y(Px<H>x=y) Abs 20-76
20)
-» Vx3y(Px <->x=y) I_» 19-77 ;, . :'. —1 VxVy(x=y o Sx A Sy)
79 Vx3y(Px o x=y) <-> —2 VxVy(-.R(fx)y A -.Ryfx -» fx=y) I—>VxVy(-iRyx A -iRxy)
<-» 3x3y(x^y) v VxPx I<->18,78 i ( í" : " —3 -iVxSx
4 3x--Sx Neg Gen 3
18) —5-nSb
— 6 VxVy(-iRyx A ->Rxy)
—1 ->3x-iVy(x*y -» ->Ryx v -iRxy)
h iVxRax 7 -.R(fa)b A --Rbfa EV 6 (x:b; y:fa)
—2 3x-i(Rxa -> x=a)
3 VxVy(x^y -* --Ryx v -iRxy) Def Gen 1 8 iR(fa)b A --Rbfa -> fa=b EV 2 (x:a; y:b)
i— 4 -.(Rba -» b=a) 9fa=b E-> 8, 7
5 Rba A b^a Def A/-» 4 10fa=b <->SfaASb EV 1 (x:fa; y:b)
6 b^a -» -iRab v -iRba EV 3 (x:b; y:a) 11 fa=b -»SfaASb EolO
7 b?ta EA 5 12 Sfa A Sb
8 ^Rab v -iRba E^ 6, 7 13 Sb EA12
9 Rba EA 5 14Sb A-.Sb ¡Al3, 5
10 -.Rab SD 8, 9 15 -iVxVy(-iRyx A --Rxy) I-.6-14
113x-.Rax E10(b:x) 16 ->VxVy(-iRyx A -iRxy) E3 4, 5-15
L-12-.VxRax Neg Gen 11
13-.VxRax E32,4-12 21)
— 1 3x3yVz[x^y A y=u A z=x A (y^z -> -iMzb) A (-Mze v x=z)]
I—i(-iMua -» Mcb)

r 2 Vz[a^c A c=u A z=a

3 a*c A c=u A c=a A ( —>
—> ->Mzb) A (->Mze v a=z)]
A (iMce v a=c) EV 2 (z:c)

120 121
 LÓGICA CLÁSICA DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

4 a^c A c=u A c=a EA 3 23 a=b E^ 22, 2

5 a*c EA 4 24 a=b A b=c U23,18
6 c=a EA 4 25a=c E-> 20, 24
7 a=c R- Sim = 6 26 a=c —> c=a EV 21 (x:a; y:c)
8 a=c IA 7, 5 27c=a E^ 26, 25
ECQ8 28 c=a -» Re EV 13 (x:c)
10d*d E3 1,2-9 29 Re E^ 28, 27
11 -.(-iMua-> Mcb) ECQ10 30 Re A -.Re U29, 17
L-31 Rd A -.Rd ECQ 30
22) ^32 Rd A -.Rd E3 11, 12-31
—1 3xVy[(a=x A Sx) A (y? -Sy)] —33 3x[Rx A x=b A >3y(-.RyAX=y)] Abs 3-32
—2 Vx(x=a -> Px A -.Rx) I- Sa A -.(Qa -> Ra) 34 b=a ->
|- 3 Vy[a=b A Sb A (y;¿b A —> 3x[Rx A x=b A 3y(-.Ry A x=y)] I->2-33
4 (a=b A Sb) A (b*b A -.Sb) EV 3 (y:b)
EA 4 24)
5 b*b A -.Sb
6b*b EA 5 1 -i3x[-iRx v -iVy(xíéy -» Ry) v H-
ECQ6 2 Vx-i[-iRx v -iVy(x*y -» Ry) v x Neg Part 1
8 c*c E3 1, 3-7 3 -.[-.Rb v --Vy(b^y -> Ry) v b/a] EV2(x:b)
9 Sa A -.(Qa -> Ra) ECQ 8 4 Rb A Vy(b^y -> Ry) A b=a DM V/A 3
5Rb EA4
23) 6 b=a ^ Rb CrPr5
7-iRb Ctrp 6
—1 Ra I- b=a -»3x[Rx A x=b A ->3y(->Ry A x=y)]
-2b=a
— 3 ->3x[Rx A x=b A ->3y(->Ry A x=y)] 25)
4 Vx->[Rx A x=b A -i3y(->Ry A x=y)] Neg Part 3 —1 -iSa v Sb I- -.(Qa <-» Qb) -> Vx3y[--Sa v (Sb A x=y)]
5 -.[Rb A b=b A -.3y(-.Ry A b=y)] EV4(x:b) I—2 ->Vx3y[-.Sa v (Sb A x=y)]
6 -.Rb v b^b v 3y(->Ry A b=y) DM A/v5 3 3x->3y[-.Sa v (Sb A x=y)] Neg Gen 2
7 bA v ->Rb v 3y(-.Ry A b=y) ; Conm v (Interc) 6 4 3xVy->[->Sa v (Sb A x=y)] Neg Part (Interc) 3
8 Vx(x=x) L. Refl = — 5 Vy-.[->Sa v (Sb A c=y)]
9b=b EV 8 (x:b) 6 -.[->Sa v (Sb A c=c)] EV 5 (y:c)
10 ->Rb v3y(-iRy A b=y) » ; i SD7, 9 7 Sa A -.(Sb A c=c) DM V/A 6
11 3y[-.Rbv(-.Ry Ab=y)] i Dist Cnda Part pisy 10 8 Sa EA7
12 -iRb v(-.Rc Ab=c) , 9-.(Sb AC=C) , ••'• EA7
13 Vx(x=a->Rx) "• ' . 1=1 DM A/v9
14b=a^Rb EV 13 (x:b) 11 Sb SD1, 8
15 Rb E^ 14, 2 SD10, 11
16--Re Ab=c SD 12,15 -13 ECQ 12
17 -.Re EA16 -14 E34, 5-13
18b=c EA16 15 Vx3y[-.Sa v (Sb Ax=y)] Abs 2-14
19 VxVyVz(x=y Ay=z —>x=z) L. Trans = 16 -.(Qa o Qb) ->
20 a=b A b=c —> a=c EV 19 (x:a; y:b; z:c) —> Vx3y[->Sa v (Sb AX=y)] CrPrl5
21 VxVy(x=y —> y=x) , , L. Sim =
22 b=a -»a=b EV21 (x:b;y:a)

122 123
 LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A LOS E J E R C I C I O S

26) 7 Vx(x=x) L. Refl =

—1 -iVx(->Sx v 8 a=a EV 7 (x:a)
—2 3x[x=fb A ->3y(Sy A A$X] H3xRfx 9 a=a —> Mab £<-> 6
3 3x-i(-iSx v -.Rx) Neg Gen 1 10 Mab E-» 9, 8
— 4 ->(->Sa v -iRa) 1 1 Pa v Pb -» Mab Cr Pr 10
- 5 c=fb A ->3y(Sy A Se -123x(PxvPb^Mxb) H 11 (a:x)
6c=fb EA5 13 3x(Px v Pb -» Mxb) E3 3, 4-12
7 --3y(Sy EA5
8 Se EA5 28)
9 Vy-.(Sy A Neg Part 7
10 Vx(x=c -> Sx) 1=8 — 1 --3x(x*gb v Pfx)
11 fb=c ->Sfb EV 10 (x:fb) h Vx3y[-.(Qy o x=y v v Vx(Pfx -> Qx)
12 VxVy(x=y — y=x) L. Sim = 2 Vx-.(x*gb v Pfx) Neg Part 1
13c=fb ->fb=c EV 12 (x:c; y:fb) — 3 -A/x(Pfx -> Qx)
14fb=c E-> 13, 6 4 3x-.(Pfx -> Qx) Neg Gen 3
15Sfb Er+11,14 r—5-i(pfa -»Qa)
16 Sa DM V/A 4 6 Pfa A -.Qa Def A/-> 5
17i(Sa EV 9 (y:a) 7 -i(a?tgb v Pfa) EV 2 (x:a)
18 ->Sa v a=c DM A/V 17 8 a=gb A -.Pfa DM V/A 7
19 Sa EA16 9 -.Pfa EA 8
20a=c SD18, 19 10 Pfa EA 6
21 Ra EA16 11 Pfa A -.Pfa lAlO, 9
22 VxVyVz(x=y Ay=z -»x=z) L. Trans = •12PfdA-.Pfd ECQ11
23 a=c A c=fb -» a=fb EV 22 (x:a; y.c; z:fb) •13PfdA-.Pfd £34,5-12
24 a=c A c=fb IA 20, 6 14 Vx(Pfx -> Qx) Abs 3-13
25a=fb f" "•' E-> 23, 24 15 Vx3y[-.(Qy <-4x=y v x^gb)] v Vx(Pfx Qx)Iv 14
26 Vx(x=a->Rx) 1=21
27fb=a Rfb EV 26 (x:fb) 29)
28 a=fb - fb=a EV 12 (x:a; y:fb)
29fb=a E-» 28, 25 —1 -i3x[Px -4 3y(Py A x=y)]
30 Rfb E-> 27, 29 —2 Rfa -4 Vx-i[Px A Vy(y*x -> i A x=fa] h Pfa -> -.Rfa
-31 3xRfx E 30 (b:x) 3 Vx-.[Px -> 3y(Py A x=y)] Neg Part 1
-32 3xRfx E3 2, 5-31 i— 4 Rf a
33 3xRfx E3 3, 4-32 5 Vx--[Px A Vy(y*x -» -.Py) A x=fa] E-> 2, 4
6 -.[Pfa -» 3y(Py A fa=y)] EV 3 (x:fa)
27) 7 Pfa A ->3y(Py A fa=y) Def A/^ 6
8 Pfa EA 7
—1 i[i3xVy{(Ry <-> x=y) A (Myb o y=x)} v --Pe] 9 i3y(Py A fa=y) EA 7
I- 3x(Px v Pb -> Mxb) 10 Vy-.(Py A fa=y) Neg Part 9
2 3xVy{(Ry <-> x=y) A (Myb <-> y=x)} A Pe Def A/V 1 11 -.[Pfa A Vy(y*fa -> --Py) A fa=fa] EV 5 (x:fa)
3 3xVy{(Ry <-> x=y) A (Myb <-> y=x)} EA2 12 -.Pfa v -A/y(y/fa -» -.Py) v fa*fa DM A/V 1 1

r4 Vy{(Ry <-» a=y) A (Myb <->y=a)}

5 (Ra <-> a=a) A (Mab <-> a=a)
6 Mab a=a

124
EV 4 (y:a)
EA5
13 --Vy(y/fa -4 -.Py) v fa^fa
14 -.(Pfa A fa=fa)
15Pfa-^fa^fa

125
SD 12, 8
EV 10 (y:fa)
Def ^/A 14
 LÓGICA CLÁSICA DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

L16 fa*fa
17 --Pía
E-» 15, 8
ECQ 16
19 -.(-.Sfb v -.Rfb) -> fb=d
20fb*d R. Sim = (Interc) 6
18Rfa-»iPfa I-M-17 21 -.Sfb v-.Rfb MT 19, 20
19Pfa->-.Rfa CtrplS 22 Sfb EA17
23-.Rfb SD21.22
24 Rfb EA17
3°) /!'Y<f -25 Rfb A -.Rfb IA 24, 23
—1 -.(Rgb A Qgb -> fa=gb) -26 a*fb Abs 10-25
—2 3x[Rx A Qx A Vy(Ry A Qy -> x=y) A x=fa] I- ->Qfb -27 (Sa ->Rfb)-^a^fb I-* 9-26
3 Rgb A Qgb A fa*gb Def A/-> 1 -28 (Sa -»Rfb)-H>a*fb E3 2, 4-27
— 4 Re A Qc A Vy(Ry A Qy —> c=y) A c=fa 29 (Sa E3 1, 3-28
5 Rgb A Qgb EA 3
6 Vy(Ry A Qy -> c=y) A c=fa EA 4 32)
7 Vy(Ry A Qy -> c=y) EA 6
8 c=fa -1 3xVy[Qx A x=b A Qy A x*y]
9 Rgb A Qgb -> c=gb EV 7 (y:gb) -2 3x[Rx A Vy(yí^x —> -.Ry) A x=a] A
10 c=gb E->9, 5 -3 -dx[(Qx v Rx -» Sx) A i(Sx -* Rx v Qx)]
11 fa=c R. Sim = 8 I- 3x3y[Sx A Sy A x/y A Vz(Sz -> z=x v z=y) A x=a A y=b]
12 fa=gb R. Trans = 11,10 • 4 Vy[Qc A c=b A Qy A c^y]
13 fa*gb EA3 5 Qc A c=b A Qc A c*c EV 4 (y:c)
14 fa=gb A Étoigb IA 12, 13 6 c*c EA 5
-15 fe/fe ECQ 14 • 7 e*e ECQ 6
16 fe*fe E32,4-15 8 e/e E3 1, 4-7
17-.Qfb ECQ 16 9 3x3y[Sx A Sy A x/y A
A Vz(Sz -> z=x v z=y) A x=a A y=b] ECQ 8

3D i,,, • .. ••.;.,.. , ,,,>,..

33)
—1 3x[Vy{y=x <-» -"(-"Sy v -.Ry)} A x=a]
—2 3x[Vy(y=x <-» -.(-.Sy v -.Ry)} A 1- (Sa -> Rfb) -» a^fb —1 3xVy[(Py A Qy <-> y=x) A x=a]
3 Vy{y=c <-> -"(->Sy v -.Ry)} A c=a —2 3xVy[(->Qy <-> y=x) A x=b]
4 Vy{y=d <^ -.(-.Sy v -.Ry)} A d*fb 3 Vy[(Py A Qy o y=c) A c=a]
5 c=a EA3 I— 4 Vy[(iQy o y=d) A d=b]
EA4 r-5a=b
7 Vy{y=c <-> iSy v <Ry)} EA3 6 (Pa A Qa o a=c) A c=a EV 3 (y:a)
8 Vy{y=d o .Sy v .Ry)} EA4 7 Pa A Qa o a=c EAÓ
9 Sa -> Rfb 8 c=a EAÓ
-10 a=fb 9a=c R. Sim = 8
11 c=fb R. Trans = 5,10 10 a=c -> Pa A Qa E<-> 7
12 c/d R. Leibnizó, 11 11 Pa A Q a E-> 10, 9
13 fb=c <-^ -.(-.Sfbv .Rfb) EV 7 (y:fb) 12 Qa EAÜ
14fb=c R. Sim =11 13 (-.Qao a=d) A d=b EV4(y:a)
15fb=c -»-.(-.Sfb v iRfb) 14d=b EA13
ló^-.Sfb v-.Rfb) 15,14 15b=d R. Sim = 14
17 Sfb A Rfb DM v/Al6 16a=d R. Trans = 5, 15
18 fb=d<-^ -.(-.Sfbv .Rfb) EV 8 (y:fb) 17-iQa <-^a=d EA13

126 127
 LÓGICA CLÁSICA DE PRIMER ORDEN: E S T R A T E G I A S

L18 a=d->-.Qa
19iQa
20 Qa A --Qa
E-»18,16
IA12,19
I-, 5-20
EJERCICIOS IX
I—22 a*b E3 2,4-21
23 a*b E3 1,3-22

BLOQUE I

l.LfixPxa]
2. [ixAxb]=c
3. [ a xAxb]=[ \]
4. N[axPx[iyPya]]
5. C[ixPx[lyPya]]e
6. [ixMx[ayPya]]=[ixMxk]
7. -iLhxAxd]
8. -iL[ixPxk]
9. 3x13x23x3[xi^x2 A A Vy(Hy[ i zRzh]
f4 x1=y v x2=y v x 3 =y)j
10. iFftxRxj]

BLOQUE II

1. 3x[Vy(Pxa <-» y=x) A Lx]

2. 3x[Vy(Ayb <-> y=x) A y=c]
3. a) 3x[Vy(Ayb *-» y=x) A 3z{Vw(Awd <-> w=z) A x=z}]
b) 3x[Vy(Ayb <-> y=x) A Axd] A 3x[Vy(Ayd o y=x) A Axb]
4. 3x[Vy(Pya <-> y=x) A 3z{Vw(Pwx <-» w=z) A Nz}]
5. 3x[Vy(Pya <-> y=x) A 3z(Vw(Pwx o w=z) A Czej]
6. 3x![Vx2(Px2a o x 2 =x,) A 3yi(Vy 2 (My 2 X! <^ y2=y!> A
A 3z![Vz2(Mz2k o z2=Z!) A Zi=xi]}]
7. a) Paráfrasis 1: Hay exactamente un autor de "Cien años de
soledad" y no es peruano.
3x[Vy(Ayd <-» y=x) A -iLx]

128 129
 LÓGICA CLÁSICA DE PRIMER ORDEN: E S T R A T E G I A S

b) Paráfrasis 2: No hay exactamente un autor de "Cien años

de soledad" que sea peruano.
-.3x[Vy(Ayd <-> y=x) A Lx]
8. a) Paráfrasis 1: Hay exactamente un padre de Juana y no es
peruano.
EJERCICIOS X
3x[Vy(Pyk <-> y=x) A -iLx]
b) Paráfrasis 2: No hay exactamente un padre de Juana que
sea peruano.
->3x[Vy(Pyk <-> y=x) A Lx]
9. 3xi[Vx 2 (Rx 2 h <-> x 2 =x,) A 3y13y23y3{yi^y2 A y^y3 A y2*y3 A
A Vy 4 (Hy 4 X! <^ y 4 =yi v y4=y2 v y4=y3)}]
10. 3xi[Vx 2 (Rx 2 j <-» x 2 =X]) A -iFx]

BLOQUE I

1)
V—1 Pa vPb
V—2Pa-»RcATd
—3 Pb -» Re A Td
.(Re ATd)

5 Pa Vv 1 6Pb Vvl
7 -.Pa V-» 2 V 8 Re A Td
X 9 Re VA 8
10 Td VA8

9 -.Re FA 4 9-.Td F A 4
X X
VÁLIDO

130 131
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS EJERCICIOS

2) ro CONTRAEJEMPLO:
T [Re] = 1; [Pa] = 1; [Qa] = 1; [Ra] = 1; [Tb] = 1.
Posible realización que hace verdaderas a las premisas y falsa a
la conclusión:

zQ»
<<

*r cu¿ cuI
es t t

> < <

~r" O U o
F Oí Oí (2
i (N
T

NO VÁLIDO

132 133
 LÓGICA C L Á S I C A DE P R I M E R O R D E N : E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

3) 4)

£
40
¿? 40

T^
fi-s
Ty
Ja t
</5 '

¡•8"*
42
«
-ífr i 42
cSü5
oo ON
n

NO VALIDO
CONTRAEJEMPLO:
[Pb] = 0; [Sba] = 1; [Rab] = 1; [Sab] = 0.
VÁLIDO

134 135
 LÓGICA CLASICA DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A LOS E J E R C I C I O S

Posible realización que hace verdaderas a las premisas y falsa

la conclusión: CONTRAEJEMPLOS:
&=<{&, b},P, R, S> l)[Sb]=0;[Qa] = 0;[Qb] = l;[Pa] = l.
P = 0;R = (<a, b>); S = (<b, a>). 2) fSb] = 1; [Qa] = 0; [Qb] = 1; [Pa] = 1; [Rb] = 1.

5) Posible realización que hace verdaderas a las premisas y falsa a

la conclusión:
[i, jl=<{a,b},P,Q,S,R>

6)
(N
t

NO VÁLIDO

NO VÁLIDO

136 137
 LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A LOS E J E R C I C I O S

7)
CONTRAEJEMPLO: T
[Qa] = 0; [Ra] = 0; [Pa] = 1; [Ta] = 0.
40
Posible realización que hace verdaderas a las premisas y falsa a a
la conclusión: > X
Jt=<{a},P,R, Q,T> «

>. ' '.. ' /^D

I\s (N
d.
/
/TH

XK <N (N
T T < <
10
< / / >»
u, /
«/
H í
/ •n - \t
(N \
F2
<

^•T&*
^ \ <5 « rt
\ 1 «¡esíH X
H^ ^H tN ro
<N (N (N
<f2!
-?-
\ /
«¿T^^^
q*. -—-
¿ </3
<(
/
t^
N^ ,5
« t" t
« rt
(N
.::.. A\0T
6-
., í
>

1/5 < r ™ x % -*'"</3¡- 1

^H >
< « C-r5 J2 < < < a 43 i 'V ; u
« 5 i r C . S - r 3 rt « H O*' V5
CL, r T r r &-CL, cd r r • : ' • 42 ,';
;~ - < X
(N ^o i\o v f ,. •>. CX «
'v "'*' • > x.1, .;'. l.¡'; . c-
r
H o
/""" [x. OO
(N
/^
/ T^
10 /
»
< /
I*/
«/ n
Q?( r4 H
¿\ <
<3 « v
Pí «H X

V /OO ON
\
7-?^
/
i/3 /
<
( ^
«
c.
m \
«
1/5
< X

VÁLIDO

138 139
 LÓGICA CLÁSICA DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

8)
ON
1/3
< U-
í
OS.
r
t
« T í t Tt
c-

r^

TH* 55
« T> r «
-itf\
T ^
T íü- ™ «
Di '«
« T-
*it r ^
Di «
.« < H
:c2
£r (2« rr «c¿ oá« J?«t
(N L/~) VD t^** OO 0*s ^^

VÁLIDO

VÁLIDO (LA CONCLUSIÓN ES UNA LEY LÓGICA)

140 141
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

10) 11)
^—1 3x(Px->Qx)
^—2 -.(3xPx -> 3xQx)
\ 3xPx F->2 vo
? 4i3xQx F^2
Í55
T—<

V 5 Pa -> Qa V3 1 (x:a) T
6 Pb V3 3 (x:b)
7 -.Qa F3 4 (x:a)
8 -Qb F3 4 (x:b)

14-iPa V-^5 15 Qa V-> 5

X
NO VÁLIDO
CONTRAEJEMPLO:
[Pa] = 0; [Qb] - 0; [Qa] = 0; [Pb] = 1.

Posible realización que hace verdaderas a las premisas y falsa a

la conclusión:
Jl=<{a,b},P,Q>
P = (b}; Q = 0.

NO VÁLIDO

142 143
 LÓGICA C L Á S I C A DE PRIMER ORDEN: ESTRATEGIAS *«i-.1J(t/ S O L U C I O N E S A LOS E J E R C I C I O S

CONTRAEJEMPLOS: 13)

2) [Sa] = 0; [Rb] = 1; [Sb] = 1; [Pa] = 1; [Ra] = 0. V —I B x ( P x A Q x )

Posible realización que hace verdaderas a las premisas y falsa a ?—2-.3x(Px A-.QX)
la conclusión: V 3 Pa A Qa V3 1 (x:a)
%.= <{&, b},P, R, S> V 4 -.(Pa A -.Qa) F3 2 (x:a)
5 Pa VA 3
6 Qa VA 3
12)
7 -.Pa FA 4 8 -.-.Qa FA 4
u'
X X 9 Qa DN 8
NO VÁLIDO
CONTRAEJEMPLO:
« [Qa] = 1; [Pa] = 1.
¿ >, Posible realización que hace verdaderas a las premisas y falsa a
<N •""•" l^ la conclusión:
m T Tm j*=<{a},P,Q>
u, p_, u* PH
P = {a}; Q = (a).
oo O
m

tI ^>" ^ 4 t
m0m I
> PH P-, PH P^

m
-t>
T" "x" '

C\N f") •

VÁLIDO

144 145
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

14) 15)
W

<m
b u-

« .£ rt 2"
^-EjiJi
1 ^ ^" (N (N
:mmmm
• í> > UH Ü,

í!*
m < HH
< "x"
-r>t/5 "Tí
w.
t/5 T (/5 t/3 i
t¿T - t t

ETiSifláíSff
m
(S ro
X

VÁLIDO

NO VÁLIDO

146 147
 LÓGICA C L A S I C A DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A LOS E J E R C I C I O S

CONTRAEJEMPLOS: 16)
1) [Sb] = 0; [Rb] = 1; [Ra] = 0; [Ta] = 0; [Tb] = 1.
2) [Rb] = 1; [Sb] = 0; [Ta] = 0; [Sa] = 1; [Tb] = 1.
Posible realización que hace verdaderas a las premisas y falsa a
la conclusión:
Jl=<{a,b},R,S,T>
R = {b}; S = 0; T = (b).

x x > r « « . . ts
r r</5&< r rJ?

VÁLIDO

148 149
 LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS
S O L U C I O N E S A LOS E J E R C I C I O S

CONTRAEJEMPLOS:
1) [Pa] = 0; [Re] = 0; [Rb] = 0; [Ra] = 0; [Qc] = 0; [Pe] = 1;
[Tb] = 0.
2) [Qa] = 1; [Re] = 0; [Rb] = 0; [Ra] = 0; [Qc] = 0; [Pe] = 1;
[Tb] = 0.
Posible realización que hace verdaderas a las premisas y falsa a
la conclusión:
A=<{a, b,c},P, Q,R,T>
P = (c); Q = 0; R = 0; T = (c).
•£- Ji -ü — •£- -*-
rHro^<N<N<Nr^^ 18)
m m> >>> t T
?—1 Vx(Px -» Qx)
¿ V—2 -.(VxPx -»VxQx)
t~
? 3 VxPx
X Oí V 4-.VxQx
5 -.Qa FV 4 (x:a)
6 Pa VV 3 (x:a)
.á^; '»> u
x x x > « H S - - o u uC^
w
V 7 Pa -^ Qa VV 1 (x:a)
T i > m r e2 r Tai cd tó ¿í r
1
1u \t>
VÁLIDO

-,
\0
\
\H
1<
?
\ oo
' ro T
T-H

~?-
>
«
Pí
/' •"-.. r

NO VÁLIDO

150 151
 LÓGICA CLÁSICA DE PRIMER ORDEN: ESTRATEGIAS S O L U C I O N E S A LOS E J E R C I C I O S

19) CONTRAEJEMPLOS:
l)[Qc]=0;[Pb] = 0;[Pa] = l;[Qa]=0.
2) [Qc] = 0; [Pb] = 0; [Pa] = 0; [Qa] = 1.
fS Posible realización que hace verdaderas a las premisas y falsa a
I la conclusión:
*=<{a, b,c},P, Q>
P = 0; Q = (a).
20)
—1 VxRx -»VxSx
V—2 -.Vx(Rx -> Sx)
V 3 -.(Ra -4 Sa) FV 2 (x:a)
4Ra F-»3
5-6a

V 6 -.VxRx V-* 1 77 VxSx V-> 1

7-.Rb FV6(x:b) 9 Sa W 7 (x:a)
X
NO VÁLIDO
CONTRAEJEMPLO:
[Rb] = 0; [Sa] = 0; [Ra] = 1.
Posible realización que hace verdaderas a las premisas y falsa a
la conclusión:
^=<{a,b},R, S>
R = {a}; S = 0.

NO VÁLIDO

152 153
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

21) 23)
"V— 1 VxVy(QbvSxy)
"V—2 i(Vx3ySxy v Qb)
V 3 ->Vx3ySxy Fv2
4-.Qb Fv2 í
? 5 -GySay FV 3 (x:a)
6 ->Saa F3 5 (y:a)
7-.Sab F3 5 (y:b)
? 8 Vy(Qb v Say) VV 1 (x:a)
? 9Vy(QbvSby) W 1 (x:b)
V lOQbvSaa W 8 (y:a)
11 Qb vSab W 8 (y:b)
12 Qb v Sba VV 9 (y:a)
13QbvSbb W 9 (y:b)
CS 03 C3 ctf

VvlO Js>bjb-b
ro M5 r^ oo

22) <r- « «
?« «
V—1 ->VxVy(Qxy v Qyx) T T ^aícs!
V 2 -iVy(Qay v Qya) FV 1 x:a
V 3 -.{Qab v Qba) FV 2 (y:b)
4-nQab Fv3 •T"^-^» rt o
> > > X « . . . T-H

5 -.Qba Fv 3 X X X > Cí ^"^^

>>> r r > > > T
NO VÁLIDO (LA CONCLUSIÓN NO ES UNA LEY LÓGICA) I\O CN O

CONTRAEJEMPLO: T
[Qab] = 0; [Qba] = 0.
Posible realización que hace verdaderas a las premisas y falsa a
la conclusión:
&=<{&, b), Q>

VÁLIDO

154 155
 LÓGICA C L Á S I C A DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS EJERCICIOS

24)
?—1 Vx3yTxy
V—2 -i->3yTay
\ 3yTay DN2
4Tab V3 3 (y:b)
V 5 3yTay W 1 (x:a)
V 6 3yTby VV 1 (x:b)
7 Tac V3 5 (y:c)
8 3yTcy W 1 (x:c)
9Tbd V3 6 (y:d)
10 3yTdy VV 1 (x:d)

TABLA INFINITA

TABLA
INFINITA

156 157
 LÓGICA CLASICA DE PRIMER ORDEN: ESTRATEGIAS ..M'") : S O L U C I O N E S A L O S E J E R C I C I O S

26) 27) jS
?•— 1 Vx-iRax • • • • • > : • ..: (N ^ • • • ' . '
?—2 VxVy3z(Sxyz -> Syxz)
>
—3 VxVy3z[(Rxz <-> Ryz) -> Ixy]
V—4 -iVxÉySxyx
? 5 -GySbyb F V 4 ( x:b)
6 iRaa W l (x:a)
7 -.Rab W l ¡x:b)
? 8 Vy3z(Sayz Syaz) W 2 x:a
? 9 Vy3z(Sbyz Sybz) W 2 (x:bj
V 10 3z(Saaz -* Saaz) VV 8 (y:a)
113z(Sabz-^Sbaz) W 8 (y:b)
12 3z(Sbbz -> Sbbz) W 9 (y:b)
133z(Sbaz-^Sabz) VV 9 (y:a)
14 -.Sbab F3 5 (y:a)
15-iSbbb F3 5 (y:b)
16Saac-^Saac V3 10 (z:c)
17 -.Rae VV 1 (x:c)
18 Vy3z(Scyz -> Sycz) VV 2 (x:c)
19-.Sbcb F35(y:c)
203z(Sacz^Scaz) W 8 (y:c)
21 3z(Sbcz -» Scbz) W9(y:c)

TABLA INFINITA

NO VÁLIDO

158 159
 LÓGICA CLÁSICA DE PRIMER ORDEN: E S T R A T E G I A S S O L U C I O N E S A LOS E J E R C I C I O S

CONTRAEJEMPLO: 29)
[Qb] = 0; [Ta] = 1; [Qa] = 0; [Rb] = 0; [Sa] = 1. ? -1 VxVyVz(Qxz <^ -.Pyx A Pyz)
Posible realización que hace verdaderas a las premisas y falsa a -2 -i3x3y->(-.Ryx -> ->Pxy)
la conclusión: -3 -^VxVyVz(Ryz -> -.Pxy v -.Qyz)
^=<{a,b),Q,S,T,R> 4 -.VyVz(Ryz -> -.Pay v -iQyz)FV 3 (x:a)
Q = (a); S = (a); T = 0; R = 0. 5 --Vz(Rbz -> -.Pab v -.Qbz) FV 4 (y:b)
6 -.(Rbc -> iPab v -.Qbc) FV 5 (z:c)
28) 7Rbc
—1 VxVy[Ryx -»(Rxy ->Rxx)] V 8 -.(-.Pab v -.Qbc)
V—2 -.(Rab -> Rbb) V 9 -.-.Pab Fv8
V—3 -.-.VxVyRxy V 10 -.-.Qbc Fv8
DN9
? 4 VxVyRxy DN 3 11 Pab
5 Rab F->2 12 Qbc DN10
6 -Rbb F^2 13 -i3yi(-.Rya -»-iPay) F32(x:a)
7 VyRay VV 4 (x:a) 14-.3y-i(-.Ryb->-iPby) F32(x:b)
8 Raa VV 7 (y:a) 15 -i3y-.(-.Ryc-»-iPcy) F32(x:c)
9 Rab VV 7 (y:b) 16 -.-.(-.Raa -* ->Paa) F3 13 (y:a)
10 VyRby VV 4 (x:b) V 17-.-.(--Rba ->->Pab) F313(y:b)
11 Rba VV 10 (y:a) 18 -.-.(-.Rea —> ->Pac) F3 13 (y:c)
12 Rbb VV 10 (y:b) -»-.Pab DN17
X
iPab V-> 19
VÁLIDO X
20 -.-.Rba V-»19
21 Rba DN20
23 VyVz(Qaz <-> ->Pya A Pyz) W 1 (x:a)
?24 VyVz(Qbz o -.Pyb A Pyz) VV 1 (x:b)
25 VyVz(Qbz <-> -.Pyc A Pyz) VV 1 (x:c)
?26 Vz(Qbz <-> -.Pab A Paz) W 24 (y:a)
27 Vz(Qbz <-» -.Pbb A Pbz) W24(y:b)
28 Vz(Qbz<->-.Pcb A Pez) VV 24 (y:c)
29 Qba o ->Pab A Paa W26(z:a)
30 Qbb <-> -.Pab A Pab VV26(z:b)
\31 Qbco-iPab A Pac W26(z:c)
V 32 (Qbc -» --Pab A Pac) A (--Pab A Pac
V 33 Qbc -» -.Pab A Pac VA 32
34 -.Pab A Pac -> Qbc VA 32

V->33
VA 36

VALIDO

160 161
ON

OJ UJ OJ OJ ÜJ OJ N) x

o o-
X
$^±^
ON íí ^ X
N N N
«-> B Q_
^> fi> Q- <^ CT* i P j^ o* P

BLOQUE II

1 (p-> q)-> [{q-» r)-> (p-» r)] :,.., v, n . !; .-,,,, 0 - ;,;.,.-, ; •

2 -i(-ip v q) v [-i(->q v r) v (-ip v r)] Def —»/v 1
3 (p A-iq) v [(q A-ir) v (-ip v r)] . .-v .-; ., DM V/A 2
4 (p A -iq) v [(q v -ip v r) A (-ir v -ip v r)] Dist v 3
5 [(p A -iq) v (q v -ip v r)] A [(p A -iq) v (-ir v -ip v r)] Dist v 4
6 (p v q v -ip v r) A (-iq v q v -ip v r) A (p v -ir v -ip v r) A (-iq v -ir v -ip v r) Dist v 5
1 1 . 1 1
Es una tautología.

¡i)
1 (p A -iq —» r) <-» (p A r -> -iq)
2 [(p A -iq -> r) -4 (p A r -> -.q)] A [(p A r -> -iq) -> (p A -.q -> r)] Def <-» 1
3 h(~'(P A -iq) v r) v (-i(p A r) v -KJ)] A hHp A r) v -.q) v (~-(p A -iq) v r)] Def -»/v 2
4 [(p A -iq A -T) v (-ip v -ir v -iq)] A [(p A r A q) v (-ip v q v r)] .,: D M v / A 3
DM A/V 3
5 (p v -ip v -ir v -iq) A (-iq v -ip v -ir v -iq) A (-ir v -ip v -ir v -iq) A (p v -ip v q v r) A (r v -ip v q v r) A
A (q v -ip v q v r) Dist v 4
6 (p v -ip v -ir v -iq) A (->q v -ip v -ir) A (-ir v -ip v -iq) A (p v -ip v q v r) A (-ip v q v r) A (q v ->p v r)
Idp v 5
7 (p v -ip v -ir v -iq) A (-iq v -ip v -ir) A (p v -ip v q v r) A (-ip v q v r) Idp v 6
1 ? 1 ?
No es una tautología.
 BLOQUE III

1 -.{(p -> -iq) A (-T -> -.q) -* [s -> (p -> r)]}

2 (p -» --q) A (-ir -> iq) A -.[s -> (p -> r)] Def A/-> 1
3 (->p v -iq) A (r v -iq) A -i(-is v -ip v r) Def ->/A 2 o-
4 (-ip v -iq) A (r v -iq) A s A p A -ir DM V/A 3 o
n
5 [("•? A (r v -iq)) v (-iq A (r v -iq))] A s A p A -ir Dist A 4
6 [(-ip A r) v (-ip A -iq) v (-iq A r) v (-iq A -iq)] A s A p A -ir Dist A 5
7 (-ip A r A s A p A -ir) v (-ip A -iq A s A p A -ir) v (-iq A r A s A p A -ir) v (-iq A -iq A s A p A -ir) Dist A 6
O O O ?
La negación de la fbf considerada no es una contradicción, luego la fbf no es una tautología.

ii)
1 ""[(p —> q) A (~V —> ••s) —» q v r v -15]
2 (p —> q) A (-ip —» -is) A -i(q v r v -is) Def A/-> 1
3 (-ip v q) A (p v -15) A -KJ A -ir A s Def ->/v 2
DM V/A 2
4 [(-ip A (p v -is)) v (q A (p v -is))] A -iq A -ir A s Dist A 3
5 [(-ip A p) v (-ip A -is) v (q A p) v (q A ->s)] A -iq A -ir A s Dist A 4
6 (-ip A p A -iq A -ir A s) v (-ip A -is A -iq A -ir A s) v (q A p A -iq A -ir A s) v (q A -is A -iq A -ir A s) Dist A 4
0 0 0 0
La negación de la fbf considerada es una contradicción, luego la fbf es una tautología.

BLOQUE IV

i)
í (3x3zPxz -» VyRy) <-> Vx(Bx -> VyRy)
2 [(3x3zPxz -> VyRy) -» Vx(Bx -» VyRy)] A [Vx(Bx -» VyRy) -> (3x3zPxz -> VyRy)] Def <-> 1
3 [VxVzVy(Pxz -> Ry) -> VxVy(Bx -» Ry)] A [VxVy(Bx -> Ry) -> VxVzVy(Pxz -> Ry)] Dist Cnda Part Ant 2
Dist Cnda Gen Cons 2
Interc 2
4 3x3z3yVx1Vy1[(Pxz -4 Ry) -* (BXl -* Ryi)] A 3x23y2Vx3Vz3Vy3[(Bx2 ^ Ry2) ^ (Px3z3 ^ Ry3)]
Dist Cnda Gen Ant 3
Dist Cnda Gen Cons 3
Interc 3
MutVar3
ON
5 3x3z3yVXlVyi3x23y2Vx3Vz3Vy3{[(Pxz ^ R y ) ^ (BXl ^ R Yl )] A [(Bx2 -^ Ry2) -> (Px3z3 -^ Ry3)]}
Dist Cnda Gen Conj 4
Dist Cnda Part Conj 4
No pertenece a ninguna de las clases de reducción decidibles enumeradas en el capítulo X.
ii) ... ,.......,.,:...
1 -.[VxVyPxy <-> VyVxPxy]
2 -.[(VxVyPxy -> VyVxPxy) A (VyVxPxy -» VxVyPxy)] Def <-> 1
Interc 1
3 -.(VxVyPxy -> VyVxPxy) v -i(VyVxPxy -> VxVyPxy) DM A/V 2 ;
4 (VxVyPxy A -.VyVxPxy) v (VyVxPxy A -.VxVyPxy) Def A/-» 3
Interc 3
5 (VxVyPxy A 3y3x--Pxy) v (VyVxPxy A 3x3y--Pxy) Neg Gen 4
Interc 4
 6 VxVy3yi3x!(Pxy A --Pxiyi) v VyVx3x23y2(Pxy A -iPx2y2) Dist Cnda Gen Conj 5
Dist Cnda Part Conj 5
Interc 5
7 VxVy3yj3x1Vy3Vx33x23y2[(Pxy A -iPxiyi) v (Px3y3 A -.Px2y2)] Dist Cnda Gen Disy 6
Dist Cnda Part Disy 6
No pertenece a ninguna de las clases de reducción decidibles enumeradas en el capítulo X.

1 (Vx3yRxy -> 3xQxa) <-> 3z(Vx3yRxy Qza)

2 [(Vx3yRxy -> 3xQxa) -» 3z(Vx3yRxy » Qza)] A [3z(Vx3yRxy -* Qza) > (Vx3yRxy -> 3xQxa)] Def <-> 1
3 [3xVy3z(Rxy -» Qza) -» 3z3xVy(Rxy Qza)] A [3z3xVy(Rxy -» Qza) 3xVy3z(Rxy ^ Qza)]
Dist Cnda Part Ant 2
Dist Cnda Part Cons 2
<* """ " ' " '" ' Dist Cnda Gen Ant 2
Dist Cnda Gen Cons 2
Mut Var 2
Interc 2
4 Vx3yVz3zi3x1Vy1[(Rxy -» Qza) -> (Rxiyi -» Qzta)] A VzVx3y3x2Vy23z2[(Rxy -> Qza) -> (Rxy -^ Qza)]
Dist Cnda Part Ant 3
Dist Cnda Part Cons 3
...,,..,.. ..-, ^ •-,,.: »,---- V ^.- ;..= , - . . - / . . - . - > . - , . . - . . . . , - . • ,.:.-. Dist Cnda G e n A n t 3
... ¿ Dist Cnda Gen Cons 3
Mut Var 3
Interc 3

5 Vx3yVz3z13x1Vy1Vz3Vx33y33x2Vy23z2{[(Rxy -> Qza) -» (Rx^ -> Qzja)] A [(Rxy -» Qza) -» (Rxy -> Qza)]}
Dist Cnda Part Conj 4
Dist Cnda Gen Conj 4
Interc 4
No pertenece a ninguna de las clases de reducción decidibles enumeradas en el capítulo X.

IV
1 Vx(Mx v Qx) A 3xMx A -.Vx(Mx -> --Qx)
2 Vx(Mx v Qx) A 3xMx A 3x-i(Mx -> ->Qx) Neg Gen 1
3 Vx3y3z[(Mx v Qx) A My A -.(Mz -> -.Qz)] Dist Cnda Part Conj 2
Dist Cnda Gen Conj 2
Mut Var 2
Pertenece a una de las clases de reducción decidibles enumeradas en el capítulo X.

v)
1 -ax-iTx A -.3x-.(Rxb v Sx -» ->Mx) -> --Vx((Qxa -» Tx) -» Rxb)
2 VxTx A Vx(Rxb v Sx -> --Mx) -» 3x--((Qxa -> Tx) -> Rxb) Def Gen 1
Neg Gen 1
Interc 1
3 VxVxJTx A (Rx^ v Sxj -^ --Mxi)] -> 3x-i((Qxa -> Tx) -> Rxb) Dist Cnda Gen Conj 2
Interc 2
4 3x3Xl3x2[Tx A (R Xl b v -> --((Qx2a -> Tx2) -^ Rx2b)] Dist Part Cond 3
Pertenece a una de las clases de reducción decidibles enumeradas en el capítulo X.