1.4. Clculo de predicados.

1.4.1 Definicin
1.4.2 Variables y particularizaciones
1.4.3 Cuantificadores y restricciones
1.4.1 Definicin
En clculo de predicados el valor de
verdad depende de los componentes que
forman el predicado. Por ejemplo: Juan es
padre de Pedro es una expresin en
clculo de predicados, que en general
podra ser: x es padre de y, o simplemente
p(x,y).
1.4.1 Definicin
En general podemos decir que un
predicado puede tener una o ms
variables y que las variables pueden tomar
valores de un conjunto especfico llamado
DOMINIO.
As por ejemplo las dos expresiones
mencionadas anteriormente son de la
forma p(x,y) donde el predicado p
representa es padre de y el domino es
el conjunto de las personas.
1.4.1 Definicin
Un predicado es un enunciado que
contiene una o ms variables, no es una
proposicin, pero se vuelve una
proposicin cuando se sustituyen esas
variables por constantes.
Ejemplos:
Analiza cules son los predicados y las variables en los siguientes ejemplos:
El libro es azul
Armando y Eduardo son hermanos
Jess es alumno del tecnolgico
El concierto de Aranjuez es una composicin de Joaqun Rodrigo
Elas tiene ms aos que Ren en el trabajo
Esteban compra mercanca los lunes en Almacenes A.
Solucin:
AZ(x), AZ es el predicado: es de color azul, en el dominio de objetos.
H(x,y), H es el predicado: es hermano de, el dominio el conjunto de las personas.
T(x), T es el predicado: es alumno del Tecnolgico, el dominio el conjunto de los
estudiantes.
R(x), r es el predicado: es composicin de Joaqun Rodrigo, el dominio de las obras
musicales.
T(x,y), T es el predicado: tiene menos tiempo trabajando que, el dominio de las personas
A(x,y), A es el predicado: comprar en los almacenes cierto da, el dominio para el primer
argumento es el de las personas, el dominio del segundo son los das de la semana.

1.4.1 Definicin
Una frmula en lgica de predicados es una expresin que se
puede obtener mediante alguna de las formas siguientes:
p(x
1
, x
2
, ,x
n
) donde p es un smbolo que representa un
predicado y x
1
, x
2
, ,x
n
son smbolos de variable.
( F) donde F es una frmula de lgica de predicados.
(F <OP> G) donde F y G son frmulas de lgica de
predicados y <OP> es cualquiera de los operadores ^, v, ,

( x) F, donde F es un frmula en lgica de predicados.
( x) F, donde F es un frmula en lgica de predicados.
1.4.1 Variables y particularidades
En clculo de predicados tenemos
expresiones con variables, las variables
pertenecen a un conjunto o dominio
previamente determinado. Por lo que es
muy importante definir el dominio
cuando interpretamos una frmula
mediante un predicado especfico.
1.4.1 Variables y particularidades
Ejemplo: x es alumno del ITL, que se
podra representar por T(x), aqu el
predicado T es alumno del ITL y el
dominio podra ser el conjunto de los
estudiantes de Lerdo.
Es muy importante que se especifique con
toda claridad el dominio.

1.4.2. Cuantificadores y
restricciones.
Dos casos centrales en el clculo de
predicados se presentan cuando se analiza
si el predicado se cumple para la
poblacin completa y cuando se analiza
para ver si cumple para un caso en
particular al menos. Estos dos casos se
llaman Universal y Particular o Existencial.
1.4.2. Cuantificadores y
restricciones.
Cuantificador Universal. El
cuantificador universal para todo
asociado a una expresin de clculo de
predicados F se representa por la
expresin ( x) F y es verdadera cuando
todas las instancias de la frmula son
verdaderas al sustituir la variable x en la
frmula por cada uno de los valores
posibles del dominio.
1.4.2. Cuantificadores y
restricciones.
As por ejemplo si tenemos que la
frmula es T(x) donde T representa es
alumno del ITL y x representa un alumno
de Lerdo, la frmula ( x) T(x) es falsa
pues sabemos que hay alumnos en Lerdo
que no son del ITL.
1.4.2. Cuantificadores y
restricciones.
Cuantificador Existencial. El
cuantificador existencial al menos
uno o existe uno asociado a una
expresin de clculo de predicados F se
representa por la espresin ( x) F y es
verdadera cuando por lo menos una
instancia de la frmula es verdadera al
sustituir por la variable x uno de los
valores posibles del dominio.
1.4.2. Cuantificadores y
restricciones.
As por ejemplo en el mismo caso del
anterior la expresin ( x) T(x) es
verdadera pues sabemos que s es verdad
que al menos una persona de Lerdo es
alumno del ITL.
1.4.2. Cuantificadores y
restricciones.
Hay expresiones dentro del espaol que son
muy utilizadas como por ejemplo, Todos los
alumnos son estudiosos, Todos los hombres
son mortales o Todos los alumnos de
Computacin estudian lgica. En este caso
estamos tomando una parte del dominio
para establecer un caracterstica universal,
esto se puede hacer mediante la
combinacin de dos predicados de una
varible conectados mediante una condicional
y tomando el cuantificador universal.
1.4.2. Cuantificadores y
restricciones.
As por ejemplo: Todos los alumnos son estudiosos se puede
representar mediante:

( x) (A(x) E(x)) donde el predicado A significa alumno,
E estudioso y x es un elemento de un dominio general que
podra ser el de las personas o cualquier subconjunto
deseado. Por ejemplo podran ser todos las personas que
viven en Lerdo.

Aqu podemos ver claramente que el dominio juega un papel
preponderante, ya que en un conjunto todos los alumnos
podran ser estudiosos y si cambiamos el conjunto puede ser
que ya no sea verdad.

1.4.2. Cuantificadores y
restricciones.
Todos los hombres son mortales se
puede represntar por ( x)
(H(x) M(x)) donde H es hombre y M
el predicado mortal.
Todos los pericos son verdes es: ( x)
(P(x) V(x)) con P, perico y V verde.
A una expresin como las anteriores se le
llama Universal Afirmativa y se
representa con la letra A.

1.4.2. Cuantificadores y
restricciones.
Los griegos utilizaban enunciados como los
anteriores en los Silogismos, que son formas
de razonamiento que contienen dos
premisas tipo A, E , I, O y una conclusin
tambin de uno de los cuatro tipos, las
premisas estn conectadas con un predicado
comn y la conclusin debe estar formado
por las no comunes que se le llaman
tcnicamente premisa menor y premisa
mayor.
1.4.2. Cuantificadores y
restricciones.
Una expresin tipo E es llamada Universal
Negativa y se representa por
( x) (P(x) Q(x)) y en espaol se lee
ningn P cumple Q o sea que los que
cumplen el predicado P(x) no cumples el
predicado Q(x).
Ningn alumno lleg tarde se puede
representar por ( x)
(A(x) T(x)) donde A es alumno y T es
lleg tarde.

1.4.2. Cuantificadores y
restricciones.
Las dos expresiones restantes corresponden a casos
particulares y para formarlas utilizamos el
cuantificador existencial, y en lugar del operador
condicional se usa la conjuncin, as
I es ( x) (P(x) Q(x)) llamado Particular
Afirmativa y
O es ( x) (P(x) Q(x)) que es la Particular
Negativa.
En el primer caso se indica un elemento que cumple
las dos condiciones dadas por los predicados y en el
segundo aseguramos que hay un elemento que
cumple la primera condicin pero no la segunda.
1.4.2. Cuantificadores y
restricciones.
Propiedad:
( x) P(x) es equivalente a ( x) (
P(x))
( x) P(x) es equivalente a ( x)
(P(x))
Ahora s, podemos combinar estos dos
resultados con las Universales y
Particulares Afirmativas y Negativas y
tenemos lo siguiente.

1.4.2. Cuantificadores y
restricciones.
Teorema:
La negacin de la Universal Afirmativa es la Particular Negativa y
La negacin de la Particular Afirmativa es la Universal Negativa.
O sea que la negacin de la forma A es la forma O y la negacin de la
forma I es la forma E.
( x) (P(x) Q(x)) es equivalente a ( x) (P(x) ^ Q(x))
( x) (P(x) ^ Q(x)) es equivalente a ( x) (P(x) Q(x))

1.4.2. Cuantificadores y
restricciones.
Esto es muy til en matemticas y en
computacin, por ejemplo si queremos
demostrar que no es cierto que todas las
funciones integrables son continuas, basta
encontrar una que sea integrable y que
no sea continua.