EJERCICIOS DE FORMALIZACIÓN

1. Formaliza las siguientes expresiones del lenguaje natural (recuerda traducir

antes las variables y, si consideras que debes modificar de alguna manera el
enunciado del lenguaje natural, explica tu decisión):

1. No supo qué contestar.

2. Aunque no quieras aprender, yo sí quiero enseñar.

3. O recoges la mesa, o no bajas al patio ni vas de excursión.

4. Si vienes a clase, no te olvides del libro.

5. Sólo si el Ibex-35 baja 5 puntos habrá crisis, así que deberás vender el 10% de las
acciones de tu empresa sin comunicarlo siquiera al Consejo de administración.

6. Sólo en el caso de que no sepas contestar a la primera pregunta y haya dos opciones
en la segunda pregunta, deberás contestar sólo a la primera opción.

7. No tendremos ningún problema de sequía este verano mientras siga lloviendo, pero
sólo evitaremos, es decir, no tendremos problemas de inundaciones, si deja de llover.

8. Si voy al instituto, tengo que ir en autobús o en coche, pero si voy en autobús, empleo
demasiado tiempo y, si voy en coche, gasto demasiado dinero, entonces, o voy andando,
o empleo demasiado tiempo, o gasto demasiado dinero.

9. O gana el Madrid, o no pierde el Atleti, pero no es cierto que, si pierde el Atleti,

entonces no pierda el Barcelona, así que, se da la circunstancia de que, gana el Rayo, y
entonces pierde el Barcelona, y además gana el Madrid.

10. Si hay una situación de crisis económica, el índice de natalidad disminuye, pero si
avanza la medicina, las expectativas de vida serán mayores; entonces, tanto si el índice
de natalidad disminuye, como si las expectativas de vida se hacen mayores, la sociedad
irá envejeciendo rápidamente, siempre y cuando la crisis económica sea un hecho y los
avances en la medicina sean constantes.
2. Escribe un enunciado del lenguaje natural para cada una de las siguientes
formalizaciones lógicas:

1. [(p ∧ q) ↔ (r ∧ s)] ∧ (q v t)

2. (p → q) ∧ (r → (t → s))

3. [(¬q → ¬p) ∧ ¬r] → ¬s

4. (¬p → s) ∧ (s → r)

5. (p ∧ q) → (r ↔ (s ∧ ¬t))

3. Señala los errores en las siguientes traducciones y formalizaciones:

1. Sócrates: ¿Convenimos en admitir que una cosa no puede ser enseñada si no hay
profesores capaces de enseñarla? Menón: Por supuesto. Sócrates: Pero ¿es que hay en
lugar alguno profesores capaces de enseñar la virtud? Menón: No los hay Sócrates:
¿Puede entonces ser enseñada la virtud? Menón: No, si nuestra opinión es correcta.

p: Una cosa puede ser enseñada

q: Hay profesores capaces de enseñar una cosa.
r: Hay profesores capaces de enseñar la virtud
s: La virtud puede ser enseñada
[(q→¬p) v ¬r]→ s

2. Si ganan el partido y consiguen el trofeo, seguiremos apoyando al equipo siempre y

cuando mantengan su nivel de juego y no se dopan.

p: Ganan el partido
q: Consiguen el trofeo
r: Apoyaremos al equipo
s: Mantienen su nivel de juego
t: Se dopan
(¬p→q)→(r→(s∧¬t))
3. Si el ser humano es moral, no está unívocamente determinado por las circunstancias y
podemos exigirle responsabilidad sobre sus acciones.

p: El ser humano es moral

q: El ser humano está unívocamente determinado por sus circunstancias

r: Podemos exigir al ser humano responsabilidad sobre sus elecciones

q ∧ (¬p∧r)

4. Si suben los salarios, entonces suben los precios. Si suben los precios, entonces baja
el poder adquisitivo de la moneda. Es así que suben los salarios. Luego baja el poder
adquisitivo de la moneda.

p: Suben los salarios.

q: Suben los precios

r: Sube el poder adquisitivo de la moneda.

((p→ q) v (q → r) ∧ p) → r

5. Si dos gases tienen la misma temperatura, entonces sus moléculas tienen el mismo
promedio de energía cinética; volúmenes de dos gases son iguales, si y sólo si tienen el
mismo número de moléculas. Las presiones de dos gases son iguales, si es el mismo su
número de moléculas y sus energías cinéticas son iguales. Por consiguiente, si dos gases
tienen la misma temperatura y el mismo volumen, entonces tienen la misma presión.

p: Dos gases tienen la misma temperatura

q: Sus moléculas tienen el mismo promedio de energía cinética

r: Los volúmenes de dos gases son iguales

s: Los gases tienen el mismo número de moléculas

t: Las presiones de dos gases son iguales

((p → q) ∧ (r ↔ s) ∧ ((s ∧ p) → t)) → ((p ∧ r) →r)