LOGICA MATEMATICA

La lgica matemtica, tambin llamada lgica simblica, lgica teortica, lgica formal,
o logstica, es parte tanto de la lgica y como de la matemtica, y 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 con 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 se suele dividir en cuatro subcampos: teora de modelos, teora
de la demostracin, teora de conjuntos y teora de la recursin. La investigacin en
lgica matemtica ha jugado un papel fundamental en el estudio de las matemticas.
La lgica matemtica no es la lgica de las matemticas sino la matemtica de la
lgica. Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas
matemticamente.
La lgica matemtica comprende dos reas de investigacin distintas: la primera es la
aplicacin de las tcnicas de la lgica formal a las matemticas y el razonamiento
matemtico y la segunda, en la otra direccin, la aplicacin de tcnicas matemticas a
la representacin y el anlisis de la lgica formal.

CONCEPTO DE LOGICA MATEMATICA

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 metalgicas de los mismos.
En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no
vlido un argumento dado dentro de un determinado sistema formal. 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.
A pesar de lo que acabamos de decir sobre la imposibilidad de explicar lo que es la
lgica en pocas palabras, ser til partir de esta aproximacin: La lgica es la ciencia
que estudia el razonamiento, donde razonar consiste en obtener afirmaciones
(llamadas conclusiones) a partir de otras afirmaciones (llamadas premisas) con los
criterios adecuados para que podamos tener la garanta de que si las premisas son
verdaderas, entonces las conclusiones obtenidas tambin tienen que serlo
necesariamente.
 TIPOS DE SISTEMAS LOGICOS
- 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.
Conectivos Lgicos:
A continuacin hay una tabla que despliega todas las conectivas lgicas que ocupan
a la lgica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los
smbolos que se utilizan para representarlas en lenguaje formal.

En la lgica proposicional, las conectivas lgicas se tratan como funciones de verdad.

Es decir, como funciones que toman conjuntos de valores de verdad y devuelven
valores de verdad. Por ejemplo, la conectiva lgica no es una funcin que si toma el
valor de verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto,
si se aplica la funcin no a una letra que represente una proposicin falsa, el resultado
ser algo verdadero. Si es falso que est lloviendo, entonces ser verdadero que no
est lloviendo.
El significado de las conectivas lgicas no es nada ms que su comportamiento como
funciones de verdad. Cada conectiva lgica se distingue de las otras por los valores de
verdad que devuelve frente a las distintas combinaciones de valores de verdad que
puede recibir. Esto quiere decir que el significado de cada conectiva lgica puede
ilustrarse mediante una tabla que despliegue los valores de verdad que la funcin
devuelve frente a todas las combinaciones posibles de valores de verdad que puede
recibir.

IMPORTANCIA EN LA INGENIERIA
A travs de la historia la matemtica, ha jugado un papel importante en todos los
descubrimientos hechos por el hombre y en la ltima tecnologa est a travs de los
ingenieros, cuyas bases matemticas han sido slidas y se han sabido utilizar en ella.
De sta forma la interdisciplinariedad nos dar muchos y grandes avances. Nos hemos
venido navegando a travs del tiempo desde la prehistoria; ha habido creaciones,
inventos hasta la ltima tecnologa hecha por el hombre, donde la matemtica siempre
se ha hecho presente y seguir estando ah, en todo lo que el hombre se imagine
construir o hacer para su beneficio.
En ingeniera hidrulica es una gran parte de rea que vemos tiene que ver con analizar
y razonar para obtener buenos resultados y como sabemos la lgica matemtica es la
que nos da las bases de los conocimientos para ello.
La lgica matemtica se relaciona con la ingeniera y es muy importante porque nos
ayuda a conectar ideas a reconocer con las ideas principales, a analizar, entender y
comprender textos. Nos da las bases para plantear y comprender problemas para darle
la solucin correcta a los problemas que se nos pueda presentar en la ejecucin de
nuestra profesin.