Introduccin a la Computacin

Tc1001
Operadores Lgicos

3.2 Lgica de predicados

Predicados de primer orden
Lenguaje formal de la lgica de predicados (sintaxis)
Cuando decimos Pitgoras naci en Grecia declaramos una proposicin. Esta
proposicin tiene dos componentes principales:
Pitgoras
naci en Grecia
Sujeto
Trmino

predicado

El trmino es el objeto al cual se refiere la proposicin, en este caso, Pitgoras. Y el

predicado es el que expresa algo sobre el trmino en la proposicin.
Una proposicin con predicado se forma al unir por lo menos un trmino con un
predicado. Estas uniones pueden ser de dos formas:
a. Si en la proposicin el predicado expresa una propiedad o cualidad
verificada por el trmino se llama cpula afirmativa.
b. Si en proposicin la propiedad expresada por el predicado no es
verificada por el trmino se llama cpula negativa.
Los predicados se representan mediante letras maysculas y los trminos mediante
letras minsculas.
Ejemplo:
p : Pitgoras
H () : naci en Grecia
El predicado es:
H ( p ) : Pitgoras naci en Grecia
Un predicado es una proposicin en la que se afirma o se niega algo de uno o varios
objetos que son los trminos del predicado.
El lenguaje formal de la lgica de predicados est formado por tres elementos:
trminos, predicados y conectivos.
1. Trminos. Segn el objeto referenciado ( de quien se est hablando ) el
objeto puede ser de tres tipos:
a. Trmino constante. El objeto referenciado es algo o alguien
especfico. H ( p ) : Pitgoras naci en Grecia.
b. Trmino variable. El objeto referenciado no es algo o alguien
especfico. F ( x ) : x es mayor que 3
c. Trmino funcin. El objeto referenciado viene dado por otro
objeto. G ( x, y ) : La hermana mayor de Nazira se llama Leyla. La
hermana mayor de x se llama y .
Ngj/2011

3.2 Lgica de predicados

79

Introduccin a la Computacin
Tc1001
Operadores lgicos
Si un trmino se refiere a todos los objetos que verifican una
propiedad expresada en el predicado, se le llama Trmino
universal. En caso contrario, cuando el trmino no se refiere a todos
los objetos se le llama Trmino existencial o particular.
2. Predicados. En funcin del nmero de trminos referenciados, el
predicado puede ser:
a. Mondico o de atribucin de propiedades a sujeto. Es el
predicado al que se refiere a un nico trmino. H ( p ) : Pitgoras
naci en Grecia.
b. Polidico o de relacin entre trminos. Es el predicado que se
refiere a ms de un trmino. F ( x ) : x es mayor que 3 . G ( x, y ) :
La hermana mayor de Nazira se llama Leyla. La hermana mayor
de x se llama y .
Los predicados pueden ser: contradictorios o contrarios recprocamente:
Son contradictorios uno del otro si cada uno de ellos se verifica en todos los
objetos que no verifican el otro.
Ejemplo:
F (x) y G (x ) son predicados contradictorios
F (x ) : Esa pared es blanca
G (x ) : Esa pared no es blanca
Son contrarios uno del otro si no pueden verificarse en un mismo objeto pero
puede existir un objeto que no verifica ni uno ni otro.
Ejemplo:
F ( x, y ) : Leyla es la hermana mayor de Nazira
F ( x, y ) y G ( x, y ) son predicados contrarios
G ( x, y ) : Leyla es la hermana menor de Nazira
3. Conectivos.
Negacin,
conjuncin,
disyuncin,
implicacin,
bicondicional:
a. Negacin H ( p ) : Pitgoras no naci en Grecia
b. Conjuncin H ( p ) : Pitgoras naci en Grecia y fue un gran
matemtico
c. Disyuncin F ( x, y ) : Leyla 0 es la hermana mayor de Nazira o es
la hermana menor.
d. Implicacin G (x ) : si esa pared es blanca entonces yo necesito
lentes.
e. Bicondicional G (x ) : esa pared se ve blanca s y slo s le da la
luz.

80

3.2 Lgica de predicados

Ngj/2011

Introduccin a la Computacin
Tc1001
Operadores Lgicos
Cuantificadores
Existen cuatro maneras de unir trminos con predicados para obtener
proposiciones:
A (universal afirmativo): Trmino universal con cpula afirmativa
Todoes
E (universal negativo): Trmino universal con cpula negativa
Ninguno es
I (existencia afirmativo): Trmino existencial con cpula afirmativa
Alguno es
O (existencial negativo): Trmino existencial con cpula negativa
Algn no es
Ejemplo:
M (x ) : es mortal (predicado) en el dominio D: todas las personas.
A: Todas las personas son mortales xM (x )
E: Ninguna persona es mortal x M (x )
I: Alguna persona es mortal xM (x )
O: Alguna persona no es mortal x M (x)

Ngj/2011

3.2 Lgica de predicados

81

Introduccin a la Computacin
Tc1001
Operadores lgicos

Proposicin abierta: P: x es mayor que uno

P (x ) : x > 1

P(5) : V

P (3) : V

P (0 ) : F

no siempre es verdadero
no siempre es falso

P: para algunos valores de x, x es mayor que uno

cuantificador: para algunos

existe por lo menos uno

Una frase declarativa es una proposicin abierta si

1. contiene una o ms variables
2. no es una proposicin, pero
3. se convierte en una proposicin cuando la variable que aparece se reemplaza
por un valor o algo permisible
Lo permisible se encuentra en:

un universo, universo de discurso

Universo contiene la opcin que se puede considerar o permitir para la variable o

variable que interviene en la proposicin abierta

x P(x )

p ( x ) : x 3 es un nmero impar dentro de los reales. U = Re

q(x, y ) : y 3 es un nmero impar y x + 2 es un nmero entero dentro de los reales.

U = Re xy q(x, y )

existencial: existe como

Cuantificadores

universal: para todos

Ejemplos:

sen 2 x + cos 2 x = 1

x , y x 2 + y 2 = 41 la suma de dos cuadrados es 41 x = 4

Si

x
x

Si

xp(x ) es verdad entonces x es verdadero

Si

y =5

es V x es verdad

es F x es falso
xp (x ) xp (x ) : Significa que

: implica lgicamente (con respecto al valor de verdad)

82

3.2 Lgica de predicados

Ngj/2011

Introduccin a la Computacin
Tc1001
Operadores Lgicos

En una implicacin
Proposicin :

x[ p( x ) q( x )]

Contrapositiva:
Recproca:
Inversa:

x[q(x ) p(x )]

x[q(x ) p(x )]

x[p( x ) q( x )]

Equivalencia
x[ p(x ) q(x )] xp(x ) xq(x )

x[ p(x ) q(x )] xp(x ) xq(x )

x[ p(x ) q(x )] xp(x ) xq(x )
x[ p(x ) q(x )] xp(x ) xq(x )
Variable libre x cuando
Variable libre x cuando

x
x

Contraejemplo: un valor de x que hace que la proposicin tenga el valor contrario

Reglas para negar proposiciones con cuantificadores:
[ x p ( x)

] x
[ x p ( x) ] x
[ x p ( x) ] x
[ x p ( x) ] x

Ngj/2011

p ( x)
p ( x)
p ( x)
p ( x)

3.2 Lgica de predicados

83

Introduccin a la Computacin
Tc1001
Operadores lgicos

84

3.2 Lgica de predicados

Ngj/2011