Prueba 2, lógica para ciencia de la computación, sección 1.

Pregunta 1. (3 puntos). Considere los axiomas vistos en clases para la

suma:

suma(x, 0, x)
suma(x, y, z) → suma(x, s(y), s(z)).

Demuestre usando resolución que existe un w tal que 1 + w = 3. Es decir en

nuestro lenguaje demuestre usando resolución que

(∃w)suma(s(0), w, s(s(s(0)))).

Pregunta 2. (1 punto). Lleve la fórmula

¬(∀x)(∃y)(∀z)p(x, y, z)

a forma normal conjuntiva. No olvide skolemizar.

Pregunta 3. (1 punto). Aplique resolución entre las cláusulas

{q(x) ∨ p(x, 0, x), ¬p(0, y, y)}.

Pregunta 4. (1 punto). Explique en palabras las principales diferencias

entre la resolución proposicional y la resolución en lógica de predicados.

Hay un punto base. Tiempo: 100 minutos, más 20 minutos de holgura por
uso de internet, o sea 2 horas en total. Las consultas son solamente sobre el
enunciado y solamente durante los primeros 3/4 de hora de la prueba. Se deberá
contestar la prueba en papel, sacarle una foto y enviarla al correo electrónico
pablosaezphd@gmail.com. Espere la confirmación de la recepción del correo
electrónico antes de dar por finalizada la prueba. 24/11/21.