1.

5 LÓGICA
MATEMÁTICA
 ¿Cuál es la diferencia entre la lógica y la lógica matemática?

La diferencia entre la lógica y la lógica matemática radica en que la "lógica" es una

ciencia filosófica y la "lógica matemática" es parte de los métodos usados dentro de la
lógica para propósitos exactos.
 Lógica Matemática reserva histórica

Etimológicamente el término significa la ciencia de

los logos. En este sentido, el gran filósofo griego
Aristóteles, tiene el honor de ser el primer
sistematizador de los conceptos de la lógica que los
condensó en célebre texto denominador Organon.
La lógica Aristotélica resalta la estrecha conexión
entre los conceptos de categoría, definición, juicio
de valor, proposición y silogismo, es decir,
desarrollar la lógica proposicional, estableciendo
los procedimientos para demostrar la verdad o
falsedad de las proposiciones compuestas.
 Lógica Matemática reserva histórica

Ahora bien, el término lógica matemática fue acuñado en

los años 500 A.C. por el pensador LAO-TSÉ, al llegar a
una evidente conclusión: “EL TOTAL ES MAYOR QUE SUS
PARTES” al referirse a la relación existente entre las partes
separadas y el conjunto coordinado de esas partes.

De hecho, el término lógica matemática que denota un conjunto de reglas y

técnicas del razonamiento deductivo, que partiendo de simples y a veces de
ingenuas afirmaciones se pueden sacar audaces conclusiones y nuevos
conceptos, llegando a resultados asombrosos.

La evolución de la lógica, es de capital importancia, los aportes del matemático

alemán GOTTFRIED LEIBNIZ quien fue el primero en formular la estrecha
conexión entre la lógica y la matemática. Además, introdujo los símbolos
matemáticos para hacer representaciones proposiciones.
 Lógica Matemática reserva histórica

En el sigo XIX, los avances de esta ciencia se deben a los aportes de los matemáticos
GEORGE BOOLE y AUGUSTUS MORGAN. En efecto. A Boole se le debe la
introducción de los operadores lógicos equivalentes a la unión, intersección y la
negación con los operadores aritméticos de la adición, multiplicación y sustracción.
En trabajo colaborativo con Morgan formulan los principios del razonamiento
simbólico de otro lado, a Boole se atribuyen dos hechos de importancia para el
desarrollo de la lógica: El primero, la invención de las tablas de verdad para
comprobar la validez de las proposiciones compuestas.
El segundo, la introducción del sistema binario de la lógica, es decir, falso o
verdadero, hecho que dio origen a lo que actualmente llamamos Algebra de Boole,
que consiste en la aplicación de los símbolos y operaciones lógicas mediante la
manipulación de dichos símbolos con procedimientos similares a los del Algebra, se
pueden sacar conclusiones a partir de las proposiciones iniciales (premisas).
 Conceptualización

La lógica ofrece métodos que enseñan como elaborar proposiciones, evaluar su

valor de verdad y determinar si las conclusiones se han deducido correctamente a
partir de proposiciones supuestas, llamadas premisas además, la lógica es una
ciencia que se interesa por las relaciones existentes entre las proposiciones con el
fin de proporcionar tres características del razonamiento lógico: conciso, preciso y
claro.

La claridad y concisión, los estudiantes la consigue en la medida que familiariza con

los elementos básicos de un argumento lógico, tanto en su representación lógica
como en su significado, lo que permite la simplificación de argumentos lógicos
complicados, de esta manera los símbolos permite la concentración en lo esencial
de un contexto.
 Proposiciones

La proposición es el elemento esencial de la lógica para la matemática. En efecto, a

la proposición se le puede considerar excepción lingüística que tiene la propiedad
de tomar un solo valor de verdadero o falso, que sirve para la simplificación de
argumentos complicados se crea un lenguaje artificial en donde se establece un
conjunto de reglas claras, bien definidas y no se presentan ambigüedades ni
vaguedades del lenguaje corriente.
Es importante tener en cuenta que las proposiciones son oraciones declarativas y
tienen una estructura definida así un sujeto bien definido, un predicado y una
conjugación de un verbo. El simple sustantivo o sujeto no configura una
proposición.
Las proposiciones se representan
simbólicamente mediante el uso de letras
minúsculas del alfabeto tales como
p,q,r,s,t,…x,y,z. las cuales reciben el nombre de
letra o variables proposicionales, de esta
manera, el lenguaje proposicional se hace más
simple y exacto que el lenguaje cotidiano.
 ¿Qué es la Lógica Matemática?

La lógica matemática es una rama de la

lógica que se ocupa del estudio de los
principios fundamentales del
razonamiento matemático y la
argumentación. Se utiliza para analizar y
evaluar la validez de los razonamientos y
para desarrollar métodos formales útiles
para la ejecución de las demostraciones
de teoremas matemáticos.

La lógica matemática también tiene aplicaciones en otras áreas, como la informática

y la filosofía de la ciencia, y se utiliza como base para el desarrollo de sistemas
formales de lenguaje y de deducción automática.
 La Lógica Matemática o Simbólica

La lógica matemática, también conocida como lógica simbólica, es una rama de

la lógica que se ocupa del uso de símbolos y notaciones matemáticas para
representar y analizar argumentos y expresiones. Esta forma de lógica se basa
en la idea de que el pensamiento y el razonamiento son procesos que pueden
ser modelados, analizados y estudiados matemáticamente, y que los símbolos y
las notaciones matemáticas son útiles para representar y manipular estos
procesos de manera consistente y exacta.
 La Lógica Matemática o Simbólica

El estudio de la lógica matemática comienza revisando el lenguaje que se utilizará

para representar sus elementos, es así como distinguimos las más habituales: la
lógica proposicional, y las lógicas de predicados de primer y segundo orden.

En cada una de estas se desarrollan a su vez las

técnicas de razonamiento matemático que
permiten la demostración rigurosa de un
sinnúmero de resultados y teoremas matemáticos.
El estudio de la lógica simbólica forma parte de
uno de los pilares fundamentales de la
matemática.
 Los 4 Pilares Fundamentales de la Matemática

La Lógica Matemática es una parte importante de los fundamentos de las

matemáticas. Estos fundamentos están compuestos de los siguientes cuatro pilares:

[Link] teoría de
computación:
[Link] teoría de la [Link] teoría de [Link]ía de
La teoría de
Demostración: conjuntos: Modelos:
complejidad:
La teoría de
Computabilidad
 Los 4 Pilares Fundamentales de la Matemática

1. La teoría de la Demostración: se centra en el estudio de cómo se pueden

presentar y evaluar argumentos matemáticos y científicos. La teoría de la
demostración incluye la investigación sobre diferentes tipos de
demostraciones, como las demostraciones por inducción y deductivas, y sobre
cómo se pueden utilizar estos tipos de demostraciones para la resolución de
problemas matemáticos y científicos.

2. La teoría de conjuntos: es una rama de la matemática que se ocupa del

estudio de los conjuntos, que son colecciones de elementos o objetos. Esta teoría
incluye la investigación sobre cómo se pueden definir y clasificar los conjuntos, y
sobre cómo se pueden realizar operaciones con ellos.
 Los 4 Pilares Fundamentales de la Matemática

3. La teoría de computación: de las cuales son partes fundamentales:

a. La teoría de complejidad: es una rama de la ciencia de la computación que se

ocupa del estudio de la complejidad de los problemas y algoritmos. Esta teoría
incluye la investigación sobre cómo se pueden medir y comparar la complejidad de
diferentes problemas y algoritmos, y cómo se pueden desarrollar y utilizar
algoritmos más eficientes para resolver estos problemas.

b. La teoría de Computabilidad: es la parte de la ciencia de la computación que

se ocupa del estudio de qué problemas y funciones pueden ser resueltos o
evaluados por una computadora y cuáles no. Esta teoría incluye la investigación
sobre cómo se pueden definir y clasificar los problemas y funciones computables, y
cómo se pueden desarrollar y utilizar.
 Los 4 Pilares Fundamentales de la Matemática

4. Teoría de Modelos: En lógica y matemática, es el estudio de las relaciones

entre las teorías formales (afirmaciones escritas en un lenguaje formal, utilizadas
para establecer afirmaciones sobre alguna estructura matemática), y sus modelos
(que se mantienen bajo esas estructuras)