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

Pregunta 1. Considerando

Σ = {(p ∧ q ∧ r) ↔ s, t → q, r}

• Lleve Σ a forma normal conjuntiva. 1.5 punto.

• Demuestre usando resolución la fórmula (p ∧ t) → s a partir de Σ (en
forma normal conjuntiva). 1.5 punto.
Pregunta 2. Considere el lenguaje L con P = {p, r}, F = {f }, C =
{a, b}, V = {x, y, z, ...}, y la siguiente estructura compatible con L:

E =< D, pE , rE , f E , aE , bE >

con D = {1, 2, 3}, pE = {1, 2}, rE = {(1, 2), (1, 3), (2, 3), (1, 1), (2, 2), (3, 3)}, f E =
{(1, 2), (2, 3), (3, 1)}, aE = 1, bE = 2.
Determine si la fórmula p(b) ∧ (∀x, y)((p(y) ∧ r(x, y)) → p(x)) es verdadera
o falsa en E. Explique en detalle el procedimiento utilizado. 2 puntos.
Pregunta 3. Sea ϕ una fórmula proposicional contradictoria y ψ una
fórmula proposicional cualquiera. Podemos decir que {ϕ} |= ψ? Explique.
1 punto.
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. 30/9/21.