c

c
cc
 c

c


c

 ccc



c c 
c

  
c



c

 c c cc

 c
cc 


cc
cc

 c

c
c

c
 

 



En cálculo de predicados utilizamos variables, dentro de este tema

consideramos las expresiones booleanas que se definieron como proposiciones
abiertas

En cálculo de predicados tenemos elementos más simples para formar las

expresiones atómicas, a diferencia de una proposición simple donde su valor es
verdadero o falso de acuerdo a una interpretación, en cálculo de predicados el
valor de verdad depende de los componentes que forman el predicado. Por
ejemplo: Juan es padre de Pedro es una expresión en cálculo de predicados,
que en general podría ser: x es padre de y, o simplemente p(x,y).

En otras palabras tenemos aquí una proposición abierta que depende de dos
variables, y que por supuesto el valor de verdad depende de los valores que le
demos a las varibles, porque por ejemplo: Luis es padre de Agustín puede tener
un valor de verdad diferente al anterior.

En general podemos decir que un predicado puede tener una o más variables y
que las variables pueden tomar valores de un conjunto específico 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.

Analiza cuáles son los predicados y las variables en los siguientes ejemplos:

El libro es azul

Armando y Eduardo son hermanos

Jesús es alumno del tecnológico

El concierto de Aranjuez es una composición de Joaquín Rodrigo

Elías tiene más años que René en el trabajo

Esteban compra mercancía los lunes en Almacenes A.

Solución:

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.
i(x), i es el predicado: es alumno del iecnológico, el dominio el conjunto de
los estudiantes.

R(x), r es el predicado: es composición de Joaquín Rodrigo, el dominio de las

obras musicales.

i(x, y), i 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 día, el dominio para
el primer argumento es el de las personas, el dominio del segundo son los días
de la semana.

Podemos observar que la definición del predicado es arbitraria y que para un

mismo ejemplo podría variar la estructura, por ejemplo en el predicado: El libro
es azul, podríamos considerar como fórmula propuesta M(x,y), donde M es el
predicado: es de color, y el dominio para la primera variable es el conjunto de
los objetos y para la segunda el de los colores.

iambién observamos que el dominio puede ajustarse según las nece sidades,
por ejemplo, en el tercer ejemplo en i(x), x podría ser el conjunto de todos los
alumnos de un país, o de una ciudad o de una disciplina.
c

Una fórmula en lógica de predicados es una expresión que se puede obtener

mediante alguna de las formas sigu ientes:
i) <m> p(x1, x2, « ,xn) </m> donde p es un símbolo que representa un
predicado y x 1, x2, « ,xn son símbolos de variable.
ii) (¬ F) donde F es una fórmula de lógica de predicados.
iii) (F <OP> G) donde F y G son fórmulas de lógica de predicados y < OP> es
cualquiera de los operadores ^, v, o,
iv) (´ x) F, donde F es un f órmula en lógica de predicados.
v) ( x) F, donde F es un fórmula en lógica de predicados.

El paréntesis encerrando las expresiones en (ii) y (iii) es con el fin de evitar

ambigüedades en las interpretaciones igual que en lógica de proposiciones

V
c 
ccc
c
cc


c
cc
c


c 
cc

c
c

cc

ccc
c

c

c

c
c
c
cc
c

ccc
cV
c
ccc
c
c
ccc
c

c

c


c c


c 
c
c

cc
c!c
c

c!c
c
!
c

c
c 
c

c
c

cc
"c

V
c 
ccc
ccc
c#
cc

cc
c
c


c
c

c
Un predicado es una expresión lingüística que puede conectarse con una o varias otras
expresiones para formar una oración.3 Por ejemplo, en la oración «Marte es un planeta», la
expresión «es un planeta» es un predicado que se conecta con la expresión «Marte» para
formar una oración. Y en la oración «Júpiter es más grande que Marte», la expresión «es más
grande que» es un predicado que se conecta con dos expresiones, «Júpiter» y «Marte», para
formar una oración.

Cuando un predicado se conecta con una expresión, se dice que expresa una propiedad (como
la propiedad de ser un planeta), y cuando se conecta con dos o más expresiones, se dice que
expresa una relación (como la relación de ser más grande que). La lógica de primer orden no
hace ningún supuesto, sin embargo, sobre si existen o no las propiedades o las relaciones.
Sólo se ocupa de estudiar el modo en que hablamos y razonamos con expresiones lingúisticas.

En la lógica de primer orden, los predicados son tratados como funciones. Una función es,
metafóricamente hablando, una máquina que recibe un conjunto de cosas, las procesa, y
devuelve como resultado una única cosa. A las cosas que entran a las funciones se las
4
llamaargumentos, y a las cosas que salen, valores o imágenes. Considérese por ejemplo la
siguiente función matemática:

f(x) = 2x

Esta función toma números como argumentos y devuelve más números como valores.
Por ejemplo, si toma el número 1, devuelve el número 2, y si toma el 5, devuelve el 10. En
la lógica de primer orden, se propone tratar a los predicados como funciones que no sólo
toman números como argumentos, sino expresiones como «Marte», «Mercurio» y otras
que se verán más adelante. De este modo, la oración «Marte es un planeta» puede
transcribirse, siguiendo la notación propia de las funciones, de la siguiente manera:

Planeta(Marte)

O, más abreviadamente:

P(m)

En la matemática existen además funciones que toman varios argumentos. Por

ejemplo:

f(x,y) = x + y

Esta función, si toma los números 1 y 2, devuelve el número 3, y si toma

el -5 y el -3, devuelve el -8. Siguiendo esta idea, la lógica de primer orden
trata a los predicados que expresan relaciones, como funciones que
toman dos o más argumentos. Por ejemplo, la oración «Caín mató a
Abel» puede formalizarse así:

Mató(Caín,Abel)O abreviando:M(c,a)
 Este procedimiento puede extenderse para tratar con
predicados que expresan relaciones entre muchas entidades.
Por ejemplo, la oración «Ana está sentada entre Bruno y
Carlos» puede formalizarse:

S(a,b,c)
c


$%$&&'(

&'(&V )
)
***
c