FORMAS LÓGICAS TEMA V

Ejercicio 1 (pág. 127)

Especificar los predicados de cada uno de los siguientes enunciados y señalar su ariedad:

a) Pollini es un magnífico intérprete de Bethoven. (2)

b) Quine criticó la filosofía analítica. (2)
c) Juan se siente más atraído por los filósofos posmodernos que por los analíticos. (3)
d) Juan le regaló a María un libro de poemas. (3)

Lo que queda sin subrayar son los argumentos. Algunos de ellos son descripciones definidas
que contienen conceptos, pero no se debe confundir: “ser filosofía analítica”, por ejemplo, es
un predicado, pero “la filosofía analítica” es un nombre.

Ejercicio 2 (pág. 128)

Escribir cuatro enunciados en el predicado de cada uno de los cuales aparezca como parte uno
de los nombres siguientes: ‘libro’, ‘edificio’, ‘intérprete’, ‘niña’.

.- Auto de fe es un libro interesante

.- Algunos edificios son altos
.- Gidon Kremer es un gran intérprete de Piazzolla
.- Juan pinta una niña

Ejercicio 3 (pág. 130)

Convertir cada una de las funciones enunciativas siguientes en un enunciado sustituyendo las
variables por nombres de individuo:

a) x es un filósofo analítico y es de origen austríaco.

Wittgenstein es un filósofo analítico y es de origen austríaco.

b) Si x es un filósofo analítico, entonces está en deuda con Frege.

Si Russell es un filósofo analítico, entonces está en deuda con Frege.

c) Si x no está prohibido, entonces está permitido.

Si el Corán no está prohibido, entonces está permitido.

d) x es un alumno de la Uned al que le gusta la lógica.

Robert es un alumno de la Uned al que le gusta la lógica.

Ejercicio 4 (pág. 130)

Convertir las funciones proposicionales del ejercicio anterior en enunciados verdaderos por el
procedimiento de anteponer el cuantificador que corresponda.

a) Hay filósofos analíticos austríacos Vx (Fx  Ax)

b) Todos los filósofos analíticos están en deuda con Frege x (Px  Dxa)
c) Todo lo que no está prohibido, está permitido x ( Px  Rx)

d) Hay alumnos de la Uned a los que les gusta la lógica Vx (Ax  Gxa)

El uso del plural en los existenciales no compromete con la existencia de más de uno,
solamente deja abierta la posibilidad.

Ejercicio 5 (pág. 132)

Determinar cuáles de las siguientes secuencias de símbolos son fórmulas (suponiendo que ‘P’
y ‘Q’ son símbolos de predicados monarios y ‘R’ es un símbolo de predicado binario):
a) ¬Vx (Px  Rxa) SÍ
b) Va y [Rxy (Px  Qx)] NO
c) V (Px  Qxa) NO
d) x (Px  RxQ) NO
e) x (Px Qx)  Vx Px  Vx Qx NO, faltan paréntesis.

Ejercicio 6 (pág. 133)

Indicar cuáles de las siguientes fórmulas son sentencias y cuáles son fórmulas abiertas. Para
las abiertas subrayar las variables libres que contienen:

a) Vx Px  Qx fórmula abierta
b) Vx(Px  Rxy) fórmula abierta
c) xy (Rxy  Ryx)Vz (Szx  Szy) fórmula abierta
d) xy[(Rxy  Ryx) Vz(Szx  Szy)] fórmula cerrada

Se señalan en rojo las variables no ligadas.

Ejercicio 7 (pág. 135)

Dado el siguiente dominio y las siguientes interpretaciones, traducir a enunciados del lenguaje
natural las siguientes fórmulas:

Dominio: Alumnos de la Uned

Lx = ‘x es estudiante de licenciatura’
Dx= ‘x es estudiante de doctorado’

a) x (Lx  Dx)
Todos son estudiantes de licenciatura o de doctorado.
b) xLx  xDx
Todos son estudiantes de licenciatura o todos son estudiantes de doctorado.
c) (VxLx  VxDx)  Vx (Lx  Dx)
Si hay estudiantes de licenciatura y hay estudiantes de doctorado, entonces hay estudiantes de
licenciatura y doctorado.
d) ¬xLx  x ¬Lx
Si no todos son estudiantes de licenciatura, entonces ninguno lo es (x equivale a Vx)
e) Vx (Lx  Dx)  (Vx Lx  VxDx)
Si hay estudiantes que si son de licenciatura también son de doctorado, entonces si hay
estudiantes de licenciatura, hay estudiantes de doctorado.
e) Vx (Lx  Dx)  (Vx Lx  VxDx) (Cfr. el listado de rratas)
Si hay estudiantes de licenciatura y doctorado, entonces si hay estudiantes de licenciatura, hay
estudiantes de doctorado.

Ejercicio 8 (pág. 137)

Para cada una de estas fórmulas, hallar una estructura en la que sea falsa:

a. x (Fx  Gx)  x Fx  x Gx I(F): rubio, I(G): moreno

b. Vx [(Fx  Gx)  Fa]  Ga I(F): hombre, I(G): Viejo, I(a): James Dean
c. Vx (Fx  Gx)  Vx(Fx  Gx) I(F): marciano, I(G): extraterrestre

Ejercicio 9 (pág. 141)

Formalizar utilizando el cuantificador universal:

a) Ningún hombre está libre de defectos

H: ser un hombre
D: tener defectos
(estar libre de defectos = no tener defectos)
x (Hx  Dx)

b) No hay espíritus malignos

E: ser un espíritu
M: ser maligno
x (Ex   Mx)
c) Algunas aves no vuelan
A: ser ave
V: volar
 x (Ax  Vx)

d) A ninguna persona le gusta fracasar

P: ser persona
F: gustar fracasar
x (Px   Fx)

e) Los jefes no se equivocan

J: ser jefe
E: equivocarse
x (Jx   Ex)

Ejercicio 10 (pág. 141)

Formalizar utilizando el cuantificador existencial:

a) No todo lo que tiene valor tiene precio

Q: tener valor
P: tener precio
traducción: Hay cosas que tienen valor y no tienen precio.
Vx (Qx   Px)

b) Un avestruz no vuela
P: ser avestruz
Q: volar
traducción: ningún avestruz vuela.
Vx (Px  Qx)

c) Ningún hombre está libre de defectos

H: ser un hombre
D: tener defectos
traducción: no existen x que sean hombres y no tengan defectos.
Vx (Hx   Dx)
d) Los únicos que no se equivocan son los jefes
E: equivocarse
J: ser jefe
traducción: todo el mundo se equivoca, excepto los jefes / para todo x, si x no se equivoca
entonces es un jefe / no existe un x que no se equivoque y no sea un jefe.
Vx ( Ex   Jx)
e) A ninguna persona le gusta fracasar
P: ser persona
F: fracasar
traducción: no existe ningún x que sea persona y le guste fracasar.
Vx (Px  Fx)

Ejercicio 11 (pág. 146)

a) Los triángulos y los cuadrados son figuras geométricas

T: ser triángulo
C: ser cuadrado
F: ser figura geométrica
(todos los T son F y todos los C son F / todo lo que es un triángulo o un cuadrado es una
figura geométrica)
x ((Tx  Cx)  Fx)

b) Si todos los alumnos suspenden o no se examina ninguno, los profesores se sentirán

frustrados
A: ser alumno
S: suspender
E: examinarse (realizar un examen)
P: ser profesor
F: sentirse frustrado (sentir fustración)
 (traducciones: SI todo alumno suspende o no se examina ningún alumno, ENTONCES los
profesores se sentirán frustrados / SI todo alumno suspende o no existe algún alumno que se
examine, ENTONCES los profesores se sentirán frustrados)
(x (Ax  Sx)  Vx (Ax  Ex))  y (Py  Fy)

c) Si todos los alumnos suspenden, ni profesores ni alumnos se alegrarán

A. ser alumno
S: suspender
P: ser profesor
Q: alegrarse
(SI todos los A son S, ENTONCES cualquier cosa que sea un P o un A será algo que no se
alegrará / SI todos los A son S, ENTONCES no hay un x que sea P o A y se alegre).
x (Ax  Sx)   Vx ((Ax  Px)  Qx)

d) Si todos los hombres se guiaran por la razón, todo poder sería superfluo
H: ser hombre
R: guiarse por la razón
P: ser un poder
S: ser algo superfluo
(SI todo H es R, ENTONCES todo P es S)
x (Hx  Rx)  y (Py  Sy)

Ejercicio 12 (pág. 150)

a) Todos los enigmas tienen alguna solución.

E: ser un enigma
S: ser solución de
x Vy (Ex  Syx)
b) Ningún satélite gira en torno a un asteroide.
S: ser un satélite
A: ser un asteroide
G: girar en torno a
x (Sx  y (Ay   Gxy))
O bien:
 Vx Vy (Sx  Ay  Gxy)

c) Hay algún bien al que tiende toda actividad.

B: ser un bien
A: ser una actividad
T: tender a
Vx y (Bx  (Ay  Tyx))

d) Los filósofos analíticos sólo admiran a algunos lógicos.

F: ser un filósofo analítico
A: admirar a
L: ser un lógico
(Para todo F, todo lo que F admira es un L, y existen L que F no admira / no admira nada que
no sea un lógico y tampoco admira a todos los lógicos)
x (Fx  (y (Axy  Ly)   z (Lz  Axz)))

e) Todo filósofo admirador de algún lógico detesta a algún posmoderno que se vanagloria de
sí mismo.
F: ser un filósofo
L: ser un lógico
A: admirar a
P: ser posmoderno
V: vanagloriarse de
D: detestar a
(Para todo x, si x es F y hay un L al que x admira, entonces hay un posmoderno que se
vanagloria de sí mismo y al que x detesta)
x ((Fx  Vy (Ly  Axy))  Vz (Pz  Vzz  Dxz))

Ejercicio 13 (pág. 152)

a) Los niños son ilógicos. Nadie que pueda controlar a un cocodrilo es despreciado. Las
persona ilógicas son despreciadas. Por consiguiente, los niños no pueden controlar cocodrilos.
N: ser un niño
I: ser ilógico
D: ser despreciado
C: poder controlar a un cocodrilo
x (Nx  Ix)
x (Cx   Dx)
x (Ix  Dx)
x (Nx   Cx)
b) Todos los seguidores de Carnap admiran a Frege. Por tanto, si hay seguidores de Carnap,
hay admiradores de Frege.
S: ser seguidor de
A: admirar a
a: Carnap
b: Frege
x (Sxa  Axb)
Vx Sxa  Vx Axb

c) Un soltero no está casado con nadie. Juan tiene esposa. Luego Juan no está soltero.
S: ser soltero
C: estar casado con
a: Juan
x y (Sx   Cxy)
Vx Cax
 Sa
d) Ningún lógico admira a ningún posmoderno. Todos los filósofos franceses son
posmodernos. Luego ningún lógico admira a ningún filósofo francés.
L: ser un lógico
P: ser un posmoderno
A: admirar a
F: ser un filósofo
R: ser francés
x y (Lx  (Py   Axy))
x ((Fx  Rx)  Px)
x y (Lx  ((Fy  Ry)   Axy))