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:
q: Sócrates es humano .
r: Sócrates es mortal
r
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.
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”
Q22: … es igual a …
Ejemplos:
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 )
U=
Q2 : … es el doble de …
Notas:
3
Consideraremos en todo momento que 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 :
Además
(Usamos el símbolo "" para indicar que el implicador "" es siempre verdadero)
Ejemplos:
Diccionario:
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.
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.
Notas:
• La cláusula i) produce fórmulas atómicas que son del tipo P3(x,y,z), Q(a), R(a,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.:
Def.:
Ejemplos:
Traducción: x(D(x))
Traducción: x(C(x)D(j,x,p))
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)))
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)
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: