TEMA I

1.1 LOGICA MATEMATICA

1.1.1. Origen
La evolución de la lógica está intrínsecamente ligada a la evolución intelectual del ser
humano, ya que, como ciencia del razonamiento, su historia representa la historia misma del
hombre. La lógica surge desde el primer momento en que el hombre, al enfrentar a la naturaleza,
infiere, deduce y razona, con el ánimo de entenderla y aprovecharla para su supervivencia. Existen
varios enfoques acerca de cómo interpretar la evolución de la lógica. Poncaire la divide en cinco
etapas o revoluciones, que se presentan oscilando 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, revolución digital y la prevista siguiente revolución
lógica.

1.1.1.1. Lógica Matemática

El objetivo de la lógica matemática es cuestionar con el mayor rigor los conceptos y las reglas de
deducción utilizados en matemáticas, constituyendo la lógica por ello una verdadera
metamatemá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.

1.1.1.2. Las matemáticas y la lógica

Durante el periodo de 600 AC hasta 300 AC, en Grecia se desarrollaron los principios formales
de las matemáticas. A este periodo se le conoce como periodo clásico, donde sus principales
representantes son Platón, Aristóteles y Euclides. Platón introduce sus ideas o abstracciones;
Aristóteles presenta el razonamiento deductivo y sistematizado y Euclides es el personaje que
mayor influencia tuvo en las matemáticas, al establecer el método axiomático. En ''Elementos'',
Euclides organiza pruebas deductivas dentro de una presentación sistemática, rigurosa y bien
organizada de conocimiento matemático.

La lógica matemática o lógica simbólica es un lenguaje matemático que abarca las herramientas
necesarias por medio de las cuales se puede afirmar o negar un razonamiento matemático. Es bien
conocido que en matemáticas no hay ambigüedades. Dado un argumento matemático, este es
válido o simplemente no lo es. No puede ser falso y verdadero al mismo tiempo.
Un aspecto particular de las matemáticas es que posee un lenguaje formal y riguroso mediante el
cual se puede determinar la validez de un razonamiento. ¿Qué es lo que hace que cierto
razonamiento o cualquier demostración matemática sea irrefutable? De eso se trata la lógica
matemática.

Así pues, la lógica es la disciplina de la matemática que se encarga de estudiar los razonamientos
y demostraciones matemáticas, y de proporcionar las herramientas para ser capaces de inferir una
conclusión correcta a partir de unas afirmaciones o proposiciones previas.

Para ello, se hace uso de axiomas y otros aspectos matemáticos que se desarrollarán más adelante.

¿Qué estudia la lógica matemática?

Proposiciones

La lógica matemática inicia con el estudio de las proposiciones. Una proposición es una
afirmación que sin ningún tipo de ambigüedad se puede decir si es verdadera o no. Los siguientes
son ejemplos de proposiciones:

• 2+4=6.
• 52=35.
• En el año 1930 hubo un terremoto en Europa.

La primera es una proposición verdadera y la segunda es una proposición falsa. La tercera, aun
cuando es posible que la persona que la lee no sepa si es verdadera o inmediatamente, es una
afirmación que se puede comprobar y determinar si realmente ocurrió o no.

Los siguientes son ejemplos de expresiones que no son proposiciones:

• Ella es rubia.
• 2x=6.
• ¡Vamos a jugar!
• ¿Te gusta el cine?

En la primera proposición, no se especifica quién es “ella”, por lo tanto, no se puede afirmar nada.
En la segunda proposición, no se ha especificado qué representa “x”. Si en lugar se dijera que
2x=6 para algún número natural x, en este caso sí correspondería a una proposición, de hecho,
verdadera, ya que para x=3 se cumple.

Las últimas dos afirmaciones no corresponden a una proposición, ya que no hay manera de
negarlas o afirmarlas.

Dos o más proposiciones se pueden combinar (o conectar) usando los conocidos conectivos (o
conectores) lógicos. Estos son:
 • Negación: “No está lloviendo”.
• Disyunción: “Luisa compró un bolso blanco o gris”.
• Conjunción: “42=16 y 2×5=10”.
• Condicional: “Si llueve, entonces no voy al gimnasio esta tarde”.
• Bicondicional: “Voy al gimnasio esta tarde si, y solo si, no llueve”.

A una proposición que no posea ninguno de los conectivos anteriores, se le llama proposición
simple (o atómica). Por ejemplo, “2 es menor que 4”, es una proposición simple. Las
proposiciones que posean algún conectivo se les llaman proposiciones compuestas, como por
ejemplo “1+3=4 y 4 es un número par”.

Las declaraciones hechas por medio de proposiciones suelen ser largas, por lo que resulta tedioso
escribirlas siempre como se ha visto hasta ahora. Por ello, se hace uso de un lenguaje simbólico.
Las proposiciones se suelen representar por letras mayúsculas como P, Q, R, S, etc. Y los
conectivos simbólicos de la siguiente manera:

De modo que

La recíproca de una proposición condicional

es la proposición
Y la contrarrecíproca (o contrapositiva) de una proposición

es la proposición

Tablas de verdad

Otro concepto importante en lógica es el de tablas de verdad. Los valores de verdad de una
proposición son las dos posibilidades que se tiene para una proposición: verdadera (que se
denotará por V y se dirá que su valor de verdad es V) o falsa (que se denotará por F y se dirá que
su valor de verdad es F).

El valor de verdad de una proposición compuesta depende exclusivamente de los valores de

verdad de las proposiciones simples que aparecen en ella.

Para trabajar de manera más general, no se considerarán proposiciones específicas, sino variables
proposicionales p, q, r, s, etc., que representarán proposiciones cualesquiera.

Con estas variables y los conectivos lógicos se forman las conocidas fórmulas proposicionales al
igual que se construyen las proposiciones compuestas.

Si cada una de las variables que aparecen en una fórmula proposicional se sustituye por una
proposición, se obtiene una proposición compuesta.

A continuación, se presentan las tablas de verdad para los conectivos lógicos:

Hay fórmulas proposicionales que reciben solo el valor V en su tabla de verdad, es decir, la última
columna de su tabla de verdad solo posee el valor V. A este tipo de fórmulas se le conoce como
tautologías. Por ejemplo:

La siguiente es la tabla de verdad de la fórmula

Se dice que una fórmula α implica lógicamente a otra fórmula β, si α es verdadera cada vez que
β lo sea. Es decir, en la tabla de verdad de α y de β, las filas donde α tiene una V, β también tiene
una V. Solo interesa las filas en las que α tenga el valor V. La notación para la implicación lógica
es la siguiente:
La siguiente tabla resume las propiedades de la implicación lógica:

Se dice que dos fórmulas proposicionales son lógicamente equivalente si sus tablas de verdad son
idénticas. Se usa la siguiente notación para expresar la equivalencia lógica:

Las siguientes tablas resumen las propiedades de la equivalencia lógica:

Tipos de lógica matemática

Hay diversos tipos de lógica, sobre todo si se toma en cuenta la lógica pragmática o informal que
apunta a la filosofía, entre otras áreas.

En lo que a matemática respecta, los tipos de lógica se podrían resumir en:

• Lógica formal o aristotélica (lógica antigua).

• Lógica proposicional: se encarga del estudio de todo lo referente a la validez de
argumentos y proposiciones usando un lenguaje formal y también simbólico.
• Lógica simbólica: enfocada en el estudio de los conjuntos y sus propiedades, también
con un lenguaje formal y simbólico, y está profundamente vinculada con la lógica
proposicional.
• Lógica combinatoria: una de las desarrolladas más recientemente, envuelve resultados
que pueden ser desarrollados mediante algoritmos.
• Programación lógica: usada en los diversos paquetes y lenguajes de programación.
Áreas

Entre las áreas que hacen uso de la lógica matemática de manera indispensable en el desarrollo
de sus razonamientos y argumentos, resaltan la filosofía, la teoría de conjuntos, la teoría de
números, la matemática constructiva algebraica y los lenguajes de programación.

1.1.1.3. Platón

Platón (427-347 AC) intenta instaurar en Siracusa una utópica república dirigida por filósofos, y
crea la Academia en Atenas, que no era solouna institución filosófica, sino servía de formación
política a los jóvenes de la aristocracia. Según muchos críticos, Platón edifica su teoría del
conocimiento para justificar el poder preeminente del filósofo y parte de los pensamientos
socráticos: la búsqueda de conceptos y definiciones estables de las ideas abstractas (justicia,
bondad, valor, etc.).

Sostuvo la existencia de dos mundos distintos (el de las ideas y el de las cosas). Según Platon, lo
concreto se entiende sólo en función de lo abstracto, resultando que el mundo sensible debe su
existencia al mundo de las ideas. Platón escogió el diálogo como su forma literaria para verter su
pensamiento; como personaje central de sus ''Diálogos'' sitúa a Sócrates, de quien recibió una
notable influencia.

1.1.1.4. Aristóteles
Los tratados de lógica de Aristóteles (384-332 a.C.), conocidos como Organón, contienen el primer
tratamiento sistemático de las leyes de pensamiento en relación con la adquisición de conocimiento. Estos
representan el primer intento de establecer a la lógica como ciencia. Aristóteles da una clasificación de
todos los conceptos o nociones (sustancias, cantidad, relación, acción, pasión, diferencia, propiedad y
accidente) y trata las reglas del razonamiento silogístico. Aristóteles no hace de la lógica una disciplina
metafísica, pero si establece una correspondencia entre el pensamiento lógico y la estructura ontológica.

El silogismo fue adoptado por los escolásticos (representantes del sistema teológico-filosófico,
característico de la Edad Media) quienes la enriquecieron con numerosos y detallados estudios y se
esforzaron en formalizarlo. La escolástica, sin embargo, acabó por sobrecargar la teoría del silogismo, lo
que acarreó su descrédito a partir del Renacimiento. Los lógicos de la edad moderna (Ramée, Arnauld,
Nicole, Leibniz, Euler, Lambert) procuraron simplificarla al máximo, y su tratamiento matemático se
completó hasta principios del siglo XX (Boole, De Morgan, Frege, Russell). Desde entonces el silogismo
se incluye en la lógica de predicados de primer orden y en la lógica de clases, y ocupa en la ciencia lógica
un papel mucho menor que el desempeñado en otros tiempos.

1.1.1.5. Euclides
Este matemático alejandrino publicó numerosas obras entre las que destacan los célebres
''Elementos'', sin duda el texto matemático más conocido a lo largo de la historia. Los ''Elementos''
están divididos en trece libros y constituyen una recopilación de gran parte de las matemáticas
conocidas en tiempos de Euclides; su gran valor reside en el uso riguroso del método deductivo,
distinguiendo entre principios (definiciones, axiomas y postulados) y teoremas, que se
demuestran a partir de los principios. Los principios de naturaleza puramente geométrica en
''Elementos'' se conocen como postulados; tres de ellos aseguran la existencia y unicidad de la
recta determinada por dos puntos; el cuarto, la existencia de una circunferencia de centro y radio
dados; y el quinto da condiciones que aseguran que dos rectas se cortan en un punto. A lo largo
de la historia se ha mantenido la sospecha de que el quinto postulado era demostrable a partir de
los anteriores. El deseo de encontrar tal demostración condujo, en el siglo XIX, a la construcción
de geometrías no euclidianas de las que se deduce la imposibilidad de demostrar el quinto
postulado.

1.1.1.6. La ciencia matemática

Después de declinar la escuela clásica de los griegos, se presenta un periodo en el cual la autoridad
religiosa embruteció a la creatividad intelectual. El renacimiento inicia una nueva era en la cual
se permite la revitalización de la ciencia y las matemáticas. Los representantes más destacados de
esta etapa son Descartes, Newton y Leibniz. Este periodo abarca de los 1500 a los 1800.

1.1.1.7. René Descartes

El punto de partida de este filósofo y matemático francés (1596-1650) es la duda universal, que
consiste de prescindir de cualquier conocimiento previo que no queda confirmado por la evidencia
con que ha de manifestarse el espíritu. Descartes dudó de toda enseñanza recibida, de todo
conocimiento adquirido, del testimonio de los sentidos e incluso de las verdades de orden racional.
Llegado a este punto, halla una verdad de la que no puede dudar: la evidencia interior que se
manifiesta en su propio sujeto (pienso, luego existo). Como científico, se debe a Descartes, entre
otras aportaciones de considerable importancia, la creación de la geometría analítica. Este
desarrollo es importante para la ciencia porque hace a la geometría cuantitativa y permite el uso
de métodos algebraicos. La geometría debe ser cuantitativa para ser usada en la ciencia e
ingeniería, y los métodos algebraicos permiten el desarrollo más rápido que los métodos
sistemáticos (más rigurosos) requeridos por el enfoque axiomático de la geometría clásica.

1.1.1.8. Isacc Newton

A Isacc Newton (1642-1727) se le debe el descubrimiento de la gravitación universal, el
desarrollo del cálculo infinitesimal e importantes descubrimientos sobre óptica, así como las leyes
que rigen la mecánica clásica.

1.1.1.9. Gottfried W. Leibniz

Filósofo y matemático alemán (1646-1716); fundó la Academia de Ciencias de Berlín (1700). En
''Discurso sobre el arte combinatorio'' enuncia la necesidad de un lenguaje riguroso, exacto y
universal (un lenguaje puramente formal). Como matemático, su principal trabajo (publicado en
1684) es la memoria intitulada ''Nuevo método para la determinación de los máximos y los
mínimos'', en el que expone las ideas fundamentales del cálculo infinitesimal, anticipándose unos
años a Newton. La notación que empleó es particularmente cómoda y se sigue utilizando con
algunas modificaciones; introdujo el símbolo de integral y de diferencial de una variable. En el
área de lógica matemática publicó ''Generales inquisitiones de analysi notionum et veritatum'' y
''Fundamenta calculi logici'' .

1.1.1.10. Formalización de las Matemáticas

Esta etapa se caracteriza por el resurgimiento de la formalización rigurosa de las matemáticas,
que en la etapa clásica griega fué representativa. El uso de los infinitesimales fue una de las
prácticas más notoria en la época renacentista, para la cual no se ofrecía una justificación. La
rigorización del análisis llego con la eliminación de los infinitesimales y la presencia de los límites
como argumento[7]. En este periodo se crea la lógica simbólica, la escuela formal, la lógica
booleana, el cálculo porposicional, la inducción matemática, el cálculo de secuentes. Personajes
muy notables de esta etapa son: Peano, Hilbert, Frege, Boole, de Morgan, Gentzen, Russell, Gödel
y Whitehead. A Rusell y Gödel se deben los planteamientos de las limitantes de la lógica y de la
ciencia en general.

1.1.1.11. Guiseppe Peano

La enunciación de los principios del italiano Guiseppe Peano (1858-1932) acerca de lógica
matemática y su aplicación práctica quedaron contenidos en su obra ''Formulaire de
mathematiques''. Los axiomas de Peano permiten definir el conjunto de los números naturales.

1.1.1.12. David Hilbert

El matemático alemán David Hilbert (1862-1943) fue un enconado defensor de la axiomática
como enfoque principal de los problemas científicos, esto es, de partir de un conjunto cerrado e
inamovible de premisas para construir la base fundamental de cualquier estudio. A partir de las
fuentes griegas de Euclides, publicó en 1899 su obra ''Fundamentos de Geometría'', en la que
mediante un exhaustivo análisis y perfeccionamiento de las ideas euclidianas, formuló sus
principios de axiomatización. Según sus teorias, es necesario establecer un conjunto de postulados
básicos antes de plantear de modo más detallado cualquier tipo de problema físico o matemático.
Estos principios deben ser simbólicos, sin recurrir a dibujos y representaciones gráficas, y es
necesario preveer la mayoría de las posibilidades con antelación. Su concepción reconocía tres
sistemas de entes geométricos (puntos, rectas y planos) a los que podían aplicarse axiomas
distribuidos en cinco diferentes categorías: pertenencia, orden, igualdad o congruencia,
paralelismo y continuidad.

1.1.1.13. Friedrich G. Frege

Junto con Boole y Peano, el matemático y lógico Friedrich G. Frege (1848-1925) inicio la
corriente de pensamiento que, partiendo del análisis de los fundamentos de la matemática, llevó
a cabo la mas profunda renovacion y desarrollo de la lógica clásica. Fue el primero en introducir
los cuantificadores u operadores y en elaborar una teoría de la cuantificación.

1.1.1.14. George Boole

El lógico y matemático George Boole (1815-1864) aplicó el cálculo matemático a la lógica,
fundando el álgebra de la lógica, que en cierto modo realiza el sueño de Leibniz de una
''characteristica universalis'' o cálculo del raciocinio. El empleo de símbolos y reglas operatorias
adecuados permite representar conceptos, ideas y razonamientos mediante variables y relaciones
(ecuaciones) entre ellas. Boole dio un método general para formalizar la inferencia deductiva,
representando complicados raciocinios mediante sencillos sistemas de ecuaciones. Así, la
conclusión de un silogismo se encuentra eliminando el término medio de un sistema de tres
ecuaciones, conforme a las reglas del álgebra común, La formalización de la lógica, iniciada por
Boole, ha contribuido poderosamente a aclarar la estructura de los objetos lógicos, en
contraposición a los materiales y aun en contraposición a los matemáticos, pese a las analogías
formales entre la matemática y la lógica, que Boole señaló. Su obra principal es ''Investigación de
las leyes del pensamiento'' en las que se fundan las teorías matemáticas de la lógica y la
probabilidad (1854), que aun hoy se lee con deleite.

1.1.1.15. Augustus De Morgan

La mayor contribución de Augustus De Morgan (1806-1871) en el estudio de la lógica incluye la
formulación de las leyes de Morgan y su trabajo fundamenta la teoría del desarrollo de las
relaciones y la matemática simbólica moderna o lógica matemática. De Morgan hizo su más
grande contribución como reformador de la lógica.

1.1.1.16. Georg F. Cantor

Al matemático alemán Georg F. Cantor (1845-1918) se debe la idea del ''infinito continuo'', es
decir, la posibilidad de considerar conjuntos infinitos dados simultáneamente. Se le considera el
creador de la teoria de los números irracionales y de los conjuntos.

1.1.1.17. Gentzen
El alemán Gentzen (1909-1945) formuló la prueba de la consistencia de un sistema de aritmética
clásica, en el cual el método no elemental es una extensión de inducción matemática a partir de
una secuencia de números naturales a un cierto segmento de números ordinales transfinitos.

1.1.1.18. Bertrand Rusell

Bertrand Rusell (1872-1970) es uno de uno de los creadores de la logística y uno de los pensadores
de mayor influencia en la filosofía científica contemporánea. Lo fundamental de su obra está en
sus aportes a la lógica. Decididamente antiaristotélico, llegó a afirmar que quien quería iniciarse
en la lógica debía comenzar por no estudiar la lógica de Aristóteles. Por influencia de los trabajos
de Cantor descubrió en la teoría de conjuntos varias paradojas que resolvió mediante la teoría de
los tipos; años más tarde establecería una teoría similar, la de la jerarquía de los lenguajes, para
eliminar las paradojas semánticas. Siguiendo los trabajos de Cantor, Peano y Frege, Rusell se
propuso fundamentar y axiomatizar la matemática a partir de conceptos lógicos. Este empeño
culminó con la publicación (1910-1913) de los monumentales ''Principia Mathematica'' (en
colaboración con Whitehead), obra que, además, sentaba las bases de la moderna lógica formal.

1.1.1.19. Kurt Gödel

Kurt Gödel (1906-1978) tuvo múltiples contribuciones a la lógica matemática, destacando la
demostración de la consistencia de la hipótesis cantoriana del continuo y el teorema y la prueba
de incompletez semántica. En ''Sobre las proposiciones indecidibles de los sistemas de
matemática formal'' establece que es imposible construir un sistema de cálculo lógico
suficientemente rico en el que todos sus teoremas y enunciados sean decidibles dentro del sistema.
Con este teorema se demostró definitivamente que era imposible llevar a cabo el programa de la
axiomatización completa de la matemática propugnado por Hilbert y otros, ya que, según él, no
puede existir una sistematización coherente de la misma tal que todo enunciado matemático
verdadero admita demostración. Siempre habrá enunciados que no son demostrables ni refutables.
Para probar esta aserción se sirvió de la matematización de la sintaxis lógica.

1.1.1.20. La Revolución Digital

Esta revolución inicio con la invención de la computadora digital y el acceso universal a redes de
alta velocidad. Turing une a la lógica y la computación antes que cualquier computadora fuera
inventada. Weiner funda la ciencia de la cibernética. En la escuela moderna de la computación
están presentes lógicos que han permitido avances importantes: Hoare presenta un sistema
axiomático de los sistemas de programación y Dijkstra un sistema de verificación y deducción de
programas a partir de especificaciones.
 1.1.1.21. Alan Turing
Matemático y lógico quien fue pionero en la teoría de la computación y contribuyó en importantes
análisis lógicos de los procesos computacionales. Las especificaciones para la computadora
abstracta que él ideó (llamada la Máquina de Turing) resultó ser una de sus más importantes
contribuciones a la teoría de la computación. Turing además probó que es posible construir una
máquina universal que con una programación adecuada podrá hacer el trabajo de cualquier
máquina diseñada para resolver problemas específicos. Alan Turing inventó la máquina que lleva
su nombre (Máquina de Turing) en un intento por determinar si toda la matemática podía ser
reducida a algún tipo simple de computación. Su objetivo fué desarrollar la máquina más simple
posible capaz de realizar computación. La máquina propuesta por Turing es un dispositivo
relativamente simple, pero capaz de realizar cualquier operación matemática. Turing abrigó la
ilusión de que su máquina tenía una capacidad tal que, potencialmente, podría ser capaz de realizar
cualquier cosa realizable por el cerebro humano, incluyendo la capacidad de poseer conciencia
de si mismo. Pese a ser considerados formalmente equivalentes, distintos modelos de
computación presentan estructuras y comportamientos internos diferentes.

1.1.1.22. Norbert Weiner

El científico norteaméricano Norbert Weiner (1894-1964) en 1947 publica su libro más famoso:
''Cibernética, o control y comunicación en el animal y la máquina''; en donde se utiliza por primera
vez la palabra Cibernética. Existen muchas definiciones de Cibernética (del griego kybernetes,
piloto), Norbert Weiner dio vida a la palabra mediante una definición muy simple: ''Ciencia que
estudia la traducción de los procesos biológicos a procesos de máquina''. En un inicio, la
Cibernética estaba muy ligada a ciencias como neurología, biología, robótica e inteligencia
artificial. [11].

1.1.1.23. Alfred Tarski

Matemático y lógico polaco nacido en 1902, quien realizo importantes estudios de álgebra en
general, teoría de mediciones, lógica matemática, teoría de conjuntos, y metamatemáticas.

7 La siguiente revolución lógica

La siguiente revolución lógica será la asimilación práctica de las matemáticas y la computación

dentro de la lógica. Se hará enfásisi en que las computadoras exploten la información
inteligentemente, pasando de las bases de datos a las bases de conocimientos [12].

8 Conclusión

La lógica muestra un devenir histórico muy interesante, naciendo de la fuerte formalización de

las matemáticas de los griegos, que fué impactada, como muchas ciencias, por el pensamiento de
la Edad Media, donde la religión se anteponia a todo; pero, el impetú de la mente de los filósofos
renacentistas ayudó a retomar su desarrollo. No cabe duda que la lógica tiene impactó
fundamental, como ciencia de las ciencias, en el pensamiento contemporaneo, y que el nacimiento
de la tecnológia computacional deba mucho al desarrollo del formalismo lógico de principios de
siglo.