Dpto.

Ciencias de la Computación

LÓGICA PARA LA COMPUTACIÓN

EXAMEN Febrero 2006

Cuestión 1 (1 punto)
Defina los siguientes conceptos en lógica proposicional y ponga ejemplos de ambos:

- Satisfacibilidad e Insatisfacibilidad

Definición: Una fórmula ϕ es satisfacible si existe alguna interpretación ν tal

que ν(ϕ)=1. Un conjunto de fórmulas Φ ={ϕ1 , … ;ϕ n } es satisfacible si existe alguna
interpretación ν tal que ν(ϕk) = 1, para toda ϕk en Φ.
Si un conjunto (o una fórmula) no es satisfacible se denominará insatisfacible.

Ejemplos:
Fórmula satisfacible: (p v q). Para la interpretación p = 1 y q = 0, ν(ϕ) = 1
Fórmula insatisfacible: (p ^ ¬p). Para toda interpretación ν(ϕ) = 0

- Consecuencia lógica
Definición: Una fórmula ψ es consecuencia de un conjunto Φ={ϕ1 , … ;ϕ n } de fórmulas si
toda interpretación que satisface a Φ también satisface a ψ.

Ejemplo: (p ^ q) |= (p v q). Toda interpretación ν que hace ν(p ^ q) = 1 también

hace ν(p v q) = 1

p q p^q pvq
0 0 0 0
0 1 0 1
1 0 0 1
1 1 1 1

Cuestión 2 (1 punto)
Transforme a Forma Normal Disyuntiva la siguiente fórmula:

( ( (x → y) → z ) ^ ( ( z → t ) → x ) ) → ( x → t )
Solución:

1- Se transforma la fórmula original en otra equivalente paso a paso,

sustituyendo subfórmulas del tipo (A → B) por (¬A v B):

( ( (¬x v y) → z ) ^ ( (¬ z v t ) → x ) ) → (¬x v t ) ≡
( (¬ (¬x v y) v z ) ^ (¬ (¬ z v t ) v x ) ) → (¬x v t ) ≡
¬ ( (¬ (¬x v y) v z ) ^ (¬ (¬ z v t ) v x ) ) v (¬x v t )

1/6
 Dpto. Ciencias de la Computación

2- Se introducen las negaciones en las subfórmulas hasta que sólo afecten a

fórmulas atómicas:

¬ ( (¬ (¬x v y) v z ) ^ (¬ (¬ z v t ) v x ) ) v (¬x v t ) ≡
¬ ( ( (x ^ ¬y) v z ) ^ ((z ^ ¬t ) v x ) ) v (¬x v t ) ≡
(¬ ( (x ^ ¬y) v z ) v ¬ ((z ^ ¬t ) v x ) ) v (¬x v t ) ≡
((¬ (x ^ ¬y) ^ ¬z ) v (¬ (z ^ ¬t ) ^ ¬x ) ) v (¬x v t ) ≡
(((¬x v y) ^ ¬z ) v ((¬z v t ) ^ ¬x ) ) v (¬x v t )

3- Aplicamos la propiedad distributiva en aquellas subfórmulas para las que sea

necesaria transformar la conectiva principal ‘^’ en ‘v’:

(((¬x v y) ^ ¬z ) v ((¬z v t ) ^ ¬x ) ) v (¬x v t ) ≡

(((¬x ^ ¬z ) v (y ^ ¬z )) v ((¬z ^ ¬x ) v (t ^ ¬x ) )) v (¬x v t)

4- Eliminamos paréntesis que no son necesarios:

(((¬x ^ ¬z ) v (y ^ ¬z )) v ((¬z ^ ¬x ) v (t ^ ¬x ) )) v (¬x v t) ≡

(¬x ^ ¬z ) v (y ^ ¬z ) v (¬z ^ ¬x ) v (t ^ ¬x ) v ¬x v t

Cuestión 3 (1 punto)
Compruebe mediante el método de Resolución si la consecuencia lógica es correcta o
no:
(p v q) → (r v s) , (r v s) → ¬ t , t ? ¬ p
Solución:
Se pasan todas las fórmulas a Forma Clausulada:

(p v q) → (r v s) ≡ ¬ (p v q) v (r v s) ≡ (¬p ^ ¬q) v (r v s) ≡
(¬p v (r v s)) ^ (¬q v (r v s)) ≡
(¬p v r v s) ^ (¬q v r v s) => { {¬p , r , s} , {¬q , r , s} }

(r v s) → ¬ t ≡ ¬ (r v s) v ¬ t ≡ (¬r ^ ¬s) v ¬ t ≡
(¬r v ¬ t) ^ (¬s v ¬ t) => { {¬r ,¬ t} , {¬s , ¬ t} }

t => { { t } }

La conclusión se debe negar e incorporar al conjunto de premisas:

¬(¬ p) ≡ p => { { p } }

1. {¬p , r , s}
2. {¬q , r , s}
3. {¬r ,¬ t}
4. {¬s , ¬ t}
5. { t }
6. { p }
7. {¬r } 3,5
8. {¬p , s} 1,7
9. {¬s } 4,5
10.{ ¬p } 8,9
11.{ } 6,10

2/6
 Dpto. Ciencias de la Computación

El conjunto es insatisfacible, por lo tanto ¬p es consecuencia lógica.

Cuestión 4 (0.5 punto)
Determine mediante tableaux semánticos si es correcto o no:

(p → q) , (p ^ r) , (s → ¬ q) |= ¬ s

Solución:
La conclusión se niega y se incorpora al conjunto de fórmulas

1. (p → q) ≡ ¬p v q
2. (p ^ r)
3. (s → ¬ q) ≡ ¬s v ¬q
4. ¬ (¬ s) ≡ s
5. p
6. r

7. ¬p 7. q
⊥

8. ¬s 8. ¬q
⊥ ⊥
El conjunto es insatisfacible, por lo tanto ¬s es consecuencia lógica.

Cuestión 5 (1.5 puntos)

Explique las diferencias existentes entre la Interpretación en Lógica de proposiciones y
la Interpretación en Lógica de Predicados de Primer Orden. Ponga algún ejemplo de
ambos casos.

Solución:
En lógica de proposiciones la interpretación se hace sobre una asignación, una
aplicación del conjunto de letras proposicionales en el conjunto {0,1}. Basta una
asignación para que, de cualquier fórmula, se decida su valor de verdad. Es decir, para
que se compruebe si esa interpretación de la fórmula la satisface.

En lógica de predicados, para interpretar una fórmula φ es necesario definir una

estructura adecuada a ella y establecer una asignación.
- La estructura consiste en seleccionar un universo U y elegir un representante
para cada símbolo propio empleado en φ (constantes, funciones y relaciones).
- La asignación es una funció n que hace corresponder a cada variable x del
alfabeto un elemento del universo U.

3/6
 Dpto. Ciencias de la Computación

Cuestión 6 (1.5 puntos)

Determine mediante Deducción Natural en lógica proposicional si el siguiente
razonamiento es correcto:

“Si dos gases tienen la misma temperatura, entonces sus moléculas tienen el mismo
promedio de energía cinética. Volúmenes iguales de dos gases 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, tienen la misma presión”.

Solución:
t: Dos gases tienen la misma temperatura
m: Las moléculas de dos gases tienen la misma energía cinética
v: Dos gases tienen el mismo vo lumen
n: Dos gases tienen el mismo número de moléculas
p: Dos gases tienen la misma presión

P1: t→m
P2: v →n
P3: n^m →p
C: t^v→p

1. t → m
2. v → n
3. n ^ m → p
4. t ^ v Sup.
5. t E^4
6. m MP1,5
7. v E^4
8. n MP2,7
9. m ^ n I^6,8
10. p MP3,9

11. t ^ v → p I→4,10

Cuestión 7 (1 punto)
Formalice en lógica de predicados los siguientes enunciados:

“Todos los alcohólicos son unos borrachos. Todos los que sufren delirium
tremens sufren alucinaciones. Por consiguiente, si todos los borrachos sufren
delirium tremens, todos los alcohólicos sufren alucionaciones”.

Solución:
A: ser alcohólico
B: ser borracho

4/6
 Dpto. Ciencias de la Computación

D: sufrir delirium tremens

L: sufrir alucinaciones

P1: ∀x(Ax → Bx)

P2: ∀x(Dx → Lx)
C: ∀x(Bx → Dx) → ∀x(Ax → Lx)

“Todo ejecutivo que sea un poeta es un hombre imaginativo. Todo hombre

imaginativo es un amante del riesgo. Si algún amante del riesgo no gusta de la
poesía, ningún poeta es amante del riesgo. En conclusión, si hay algún hombre
imaginativo al que no le gusta la poesía, entonces ningún ejecutivo es poeta”.

Solución:
E: ser ejecutivo
P: ser poeta
I: ser imaginativo
A: ser amante del riesgo
G: gustar de la poesía

P1: ∀x((Ex ^ Px) → Ix)

P2: ∀x(Ix → Ax)
P3: ∃x(Ax ^ ¬Gx) → ∀x(Px → ¬Ax)
C: ∃x(Ix ^ ¬Gx) → ∀x(Ex → ¬Px)

Cuestión 8 (0.5 puntos)

Comprobar si la composición de sustituciones es asociativa mediante un ejemplo.

Solución:
La composición de sustituciones es asociativa: (σ1 σ2 )σ3 = σ1 (σ2 σ3 )
Ejemplo:
σ1 = [x/ f (y), y / w; ]; σ2 = [x/g(w), z/b ]; σ3 = [y/b, w/ f (c), v/w ]

σ1 σ2 = [x / f (y), y/w, z/b ]

σ2 σ3 = [x /g( f (c)), z/b, y/b , w/ f (c), v/w ]

(σ1 σ2 )σ3 = [x/ f (b), y/ f (c), z/b, w/ f (c), v/w ]

σ1(σ2 σ3) = [x/ f (b), y/ f (c), z/b, w/ f (c), v/w ]

Cuestión 9 (0.5 puntos)

Indicar qué variables son libres y cuales entrelazadas en las siguientes expresiones:

a. ∀x(∃y(Q(x,g(y)) ∧ R(f(z),g(x))))
b. ¬∃x(∀y(Q(x,y) ∧ T(x,y)) ∧ S(x))
c. S(z) ^( ∀y(T(z,y) ∨ R(y)) ∧ T(x,y))
d. ∀x(Q(x,y) ∧ ∃zT(y,z))

5/6
 Dpto. Ciencias de la Computación

Solución:
a) Ligadas: x, y. Libre: z
b) Ligadas: x, y
c) Ligadas: y. Libres: x, z.
d) Ligadas: x, z. Libre: y

Cuestión 10 (1.5 puntos)

a. Formalizar el siguiente enunciado en lógica de predicados:

“Algunas mansiones no tienen más de 10 baños. Todas las mansiones son

construcciones lujosas. Luego, algunas construcciones lujosas no tienen más de 10
baños”.
Solución:
M: ser mansión
D: tener más de 10 baños
L: ser construcción lujosa

P1: ∃x(Mx ^ ¬Dx)

P2: ∀x(Mx → Lx)
C: ∃x(Lx ^ ¬Dx)

b. Aplicar a las premisas anteriores la siguiente combinación de sustituciones:

Φ1 = { x/ g(y), y/z, w/f(x,y,z)}

Φ2 = {x/f(x,y), y/f(x) w/g(x)}
Solución:
Aplicaremos sólo la sustitución sobre las apariciones libres de variables. En la
formulación del apartado a) no existe ninguna aparición libre, por tanto no se
aplicará ninguna sustitución:

c. Calcular Φ 1Φ2.
Solución:

Φ1Φ2 = { x/ g(f(x)), y/z, w/f(f(x,y),f(x),z) }

6/6