Lgica matemtica

La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si
un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica.
En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes
interpretaciones, sin embargo la lgica permite saber el significado correcto. En las matemticos para
demostrar teoremas e inferir resultados matemticas que puedan ser aplicados en investigaciones. En la
computacin para revisar programas. En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo
que se realiza tiene un procedimiento lgico, por el ejemplo; para ir de compras al supermercado una ama de
casa tiene que realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una persona desea
pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no prepara la
pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta porque se manchara lo que ya
tiene pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de
derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica.

La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica
proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se
emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no
correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en
las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en
forma constante el razonamiento lgico para realizar cualquier actividad.

Una proposicin o enunciado es una oracin que puede ser falsa o verdadera pero no ambas a la vez. La
proposicin es un elemento fundamental de la lgica matemtica.

A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica el porqu

algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minscula,
dos puntos y la proposicin propiamente dicha. Ejemplo.
p:
q:
r:
s:
t:
w:

La tierra es plana.
-17 + 38 = 21
x > y-9
El Morelia ser campen en la presente temporada de Fut-Bol.
Hola como estas?
Lava el coche por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones
validas. El inciso r tambin es una proposicin valida, aunque el valor de falso o verdadero depende del valor

asignado a las variables x y y en determinado momento. La proposicin del inciso s tambin esta
perfectamente expresada aunque para decir si es falsa o verdadera se tendra que esperar a que terminara la
temporada de fut-boll. Sin embargo los enunciados t y w no son vlidos, ya que no pueden tomar un valor de
falso o verdadero, uno de ellos es un saludo y el otro es una orden.

Conceptos.
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
propiedadesmetalgicas 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.

Sistemas lgicos
La lgica matemtica se interesa por tres tipos de aspectos de los sistemas lgicos:

La sintaxis de los lenguajes formales, es decir, las reglas de formacin de smbolos interpretables
construidos a partir de un determinado alfabeto, y las reglas de inferencia. En concreto el conjunto
de teoremas deducibles de un conjunto de axiomas.

La semntica de los lenguajes formales, es decir, los significados atribuibles a un conjunto de signos,
as como el valor de verdad atribuible a algunas de las proposiciones. En general las expresiones de un
sistema formal interpretadas en un modelo son ciertas o falsas, por lo que un conjunto de proposiciones
que admite un modelo es siempre consistente.

Los aspectos metalgicos de los lenguajes formales, como por ejemplo la completitud semntica,
la consistencia, la compacidad o la existencia de modelos de cierto tipo, entre otros.

Los diferentes tipos de sistemas lgicos pueden ser clasificados en:

Lgica proposicional (Lgica de orden cero): En ella existe smbolos para variables proposicionales
(que pueden ser interpretados informalmente como enunciados que pueden ser ciertos o falsos) adems
de smbolos para diversas conectivas. Estas conectivas permiten formar expresiones complejas a partir
de variables proposicionales simples. Un sistema lgico puede incluir diversos tipos de conectivas, entre
ellos, la lgica clsica suele hacer uso de los siguientes:
se lee no
se lee y
se lee o
se lee implica o si,entonces,
se lee equivalente con o "si, slo s"
Dentro de la lgica proposicional pueden distinguirse varios tipos, por ejemplo restringiendo las
posibilidades de interpretacin semntica se obtiene la lgica intuicionista y ampliando la complejidad
de las interpretaciones semnticas se obtienen las lgicas modales.

Lgica de predicados: Esta no incluye smbolos para variables proposicionales sino que las
proposiciones ms elementales son predicados atmicos formados a partir de variables
interpretables como objetos singulares, relaciones (entre estas frecuentemente se usan = , <, >,
etc.), funciones matemticas. Adems smbolos para representar variables, relaciones y
funciones este tipo de lgicas incluyen cuantificadores. Dentro de la lgica de predicados se
pueden distinguir ciertos tipos:

Lgica de primer orden que usualmente es finitaria (slo se admiten proposiciones formadas
mediante un nmero finito de pasos) aunque tambin existen lgicas infinitarias.

Lgica de segundo orden que a su vez pueden ser de diferentes subtipos.

Teoras axiomticas[editar]
Una teora axiomtica est formada por un conjunto de proposiciones expresables en un
determinado lenguaje formal y todas las proposiciones deducibles de dichas expresiones mediante
las reglas de inferencia posibles en dicho sistema lgico.
El objetivo de las teoras axiomticas es construir sistemas lgicos que representen las
caractersticas esenciales de ramas enteras de las matemticas. Si se selecciona un conjunto ms
amplio o menos amplio de axiomas el conjunto de teoremas deducibles cambian. El inters de
la teora de modelos es que en un modelo en que satisfagan los axiomas de determinada teora
tambin se satisfacen los teoremas deducibles de dicha teora. Es decir, si un teorema es deducible

en una cierta teora, entonces ese teorema es universalmente vlido en todos los modelos que
satisfacen los axiomas. Esto es interesante porque en principio la clase de modelos que satisface
una cierta teora es difcil de conocer, ya que las teoras matemticas interesantes en general
admiten toda clase infinita de modelos no isomorfos, por lo que su clasificacin en general resulta
difcilmente abordable si no existe un sistema lgico y un conjunto de axiomas que caracterice los
diferentes tipos de modelos.