L´OGICA, curso 00/01 EXAMEN DE JUNIO (Problemas) Problema 1

L´OGICA, curso 00/01 EXAMEN DE JUNIO (Problemas) Problema 1

LÓGICA, curso 00/01
EXAMEN DE JUNIO (Problemas)
Problema 1 (2 puntos)
Estudia, mediante tableaux, si es válida la siguiente argumentación:
∀x(F (x) → ∃y(G(y, x) ∧ ¬G(x, y)))
∀x∀y(F (x) ∧ F (y) → x = y)
∀x(F (x) → ∃y¬F (y))
Problema 2 (1.5 puntos)
En la Lógica trivalorada PL, estudia la validez de la siguiente argumentación, para los
sentidos fd y df.
{ p , ¬ 4 (p → q) } |= q
Problema 3 (2.5 puntos)
Se considera el f–programa lógico que consta de las f–cláusulas 1, 2, 3, 4, 5 y 6. Estudia
con qué factor de certeza se puede deducir P (x, y) ası́ como los valores de x e y (la función
de propagación del factor de certeza es la división).
1. P (x, y) : −0.8 − Q(x), S(y), R(x, y).
2. Q(a) : −0.7 − .
3. Q(b) : −0.6 − .
4. R(a, x) : −0.6 − .
5. R(b, a) : −0.8 − .
6. S(x) : −0.8 − R(x, y).