Guı́a 4: Lógica proposicional

INF-224/UCM

27/09/2023

1. Consecuencia lógica
Ejercicio 1 y 2 resolver mediante árbol de refutación, ejer. 3 y 4
resolver mediante princ. de resolución.
1. {¬q, ¬p ∨ r, ¬(r ∧ ¬q)} |= ¬p.

2. {p ∨ q} |= p → q.
3. {p, q → (p → r)} |= q → r.
4. {p → q, r → s, ¬(t ∧ p ∧ r → w)} |= q ∧ t ∧ s.

2. Demostrar
1. Sean F y G dos fórmulas. ¿Es cierto que F ∨ G es tautologı́a si y sólo si
alguna de las dos formulas F o G lo es?. (Contra-ejemplo)
2. Sea F una fórmula. Demuestra que F es tautologı́a si y sólo si ¬F es
insatisfacible.
3. Sean F y G dos fórmulas. Demuestra que F es consecuencia lógica de G
si y sólo si G ∧ ¬F es insatifacible.

Def: Sea F y G una fórmula y la función evalI () retorna la interpretación

de la fórmula.

evalI (F ∧ G) = min(evalI (F ), evalI (G))

evalI (F ∨ G) = max(evalI (F ), evalI (G))