LGICA COMPUTACIONAL

Ingeniera Informtica

SOLUCIONES FORMALIZACIONES - Hoja 1

Curso 2006/07

1.

Formaliza las siguientes argumentaciones en lgica de predicados y usa el mtodo de los tableaux y el de Resolucin para probar su validez. a. Todos los nios son traviesos, as pues, si Guillermo es un nio, entonces, si todos los seres traviesos son adorables, Guillermo es adorable. N(x): x Nio T(x): x Travieso A(x): x Adorable g: Guillermo b.
x(N (x ) T (x )) N (a ) (x(T (x ) A(x )) A(g ))

Todos los alcohlicos son unos borrachos. Todos los que sufren delirium tremens sufren alucinaciones. Por consiguiente, si todos los borrachos sufren delirium tremens, todos los alcohlicos sufren alucinaciones. A(x): ser Alcohlico B(x): x Borracho D(x): x sufrirDelirium L(x): x sufrir Alucine
x(D(x ) L(x )) x(B(x ) D(x )) x( A(x ) L(x )) x( A(x ) B(x ))

c.

Todo ejecutivo que sea un poeta es un hombre imaginativo. Todo hombre imaginativo es amante del riesgo. Si algn amante del riesgo no gusta de la poesa, ningn poeta es amante del riesgo. En conclusin, si hay algn hombre imaginativo al que no le guste la poesa, entonces ningn ejecutivo es poeta. E(x): ser Ejecutivo P(x): x Poeta I(x): x ser Imaginativo A(x): x ser Amante del Riesgo G(x): Gustar Poesa
x(I (x ) P(x )) x(E (x ) P(x ) I (x )) x( A(x ) G (x )) x(P (x ) A(x ))

d.

Todos los detectives americanos pueden desentraar asesinatos. Cualquier detective que desentrae un asesinato obtendr una recompensa. Spencer es un detective americano. Por tanto, Spencer obtendr una recompensa. D(x): ser Detective Americano T(x): x desentraar asesinaTos R(x): x obtener Recompensa a: Spencer
x(D(x ) T (x )) D(a ) R(a ) x(D(x ) T (x ) R(x ))

e.

Ningn cuadrpedo reina en Europa. Algunos mamferos son cuadrpedos. Por tanto, hay mamferos que no reinan en Europa. C(x): ser Cuadrpedo R(x): x Reinar en Europa M(x): x ser Mamfero
x(C (x ) R(x )) x(M (x ) C (x )) x(M (x ) R(x ))

f.

Las sustancias radiactivas tienen vida corta o un valor medicinal. Ningn istopo del uranio que sea radiactivo tiene una vida corta. Por tanto, si todos los istopos del uranio son radiactivos, todos los istopos del uranio tienen un valor medicinal. R(x): ser Radiactiva C(x): x tener vida Corta M(x): x tener valor Medicinal I(x): x ser Istopo del Uranio
x((I (x ) R (x )) C (x )) x(I (x ) R(x )) x(I (x ) M (x )) x(R(x ) (C (x ) M (x )))

LGICA COMPUTACIONAL
Ingeniera Informtica

SOLUCIONES FORMALIZACIONES - Hoja 2

Curso 2006/07

g.

Si existe algn genio, todos los grandes compositores son genios. Si alguien es temperamental, todos los genios son temperamentales. Por tanto, si alguien es un genio temperamental, todos los grandes compositores son temperamentales. G(x): ser Genio C(x): x gran Compositor T(x): x ser Temperamental
xG (x ) x(C (x ) G (x )) xT (x ) x(G (x ) T (x )) x(G (x ) T (x )) x(C (x ) T (x ))

h.

Si una cosa se extrava, entonces si toda persona valora su propiedad, eso ser buscado. Si alguna persona valora su propiedad, toda persona lo hace. Por tanto, si algo se extrava, entonces, si alguna persona valora su propiedad, hay algo que ser buscado. E(x): cosa Extraviada P(x): x Persona R(x): x valorar pRopiedad B(x): x ser Buscado
xE (x ) (x(P(x ) R(x )) x(E (x ) B(x ))) x(P(x ) R(x )) x(P (x ) R (x )) xE (x ) (x(P(x ) R (x ))) x(E (x ) B(x ))

i.

Los parapsiclogos no son conductistas. Ningn psiclogo es competente en cuestiones extrasensoriales. Los que no son conductistas son competentes en cuestiones extrasensoriales. Por tanto, los parapsiclogos no son psiclogos. P(x): ser Parapsiclogo C(x): x ser Conductista S(x): x ser pSiclogo E(x): x competente cuestiones Extrasensoriales
x(P (x ) C (x )) x(S (x ) E (x )) x(P (x ) S (x )) x(C (x ) E (x ))

j.

Algunas mansiones no tienen ms de diez baos. Todas las mansiones son construcciones lujosas. Luego, algunas construcciones lujosas no tienen ms de diez baos. M(x): ser Mansin B(x): tener ms de 10 Baos L(x): construccin Lujosa
x(M (x ) B(x )) x(M (x ) L(x )) x(L(x ) B(x ))

k.

Ninguna persona insegura, es psiclogo. Todos los estudiosos de la conducta son psiclogos. Por tanto, ningn estudioso de la conducta es una persona insegura. I(x): persona Insegura P(x): ser Psiclogo E(x): estudiante de Conducta
x(I (x ) P(x )) x(E (x ) P(x )) x(E (x ) I (x ))