CORRECCIN

Si la deducibilidad, o el carcter deductivo de un sistema es correcto. Esto lo haremos desde la semntica

COMPLETUD

Si un clculo es completo. Esto quiere decir que el clculo va a generar todo lo que se genere en semntica.

Primero formulamos un clculo lgico y posteriormente proponemos una semntica, que estudiar la correccin del resultado del clculo. Si es capaz de respaldar esas consideraciones en trminos de verdad lgica. Si existen inferencias semnticas que el clculo no es capaz de generar, ser incompleto

En LPO la La CORRECCIN correccin vale salvaguarda al tambin para clculo de generar cuantificadores e cosas inaceptables. identidad,

La COMPLETUD semntica no deja nada del clculo fuera, todo lo inferible semnticamente podremos obtenerlo tambin por deduccin.

La COMPLETUD en LPO es un resultado bastante conocido, interesante. Es una prueba debida a K. Gdel y L. Henkin

DECIBILIDAD

Si una frmula es o no es un El clculo de la teorema lgico, LPO es es decir si es o no indecidible, Junto El clculo de la LP deducible. En No podemos al hecho de que es decidible, pero semntica de LP, determinar si es o hay algo que no para eso nos frente a lo que no un teorema podemos deducir tenemos que ocurre en clculo lgico. Si no de un conjunto apoyar en los (sintaxis?), si hallamos la consistente. Si teoremas vistos tenemos un deduccin no deduzco P no anteriormente, nmero finito, podemos puedo deducir P, teoremas de un mtodo, para pronunciarnos al es una forma de correccin y poder respecto. establecer lmites completud determinar si a la deducibilidad una frmula es una verdad lgica. Un conjunto inconsistente, es un conjunto del que derivamos una contradiccin, es un conjunto contradictorio Hay algo que no podemos deducir de un conjunto consistente. Si deduzco P no puedo deducir P, as se establecen lmites a la deducibilidad

CONSISTENCIA

De un conjunto Lo que le pedimos contradictorio se al clculo es que si seguira cualquier es consistente, el frmula conjunto de sus teoremas lgicos lo sea

Dada una consistencia Si el clculo de mxima de un Lgica de Los conjuntos Y dado que el lenguaje, una predicados o consistentes se clculo es correcto, frmula o su proposicional podran tanto de ella como contraria son fuera ampliar, de su negacin se CONSISTENCIA teoremas lgicos inconsistente, podemos admitir sigue que son MXIMA de ese lenguaje. habra alguna ms frmulas, y verdades lgicas. Puede ser deseable frmula, y ella y mantener y Esto no es posible para ciertos su negacin preservar su por la semntica conjuntos de seran teoremas consistencia. misma. . frmulas, no lgicos. siempre es deseable para un clculo

Puede ser deseable para ciertos conjuntos de frmulas, no siempre es deseable para un clculo

En un clculo correcto, todo teorema lgico (frmulas que se pueden probar Cuando consideramos que la lgica sin premisas proposicional es correcta y completa, previas) es una la idea de que algo se sigue de, es una verdad lgica. nocin intuitiva que implica que estos dos elementos coinciden, dan los mismos resultados, obtenemos Si un clculo es resultados semejantes. Son semnticamente coextensionales completo, si una Estas no son propiedades naturales. frmula es una verdad lgica, entonces tambin es un teorema lgico En LPO la semntica nos provoca casi la propiedad inversa. Podemos decir cundo no es verdad lgica, pero no podemos pronunciarnos acerca de cundo algo es una verdad lgica. la indecibilidad limita mucho a la LPO

En LPO el clculo nos permite decir si una frmula es verdad lgica, pero no nos permite decir que un clculo no es un teorema lgico.

Qu problema hay: eludimos la posibilidad de tener un mtodo de decisin, de poder decidir con estos dos teoremas. Nos limita. Caracteriza a la LPO en cuanto a la decibilidad.

Teorema de correccin

No derivar ninguna contradiccin de nuestro clculo. Esto equivale a decir, que no toda frmula puede ser un teorema, lo contrario sera como decir que nuestro clculo no nos permite distinguir nada

Una verdad lgica y su negacin no se pueden establecer, por tanto tenemos que concluir que el clculo de lgica proposicional es consistente igual que en LPO

Partimos de suponer que ni P ni P son verdades lgicas. Ninguno de los dos, por tanto tampoco son teoremas lgicos, por la correccin. Por tanto existe al menos una frmula tal que ni ella ni su negacin son teoremas lgicos, entonces podremos aumentar el tipo de teoremas que usamos con una de esas dos frmulas,