Slo con predicados

Mondicos Los ejemplos de este apartado son bsicos. Consideran frmulas con, a lo sumo, 2 predicados
mondicos y 3 constantes. No contienen funciones ni el smbolo de igualdad. En concreto, son frmulas de
un lenguaje L(R ,F ,C) con:

R = {P,Q}, F = , C = {a,b,c}

donde todos los smbolos de R son mondicos. Para cada una de estas frmulas se escogern (1) un
universo U, (2) una interpretacin I adecuada y (3) una asignacin A, sobre los que decidir el valor de
verdad de la frmula en ese caso.
Cada interpretacin de este lenguaje debe fijar: (1) qu subconjuntos del universo son P I y Q I y (2) qu
elementos del universo son a I , b I y c I .
En las frmulas que no contengan todos estos smbolos, basta especificar la interpretacin slo para los
smbolos que aparecen. Lo mismo ocurre con las asignaciones A: basta precisar qu elemento u = x A del
universo representa a cada variable x que aparece en la frmula.
Salvo en los ejemplos iniciales, en vez de P I , se denotar simplemente como P, en negrita, al subconjunto
representante del predicado P en la frmula. Lo mismo se har con las constantes.

Ejemplo 2.40 (Pc) El proceso de interpretacin que se propone se enuncia coloquialmente como: yo no s
qu propiedad formaliza P, pero en este universo de n elementos marco arbitrariamente que estos m tienen
esa propiedad; dime quin consideras que es c en este universo y comprobaremos si se encuentra entre los
m marcados.

Sobre la figura 2.4b, si c es el elemento 1, entonces la frmula Pc es verdadera. Por contra, si se considera
que 2 representa a c, entonces es falsa. Observe que se ha utilizado una interpretacin I adecuada que
facilita quin es P en ese universo y quin es c. Ms formalmente, siempre se requiere un universo U,
una interpretacin I adecuada y una correspondencia A entre variables y elementos. En este caso, el valor
de verdad de Pc resultar independiente de la asignacin A: no hay variables en la frmula. Por eso, se
suele omitir:

U = {1,2,3}; P I = {1,3}; c I = 1

Luego Pc resulta verdadera sobre esta estructura. Sobre toda estructura en que Pc sea verdadera su
negacin Pc es falsa. Y sobre toda estructura en que Pc sea falsa, su negacin Pc es verdadera. Una
frmula como Pc podra representar la frase: Antonio es rubio o El nmero 0 es par. Y una frmula como
Pc: Antonio no es rubio o El nmero 0 no es par; o tambien: Antonio es no-rubio o El nmero 0 es no-
par.

Ejemplo 2.41 (Px) Observe la figura 2.4b. La frmula Px es verdadera sobre la siguiente estructura y
asignacin:

U = {1,2,3}; P = {1,3}, con A(x) = 3

Efectivamente, aplicando la definicin de satisfaccin de una frmula:

(Px)I,A = 1 si y slo si xI,A0P si y slo si xA 0 PI si y slo si 3 0 {1,3}

I

Sin embargo, sobre esta misma estructura, si se utiliza otra asignacin A

U = {1,2,3}; P I = {1,3}, con A (x) = 2

1
Entonces la frmula Px resulta falsa. Observe que slo variando la asignacin sobre x, en la misma
estructura, se consigue que la frmula sea verdadera o falsa.
Hay dos casos extremos donde lo anterior no se produce. En estructuras como en la figura 2.4a, donde P =
U, ninguna asignacin consigue que la frmula Px sea falsa. Y en figura 2.4c, donde P = i, ninguna
asignacin consigue que la frmula Px sea verdadera.
Una frmula como sta puede representar la frase x es rubio x es par. Su valor de verdad depende de
la asignacin de x.

Ejemplo 2.42 (xPx) Una frmula como sta puede representar la frase todos los elementos del universo
son rubios o todos los elementos del universo son pares. Es slo verdadera en las estructuras en que P
sea igual a todo el universo figura. 2.4a y falsa en otros casos (b y c).
Observe que su valor de verdad no depende de la asignacin. De hecho, as se valora el cuantificador:
si toda asignacin de la variable x hace verdadera Px entonces xPx es verdadero. En la figura 2.4a las tres
asignaciones posibles A(x) = 1, A (x) = 2 y A (x) = 3 hacen verdadera Px sobre esa estructura; y por
tanto, xPx es verdadera sobre esa estructura.

(xPx) La frmula xPx es verdadera donde xPx es falsa: figura 2.4b-c. Podra representar las frases
no todos son rubios o no todos son pares.

(xPx) No confunda la frmula anterior con xPx: todos son no-rubios, todos son no-pares. O, ms
bien, ninguno es rubio, ninguno es par. Esta frmula slo es cierta en la figura 2.4c, donde todos los
elementos verifican P, es decir, donde todos estn en P, que es complementario de P.

Ejemplo 2.43 (xPx) Una frmula como sta puede representar la frase algn elemento del universo es
rubio o hay algn elemento del universo que es par. Es slo verdadera en las estructuras en que P sea
distinto del vaco figura 2.4a-b y falsa en otro caso (c).
Observe que su valor de verdad no depende de la asignacin. De hecho, as se valora el cuantificador: si al
menos una asignacin de la variable x hace verdadera Px entonces xPx es verdadero.
En figura 2.4b, dos de las asignaciones posibles A(x) = 1, A (x) = 3 hacen verdadera Px sobre esa
estructura; y por tanto, xPx es verdadera sobre la estructura de figura 2.4b.

(xPx) La frmula xPx es verdadera donde xPx es falsa: figura 2.4c. Podra representar las frases no
existe alguien rubio o ningn nmero es par.

(xPx) No confunda la frmula anterior con xPx: alguien es no-rubio, alguien es no-par.
Para que esta frmula sea verdadera basta que exista un elemento que tenga la propiedad P, que est
fuera del conjunto P.

P P 2 P 2

2
3 3
1 1
3 1

(a) P = U (b) P U, P (c) P =

Figura 2.4, tres estructuras sobre el mismo universo

2
Ejemplo 2.45 x(PxvQx) Esta frmula es verdadera en las estructuras donde al menos un elemento
pertenece a P I y ese mismo elemento pertenece tambin a Q I . Es decir, cuando la interseccin de ambos
conjuntos no sea vaca. Efectivamente, en ese caso, hay una asignacin de x que verifica (PxvQx), y por lo
tanto x(PxvQx) es verdadera.
Sobre universos finitos, puede ser til la siguiente aproximacin. Considere su evaluacin como un proceso
iterativo, como un bucle:

En cada iteracin la variable x del bucle es un elemento distinto del universo. Suponga que en la primera
iteracin es xA = 1. Entonces, en el cuerpo del bucle se pregunta si (P1vQ1); en la siguiente iteracin
(P2vQ2), . . ., hasta que finalizan los elementos del universo. Se abandona el proceso contestando
afirmativamente tan pronto como se verifica la frmula para un elemento. Slo es preciso recorrer todo el
universo para ofrecer una respuesta negativa.

Observe la figura 2.5a. La frmula analizada es verdadera en ella. De hecho, basta que exista al menos un
elemento en la regin PQ, con independencia de los elementos que hubiera en las otras 3 regiones.

P Q P Q

1 PQ PQ PQ
3

2 PQ
(a) Estructura (b) Esquema de estructura

Figura 2.5, Estructuras con dos predicados mondicos

x(PxvQx) Esta frmula es falsa en la figura 2.5a. Requiere que un mismo elemento no verifique P pero si
Q. Es decir, debera haber al menos un elemento en la regin PQ .

x(PxwQx) Esta frmula es verdadera en la figura 2.5a. Hay dos elementos 1 y 3 que cuando se les
pregunta en ese hipottico bucle, si verifican P o Q o ambos responde afirmativamente. De hecho, podan
estar situados en cualquiera de las 3 regiones que comprende la unin PcQ, que no debe ser vaca.

Ejemplo 2.46 ((xPx) v ( xQx)) Para interpretar esta frmula es fundamental percatarse de que hay dos
mbitos disjuntos cuantificados. Siguiendo con la imagen del bucle, correspondera al siguiente proceso:

3
Se pregunta primero a todos los elementos del universo si tienen la propiedad P, si se encuentra un
elemento x que lo verifique, entonces se sale de este mbito dando un valor verdadero a la subfrmula
(xPx), hacemos lo mismo con la subfrmula (xQx). Y se evala su conjuncin.
En la evaluacin de x(PxvQx), las dos variables del mbito de x referencian al mismo elemento. En
(xPx) v (xQx) no existe esa relacin entre esas variables, de mbitos distintos. Alguien es rubio y alguien
es alto se hace verdadera aunque el rubio (3) no sea el mismo que el alto (1). Observe que una evaluacin
equivalente se obtiene para la frmula (xPx) v (yQy)

Ejemplo 2.47 (xy(PxvQy)) Para poder evaluar esta frmula primero analizaremos una previa:
y(PxvQy). Volviendo a la imagen del bucle, la variable y va a recorrer todas las posibles asignaciones,
luego no hace falta precisar una en concreto para ella. Sin embargo, la variable libre x va a adoptar el valor
del elemento nico que se le asigne:

Sobre la figura 2.5a con la asignacin A(x) = 3 la frmula es verdadera. Observe que, dentro de este bucle,
se pregunta primero si (P3vQ1), despus si (P3vQ2), si (P3vQ3). La primera asignacin de y A(y)= 1
satisface el cuerpo del bucle, la frmula cuantificada existencialmente. Luego hace verdadera la frmula
existencial.

xy(PxvQy)Los mbitos de los cuantificadores o se anidan o son disjuntos, sintcticamente nunca se

solapan. Esta es una frmula del tipo x, donde puede informalmente verse como un bucle anidado. La
frmula global ser verdadera si alguna asignacin de x hace verdadera . En concreto, como se ha visto
antes, para A(x) = 3 o para A(y) = 1 se satisface la frmula existencial interna.

Ejemplo 2.48 x(PxQx) Observe la figura 2.5b. En tres de las cuatro regiones marcadas puede haber
elementos sin que esta frmula sea falsa:

De este bucle informal slo se sale afirmativamente si todas las asignaciones de x verifican la subfrmula de
su mbito. Basta que haya un elemento en PQ , que haga verdadero el antecedente y falso el consecuente,
para que se evale como falso todo el bucle.
Observe que una estructura en que P no tenga elementos tambin satisface esta frmula. No se requiere
que P tenga elementos, pero, si los tiene, deben estar en la regin PQ. Es decir, la frmula se hace
verdadera donde PdQ es verdadero. Esta frmula puede leerse todos los P son Q.

4
Ejemplos de interpretacin Didicos

Ejemplo 2.50 (Rxy) Esta frmula, con ambas variables libres, es verdadera sobre la siguiente estructura y
asignacin:

U = {1,2,3}; R I = {(1,3), (2,2)}, con A(x) = 1, A(y) = 3

Grficamente, sobre la tabla 2.2a, supone verificar que si se entra por la fila 1 y la columna 3, la casilla
pertenece a la relacin.

(a) R U 2 (b) S U 2
R 1 2 3 S 1 2 3
1 X 1 X X
2 X 2 X
3 3 X X

Tabla 2.2: Dos relaciones sobre el mismo universo

Ejemplo 2.51 (yRxy) Esta frmula, con la variable libre x, es verdadera sobre la siguiente estructura y
asignacin:

U = {1,2,3}; R I = {(1,3), (2,2)}, con A(x) = 1

Puesto que existe una asignacin de y que satisface R1y. Grficamente, sobre la tabla 2.2, supone verificar
que si se entra por la fila 1 para alguna columna y, la casilla pertenece a la relacin.

Ejemplo 2.52 (xyRxy) Esta frmula ya no requiere asignaciones: todas las variables estn ligadas.
Informalmente se puede leer como para toda fila x existe una columna y tal que la casilla (x,y) pertenece a
la relacin.
Sobre la tabla 2.2, es falsa en (a), si R I = R pero es verdadera en (b), si R I = S.

yxRxy Existe una columna y tal que, para toda fila x sobre esa columna, la casilla pertenece a la relacin.
Sobre la tabla 2.2, es falsa en (a), pero verdadera en (b) para y = 2. Observe que esta frmula es la que se
obtiene de la ltima analizada permutando los cuantificadores: no son equivalentes, no es lo mismo decir
todo el mundo quiere a alguien que alguien es querido por todo el mundo.
Puede comprobar que la frmula xyRxy no se satisface sobre ninguna de las dos relaciones de la tabla
2.2.

Ejemplo 2.53 xy(RxySxy) Interprete R I = R y S I = S de la tabla 2.2. Este doble bucle anidado es
verdadero si en todas sus 33 iteraciones el condicional no se hace falso. Para ello basta que nunca el
antecedente sea verdadero y el consecuente falso: que ninguna casilla marcada de R deje de estar marcada
en S. Es decir, que R d S, el conjunto de pares R sea un subconjunto del de S.
Compruebe que, si esta frmula es verdadera sobre una estructura, no pueden dejar de ser verdaderas

xy(RxySxy) y xy(RxySxy), menos exigentes.

Ejemplo 2.54 x(yRxyvPx) Esta expresin podra formalizar una sentencia como existe alguien que
quiere a todo el mundo y que es rubio. En una estructura como:

U = {1,2,3}; R I = {(1,3), (2,1), (2,2), (2,3)}, P I = {(2}

efectivamente existe alguien el 2 que verifica esta frmula. Observe que si alguien quiere a todo el mundo
no puede dejar de quererse a s mismo.

5
Funciones e igualdad
En esta seccin se completan los posibles smbolos propios que pueden utilizarse en un lenguaje de primer
orden.

Ejemplo 2.55 (xRx f(c)) Esta frmula podra representar la sentencia todo el mundo quiere a la madre de
Juan. Grficamente, considere la estructura de la tabla 2.2b, donde c I = 3 y la funcin f I : U U es tal
I
que f (3) = 2. La frmula es verdadera en esa estructura.

xR f(x)x Esta frmula podra ser una versin simblica de la expresin mi mam me mima: para toda
persona, su madre quiere a esa persona. Considere la relacin de esta frmula con xyRyx.
Cul de ellas no puede dejar de verificarse donde se verifica la otra?

Ejemplo 2.56 (Pcvx(Pxx c)) Esta frmula es una conjuncin: slo es verdadera cuando se satisfagan
ambas subfrmulas. As, c I debe pertenecer a P I , y adems el condicional no debe ser falso para ninguna
asignacin de x. Es decir, nunca puede darse que x tenga la propiedad P sin que coincida que esa x es c.
En pocas palabras: c tiene la propiedad P y es el nico del universo que la tiene.
Observe que el predicado didico no se interpreta arbitrariamente como cualquier relacin binaria sobre el
universo. Una interpretacin normal requiere que t1 t2 sea verdad cuando el elemento que representa a t1
sea el mismo que el que representa a t2I : t1I = t2I .

Ejemplo 2.57 (xyz g(g(x,y), z) g(x,g(y, z))) Esta frmula slo es verdadera sobre estructuras donde la
funcin binaria g sea asociativa. Por poner un ejemplo con universo infinito, considere el conjunto de los
nmeros naturales donde g es la funcin suma.

Una frmula es satisfacible si existe algn universo, interpretacin y asignacin donde sea verdadera.
Un conjunto de frmulas es satisfacible si existe algn universo, interpretacin y asignacin donde
coincidan todas en ser verdaderas.
Tambin podemos decir que un conjunto de frmulas es satisfacible si, y slo si, la frmula conjuncin de
todas ellas es satisfacible.

Otra forma de definir la satisfacibilidad es:

Un conjunto de predicados es satisfacible si existe algn modelo para el que todos los predicados sean
verdaderos.
Un conjunto de predicados es insatisfacible si no existe ningn modelo para el que todos los predicados
sean verdaderos, es decir, si cualquier modelo hace que alguno de los predicados sea falso.

6
x ( Px yQy )
Existe un elemento x del universo U, tal que, si es P, entonces todos los elementos del universo U son Q.

Una forma equivalente ms sencilla de comprender la expresin sera:

x ( Px yQy ) x ( Px yQy ) Pa Qy

Pa Qy Hay algn elemento de E que no es P o todos los elementos de E son Q.

P U o Q = U Qu debe cumplir un modelo para satisfacer al enunciado x(PxyQy)? Pues que P U

(distinto del universal) o que Q = U (que Q coincida con el universo U).

xy ( Qx My )
Cualesquiera que sean dos elementos x e y del universo U (pueden ser x = y), si x es Q, entonces y es M

Busquemos una forma equivalente a Y2 que sea ms comprensible:

xy ( Qx My ) xy ( Qx My ) Qx My

Nadie es Q ( Q = ) o todos son M ( M = U )

Qu debe cumplir un modelo para satisfacer a xy ( Qx My ) ? Pues simplemente que ( Q = ) o M = U

zQz z ( Mz Qz )
Todo elemento del universo verifica que es Q (Q = U ) o todo elemento del universo verifica que es M (M=U)
y no es Q ( Q = )

xQx y ( Py My )
Existe un elemento que es Q s y slo s existe otro (puede ser el mismo) que es P o es M

Una forma equivalente ms fcil de entender sera:

xQx y ( Py My )
xQx y ( Py My ) y ( Py My ) xQx
xQx y ( Py My ) y ( Py My ) xQx
Qx y ( Py My ) ( Py My ) xQx

x ( Rxx Sxy )
Para todo x de U, x est relacionado consigo mismo mediante R s y slo s existe un elemento y de U que
hace que el x se relacione con ese y mediante S

zy (Tzz Szy )
Existe un z de U tal que para todo y de U se verifica que z se relaciona consigo mismo mediante T y z se
relaciona con ese y mediante S.
De otro modo: Existe un elemento de U tal que se relaciona consigo mismo mediante T y se relaciona con
todos los dems mediante S.

7
xy (Txx z ( Syz Rzy ) )
Dados dos elementos cualquiera x e y del universo U (x e y pueden ser el mismo), Si x est relacionado con x
mediante T entonces para todos los elementos z del universo y se relaciona con z mediante S y z se relaciona
con y mediante Z.

y (Tyy zSzy )
Para todos los elementos y del universo, Si y se relaciona consigo mismo mediante T entonces todos los
elementos z del universo z est relacionado con y mediante S.

Otra forma de expresarlo es:

y (Tyy zSzy ) y ( Tyy zSzy ) Tyy Szy

Ningn elemento est relacionado consigo mismo mediante T o todos estn relacionados con todos mediante
S

Consideremos la interpretacin o modelo IW siguiente: U = {1,2} ; R = ; S =

xy ( Rxy x y )
Para todo x0U = {1,2}, existe un y0U = {1,2} tal que, si x est relacionado con y mediante R, entonces x es
distinto de y.

xy ( ( Rxy Sxy ) x = y )
Para todo x0U = {1,2} y para todo y0U = {1,2}, si x est relacionado con y mediante R e y lo est con x
mediante S, entonces x es igual a y.

xy ( Rxy y = x )
Existe un elemento y0U = {1,2} tal que para todo x0U = {1,2}, se verifica que y est relacionado con x
mediante R e y es igual que x.

xy ( x y ( Rxy Syx ) )
Existe un elemento x de U y otro elemento y de U tales que x es distinto de y, x est relacionado con y
mediante R e y no est relacionado con x mediante S

PREGUNTA 12 ANTICIPO EXAMEN

xy((Qx v Py)Sxy)

Es verdadera para la interpretacin: E = {1, 2, 3},

Q = {2}, P = {1}
a) S = {(1, 1), (2, 2)}
b) S = {(2, 1), (2, 3)}
c) S = ;
Dados dos elementos cualquiera x e y del universo E, Si x es Q e y es P entonces x se relaciona con y mediante
S.

Qx v Py Sxy
2v1 (2, 1) Verdadero
8
PREGUNTA 13 ANTICIPO EXAMEN
xy ((Sxy v x y) Qx) es verdadera para la interpretacin: E = {1, 2, 3}, S = {(1, 1), (2, 3)} con
a) Q = {1, 3}
b) Q = ;
c) Q = {1, 2}

Dados dos elementos cualquiera x e y del universo E, Si x se relaciona con y mediante S, tal que x es distinto
de y entonces x es Q.

Sxy v x y Qx
(1, 1) Falso, ya que x ha de ser distinto de y
1 Falso
(2, 3) 2 Verdadero
3 Falso

Para x = 1, y = {1, 2, 3}, y((Sxy v x y) Qx) es V porque Qx siempre es V, y el valor del condicional
cuando el consecuente es V, siempre es V.
Para x = 2, y = {1, 2, 3}, y((Sxy v x y) Qx) es V por lo mismo que antes.
Para x = 3, y = 1: Sxy es F, x y es V, y Qx es F. Por tanto (F v V) F = V
Para x = 3, y = 2: Sxy es F, x y es V, y Qx es F. Por tanto (F v V) F = V
Para x = 3, y = 3: Sxy es F, x y es F, y Qx es F. Por tanto (F v F) F = V
De lo anterior concluimos que xy((Sxy v x y) Qx) es V en esas condiciones.

El antecedente de la expresin slo es verdadero cuando x e y estn en S y, adems, son distintos. De entre los
valores de S, el par (1,1) no cumple y el par (2,3) s hace verdadero el antecedente. Cualesquiera otros valores
de x e y tambin lo hacen falso.

Tenemos, entonces x = 2 e y = 3. Para que el condicional sea verdadero, Qx tiene que ser verdadero, esto es, 2
tiene que estar en Q, cosa que se cumple en la opcin c).

Ejercicio 12 Febrero 2011 Tipo B

Y4 : xy ( ( Sxy Syx ) x y )
Y4 es verdadera para la interpretacin: E = {1, 2,3} , con
S = {(1,1) , ( 2,3) , ( 3, 2 )}
S = {(1,1) , (1, 2 ) , ( 2,1)}
S = {(1, 2 ) , ( 3, 2 ) , (1,1)}
Y4 se puede desarrollar como xy ( ( Sxy Syx ) x = y ) lo que hace verdadera a (1,1) pero no a (2,3) y
(3,2) a la vez por que la respuesta valida es la c) S={(1,2),(3,2),(1,1)}

Tienes que mirar en todo el universo, por tanto:

x = 1; existe un y que no es igual a x y que es (1,y) o (y,1)
x = 2; existe un y que no es igual a x y que es (1,y) o (y,1)
x = 3; existe un y que no es igual a x y que es (1,y) o (y,1)
en la a) no porque cuando x=1 y=1.
en la b) no porque no existe x=3.
en la c) si porque para x=1 y=2 (1,2);
para x=2 y=3 (3,2) o y=1 (1,2)
y para x=3 y=2 (3,2).
Bueno como he hecho copiar y pegar he dejado todo como (1,y) y (y,1), pero para x=2 es (2,y) y (y,2) y para
x=3 (3,y) y (y,3).
9
Hola Francisco,

Como dice Juan Miguel, xy((Sxy v Syx) w x = y) es la regla de definicin de la antisimetra, porque
realmente es lo mismo que:

xy(Sxy v Syx x = y)

Pero bueno, tampoco hace falta saber eso para resolverlo. Lo mejor que puedes hacer en estos ejercicios es
hacer un "bucle" (como en programacin) para probar todos los posibles valores:

Para x = 1, y = 1 compruebas si ((1, 1) S) v ((1, 1) S) 1 = 1 es verdadero o falso

Para x = 1, y = 2 compruebas si ((1, 2) S) v ((2, 1) S) 1 = 2 es verdadero o falso

Para x = 1, y = 3 ...

Para x = 2, y = 1 ...

Aqu, "pertenecer" significa verdadero y no pertenecer significa falso.

Cada una de las iteraciones del bucle te va a devolver verdadero o falso. Despus simplemente tienes en
cuenta el tipo de cuantificador: si es existencial, basta con que uno de los valores sea verdadero; si es
universal, tienen que ser todos los valores verdaderos.

Un saludo.

Ejercicio 13 Febrero 2011 Tipo B

Hola Angel,

en el 12, la opcin a no es posible porque para x=1 no se cumple y la b no es posible porque no se cumple
para x=3.

En el 13, es ms fcil creo yo, si le das la vuelta a la implicacin de Y3 ponindo ambos negados, esto es, para
x (Px-->Existe y Sxy). As creo que se ve fcil que la nica posible es la b.

Saludos
10
11