LÓGICA MATEMÁTICAS

 Reseña histórica de la lógica

matemática.
El nacimiento de la lógica propiamente dicho está
directamente relacionado con el nacimiento
intelectual del ser humano. La lógica emerge
como mecanismo espontáneo en el
enfrentamiento del hombre con la naturaleza,
para comprenderla y aprovecharla. Poncairé
destaca cinco etapas o revoluciones en ese
proceso que se presentan entre dos grandes
tópicos: del rigor y la formalidad, a la creatividad
y el caos. Las etapas se identifican como:
Revolución Matemática, Revolución Científica,
Revolución Formal y Revolución Digital además
de la próxima y prevista Revolución Lógica.
La lógica matemática cuestiona con rigor los
conceptos y las reglas de deducción utilizados en
matemáticas lo que convierte la lógica en una
especie de matemática. Una teoría matemática
considera objetos definidos -enteros, por ejemplo-
y define leyes que relacionan a estos objetos
entre sí, los axiomas de la teoría. De los axiomas
se deducen nuevas proposiciones -los teoremas-,
y a veces, nuevos objetos. La construcción de
sistemas formales -formalización, piedra angular
de la lógica matemática-, permite eliminar la
arbitrariedad en la elección de los axiomas y
definir explícita y exhaustivamente las reglas de
la deducción matemática.
 ¿Qué es 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 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.
2Se conoce como lógica matemática, también llamada
lógica simbólica, lógica
formal, lógica teorética o logística, a la aplicación
del pensamiento lógico a determinadas áreas
de la matemática y la ciencia.

Esto implica el estudio del proceso de la inferencia,

mediante sistemas formales de representación, como
la lógica proposicional, la lógica modal o la lógica del
primer orden, los cuales permiten “traducir” el
lenguaje natural al lenguaje matemático para poder
desarrollar así demostraciones rigurosas.

La lógica matemática abarca cuatro grandes áreas,

que son:

 Teoría de modelos. Que propone el estudio de

teorías axiomáticas y lógica matemática a través
de estructuras matemáticas conocidas como
grupos, cuerpos o grafos, atribuyendo así un
contenido semántico a las construcciones
puramente formales de la lógica.
 Teoría de la demostración. También llamada
teoría de la prueba, propone demostraciones
mediante objetos matemáticos
 y técnicas matemáticas como el camino para la
comprobación de problemas lógicos. Así, donde la
teoría de modelos se ocupa de dar
una semántica (un significado) a las estructuras
formales de la lógica, la Teoría de la demostración
se ocupa más bien de su sintaxis (su
ordenamiento).
 Teoría de conjuntos. Centrada en el estudio de
las colecciones abstractas de objetos,
comprendidas en sí mismas como objetos, así
como sus operaciones básicas e interrelaciones.
Esta rama de la lógica matemática es de las más
fundamentales que existen, tanto así que
constituye una herramienta básica de cualquier
teoría matemática.
 Teoría de computabilidad. Área compartida
entre la matemática y
la computación o informática, estudia los
problemas de decisión a los que
un algoritmo (equivalente a una máquina de
Turing) puede enfrentarse. Para ello, emplea la
teoría de conjuntos, comprendiéndolos como
conjuntos computables o no computables.

 Que es una proposición

-Proposición en Lógica:
 Para la Lógica, como proposición se
denomina la unidad de razonamiento que
expresa un contenido semántico al que se
puede asignar un valor de verdad, es decir,
que puede ser cierto o falso. Para ello, la
 proposición debe expresarse mediante una
lengua natural, aunque también puede
realizarse en lenguajes formales, como el de
las matemáticas.
-Proposición en Matemáticas:
 En Matemáticas, como proposición se
designa la enunciación de una verdad
demostrada o que se trata de demostrar
mediante una fórmula constituida por una
serie de signos. Para que una proposición
matemática sea interpretable como una
verdad, esta debe encontrarse bien
formada, pues de lo contrario no puede
tener valor de verdad debido a que no hay
garantía de que sea interpretable.

 Clases de proposiciones
La proposición es un enunciado con sentido completo, por medio del cual se
afirma o se niega algo, que puede interpretarse en términos de verdad o
falsedad. Constituye la forma más elemental de la lógica.

Existen dos tipos fundamentales de proposiciones:

 Proposiciones simples. Expresan un contenido de manera

sencilla y carecen de conectores o negaciones, por lo que conforman
un único término lógico. Por ejemplo: El hombre es alto.
 Proposiciones compuestas. Están constituidas por más de una
proposición simple, relacionadas entre sí por medio de conectores
lógicos, como negaciones, conjunciones, disyunciones, condicionales,
entre otras. Por ejemplo: Belén estudia abogacía y Pablo, biología.

 Ver también: Proposiciones simples y compuestas

Otros tipos de proposiciones
Aristóteles propuso otras clasificaciones para las proposiciones, que hoy
forman parte de los estudios básicos de lógica:

 Proposiciones universales: Comprenden aquellas sentencias que

refieren al estado, característica o aspecto de todo un grupo. Por
ejemplo: Los gatos tienen cuatro patas.
 Proposiciones particulares: Comprenden los enunciados que
hacen referencia a un elemento del grupo. Por ejemplo: Algunos
gatos son negros.

Además, sean universales o particulares, todas las proposiciones pueden

ser:

 Proposiciones afirmativas: Confirman la afirmación del predicado,

es decir, que respaldan afirmativamente un estado de situación. Por
ejemplo: El gato es un felino. (Proposición universal
afirmativa) / Algunos gatos son ariscos. (Proposición particular
afirmativa).
 Proposiciones negativas: Niegan la veracidad de un enunciado, o
sea, expresan la ausencia del estado de situación indicado en el
predicado. Por ejemplo: Los gatos no viven debajo del
mar. (Proposición general negativa) / Algunos gatos no comen
pescado. (Proposición particular negativa).

Diferencia entre proposición y oración

Cuando se habla de proposición, se hace foco en el aspecto lógico
semántico. Es el término utilizado en la lógica, con las características
mencionadas más arriba.

En cambio, desde el punto de vista gramatical, la oración es una secuencia

sintáctica con sentido, que se utiliza para expresar un pensamiento u
opinión.

Es decir que, si bien en ciertos contextos los términos pueden resultar

sinónimos, pertenecen a áreas de estudio diferentes en las que adquieren
rasgos diferenciables.

Ejemplos de proposiciones simples

1. Tengo hambre.
2. En invierno hace frío.
 3. El sol sale por las mañanas.
4. Algunos países tienen salida al mar.
5. Tengo mucho dinero

Ejemplos de proposiciones compuestas

1. Si llueve, se moja el patio.
2. Mateo cocina el almuerzo y su hermano pone la mesa.
3. No existen los unicornios.
4. El dos y el ocho son números pares.

 ¿Cuáles son los conectores lógicos?

 En la sección anterior utilizamos solo proposiciones simples, pero a
partir de proposiciones simples y términos de enlace, también
conocidos como conectivos lógicos, podemos
construir proposiciones compuestas.
 Los conectivos lógicos más utilizados son "no", "y", "o", "si, entonces"
y "si y solo si". Según el conectivo lógico que se use, la proposición
compuesta se denomina negación, conjunción, disyunción,
condicional o bicondicional.
 Estos conceptos quedarán más claros a través de ejemplos. Para
estudiarlos, debes hacer clic en los botones que aparecen a
continuación.


Negación

La negación es la proposición compuesta que resulta de anteponer el conectivo lógico "no" a una proposic

Ejemplo. Hoy no es festivo.

Esta proposición compuesta se construye a partir de la proposición simple:
“Hoy es festivo” y el conectivo lógico "no".
Tal como se muestra en los siguientes ejemplos, en el lenguaje cotidiano se
usan otros términos de enlace en lugar de "no":

 No es cierto que Gabriel García Márquez escribió la Ilíada.

 Es falso que el agua es un hidrocarburo.
 No es cierto que 2018 es año bisiesto.

Conjunción

La conjunción es la proposición compuesta que resulta de enlazar dos proposiciones simples mediante el c

Ejemplo. Madrid y Sevilla son ciudades de España.

Tanto “Madrid es una ciudad de España” como “Sevilla es una ciudad de
España” son proposiciones simples. Con las dos proposiciones y el
conectivo lógico “y” se construye la proposición compuesta del ejemplo.
Otros términos de enlace que se usan en forma cotidiana para construir
conjunciones, son: “sin embargo” y “pero”. En ocasiones también se usa ";".
Revisa los siguientes ejemplos:

 La gallina es un ave, pero no puede volar.

 Las rosas son rojas; las orquídeas amarillas.
 El 2 es un número par, pero también es un número primo.
 5 - 2 = 3, pero el niño se cayó.

Disyunción

La disyunción es la proposición compuesta que resulta de enlazar dos proposiciones simples mediante el co

Ejemplo. Puedo ir a Itagüí en Metro o en bus.

En este caso tenemos dos proposiciones simples: la primera es “Puedo ir a
Itagüí en Metro”, mientras que la segunda es “Puedo ir a Itagüí en bus”. Al
utilizar el conectivo lógico “o”, obtenemos una proposición compuesta.
Otros ejemplos:

 Colombia es una democracia o la Tierra gira alrededor del Sol.

 La oficina está ocupada o está de noche.
 Está lloviendo o está haciendo calor.
 Las proposiciones simples también se conocen como atómicas y las
compuestas, como moleculares.