Diferencia entre revisiones de «Teorema de Completitud»
De Cuba-Wiki
(boceto del articulo) |
(Sin diferencias)
|
Revisión actual - 03:24 5 oct 2006
A continuacion presentamos dos maneras de enunciar el teorema de completitud
- A) Si α es una fórmula, entonces α es demostrable si y solo si α es tautología.
- B) Si Γ es un conjunto de fórmulas y α es una fórmula, entonces α se deduce de Γ si y solo si α es consecuencia lógica de Γ. ()
Notar que si Γ = , B A. Para ver la vuelta necesitamos hacer uso del Teorema de Compacidad
Demostración[editar]
completar