Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
LICENCIATURA EN DOCUMENTACIÓN
SISTEMAS DE REPRESENTACI×N
TEMA 2
PROBLEMAS
DE
LÓGICA
1. Determinar si las siguientes proposiciones son teoremas, es decir, son siempre verdaderas, utilizando para ello sus
tablas de verdad:
a) (¬p q) ((¬p ¬q) p)
b) (p ∧ ¬q) ∨ (¬p ∧ q) ∨ (q ∧ p) ∨ ¬(p ∨ q)
c) (q (p ∨ r)) ((¬¬q ∨ r) (q p))
d) ((¬p ∨ q) r) ¬(¬p ∨ q) ∨ r
2. Representar los siguientes razonamientos mediante fórmulas bien formadas de la lógica proposicional y analizar su
validez:
a) Pepe no viste ropa deportiva, aunque está corriendo. Si Pepe no lleva ropa deportiva, corre sólo
cuando tiene prisa. Pero Pepe no corre, aun teniendo prisa, a menos que esté calzado
cómodamente. Luego Pepe está calzado cómodamente.
b) Al menos una de las siguientes afirmaciones es falsa:
-Si Juan es escritor, escribe en español.
-O Juan no es escritor, o no lo es su hermano.
Luego Juan es escritor
5. Formalizar mediante la lógica de predicados de primer orden los siguientes enunciados en lenguaje natural:
a) Todos los calvos de Málaga llevan sombrero, menos algunos locos.
b) Si un león hablara, ningún humano le entendería.
c) Son comerciantes los que, teniendo capacidad legal para ejercer el comercio, se dedican a él
habitualmente; y las compañías mercantiles e industriales que se constituyeren con arreglo a este
Código.
d) Tampoco es verdad que no haya nadie bueno entre los alumnos de Papiroflexia I.
e) Si un hombre lleva paraguas rojo e impermeable verde, no dejará de haber quien se burle de él.
f) Feliz el pueblo donde algunos ciudadanos son ricos y ninguno pobre.
g) Sea cual sea el problema que propongas, seguro que viene resuelto en los libros de la biblioteca.
h) Una condición necesaria y suficiente para que un polinomio se anule en todo punto es que todos
sus coeficientes sean nulos.
8. Formalizar los siguientes enunciados mediante fórmulas de la lógica de predicados, y estudiar su validez lógica. Para
ello, utilizar la siguiente ontología:
o Conceptos:
o Yo(x): x soy yo.
o Et(x): x es un extraterrestre.
o Ov(y): y es un ovni.
o Relaciones:
o B(x, t): x bebe en el instante t.
o T(x, y): x teme a y
o Tr(x, y): x es tripulante de y.
a) Siempre hay alguien tal que si bebe, todo el mundo bebe (teorema del trago de Smullyan)
b) Hay una persona tal que siempre que bebe, todo el mundo bebe.
c) Si todo el mundo teme a Drácula y Drácula sólo me teme a mí, entonces yo soy Drácula (Smullyan)
d) O bien existen extraterrestres, o bien ningún ovni está tripulado, o bien todos están tripulados por no
extraterrestres.
e) O bien existen extraterrestres, o bien no hay ovnis, o bien algún ovni -suponiendo que esté tripulado- está
tripulado por no extraterrestres.
9. Representar en la lógica de predicados de primer orden los siguientes razonamientos y analizar su validez. Para ello,
en los casos en los que se hace explícita, utilizar las ontologías que se indican:
a)
Todo ser humano es mortal.
Sócrates es mi perro.
Los perros no son seres humanos.
Luego Sócrates no es mortal.
b)
Uno de los ladrones es amigo mío.
Los ladrones hablan inglés y viven en el pueblo.
Los amigos míos que no siendo extranjeros hablan inglés son todos varones.
Por tanto, ya que en el pueblo no viven extranjeros, alguno de los ladrones ha de ser varón.
c) Ontología:
o Conceptos:
o Acierta(x): x acierta en su afirmación.
o J(x): x fue escrito por Jiménez.
o G(x): x fue escrito por Giménez.
o Ff(x): x tiene un final feliz.
o B(x): x es muy breve.
El ilustre profesor Tornasol afirma que el libro anónimo "Desventuras de un estudioso estudiante de
Informática" se debe a la pluma de Jiménez o a la de Giménez. Ahora bien, es sabido que Jiménez daba
siempre a sus libros un final feliz; por el contrario, entre los de Giménez -todos ellos muy breves- hay alguno
que acaba francamente mal. Pero "Desventuras de un estudioso estudiante de Informática" es un libro largo
cuyo final, lamentablemente, es cualquier cosa menos feliz. Por tanto, el ilustre Tornasol se equivoca por esta
vez.
PPrroobblleem
maass ddee EExxaam
meenn