Logica Abductiva y Lógica Paraconsistente Computacional - here
Logica Abductiva y Lógica Paraconsistente Computacional - here
Logica Abductiva y Lógica Paraconsistente Computacional - here
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
4.2. MÉTODO DE C-TABLAS PARA LA LÓGICA ABDUCTIVA DE PRIMER ORDEN 55<br />
es el siguiente:<br />
(∀x)(∃y)(P (x, y) ∧ ¬P (x, x)) 1<br />
(∃y)(P (a, y) ∧ ¬P (a, a)) 2<br />
(∃y)(P (b, y) ∧ ¬P (b, b)) 5<br />
✟<br />
3 P (a, a) ∧ ¬P (a, a) P (a, b) ∧ ¬P (a, a) 4<br />
P (a, a)<br />
¬P (a, a)<br />
⊗<br />
❍<br />
P (a, b)<br />
✟<br />
6 P (b, a) ∧ ¬P (b, b)<br />
P (b, a)<br />
¬P (a, a) ❍❍❍<br />
✟<br />
✟<br />
P (b, b) ∧ ¬P (b, b) 7<br />
P (b, b)<br />
¬P (b, b) ¬P (b, b)<br />
⊗<br />
La siguiente definición introduce la noción de forma normal disyuntiva de un C0-árbol.<br />
Definición 4.35 Una forma normal disyuntiva de un C0-árbol es una forma normal disyuntiva<br />
que tiene un cubo por cada rama abierta del C0-árbol correspondiente.<br />
El {a, b}-árbol de la figura tiene una única rama abierta, su forma normal disyuntiva es<br />
{{P (a, b), ¬P (a, a), P (b, a), ¬P (b, b)}}<br />
que representa un único cubo con los literales de dicha rama.<br />
Los siguientes resultados son de comprobación inmediata.<br />
Lema 4.2 Dado un conjunto satisfacible de literales básicos, Γ, 4 si todos los símbolos de constante<br />
en Γ pertenecen a C0, entonces Γ es C0-satisfactible.<br />
Corolario 4.2 El conjunto de literales que pertenecen a cualquier rama abierta de un C0-árbol es<br />
siempre C0-satisfactible.<br />
Directamente de las definiciones, obtenemos el siguiente resultado:<br />
Lema 4.3 Si Γ es el conjunto de literales que pertenecen a una rama abierta de T C0 ({A1, . . . , Am}),<br />
entonces Γ |=C A1 ∧ . . . ∧ Am.<br />
Demostración: Sea M = (U, I) un C0-modelo que satisface Γ. Supongamos que C = {c1, ..., cn}.<br />
Tenemos que probar que M satisface todas las fórmulas de dicha rama. Lo demostramos por<br />
inducción sobre su grado.<br />
En el caso base, es decir, si todas las fbfs son literales, el resultado está asegurado por hipótesis.<br />
Supongamos que M satisface todas las fórmulas de la rama hasta las de grado k > 1. Sea A<br />
una fórmula de grado k + 1. Tendremos que distinguir los casos siguientes:<br />
4 Es decir, no contiene ningún par de literales complementarios