Teorema de Completitud

De Cuba-Wiki
Revisión del 03:24 5 oct 2006 de 24.232.108.31 (discusión) (boceto del articulo)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

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