LÓGICA MATEMÁTICA

DOCENTE: ARNOLD GIUSEPPE GUTIERREZ TORRES

 ¿QUE ES LÓGICA?
“el estudio de los métodos y principios que se usan para distinguir el razonamiento
bueno (correcto) del malo (incorrecto)”. “La ciencia del razonamiento” COPI. Op. Cit. Pág.
18-19.[]

“la ciencia de los pensamientos y de la razón” GUTIÉRREZ, SAEZ, Raúl. Introducción a la

Lógica. 24° Ed. Editorial Esfinge. México 1989. Pág. 14. []
“Aquella ciencia directiva del acto de la razón humana, por la que el hombre en dicho acto,
procede ordenada, fácilmente y sin error” ARNAZ José Antonio. Iniciación a la Lógica
Simbólica. Pág. 37.

La lógica es la ciencia que estudia el razonamiento, donde “razonar” consiste en obtener

afirmaciones (llamadas conclusiones) a partir de otras afirmaciones (llamadas premisas)
con los criterios adecuados para que podamos tener la garantía de que si las premisas
son verdaderas, entonces las conclusiones obtenidas también tienen que serlo
necesariamente.
 Resumen Histórico
los griegos descubrieron la importancia del ser, y trataron de buscar la verdadera
esencia de todas las cosas reales dentro del mundo sensible
Pitágoras: “todo cuanto vemos y tocamos, las cosas tal y como se presentan, no existen
de verdad, sino que son otros tantos velos que ocultan la verdadera y autentica realidad,
la existencia real que está detrás de ella y que es el número”, son seres inmutables y
eternos
Heráclito: “nada existe porque todo lo que existe, existe un instante y el instante siguiente ya
no existe, sino que es otra cosa la que existe”.

Parménides: formula el primer principio de la Lógica, “el ser es; el no ser no es” (el tercer
excluido)

Zenón de Elea: plantea el primer razonamiento “reducción al absurdo” absurdo”, y es

también el primero en señalar la imposibilidad de traducir con todo rigor una realidad
continúa a un lenguaje discontinúo, y una realidad en movimiento a un lenguaje estático.
 Resumen Histórico

Aristóteles: desarrolla en los Analíticos el silogismo, (teoría de la deducción), encuentra

las estructuras generales del pensamiento deductivo, la prueba y el conocimiento
epistemee), los axiomas, las definiciones y la hipótesis. Fundador de lo que se conocería
como lógica clásica, formal o aristotélica

Rene Descartes: no solo concibe las matemáticas como ciencia del número, sino también
como la ciencia del orden y la medida.

Barón Gottfried Wilhelm Von Leibniz:concibe la creación de una lengua artificial

desprovista de toda ambigüedad y la de una manipulación ordenada de símbolos. Trata
de hacer caber la lógica dentro de la matemática (cálculo lógico), se considera el
fundador de la lógica simbólica. Revolucionaría el viejo concepto de la Lógica Clásica
bivalente y normativa,
 Resumen Histórico

George Boole: sus reflexiones acerca de la utilización metódica del álgebra en la lógica,
la utilización de literales (x, y, z) que denotan conjunto de objetos (o clases) a las cuales
se aplican la propiedad y signos operatorios (+, -, x), el símbolo de la igualdad (=), y los
números 0 y 1.
Gottlieb Frege: estableció las bases de la lógica cuantificacional, Enriqueciéndose más la
lógica simbólica con las aportaciones de GEORG CANTOR con la teoría de los conjuntos.

Giuseppe Peano: enunció algunos axiomas.

Bertrand Russell: sistematizó la lógica moderna.

John Von Newmann:con las aportaciones matemáticas respecto a la teorías del

juego y los lenguajes artificiales, dieron origen a la informática.

John N. Nash: logra encontrar puntos de equilibrio utilizando tablas de certeza y cuya
aplicación estriba desde negociaciones económicas contractuales, hasta problemas
hipotéticos en el Derecho.
 LÓGICA JURÍDICA
La lógica matemática y la lógica jurídica es un método de investigación para entender al
derecho, obtiene su principal fuente del conocimiento en la razón y no de la experiencia; el
empleo de un lenguaje simbólico del Derecho, permite también formar un paradigma en el
conocimiento jurídico, que infiere en resultados perfectos, es decir, razonamientos tan
exactos, como los que puede dar las matemáticas.

«La exigencia de rigor en el razonamiento jurídico, está en grado de garantizar la objetividad y,

por lo tanto, la imparcialidad del juicio».

Objetivos de la Lógica Jurídica

• Proporcionar principios y procesos correctos del pensamiento en relación al ordenamiento

legal y su vinculación Abogado - Sociedad - Estado.

• Ejecutar el Derecho en forma racional a través de conceptos, juicios y razonamiento,

evitando errores y estableciendo siempre la verdad.
 Lógica matemática

Es el estudio formal y simbólico de la lógica, y su aplicación en algunas áreas de la

matemática y la ciencia. 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.

La lógica matemática se suele dividir en cuatro áreas:

• teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como

grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos
• teoría de la demostración que es una rama de la lógica matemática que trata a las
demostraciones como objetos matemáticos.
• teoría de conjuntos que estudia las colecciones abstractas de objetos, consideradas
como objetos en sí mismas.

• teoría de la computabilidad es la parte de la computación que estudia los problemas de

decisión que se pueden resolver con un algoritmo.
La lógica y su clasificaciones tienen como principal objeto de estudio las formas de
razonamiento, sus relaciones con la comunicación y el lenguaje para precisar el
conocimiento.
 FUENTES DE CONOCIMIENTO

Las fuentes de conocimiento se pueden simplificar en cinco tipos:

1. Experiencia.
2. Autoridad.
3. Razonamiento deductivo.
4. Razonamiento inductivo.
5. Método científico.

Un argumento es la expresión oral o escrita de un razonamiento o idea mediante el cual

se intenta probar, refutar o incluso justificar una proposición o tesis. Es un conjunto de
premisas que sirven para sustentar una conclusión, la relación entre premisas y la
conclusión llevan a un tercer elemento llamado inferencia.
ARGUMENTOS INDUCTIVOS: Es una forma de razonamiento en que la verdad de las
premisas apoyan la conclusión, pero no la garantizan. Es aquel en que la relación entre las
premisas y la conclusión es probable. El método inductivo se conoce como experimental

• El león es un felino y tiene garras

• El tigre es un felino y tiene garras
• El puma es un felino y tiene garras
• n.
• Probablemente, todos los felinos tienen garras

• no podemos decir que sea válido o inválido, sino correcto o incorrecto.

• El razonamiento inductivo es una modalidad del razonamiento que consiste en obtener

conclusiones generales a partir de premisas que contienen datos particulares o
individuales.
 ARGUMENTOS DEDUCTIVOS: Nos muestran que la verdad de ciertas cosas está conectada
con la verdad de otras y que, por lo tanto, no se puede pretender aceptar la verdad de
unas sin comprobar la verdad de otras. Su conclusión está contenida en la información de
las premisas.
Características de los argumentos deductivos
• El hijo de mi tía es mi primo.
• Son explicativos, no llegan a nueva información • Gastón es hijo de mi tía.
sino que verifican la existente. • Gastón es mi primo.
• Sus conclusiones pueden ser válidas o inválidas.
• Se utilizan en la lógica y en la matemática. • Colombia es un país Europeo.
• Todos los países europeos tienen
Momentos del razonamiento deductivo el Euro como su moneda.
• Colombia tiene el Euro como su
• Axiomatización. moneda
• Postulados (proposición no evidente pero aceptada)
• Demostración
Argumentos abductivo: Considera que la primera premisa es cierta y la segunda premisa
solo es probable. A partir de ambas, elabora una conclusión como resultado lógico por
abducción de las premisas anteriores.

• Hoy es un día soleado.

• Los días soleados vamos de paseo con mi papá.
• Hoy iremos de paseo con mi papá.

• Todos los camioneros son mujeriegos.

• Pedro es caminero.
• Pedro es mujeriego.
 CLASIFICACIÓN DE LA LÓGICA

La lógica deductiva se divide en dos:

1 La lógica de proposiciones también llamada lógica de orden cero, toma como

elementos básicos las frases declarativas simples o proposiciones que son aquellos
elementos de una frase que constituyen por sí sólo una unidad de comunicación de
conocimiento y pueden ser considerados verdaderos o falsos

Proposición

“Asómate, luz de mis ojos, para admirar tu belleza”

“Bogotá capital de Colombia”

«Marte es un planeta»
 CLASIFICACIÓN DE LA LÓGICA

2 La lógica de predicados estudia las frases declarativas con mayor grado de detalle,
considerando la estructura interna de las proposiciones. Se tomará como elemento básico
los objetos y las relaciones entre dichos objetos. Es decir - Qué se afirma (predicado o
relación) – De quién se afirma (objeto)

«Júpiter es un planeta» El predicado expresa una propiedad

«Júpiter es más grande que Marte» Si el predicado conecta dos o más expresiones, se dice
que expresa una relación

• los predicados son tratados como funciones (argumentos y valores) f(x,y) = 2x+y

«Caín mató a Abel» Mató(Caín , Abel) M(c , a)

«Ana está sentada entre Bruno y Carlos» Sentada (Ana, Bruno, Carlos) S(a, b, c)
 lógica de predicados

• Constantes de individuo:es una expresión lingüística que refiere a una entidad

(Júpiter, Caín, Carlos, …)

• Variables de individuo: son otras expresiones, las variables, cuya referencia no está
determinada. como «él», «ella», «esto», «eso» y «aquello»,
«esto es más grande que aquello» G(x,y)
«ella está sentada entre Bruno y Carlos» S(x, b, c)
• Cuantificadores:
cuantificador universal "todos son amigables “ Para todo x, x es amigable Ɐx A(x)

cuantificador existencial "alguien está mintiendo"Existe al menos un x, tal que x está mintiendo.
ꓱx M(x)

Para todo x, x < 3 Enteros negativos

Dominio de discurso
Para al menos un x, x < 3
 lógica de predicados

La aridad de un operador matemático es el número de argumentos necesarios para

que dicho operador o función se pueda calcular.
Conectivas lógicas
• Aridad 1 negación (¬)
• Aridad 2 Conjunción (Λ), Disyunción (ꓦ), Condicional (→), Bicondicional (↔).

La lógica de predicados de orden cero, trabaja con predicados de aridad cero

(proposiciones verdaderas o falsas) donde no se permite el uso de constantes,
variables, funciones y cuantificadores
 CLASIFICACIÓN DE LA LÓGICA

Lógica modal

La lógica modal es un sistema lógico que formaliza relaciones como las de “necesidad”,
“realidad”, “posibilidad”, “casualidad” y sus negaciones
“es necesario que A”

“en algún momento en el pasado, A fue cierto”

La Lógica Modal investiga el espectro de posibles lenguajes que pueden usarse para
describir estructuras relacionales.

Lógica modal y la semántica de mundos posibles

 CLASIFICACIÓN DE LA LÓGICA

LÓGICA RETÓRICA O DE LA ARGUMENTACIÓN: Estudia al razonamiento en su calidad

de persuasión, o sea de influir en los demás, utilizando reglas como de la semántica,
que estudia la relación entre el signo lingüístico con la realidad y las reglas que
aseguran una significación exacta.

La lógica se distingue de la retórica en que pretende probar una verdad universal que
no dependa de los sujetos, en tanto que la retórica puede convencer a un público
acerca de la verdad de algo que no está probado como verdadero
 FALACIA
Es un argumento que parece válido, pero no lo es. Algunas falacias se cometen
intencionalmente para persuadir o manipular a los demás, mientras que otras se cometen
sin intención debido a descuidos o ignorancia. Que un argumento sea falaz no implica que
sus premisas o su conclusión sean falsas ni que sean verdaderas. Lo que hace falaz a un
argumento es la invalidez del argumento en sí.

• FALACIA DE AUTORIDAD: “Si lo dice Einstein es que es cierto”

• FALACIA CONTRA EL HOMBRE: "Pedro dice que la pena de muerte no es correcta, pero el
fuma Marihuana“
• FALACIA POR CAUSA FALSA: intentar prohibir conciertos, argumentando que siempre que
se lleva a cabo llueve.
• FALACIA POR ACUSACIÓN POPULAR: todo el mundo afirma que los gatos negros son de
mala suerte.
• FALACIA POR ÉNFASIS: "No hay que recurrir a la violencia física“
• FALACIA POR DIVISIÓN: atribuir el desprestigio del desastre del Challenger a toda la
NASA
 DEMOSTRACIÓN

𝑎=𝑏
 
  Multiplicando la misma cantidad a ambos lados de la igualdad.
  2 =𝑏 × 𝑎
𝑎
2 2 2
𝑎
  − 𝑏 =( 𝑏 × 𝑎 ) − 𝑏   Restamos por la cantidad a ambos lados de la ecuación.
( 𝑎+𝑏 ) ( 𝑎 −𝑏 )=𝑏 ( 𝑎 − 𝑏 ) Factorizando
 ( 𝑎+𝑏 ) ( 𝑎 − 𝑏 ) = 𝑏 ( 𝑎 − 𝑏 )   Dividiendo por a ambos lados de la ecuación.
( 𝑎 − 𝑏) ( 𝑎 − 𝑏)

 ( 𝑎+𝑏 ) ( 𝑎 − 𝑏 ) = 𝑏 ( 𝑎 − 𝑏 ) Simplificando
( 𝑎 − 𝑏) ( 𝑎 − 𝑏)

𝑎+𝑏=𝑏
    Como
𝑏+𝑏=𝑏
 
2  𝑏=𝑏  
Si
2=1