Professional Documents
Culture Documents
grapa
Examen 2008/09-1
Asignatura Código Fecha Hora inicio
Lógica 75.056 21/01/2009 16:30
Enunciados
Página 1 de 7
Examen 2008/09-1
Asignatura Código Fecha Hora inicio
Lógica 75.056 21/01/2009 16:30
Problema 1
a) Formalizad utilizando la lógica de enunciados las frases siguientes. Utilizad los átomos que se indican.
1) Si hubiera vida inteligente en Marte entonces, si tuviera una forma que pudiéramos reconocer ya
la habríamos descubierto.
P → (Q → R)
2) Solo descubriremos vida inteligente en Marte si tiene una forma que podamos reconocer.
R→Q
3) O no hay vida inteligente en Marte, o hay y no tienen una forma que podamos reconocer ; pero
no las dos cosas a la vez.
(¬P ∨ (P ∧ ¬Q)) ∧ ¬(¬P ∧ (P ∧ ¬Q))
Átomos:
- P: Hay vida inteligente en Marte
- Q: (La vida inteligente en Marte) tiene una forma que podemos reconocer
- R: Se ha descubierto vida inteligente en Marte.
b) Formalizad utilizando la lógica de predicados las frases siguientes. Utilizad los predicados que se
indican.
Página 2 de 7
Examen 2008/09-1
Asignatura Código Fecha Hora inicio
Lógica 75.056 21/01/2009 16:30
Problema 2
Demostrad, utilizando la deducción natural, que los siguientes razonamientos son correctos. Utilizad
solamente las 9 reglas básicas (es decir, no podéis utilizar ni reglas derivadas ni equivalentes
deductivos).
T→ P ∨ S, P → S, S → R ∴ T→ R
(1) T→P∨S P
(2) P→S P
(3) S→R P
(4) T H
(5) P∨S E→ 1, 4
(6) P H
(7) S E→ 2, 6
(8) R E→ 3, 7
(9) S H
( R E→ 3, 9
10)
(11) R E ∨ 5, 8, 10
( T→R I→ 4, 11
12)
Problema 3
P→R∧P
Q → ¬(R ∧ P)
(R → P) → P ∨ S
∴
¬Q ∧ ¬S ∧ P
1ª Premisa:
P→R∧P
¬P ∨ (R ∧ P)
(¬P ∨ R) ∧ (¬P ∨ P)
¬P ∨ R
FNC(P → R ∧ P) = ¬P ∨ R
2ª Premisa
Q → ¬(R ∧ P)
¬Q ∨ ¬(R ∧ P)
¬Q ∨ ¬R ∨ ¬P
Página 3 de 7
Examen 2008/09-1
Asignatura Código Fecha Hora inicio
Lógica 75.056 21/01/2009 16:30
3ª Premisa
(R → P) → P∨S
¬(¬R ∨ P) ∨ P ∨ S
(R ∧ ¬P) ∨ P ∨ S
(R ∨ P ∨ S) ∧ (¬P ∨ P ∨ S)
R∨P∨S
FNC((R → P) →P∨S) = R ∨ P ∨ S
Negación de la conclusión
¬(¬Q ∧ ¬S ∧ P)
Q ∨ S ∨ ¬P
FNC(¬(¬Q ∧ ¬S ∧ P)) = Q ∨S ∨ ¬P
{ ¬P ∨ R, ¬Q ∨ ¬R ∨ ¬P, R ∨ P ∨ S, Q ∨ S ∨ ¬P }
Aplicando la regla del literal puro podemos eliminar todas las cláusulas que contienen S ya que no
tenemos ninguna cláusula con ¬S.
{ ¬P ∨ R, ¬Q ∨ ¬R ∨ ¬P }
Aplicando la regla del literal puro podemos eliminar todas las cláusulas que contienen ¬Q ya que no
tenemos ninguna cláusula con Q.
{ ¬P ∨ R }
Es obvio que este conjunto no permite obtener la cláusula vacía. De este modo podemos afirmar que el
razonamiento NO es válido.
Problema 4
1ª Premisa:
∀x[M(x) ∧ ¬I(x) → ∀y∀z[O(y) → A(x,z,y)]]
∀x[ ¬(M(x) ∧ ¬I(x)) ∨ ∀y∀z[O(y) → A(x,z,y)] ]
∀x[ ¬(M(x) ∧ ¬I(x)) ∨ ∀y∀z[¬O(y) ∨ A(x,z,y)] ]
∀x[ ¬M(x) ∨ ¬¬I(x) ∨ ∀y∀z[¬O(y) ∨ A(x,z,y)] ]
Página 4 de 7
Examen 2008/09-1
Asignatura Código Fecha Hora inicio
Lógica 75.056 21/01/2009 16:30
2ª Premisa:
∀x[M(x) ∧ I(x) → ∀y∀z[O(y) ∧ L(y) → A(x,z,y)]]
∀x[ ¬(M(x) ∧ I(x)) ∨ ∀y∀z[O(y) ∧ L(y) → A(x,z,y)] ]
∀x[ ¬(M(x) ∧ I(x)) ∨ ∀y∀z[ ¬(O(y) ∧ L(y)) ∨ A(x,z,y)] ]
∀x[ ¬M(x) ∨ ¬I(x) ∨ ∀y∀z[ ¬O(y) ∨ ¬L(y) ∨ A(x,z,y)] ]
∀x∀y∀z [ ¬M(x) ∨ ¬I(x) ∨ ¬O(y) ∨ ¬L(y) ∨ A(x,z,y) ]
FNS(∀x[M(x) ∧ I(x) → ∀y∀z[O(y) ∧ L(y) →A(x,z,y)]]) = ∀x∀y∀z [ ¬M(x) ∨ ¬I(x) ∨ ¬O(y) ∨ ¬L(y) ∨
A(x,z,y) ]
3ª Premisa:
∃x [O(x) ∧ R(x)] ∧ ∃y[O(y) ∧ L(y)]
O(a) ∧ R(a) ∧ O(b) ∧ L(b)
Negación de la conclusión:
¬(∃x [O(x) ∧ ∀y [M(y) → ∃z A(y,z,x)]])
¬(∃x [O(x) ∧ ∀y [¬M(y) ∨ ∃z A(y,z,x)]])
∀x [ ¬(O(x) ∧ ∀y [¬M(y) ∨ ∃z A(y,z,x)]) ]
∀x [ ¬O(x) ∨ ¬∀y [¬M(y) ∨ ∃z A(y,z,x)] ]
∀x [ ¬O(x) ∨ ∃y [¬(¬M(y) ∨ ∃z A(y,z,x))] ]
∀x [ ¬O(x) ∨ ∃y [¬¬M(y) ^ ¬∃z A(y,z,x)] ]
∀x [ ¬O(x) ∨ ∃y [M(y) ∧ ∀z ¬A(y,z,x)] ]
∀x [ ¬O(x) ∨ [M(f(x)) ∧ ∀z ¬A(f(x),z,x)] ]
∀x∀z [ ¬O(x) ∨ [M(f(x)) ∧ ¬A(f(x),z,x)] ]
∀x∀z [ (¬O(x) ∨ M(f(x))) ∧ (¬O(x) ∨ ¬A(f(x),z,x)) ]
{ ¬M(x) ∨ I(x) ∨ ¬O(y) ∨ A(x,z,y), ¬M(x) ∨ ¬I(x) ∨ ¬O(y) ∨ ¬L(y) ∨ A(x,z,y), O(a), R(a), O(b), L(b), ¬O(x) ∨
M(f(x)), ¬O(x)∨¬A(f(x),z,x) }
¬M(f(b)) ∨I(f(b)) ∨ ¬O(b) ¬M(x) ∨¬I(x) ∨ ¬O(y) ∨ ¬L(y) ∨ Sustituimos x por f(b) e
A(x,z,y) y por b
¬M(f(b)) ∨¬I(f(b)) ∨ ¬O(b) ∨ ¬L(b) ∨
Página 5 de 7
Examen 2008/09-1
Asignatura Código Fecha Hora inicio
Lógica 75.056 21/01/2009 16:30
A(f(b),z,b)
¬O(b) O(b)
Cláusula vacía
Problema 5
∀x[P(x) → ∃y R(x,y)]
∃x[Q(x) ∧ ¬∃y R(x,y)]
∴
¬∃x[Q(x) ∧ P(x)]
Proporcionad una interpretación en el dominio {1,2} tal que R(1,1)=R(1,2)=V, que sea un contraejemplo.
Primera premisa:
∀x [P(x) → ∃y R(x,y)]
Segunda premisa:
∃x [Q(x) ∧ ¬∃y R(x,y)]
∃x [Q(x) ∧ ∀y ¬R(x,y)]
(Q(1) ∧ ∀y ¬R(1,y)) ∨ (Q(2) ∧ ∀y ¬R(2,y))
(Q(1) ∧ ¬R(1,1) ∧¬R(1,2)) ∨ (Q(2) ∧ ¬R(2,1) ∧ ¬R(2,2))
Conclusión:
¬∃x [Q(x) ∧ P(x)]
∀x [¬Q(x) ∨¬P(x)]
(¬Q(1) ∨ ¬P(1)) ∧ (¬Q(2) ∨ ¬P(2))
Ahora tenemos que buscar qué valores hacen ciertas las premisas y falsa la conclusión.
Página 6 de 7
Examen 2008/09-1
Asignatura Código Fecha Hora inicio
Lógica 75.056 21/01/2009 16:30
A continuación estudiamos la primera premisa. De acuerdo a los valores tomados antes para R(2,1) y
R(2,2), tenemos que para que la primera premisa sea cierta debe ocurrir que P(2)=F.
Ahora se tiene, de acuerdo a los valores que se han tomado anteriormente, que para que la conclusión
se haga falsa, debe ocurrir que Q(1)=P(1)=V.
Por tanto tenemos que la siguiente interpretación es un contraejemplo del razonamiento proporcionado:
Página 7 de 7