Apunte de Cátedra de Lógica UNPA-UARG 2016 Capítulo VII

Lógica de Predicados: Introducción

Lo visto hasta ahora, nos sirve para resolver ciertos tipos de argumentos, pero hay otros,
que aún siendo elementales, no pueden ser resueltos con la lógica proposicional.

Ejemplo:

p: Todos los humanos son mortales

q: Sócrates es humano .

r: Sócrates es mortal

El esquema sería de argumento sería: p

r

y no hay ley de conectores que permita concluir r.

La validez no depende de la combinación de proposiciones atómicas de la lógica

proposicional, sino que depende de la estructura lógica interna de los enunciados.

Un tipo simple de proposición atómica es: Sócrates es humano, donde podemos decir
que Sócrates tiene la propiedad de ser humano, como así también el de ser mortal, alto, lindo,
egoísta, etc., de las cuales algunas propiedades van a ser verdaderas y otras falsas. También las
propiedades mencionadas pueden ser aplicadas a Aristóteles, Bs. As., Río Gallegos, π, 2, etc., que
también van a ser V (verdaderas) o F (falsas).

Def.: Llamaremos individuo a cada uno de los elementos que forman el conjunto al cual
nos vamos a referir, sobre los cuales vamos a establecer propiedades, funciones o relaciones entre
ellos (los individuos pueden ser cualquier cosa).

Def.: Al conjunto formado por todos los individuos, lo llamaremos Universo del discurso
o Dominio, y lo simbolizaremos con la letra U o D.

Notaciones:

A los individuos, también llamados constantes, (no un individuo genérico) las simbolizaremos con
las primeras letras minúsculas del alfabeto y, de ser necesario, las sub indizaremos, por ejemplo a1,
a2, a3, b1, b2, b3, c1, c2, c3, etc.

Una propiedad denota alguna particularidad que posee un determinado individuo, en cambio las
relaciones (como ser : “es más alto que”, “está entre… y …”, etc.) se refieren a dos o más
1
individuos, todas las representaremos con letras mayúsculas de imprenta y las llamaremos letras
predicativas o de predicado, a las cuales podrán ponérseles supra índice para indicar la cantidad de
individuos a los que se refiere y también sub índices de ser necesario para distinguirlas.

Ejemplos: P,Q , A, B, P1,Q 1, A1, B1, P21, Q31 , A22, B12, etc.

Veamos un ejemplo que involucre todo lo que estamos diciendo:

H: es humano (propiedad) Q 2: … es más sabio que … (relación)

a: Aristóteles b: Sócrates

En base a éstas podemos obtener:

H(b): Sócrates es humano Q 2(a,b): Aristóteles es más sabio que Sócrates

(Pueden ser verdaderas o falsas)

Para referirnos a una propiedad que verifiquen algunos ( todos, o ninguno ) de los elementos de U
o relación entre los mismos en forma genérica, sin especificar algún individuo en cuestión, lo
haremos ,como en matemática, mediante las letras x, y, z, x1, y1, z1, x2, y2, z2, etc., a alas que
llamaremos variables (de individuos), para referirnos a que pueden ser reemplazadas por cualquier
elemento de U (los elementos de U son los individuos). Es decir, H(x) nos indica que si
reemplazamos x por algún elemento de U , vamos a poder decir si es V o F el hecho de ser humano
el elemento por el cual hemos reemplazamos la variable x.

Def. : A las expresiones n-arias del tipo Qn(x1, x2, … ,xn) donde al menos una de las xi, no sea
reemplazada por alguna constante de U, las llamaremos funciones proposicionales, las cuales si
reemplazamos, todas las variables por constantes de U, se transforman en proposiciones.

Cuantificación:

Vamos a considerar dos formas más de transformar una función proposicional en una proposición.

1) Considerando que todos los elementos de U (o combinaciones de los mismos para las
relaciones) verifican la propiedad (o relación), por ejemplo H. Para ello utilizaremos el
símbolo  llamado generalizador o cuantificador universal (que se lee “para todo …” o
“para cada…”), para indicar que cada unos de los elementos de U tienen una determinada
propiedad.

Ejemplos :

a) “Todos son humanos” lo representamos con x(H(x)) que puede ser V o F según si
U está formado sólo por seres humanos o no.

b) Sea la proposición A:“Todos los números reales verifican que comparando dos
cualesquiera de ellos, uno es mayor que el otro o son iguales”

U= : el conjunto formado por todos los números reales

2
 Q21: … es mayor que …

Q22: … es igual a …

La proposición anterior la representamos con x (y ((Q21(x,y)  Q21(y,x))  Q22(x,y))),

donde los paréntesis en negrita, indican el alcance o a quienes afecta el cuantificador que
involucra a cada una de las variables x,y. A resulta ser verdadera, pues es la conocida ley
de tricotomía de los números reales.

2) Otra forma de transformar una función proposicional en proposición es diciendo que

“Alguno de los elementos del conjunto universal verifica la propiedad P”, para lo cual
utilizamos el símbolo , al que llamamos cuantificador existencial (que se lee “existe … tal
que verifica …” )

Ejemplos:

a) “Algún número es par”

U=

P: … es par

La proposición anterior la representamos con x (P(x)), que se lee “Existe x tal que x es
par” (Es claro que x es un elemento de U )

b) “Algún número es el doble de otro número”

U=

Q2 : … es el doble de …

La proposición anterior la representamos x(y((Q2(x,y))), que se lee “Existen x e y tales

que x es el doble de y”

Notación: Expresiones como x (y (Q21(x,y)  Q21(y,x)  Q22(x,y))) y x(y((Q2(x,y))),

pueden anotarse en forma abreviada xy (Q21(x,y)  Q21(y,x)  Q22(x,y)) y xy((Q2(x,y)),
interpretándose de la misma forma. Esto se puede hacer si el alcance (palabra que
definiremos en forma precisa más adelante) de ambos cuantificadores (x, y o x, y) es
el mismo.

Notas:

3
Consideraremos en todo momento que U ≠

1) x(P(x)) es verdadera si y sólo si existe al menos un elemento a de U para el cual resulte

P(a) verdadera, o sea que es lo mismo que decir, que no es cierto que la proposición sea
falsa para todos los elementos de U

2) x(P(x)) es verdadera si y sólo si para todos los elementos de U resulta ser la proposición
verdadera, o sea que es lo mismo que decir que no hay ningún elemento de U para el cual la
proposición sea falsa.

De lo expuesto resulta :

I) x(P(x))  ¬x(¬P(x)) II) x(P(x)) ¬x(¬P(x))

También resulta que

III) ¬ x(P(x))  x(¬P(x)) IV) ¬x(P(x)) x(¬P(x))

Además

V) x(P(x))  x(P(x)) (U ≠, caso contrario no sería cierto)

(Usamos el símbolo "" para indicar que el implicador "" es siempre verdadero)

Ejemplos:

Simbolicemos las cuatro proposiciones tradicionales, donde U es por ejemplo el conjunto

de todos los humanos y todas las cosas

a) Todos los humanos son mortales

b) Ningún humano es mortal

c) Algunos humanos son mortales

d) Algunos humanos no son mortales

Diccionario:

P(x): x es humano Q(x): x es mortal

a) x(P(x)Q(x))

b) x(P(x)¬Q(x))

c) x(P(x)Q(x))

d) x(P(x)¬Q(x))

4
Def: Llamaremos “Fórmula de forma normal” a aquella en la cual el símbolo" ¬ "afecta sólo a
propiedades o relaciones.

Al igual que en la lógica proposicional, definamos que vamos a considerar una fórmula bien
formada (f.b.f.)

Def.:

i) Si P es una letra de predicado n-aria y cada letra t1, t2, …, tn es una constante del
universo o una variable, entonces P(t1, t2, …, tn) es una f.b.f. del vocabulario L en
cuestión.

ii) Si  es una es una f.b.f., entonces ¬ también lo es.

iii) Si  y  son f.b.f., entonces , ,  y  también lo son.

iv) Si  es una fórmula y x una variable entonces x() y x() son f.b.f.

v) Sólo la expresiones construidas según lo descripto de i) a iv) en un número finito de

pasos son f.b.f.

Notas:

• La cláusula i) produce fórmulas atómicas que son del tipo P3(x,y,z), Q(a), R(a,x)

• Las fórmulas formadas de acuerdo a iv) se denominan Universales y Existenciales

respectivamente.

Def.: Si x() es una sub fórmula de la fórmula , entonces  es denominado el alcance de la

aparición x en , ídem para x().

Ejemplos:

1) ¬x(y(z(w(P2(z,w))P2(y,z))P2(x,y)))

Cuantificador Alcance

w P 2(z,w)

z w(P2(z,w))P2(y,z)

y z(w(P2(z,w))P2(y,z))P2(x,y)

x y(z(w(P2(z,w))P2(y,z))P2(x,y))

2) x(P(x))x(Q(x))

5
 El alcance de la primera aparición de x es P(x) y el de la segunda aparición es Q(x)

Def.:

a) Se dice que la aparición de una variable x en  (que no forma parte de un

cuantificador) está libre en , si esa aparición no cae dentro del alcance de un
cuantificador (x, o x) que aparezca en .

b) Si x() (o x()) es una subfórmula de  y x está libre en , entonces x está ligada

por x (o x).

Def.:

Una proposición es una f.b.f. sin variables libres

Ejemplos:

• x(P(y)) (que podemos escribir x P(y)) no es una proposición

• x(P(x)x(Q(x))) es una proposición

• P(x)x(Q(x)) no es una proposición pues la 1ª aparición de x está libre

• x(y(A(x,y)))B(x) es una implicación pero no es una proposición pues la x de B(x)

está libre, con lo cual resulta ser una función proposicional. El alcance de x es
y(A(x,y)) y el alcance de y es A(x,y)

• x(y(A(x,y))B(x) ) Es una fórmula existencial, que resulta ser una proposición,

donde el alcance de x es y(A(x,y))B(x) y el de y es A(x,y)

Veamos algunas expresiones cuantificadas y sus traducciones:

1) Toda cosa está expuesta al deterioro

Dominio: Todas las cosas de la tierra

Diccionario: D(x) : x está expuesta al deterioro

Traducción: x(D(x))

2) Juan le dio algo a Pedro

Dominio: Las personas y las cosas

Diccionario: j: Juan, p: Pedro, C(x): x es una cosa, D(x,y,z): x le dio y a z

Traducción: x(C(x)D(j,x,p))

3) Todos le dieron algo a Pedro

6
 Dominio: Las personas y las cosas

Diccionario: p: Pedro, C(x): x es una cosa, P(x) x es una persona D(x,y,z): x le dio y a z

Traducción: y(P(y)x(C(x)D(y,x,p)))

4) Juan no le dio nada a pedro

Dominio: Las personas y las cosas

Diccionario: j: Juan, p: Pedro, C(x): x es una cosa, D(x,y,z): x le dio y z

Traducción: ¬ x(C(x)D(j,x,p)) otra forma sería x(C(x)¬D(j,x,p))

Nota (importante):

Cuando tenemos que traducir una propiedad y nos referimos a todo U, en general no presenta
inconvenientes, en cambio si nos queremos referir a un subconjunto de U, el tratamiento no es el
mismo si nos referimos a todos o a algunos de los elementos de dicho subconjunto.

Por ejemplo:

Sea U el conjunto de los seres vivos y sean P(x): x tiene dos progenitores H(x): x es humano (H(x)
determina un subconjunto de U)

Sean las proposiciones:

a) Todos tienen dos progenitores

b) Algunos tienen dos progenitores
c) Todos los humanos tienen dos progenitores
d) Hay humanos con dos progenitores.

Sus traducciones serán:

a) x (P(x)) b) x(P(x)) d) x (H(x)  P(x)) en cambio c) x (H(x) P(x))

Es decir, con el cuantificador existencial no hay variaciones significativas si se refiere a todos los
elementos del universo o a un subconjunto del mismo, pues alcanza con agregarle la condición de
que está en dicho subconjunto, en cambio en el cuantificador universal se hace necesario poner
como condición el hecho de referirse a un determinado subconjunto, que generalmente lo hacemos
con un condicional como en la traducción del ejemplo pues si lo hacemos del mismo modo que con
el existencial, agregando la condición de estar en el subconjunto, estaríamos diciendo que “todo el
universo cumple con ser humano y tener dos progenitores” , que resulta claramente falso pues hay
otros seres vivos en el universo y además no todos los seres vivos tienen dos progenitores. En

7
cambio con el condicional estamos diciendo que “todos los elementos del universo verifican que si
son humanos entonces tienen dos progenitores” cosa que de alguna manera parece ser cierta.

Ejercicios:

Traduzca las siguientes oraciones a la lógica de predicados. Preserve lo máximo posible su

estructura y, en cada caso, consigne el diccionario y el dominio.

i) Todo es Dulce o amargo el

ii) O bien todo es dulce, o bien todo es amargo

iii) Una ballena es un mamífero

iv) Teodoro es una ballena

v) Todos aman a alguien

vi) Alguien que es amado por todos

vii) Elvira no recibió nada de parte de Carlos

viii) Alguien robó o tomó prestados a la bicicleta de María

ix) No hay alguien que no sea amado por nadie

x) Perro que ladra no muerde

xi) Si Juan que el dueño de un perro, nunca se lo mostró a nadie

xii) Nadie vive en Wyr no habiendo nacido allí

xiii) Juan le pidió prestado un libro a Pedro, pero no se lo devolvió

xiv) Todo aquel que promete algo debe cumplir

xv) Aquel que no es dueño de un automóvil, es dueño de una motocicleta

xvi) Si alguien hace ruido, todos se enojan

xvii) Todos se enojan con aquel que hace ruido