3.1.6 Pruebas Deductivas Con Predicados
Como en el cálculo proposicional, el Sistema de Gentzen puede ser representado como un Tableaux Semantico cambiando la parte de abajo por la de arriba y de esa manera se integra inmediatamente.
EJEMPLO: Enseguida se muestra un ejemplo con las siguientes figuras.
- Formula comprobada por el metodo de Tableaux
Reemplazar con:
Attach:pruebas_deductivas_pred_fig1.jpg Δ
- De la hojas resultantes del Tableaux regresamos a la formula original(Metodo de Gentzen)
Attach:GentzenPrimerOrden.jpg Δ
Reemplazar con:
Attach:pruebas_deductivas_pred_fig2.jpg Δ
| <= | Regresar Tema 3.1.5 Tableaux Semantico para Logica de Primer Orden |
| => | Siguiente Tema: 3.2 Funciones y Términos? |
| Regresar al TEMARIO: Matematicas Para Maestria |
Búsqueda personalizada