Documente Academic
Documente Profesional
Documente Cultură
LGICA
MATEMTICA
La lgica matemtica es una parte de la lgica y la matemtica, que consiste en el estudio matemtico de la
lgica, y en la aplicacin de dicho estudio a otras reas de la matemtica y de las ciencias. La lgica matemtica
tiene estrechas conexiones con las ciencias de la computacin y la lgica filosfica.
La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican o definen
nociones intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones, y algoritmos, utilizando
un lenguaje formal.
La lgica matemtica suele dividirse en cuatro sub campos: teora de modelos, teora de la demostracin, teora
de conjuntos y teora de la recursin.
La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican conceptos
intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y computacin. La lgica estudia
las reglas de deduccin formales, las capacidades expresivas de los diferentes lenguajes formales y las
propiedades meta lgicas de los mismos.
En un nivel avanzado, la lgica matemtica se ocupa de la posibilidad de axiomatizar las teoras matemticas,
de clasificar su capacidad expresiva, y desarrollar mtodos computacionales tiles en sistemas formales. La
teora de la demostracin y la matemtica inversa son dos de los razonamientos ms recientes de la lgica
matemtica abstracta. Debe sealarse que la lgica matemtica se ocupa de sistemas formales que pueden no ser
equivalentes en todos sus aspectos, por lo que la lgica matemtica no es mtodo de descubrir verdades del
mundo fsico real, sino slo una fuente posible de modelos lgicos aplicables a teoras cientficas, muy
especialmente a la matemtica convencional.
La lgica matemtica no se encarga por otra parte del concepto de razonamiento humano general o del proceso
creativo de construccin de demostraciones matemticas mediante argumentos rigurosos pero hechas usando
lenguaje informal con algunos signos o diagramas, sino slo de demostraciones y razonamientos que pueden ser
completamente formalizados en todos sus aspectos.
TIPOS DE SISTEMAS LGICOS:
Lgica proposicional
La lgica proposicional (o lgica de orden cero) es un lenguaje formal en el que no existen variables ni
cuantificacin, eso implica que cualquier secuencia de signos que constituya una frmula bien formada de
la lgica proposicional admite una valoracin en la proposicin es cierta o falsa dependiendo del valor de
verdad asignado a las proposiciones que la compongan. En otras palabras en la lgica proposicional
cualquier frmula bien formada define una funcin proposicional. Por tanto, cualquier sistema lgico
basado en la lgica proposicional es decidible y en un nmero finito de pasos puede determinarse la
verdad o falsedad semntica de una proposicin. Esto hace que la lgica proposicional sea completa y
muy sencilla de caracterizar semnticamente.
Lgica de predicados
La lgica de predicados (o lgica de primer orden) es un lenguaje formal en el que las sentencias bien
formadas son producidas por las reglas enunciadas a continuacin.
Vocabulario
Un vocabulario es una tupla:
smbolos relacionales
asociado, el cual
smbolos funcionales
smbolos constantes
en el vocabulario
; las conectivas
; el cuantificador universal
y el parntesis , .
.
.
.
.
As, para especificar un orden, generalmente slo hace falta especificar la coleccin de smbolos
constantes, smbolos de funcin y smbolos relacionales, dado que el primer conjunto de smbolos es
estndar. Los parntesis tienen como nico propsito de agrupar smbolos y no forman parte de la
estructura de las funciones y relaciones.
Los smbolos carecen de significado por s solos. Sin embargo, a este lenguaje podemos dotarlo de una
semntica apropiada.
Una
, el universo
2.
-aria
3.
-aria
subconjunto
de
, tenemos un elemento
de
de
, una function
, una relacin
.
-aria
-aria sobre
.
, esto es, un