Lógica Matemática

Lógica matemática
La lógica matemática es el estudio matemático de la lógica y su aplicación a otras

áreas de la matemática y la ciencia. Comprende la aplicación de las técnicas de la
lógica formal a las matemáticas y el razonamiento matemático, y conversamente la
aplicación de técnicas matemáticas a la representación y el análisis de la lógica
formal.
La lógica matemática también estudia las definiciones de nociones y objetos
matemáticos básicos como conjuntos, números, demostraciones y algoritmos. La
lógica matemática estudia las reglas de deducción formales, las capacidades
expresivas de los diferentes lenguajes formales y las propiedades metalógicas de
los mismos.
En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es
o no válido un argumento dado dentro de un determinado sistema formal. En un
nivel avanzado, la lógica matemática se ocupa de la posibilidad de axiomatizar las
teorías matemáticas, de clasificar su capacidad expresiva, y desarrollar métodos
computacionales útiles en sistemas formales.
Tipos De Lógica
1. Lógica formal: También conocida como lógica tradicional o lógica
filosófica, se trata del estudio de las inferencias con contenido puramente formal y
explícito. Se trata de analizar los enunciados formales (lógicos o matemáticos),
cuyo significado no es intrínseco, sino que sus símbolos tienen sentido por la
aplicación útil que se les da. La tradición filosófica de la cual deriva esto último se
llama precisamente “formalismo”.
A su vez, un sistema formal es aquel que se utiliza para extraer una conclusión de
una o más premisas. Estas últimas pueden ser axiomas (proposiciones evidentes
por sí mismas) o teoremas (conclusiones de un conjunto fijo de reglas de inferencias
y axiomas).
2. Lógica informal: Por su parte, la lógica informal es una disciplina más

reciente, que estudia, evalúa y analiza los argumentos desplegados en el lenguaje
natural o cotidiano. De ahí que reciba la categoría de “informal”. Puede tratarse tanto
de lenguaje hablado como escrito o bien, cualquier tipo de mecanismo e interacción
utilizada para comunicar algo. A diferencia de la lógica formal, que por ejemplo
aplicaría para el estudio y desarrollo de los lenguajes informáticos; el lenguaje
formal hace referencia a los idiomas y las lenguas.
Así pues, la lógica informal puede analizar desde los razonamientos y argumentos
personales hasta los debates políticos, los argumentos legales o las premisas.
difundidas por los medios de comunicación como el periódico, la televisión, el
internet, etcétera.
3. Lógica simbólica: Tal como su nombre lo indica, lógica simbólica analiza
las relaciones entre símbolos. En ocasiones se sirve del lenguaje matemático
complejo, ya que se encarga de estudiar problemas que la lógica formal tradicional
encuentra complicados o difíciles de abordar. Suele dividirse en dos subtipos:
 Lógica predicativa o de primer orden: se trata de un sistema formal compuesto

por fórmulas y variables cuantificables
 Proposicional: se trata de un sistema formal compuesto por proposiciones, que
son capaces de crear otras proposiciones a través de conectores llamados
“conectivas lógicas”. En este casi no hay variables cuantificables.
4. Lógica matemática
Dependiendo del autor que la describe, la lógica matemática puede considerarse un
tipo de lógica formal. Otros consideran que la lógica matemática incluye tanto la
aplicación de la lógica formal a las matemáticas, como la aplicación de los
razonamientos matemáticos a la lógica formal.
A grandes rasgos se trata de la aplicación del lenguaje matemático en la
construcción de sistemas lógicos hace posible reproducir la mente humana. Por
ejemplo, esto ha estado muy presente en el desarrollo de la inteligencia artificial y
en los paradigmas computacionales del estudio de la cognición.
Conectores Lógicos
Los conectores lógicos permiten realizar operaciones lógicas con las proposiciones
y son:
OPERADOR SÍMBOLO REPRESENTA

NO, Nunca, Es falso que
Negación ~
conjunción ^& Y, Pero, Aunque
Disyunción V O, a menos que
Condicional → Entonces
Bicondicional ↔ <=> Si y solo si

Propiedades de la conjunción
1. La ley asociativa
2. Existencia del elemento neutro
3. La ley conmutativa
4. Ley distributiva de la conjunción respecto de la disyunción
5. Existe elemento complementario
6. Conjunción vesrsus disyunción
Propiedades de la disyunción
1. La ley asociativa
2. Existencia del elemento neutro
3. La ley conmutativa
4. Ley distributiva de la conjunción respecto de la disyunción
5. Existe elemento complementario
6. Conjunción vesrsus disyunción
Universidad Tecnológica Del Chocó Diego Luis
Córdoba
Integrantes
Carlos Aleson Palacios Murillo
Yonier David Mena
Jhancarlos Córdoba Mosquera
Investigaciones De Lógica Matemática
Presentado A
Asuncion Ludivina Córdoba
Año
2019

Lógica Matemática

Cargado por

Copyright:

Formatos disponibles

Lógica Matemática

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Lógica Matemática

Cargado por

Copyright:

Formatos disponibles

Lógica matemática

La lógica matemática es el estudio matemático de la lógica y su aplicación a otras

2. Lógica informal: Por su parte, la lógica informal es una disciplina más

 Lógica predicativa o de primer orden: se trata de un sistema formal compuesto

OPERADOR SÍMBOLO REPRESENTA

conjunción ^& Y, Pero, Aunque

Disyunción V O, a menos que

Bicondicional ↔ <=> Si y solo si

Investigaciones De Lógica Matemática

También podría gustarte