Soluciones Ejercicios 5: Logica de Predicados

TAII(I)-Logica
26 de abril de 2006

1. Ejercicio 5.1
Formalizar en el calculo de predicados las siguientes sentencias en lenguaje
natural.

1. Todos los actores son famosos.

a) D = las personas
A(-): - es actor
F(-): - es famoso
x[A(x) F (x)]
b) D = los actores
F(-): - es famoso
xF (x)

2. Algunos padres son responsables.

a) D = las personas
P(-): - es padre
R(-): - es responsable
x[P (x) R(x)]
b) D = los padres
R(-): - es responsable
xR(x)

3. Todos los miembros son padres o son maestros.

a) D = las personas
M(-): - es miembro
P(-): - es padre
MA(-): - es maestro
x[M (x) P (x) M A(x)]
b) D = los miembros
P(-): - es padre
MA(-): - es maestro
x[P (x) M A(x)]

4. Algunos polticos son incompetentes o son corruptos.

1
 a) D = las personas
P(-): - es poltico
I(-): - es incompetente
C(-): - es corrupto
x[P (x) (I(x) C(x))]
x[(P (x) I(x)) (P (x) C(x))]
x[P (x) (I(x) C(x))]

b) D = los polticos
I(-): - es incompetente
C(-): - es corrupto
x[I(x) C(x)]

5. Las manzanas y los pl

atanos son nutritivos.

a) D = las frutas
M(-): - es manzanza
P(-): - es platano
N(-): - es nutritivo
x[M (x) P (x) N (x)]
x[(M (x) N (x)) (P (x) N (x))]

b) D1 = las manzanas (x)

D2 = los platanos (y)
N(-): - es nutritivo
xN (x) yN (y)

6. Algunas frutas y verduras son nutritivas.

a) D = los alimentos
F(-): - es fruta
V(-): - es verdura
N(-): - es nutritivo
xy[F (x) V (y) N (x) N (y)]
x[F (x) N (x)] x[V (x) N (x)]
x[(F (x) V (x)) N (x)]

b) D1 = las frutas (x)

D2 = las verduras (y)
N(-): - es nutritivo
xN (x) yN (y)

7. Si algo anda mal, entonces todos se quejan.

D1 = las cosas (x)

D2 = las personas (y)
M(-): - anda mal

2
 Q(-): - se queja
xM (x) yQ(y)

8. Luis es Guapo.

D = las personas
G(-): - es guapo
G(l)

9. a) Pedro es amigo de todos.

b) Algunos son amigos de Pedro.
c) Todos son amigos de todos.

D = las personas
A(-,-): - es amigo de -
a) xA(p, x)
b) xA(x, p)
c) xyA(x, y)

10. S
olo los ejecutivos llevan cartera.

D = las personas
E(-): - es ejecutivo
C(-): - lleva cartera
x[C(x) E(x)]
x[E(x) C(x)]

11. Hay por lo menos una cosa que es humana y que es mortal.

D = las cosas
H(-): - es humana
M(-): - es mortal
x[H(x) M (x)]

12. Nadie sino los valientes merecen a bella.

D = las personas
V(-): - es valiente
M(-,-): - merece a -
x[M (x, b) V (x)]
x[V (x) M (x, b)]

13. Ning
un abrigo es impermeable a menos que haya sido especial-
mente tratado.

3
 a) D = los abrigos
I(-): - es impermeable
T(-): - esta especialmente tratado
x[T (x) I(x)]
x[I(x) T (x)]

b) D = las cosas
A(-): - es abrigo
I(-): - es impermeable
T(-): - esta especialmente tratado
x[A(x) (I(x) T (x))]
x[A(x) I(x) T (x)]

14. Ning
un coche que tenga m
as de 10 a
nos ser
a reparado si est
a real-
mente averiado.

a) D = los coches de mas de diez a

nos
R(-): - es reparado
A(-): - esta realmente averiado
x[A(x) R(x)]

b) D = los coches
D(-): - tiene mas de diez a
nos
R(-): - es reparado
A(-): - esta realmente averiado
x[D(x) A(x) R(x)]

c) D = las cosas
C(-): - es coche
D(-): - tiene mas de diez a
nos
R(-): - es reparado
A(-): - esta realmente averiado
x[C(x) D(x) A(x) R(x)]
x[C(x) (D(x) (A(x) R(x)))]

15. En toda pareja de vecinos hay alg

un envidioso.

D = las personas
V(-,-): - es vecino de -
E(-): - es envidioso
xy[V (x, y) E(x) E(y)]

4
2. Ejercicio 5.2
Dada la siguiente frase en lenguaje natural:

s
olo los amigos de Juan son divertidos

Se pide:

1. Formalizarla en el calculo de predicados utilizando como domino general

las personas

Soluci
on:
D = las personas
A(-,-): - es amigo de -
D(-): - es divertivo

F1 (x, j) : x[D(x) A(x, j)] Primera posibilidad

F2 (x, j) : x[A(x, j) D(x)] Segunda posibilidad

2. Evaluarla en el dominio D = {P edro, Juan, Luis}, sabiendo que:

Pedro es divertido y Juan y Luis no lo son.

Pedro es amigo de s mismo y de Luis.
Juan es amigo de todos.
Luis es amigo de s mismo y de Juan.

Soluci
on:
D = {pedro, juan, luis}
Predicado A(-,-), aridad 2 (poliadico) no de interpretaciones: D2
{T, F }, es decir 9 asignaciones (32 {T, F }).

Predicado D(-), aridad 1 (monadico) no de interpretaciones: D1

{T, F }, es decir 3 asignaciones (31 {T, F }).

x D(x)
p T
j F
l F

5
 x y A(-,-)
p p T
p j F
p l T
j p T
j j T
j l T
l p F
l j T
l l T

Evaluacion de la formula:

x D(x) A(x,j) D(x) A(x, j) xF1 (x, j)

p T F F F
j F T T F
l F T T F

3. Ejercicio 5.3
Dada la siguiente frase en lenguaje natural:

todos los vecinos del vecindario odian a una persona

Se pide:

1. Formalizarla en el calculo de predicados utilizando como domino general

las personas

Soluci
on:
D = las personas;
O(-,-): - odia a -
V(-): - pertenece al vecindario

F (x, y) : x[V (x) O(x, y)]

2. Evaluarla en el dominio D = {Begoe

na, M aria, N ieves}, sabiendo que:

Bego
na y Nieves pertenecen al vecindario, y Nieves no.
Nieves no odia a nadie.
Bego
na y Mara solo odian a Nieves.

(La variable libre representa al elemento Nieves)

6
 Soluci
on:
D = {begoe na, maria, nieves}
Predicado V(-,-), aridad 2 no de interpretaciones: 32 {T, F }; es
decir 9 asignaciones.

Predicado O(-), aridad 1 no de interpretaciones: 31 {T, F }; es

decir 3 asignaciones.

x V (x)
b T
m T
n F

x y O(-,-)
b b F
b m F
b n T
m b F
m m F
m n T
n b F
n m F
n n F

Evaluacion de la formula, que asignando la variable libre al valor de

nieves quedara: F (x, n) : x[V (x) O(x, n)]

x V (x) O(x,n) V (x) O(x, n) xF (x, n)

b T T T T
m T T T T
n F F T T

4. Ejercicio 5.4
Dada la siguiente frase en lenguaje natural:

Si los obreros no son trabajadores, entonces algunos empresar-

ios no son demasiado listos y se arruinar
an

Se pide:

1. Formalizarla en el calculo de predicados, empleando dos dominios: D1 =los

obreros,D2 =los empresarios.

Soluci
on:
D1 = los obreros (x)
D2 = los empresarios (y)

7
 T(-): - es trabajador
L(-): - es listo
A(-): - se arruinara

F (x, y) : xT (x) y[L(y) A(y)]

2. Evaluarla en los dominios D1 = {obrero P edro, obrero Luis, obrero

Carlos}, y D2 = {empresarioJuan, empresarioM iguel, empresario
Roberto}, sabiendo que:

Pedro es el u
nico obrero trabajador.
Juan es listo y no se arruinara.
Miguel no es listo y se arruinara.
Roberto se arruinara a pesar de ser listo

Soluci
on:
D1 = {obrero P edro, obrero Luis, obrero Carlos}
D2 = {empresarioJuan, empresarioM iguel, empresarioRoberto}

Los tres predicados son monadicos, y ambos dominios estan restrigi-

umero de asignaciones sera 3(31
dos a tres objetos por lo que el n
{T, F }).

x T (x)
p T
l F
c F

y L(y) A(y)
j T F
m F T
r T T

Evaluacion de la formula, antecendente:

x T (x) T (x) xT (x)

p T F F
l F T F
c F T F

Evaluacion de la formula, consecuente:

y L(y) A(y) L(y) L(y) A(y) y[L(y) A(y)]

j T F F F T
m F T T T T
r T T F F T

8
 Dado que el antedente de la formula predicativa es falso, y el consecuente
es verdadero, puede concluirse que la evaluacion de F(x,y) es verdadera
(F T T ).

5. Ejercicio 5.5
Dada la siguiente formula:

xy(M ayor que(x, y) Igual a(y, menor(a, y)))

En el dominio de tres elementos D = {0, 1, 2}, se pide obtener la evaluacion

total de la formula para dicho dominio.

Suponer que la asignacion (a) = 1

x y (menor(x, y))
0 0 0
0 1 0
0 2 0
1 0 0
1 1 1
1 2 1
2 0 0
2 1 1
2 2 2

x y (Igual a(x, y))

0 0 T
0 1 F
0 2 F
1 0 F
1 1 T
1 2 F
2 0 F
2 1 F
2 2 T

x y (M ayor que(x, y))

0 0 F
0 1 F
0 2 F
1 0 T
1 1 F
1 2 F
2 0 T
2 1 T
2 2 F