3.1.5 Tableaux para Lógica de Predicados
El método del Tableaux sigue utilizando las reglas anteriores ( Alpha y Beta), además se agregaran dos reglas mas (Gamma y Delta), y el desarrollo de este se llevara a cabo de igual manera. En algunos casos puede ser infinito o no terminar, a menos que la formula sea no satisfacible se da por entendido que si termina(finito). Para entender un poco mas sobre el tema de Lógica de Predicados, se presenta el siguiente Link: Logica De Predicados , el cual, contiene el desarrollo de el Tema de Lógica de Predicados.
Tabla para las reglas Gama, en la cual, se deja la fórmula y además se aplica una constante que ya existe.
| γ | γ(a) |
| ∀ xA(x) | A(a) |
| ¬ ∃ xA(x) | ¬A(a) |
Tabla para las reglas Delta, en la cual, se quita la fórmula aplicando una constante que no exista.
| δ | δ(a) |
| ∃ xA(x) | A(a) |
| ¬ ∀ xA(x) | ¬A(a) |
Ejemplos de Tableaux para Logica de Predicados
Formula: ¬(∀x(p(x)→q(x))→(∀xp(x)→ ∀xq(x)))
Attach:tableaux_pred_fig1.jpg Δ
Formula: ¬(∃x(A(x)^B(x))→(∃xA(x)^∃xB(x)))
Attach:tableaux_pred_fig2.jpg Δ
| <= | Regresar Tema 3.1.4 Equivalencia Logica y Sustitucion |
| => | Siguiente Tema: 3.1.6 Pruebas Deductivas con Predicados |
| Regresar al TEMARIO: Matematicas Para Maestria |
| Ir a : Mirsa Paolo Inzunza Martinez? |
