Trabajo I

CONTENIDO
1. ¿QUE ES LÓGICA MATEMÁTICA?
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica
formal o logística,1 es el estudio formal y simbólico de la lógica, y su aplicación a
algunas áreas de la matemática y la ciencia. Comprende la aplicación de las técnicas
de la lógica formal a la construcción y el desarrollo de 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 investigación en lógica
matemática ha jugado un papel crucial en el estudio de los fundamentos de las
matemáticas.

La lógica matemática estudia la inferencia mediante la construcción de sistemas

formales como la lógica proposicional, la lógica de primer orden o la lógica modal.
Estos sistemas capturan las características esenciales de las inferencias válidas en
los lenguajes naturales, pero al ser estructuras formales susceptibles de análisis
matemático, permiten realizar demostraciones rigurosas sobre ellas.

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.
La teoría de la demostración y la matemática inversa son dos de los razonamientos
más recientes de la lógica matemática abstracta. Debe señalarse que la lógica
matemática se ocupa de sistemas formales que pueden no ser equivalentes en todos
sus aspectos, por lo que la lógica matemática no es un método para descubrir
verdades del mundo físico real, sino solo una fuente posible de modelos lógicos
aplicables a teorías científicas, muy especialmente a la matemática convencional.

Por otra parte, la lógica matemática no estudia el concepto de razonamiento humano

general o el proceso creativo de construcción de demostraciones matemáticas
mediante argumentos rigurosos, pero con lenguaje informal con algunos signos o
diagramas, sino solo de demostraciones y razonamientos que se pueden formalizar
por completo.

¿PARA QUÉ SIRVE LA LÓGICA MATEMÁTICA?

En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o

no valido un argumento dado. El razonamiento lógico se emplea en matemáticas para
demostrar teoremas; en ciencias de la computación para verificar si son o no correctos
los programas; en las ciencias física 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 lógico
para realizar cualquier actividad.

TIPOS DE LÓGICA MATEMÁTICA

La lógica matemática se suele dividir en cuatro áreas: teoría de modelos, teoría de la
demostración, teoría de conjuntos y teoría de la computabilidad. La teoría de la
demostración y la teoría de modelos fueron el fundamento de la lógica matemática.

La teoría de conjuntos se originó en el estudio del infinito por Georg Cantor y ha sido

la fuente de muchos de los temas más desafiantes e importantes de la lógica
matemática, a partir del teorema de Cantor, el axioma de elección y la cuestión de la
independencia de la hipótesis del continuo, al debate moderno sobre
grandes axiomas cardinales.
La lógica matemática tiene estrechas conexiones con las ciencias de la computación.
La teoría de la computabilidad captura la idea de la computación en términos lógicos
y aritméticos. Sus logros más clásicos son la indecidibilidad
del Entscheidungsproblem de Alan Turing y su presentación de la tesis de Church-
Turing. Hoy en día, la teoría de la computabilidad se ocupa principalmente del
problema más refinado de las clases de complejidad (¿cuándo es un problema
eficientemente solucionable?) y de la clasificación de los grados de insolubilidad.

CARACTERÍSTICAS DE la LÓGICA MATEMÁTICA

 Dominio de las nociones de cantidad, tiempo y causa y efecto.
 Habilidad para hallar una solución de tipo lógica a los problemas. Este proceso de
resolución puede ser muy rápido.
 Manejo con lo numérico en general y las operaciones matemáticas.
 Elevadas habilidades para el análisis y el razonamiento.
 Disfrutan de la realización de experimentos y extracción de conclusiones a partir
de ellos.
 Capacidad para formular y verificar distintas hipótesis.
 Habilidad para trazar relaciones y conexiones entre diferentes elementos, lo que se
relaciona con su alta capacidad de clasificación y categorización.
 Facilidad en la estimación y memoria de diferentes signos numéricos.
 Suelen recurrir al uso de listas y esquemas en la organización de la información.
 Presentan curiosidad acerca de los fenómenos naturales y en su día a día,
realizando una investigación, deducciones y búsqueda de soluciones o respuestas.
 Son personas que generalmente presentan un pensamiento racional y una
metodología científica que aplican también en su vida diaria, en la toma de
decisiones etc.
 La gente con este tipo de inteligencia suele ser organizada, metódica, con
capacidad de planificación y de resolución de problemas de la vida cotidiana.
También se caracterizan por ser curiosas e inquisitivas.
 Habilidad para el cálculo mental y monetario.
 Facilidad e interés por la resolución de puzzles, rompecabezas, problemas y
desafíos mentales.
 Buen desempeño en juegos de habilidad que implican estrategia.
 Desarrollo de la metacognición, es decir, de la conciencia, supervisión y control
sobre los procesos de pensamiento y aprendizaje, así como sobre el propio
rendimiento y desempeño de ellos. Esta capacidad metacognitiva facilita la
detección de errores propios y la extracción del máximo rendimiento de las
habilidades cognitivas.

EN QUE SE RELACIONA LA LÓGICA MATEMÁTICA CON SU CARRERA

La administración ha logrado su status de ciencias gracias a los aportes, principios,

procesos, procedimientos y métodos de otras ciencias que están relacionadas con la
eficiencia en el trabajo. Está relacionada con matemáticas, estadística, derecho,
economía, contabilidad, mercadeo, sociología, Psicología, filosofía, antropología,
entre otras, que le han entregado instrumentos válidos para abrirse camino y poder
precisar su objeto de estudio y su método.

La lógica estudia la forma del razonamiento. La lógica matemática es la disciplina

que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona
reglas y técnicas para determinar si es o no válido un argumento dado. El
razonamiento lógico se emplea en matemática para demostrar
SIMBOLOGÍA LÓGICA MATEMÁTICA
La lógica formal moderna utiliza ampliamente el lenguaje de los símbolos. Gracias a
él se alcanza: la concepción exacta y unívoca del objeto, la posibilidad de aplicar el
método matemático formal de investigación.

Hay tres tipos fundamentales de símbolos con los cuales, según determinadas reglas,
se construyen las expresiones (fórmulas) de tal o cual sistema lógico-formal. Esos
tipos son: 1) símbolos que designan objetos lógicos elementales, que constituyen
sistemas; 2) símbolos que designan conexiones u operaciones lógicas; 3) símbolos
auxiliares, como por ejemplo paréntesis, puntos.

En la lógica actual, existen varios sistemas aceptados de notación simbólica. A ello se

debe que haya varios símbolos para unos mismos conceptos lógicos. A continuación,
se explica el significado de los más importantes:

1. A, B, C... X, Y, Z... (también con índices) son símbolos de proposiciones variables.

a, b, c... x, y, z... (también con índices) son símbolos de objetos variables.
P(.), R(.,.), S(.,.,.) (también con índices) son símbolos de predicados variables.
2.  – ¬ ∼   signos de negación (“no”)
∨     signos de disyunción (“o”)
⋅ ∧     signos de conjunción (“y”)
⊃ →   signos de implicación (“si... entonces”)
∼ ≡ ↔   signos de equivalencia (“si y sólo si”)
∈ ∃     signos de cuantificador existencial
∀ ( )   signos de cuantificador universal.

CONECTORES LÓGICOS

Conectores lógicos: Los conectores lógicos son palabras o expresiones que sirven
para relacionar las ideas dentro de un texto. En ese sentido, su presencia es
fundamental para que un texto sea mucho más que un conjunto de oraciones
independientes y autónomas. La claridad de la argumentación de un texto depende
principalmente del uso adecuado de los conectores; un conector lógico mal utilizado
puede cambiar completamente el sentido del texto.
Uno de los errores más comunes en la escritura académica es el de creer que entre
más conectores lógicos tenga un texto, mejor. Esto es falso, un texto tiene que tener
los conectores apenas necesarios para relacionar las ideas en la forma en que estas se
quieren presentar.

En el Centro de Escritura siempre buscamos que el acercamiento a la escritura no

venga de la memorización de un conjunto de reglas por seguir sino de comprender el
sentido que tiene cada elemento de un buen texto. Los conectores lógicos no son la
excepción. Proponemos a continuación un listado de los conectores que hemos
clasificado según el tipo de relación que se establece entre las partes del texto gracias
a la presencia del conector.

Si bien la clasificación que proponemos no es la más extendida entre los filólogos,

confiamos en que sea la más efectiva para el estudiante universitario que siente que
tienen dificultades en este tema.

Por último, no está de más recordar que la mejor forma de saber si se está utilizando
correctamente uno de estos conectores es sustituirlo por otro del mismo grupo y
verificar si el sentido se mantiene. Si la idea se pierde lo mejor es buscar un nuevo
conector.

Conectores aditivos: Sirven para indicar que la información a continuación añade a lo

dicho antes del conector. Se pueden dividir a su vez en dos subcategorías: De suma:
Lo que se dice a continuación suma a lo anterior en un nivel de similar intensidad. -
Ejemplos: y, además, también, asimismo, por añadidura, igualmente, del mismo
modo, de la misma manera. Matiz de mayor intensidad: En este caso se refuerza la
idea anterior con lo que se dice después del conector. - Ejemplos: encima, es más,
más aún, incluso, de hecho.

Conectores opositivos: Sirven para indicar que la información a continuación

modifica lo dicho anteriormente. En oposición a los aditivos, cuya función es
expresar básicamente una noción de igualdad entre los enunciados, estos conectores
sirvan para presentar contraste entre ideas. Se pueden dividir en dos categorías.

Restrictivos: Señalan que la información precedente requiere una aclaración en algún

aspecto. Son sinónimos de, pero. - Ejemplos: No obstante, con todo, sin embargo, en
todo caso, en cualquier caso. Exclusivos: Sirven para indicar que la información
precedente no tiene su sentido habitual, tiene un sentido diferente. Son sinónimos de
sino. - Ejemplos: Más bien, antes bien.

Conectores causales: Sirven para indicar una relación de causalidad, generalmente

que el enunciado precedente es quien causa al enunciado que sigue. - Ejemplos: por
tanto, por consiguiente, de ahí que, en consecuencia, así pues, por consiguiente, por lo
tanto, por eso, por lo que sigue, por esta razón, entonces, entonces resulta que, de
manera que. Conectores temporales: Sirven para indicar el orden en el tiempo en que
ocurren los eventos narrados, o se desarrolla la argumentación del texto.

Se pueden dividir en tres categorías que no requieren mayor explicación:

Anterioridad. - Ejemplos: antes, hace tiempo, al comienzo, en primer lugar,
inicialmente. Simultaneidad. - Ejemplos: simultáneamente, al mismo tiempo,
entonces. Posterioridad. - Ejemplos: luego, después, más tarde, en adelante.
Conectores reformulativos: Sirven para expresar de nuevo, bajo otra forma, ideas
dichas anteriormente. Se dividen en tres grupos-

Explicativos: Sirve para decir de otra forma lo dicho anteriormente, sin intención
alguna de modificar su sentido o establecer nuevas relaciones. - Ejemplos: es decir,
esto es, a saber, en otras palabras. De recapitulación o conclusión: Ayudan a sintetizar
información dispersa que se ha presentado antes en el texto. - Ejemplos: en resumen,
en conclusión, en definitiva, finalmente. Ejemplificación: Señalan que la información
a continuación es un ejemplo de lo dicho anteriormente. - Ejemplos: así, de esta
manera, verbigracia, es decir, concretamente.