DEFINICIN:

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:

que consta de:

smbolos relacionales

, cada uno de ellos con un nmero entero

asociado, el cual

se conoce como la aridad de

smbolos funcionales

smbolos constantes

Una frmula de primer orden

, cada uno de aridad

en el vocabulario

, es una frmula de primer orden donde los nicos

predicados, funciones y constantes empleados son los especificados por

Lenguajes y estructuras de primer orden

Un lenguaje de primer orden
El smbolo de igualdad

es una coleccin de distintos smbolos clasificados como sigue:

; las conectivas

; el cuantificador universal

Un conjunto contable de smbolos de variable

Un conjunto de smbolos de constante

Un conjunto de smbolos de funcin

Un conjunto de smbolos de relacin

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

-estructura sobre el lenguaje

, es una tupla consistente en un conjunto no vaco

, el universo

del discurso, junto a:

1.

Para cada smbolo constante

2.

Para cada smbolo de function

-aria

3.

Para cada smbolo de relacin

-aria

subconjunto

de

, tenemos un elemento
de
de

, una function
, una relacin

.
-aria
-aria sobre

.
, esto es, un

SUJEY YLIANA HILACCAMA CHOQUE 1 B