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, 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 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.
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.
Ejemplos de Lógica Matemática:
La demostración del teorema de que la raíz cuadrada de 2 es irracional. Ésta se hace
comprobando que la afirmación contraria es falsa. Entonces partimos de la siguiente premisa:
La √2 es racional. Esto significa que la podemos escribir √2 como la razón de dos números
enteros de la siguiente forma:
√2=p/q
En donde p y q no tienen un factor común. Si elevamos ambos términos de la igualdad al
cuadrado obtenemos:
2 = p2/q2
Lo que implica que:
p2 = 2q2
Lo anterior significa que p2 es un número par y la única forma de que eso sea cierto es que p
sea también par.

1
Pero p2 es actualmente divisible por 4. Por lo tanto q2 es par, lo que significa que q es también
un número par.
División
Lógica computacional
La lógica computacional es la misma lógica
matemática aplic ada al contexto de las ciencias de la
computación. Su uso es fundamental en varios niveles: en
los circuitos computacionales, en la programación lógica y
en el análisis y optimización (de recursos temporales y
espaciales) de algoritmos.
La lógica se extiende al corazón de la informática a medida
que surge como una disciplina: El trabajo de Alan
Turing sobre el Entscheidungsproblem seguido del trabajo de Kurt Gödel sobre teoremas
incompletos. La noción de la computadora de uso general que surgió de este trabajo fue de gran
importancia para los diseñadores de la maquinaria informática en la década de 1940.
Lógica filosófica
La lógica filosófica se refiere a aquellas áreas de la filosofía en la que reconocidos métodos
de la lógica tradicionalmente, han sido utilizadas para resolver o avanzar en la discusión de los
problemas filosóficos.27 Entre estos, Sybil Wolfram destaca el estudio del argumento,
el significado y verdad,28 mientras Colin McGinn presenta las nociones
de identidad, existencia, predicado, estado de necesidad y verdad como ideas principales en su
libro sobre este tema.29 La lógica se usa únicamente para pensamientos sobre existencias
relacionadas a nosotros, en el caso de la filosofia esto es en relación a todo lo posiblemente
imaginativo.
Lógica informal
La lógica informal, o lógica no formal, es el estudio de los argumentos a posteriori en
oposición al estudio técnico y teórico de la lógica matemática. Esta parte de la lógica se dedica
principalmente a diferenciar entre formas correctas e incorrectas en que se desarrolla el
lenguaje y el pensamiento cotidiano, en especial al estudio de los procesos para obtener
conclusiones a partir de información dada, sin importar su forma lógica. Parte de que el
pensamiento y el lenguaje humano es a menudo incorrecto, o tendencioso. Surgió en la década
de los 70's como un sub-campo de la filosofía. La primera obra en hablar acerca de esta
disciplina fue La lógica y la retórica contemporánea (1971) de Howard Kahane.
Lógica Simbólica
Se ha formado como resultado de aplicar, en el
terreno de la lógica, los métodos formales de la
matemática basados en el empleo de un lenguaje
especial de símbolos y fórmulas. En la lógica
matemática, el pensamiento lógico de contenido
(procesos del juicio y de la demostración) se
estudia representándolo por medio de sistemas
lógicos formales o cálculos. Resulta, pues, que la
lógica matemática, por su objeto es lógica, y por su método es matemática. La lógica
matemática contiene generalizaciones de largo alcance, y el desarrollo de las ideas y métodos
de la lógica formal tradicional constituye precisamente la etapa presente del desarrollo de la
lógica formal. La lógica matemática contemporánea incluye en sí una serie de cálculos
lógicos, constituye una teoría sobre dichos cálculos, acerca de sus premisas, propiedades y
aplicaciones. Junto al estudio de la estructura formal de los cálculos lógicos (Sintaxis lógica),
en la lógica matemática surge también la necesidad de examinar las relaciones entre los

2
cálculos y las esferas de contenido que sirven para las interpretaciones y modelos de dichas
relaciones. En esta cuestión se esboza la problemática de la semántica lógica. La sintaxis
lógica y la semántica se incluyen en la metalógica, teoría sobre los recursos para describir las
premisas y las propiedades de los cálculos lógicos. El descubrimiento del examen formal de
la lógica pertenece a Aristóteles (siglo IV a. n. e.). (Silogística). En su forma primitiva
algunos conceptos iniciales de la lógica matemática se encuentran ya en la teoría de la escuela
estoica de Megara (siglo III a. n. e.). Pero, al parecer, fue Leibniz quien por primera vez,
formuló la idea de cálculo lógico. De todos modos, la lógica matemática como disciplina
independiente sólo se constituyó a mediados del siglo XIX gracias a los trabajos de George
Boole. Con él se inicia el desarrollo de la denominada álgebra de la lógica. Ernst Schröder
en sus Lecciones sobre el álgebra de la lógica (1890-95) resumió y sistematizó los resultados
de dicho desarrollo. A fines del siglo XIX en el estudio de la lógica matemática se inicia una
nueva dirección relacionada con las investigaciones de la matemática tendientes a
fundamentar sus conceptos y sus procedimientos demostrativos. En las fuentes de la
dirección aludida, se encuentran los trabajos de Gottlob Frege. Contribuyeron en gran manera
a su desarrollo Bertrand Russell y Alfred Whitehead (“Principia Mathematica”, 1910-1913)
y David Hilbert. En este período, se crean los sistemas lógicos fundamentales, ya clásicos:
el cálculo proposicional y el cálculo de predicados. La presente etapa de la lógica matemática
se caracteriza por las investigaciones que en ella se realizan sobre los diferentes tipos de
cálculos lógicos, por el interés hacia los problemas de la semántica y, en general, de la
metalógica, hacia las cuestiones de la aplicación especial, científica y técnica, de la lógica.
Los problemas que plantea la fundamentación de la matemática hacen que paralelamente a
los trabajos que se llevan a cabo en la esfera de la lógica clásica se elabore la lógica
constructiva. Al análisis de los fundamentos de la lógica están unidas las investigaciones
concernientes a la lógica combinatoria. Se crea la teoría de la lógica polivalente. Los intentos
de resolver el problema de cómo formalizar las investigaciones lógicas elevan a la creación
de cálculos de una implicación rigurosa y fuerte. Se están sentando las bases de la lógica
modal. Por otra parte, la lógica matemática ejerce una gran influencia sobre la propia
matemática moderna, algunos de cuyos aspectos esenciales han surgido de ella; así ha
ocurrido, por ejemplo, con las teorías de los algoritmos y de las funciones recursivas. La
lógica matemática halla aplicación en electrónica (investigación de los relés de contacto y de
los esquemas electrónicos), en técnica calculatoria (programación), en cibernética (teoría de
los dispositivos automáticos), en neurofisiología (modelación de redes neuronales), y en
lingüística (lingüística estructural y semiótica). La vieja lógica formal no conocía esa estrecha
concatenación de la problemática lógica con la resolución de los problemas científicos
especiales, ni la utilización de la lógica como instrumento de las investigaciones científicas
concretas.
Tabla de verdad

3
 Una tabla de verdad, o tabla de valores de verdades, es una tabla
que muestra el valor de verdad de una proposición compuesta, para
cada combinación de verdad que se pueda asignar.1
Fue desarrollada por Charles Sanders Peirce por los años 1880, pero
el formato más popular es el que introdujo Ludwig Wittgenstein en
su Tractatus logico-philosophicus, publicado en 1921.
Definiciones en el cálculo lógico
Para establecer un Sistema formal se establecen las definiciones de
los operadores. Las definiciones se harán en función del fin que se
pretenda al construir el sistema que haga posible la formalización
de argumentos:
 Como razonamientos deductivos lógico-lingüísticos
 Como construcción de un sistema matemático
puro
 Como una aplicación lógica en un Circuito de
conmutación.
Verdad
El valor verdadero se representa con la letra V; si
se emplea notación numérica se expresa con un
uno: 1; en un circuito eléctrico, el circuito está
cerrado cuando esta presente la afirmación de V.
Falso
El valor falso F; si se emplea notación numérica se
expresa con un cero: 0; en un circuito eléctrico, el
circuito está abierto.
Variable
Para una variable lógica A, B, C, ... pueden ser
verdaderas V, o falsas F, los operadores
fundamentales se definen así:
Negación
La negación operador que se ejecuta, sobre un
único valor de verdad, devolviendo el
valor contradictorio de la proposición considerada.

Conjunción
La conjunción es un operador, que
actúa sobre dos valores de verdad,
típicamente los valores de verdad de
dos proposiciones, devolviendo el
valor de verdad verdadero cuando
ambas proposiciones son verdaderas,
y falso en cualquier otro caso. Es
decir, es verdadera cuando ambas son
verdaderas.
En términos mas simples, será verdadera cuando las dos proposiciones son verdaderas.
La tabla de verdad de la conjunción es la siguiente:

4
 Que se
corresponde con la columna 8 del
algoritmo fundamental.
en simbología "∧" hace referencia al
conector "y"
Disyunción
La disyunción es un operador lógico
que actúa sobre dos valores de
verdad, típicamente los valores de
verdad de dos proposiciones,
devolviendo el valor de
verdad verdadero cuando una de las
proposiciones es verdadera, o cuando
ambas lo son, y falso cuando ambas
son falsas.
En términos mas simples, será
verdadera cuando por lo menos una de las proposiciones es verdadera de lo contrario será
falsa.
La tabla de verdad de la disyunción es la siguiente:
Que se corresponde con la columna 2 del algoritmo fundamental.

Implicación o Condicional
El condicional material es un operador
que actúa sobre dos valores de
verdad, típicamente los valores de
verdad de dos proposiciones,
devolviendo el valor de falso sólo
cuando la primera proposición es
verdadera y la segunda falsa,
y verdadero en cualquier otro caso.
La tabla de verdad del condicional
material es la siguiente:
Que se corresponde con la columna 5
del algoritmo fundamental.

5
Equivalencia, doble
implicación o Bicondicional
El bicondicional o doble implicación es
un operador que funciona dando el
valor de verdad cuando ambos valores
son iguales y dando el valor de
falsedad cuando ambos valores son
diferentes.
La tabla de verdad del bicondicional es
la siguiente:
Que se corresponde con la columna 7
del algoritmo fundamental.

Introducción.

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas
determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía,
matemáticas, computación, física. En la filosofía para determinar si un razonamiento es válido o
no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber
el significado correcto. En las matemáticos para demostrar teoremas e inferir resultados
matemáticas que puedan ser aplicados en investigaciones. En la computación para revisar
programas. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza
tiene un procedimiento lógico, por el ejemplo; para ir de compras al supermercado una ama de
casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una
persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede
pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pintó
la parte alta porque se mancharía lo que ya tiene pintado, también dependiendo si es zurdo o
derecho, él puede pintar de izquierda a derecha o de derecha a izquierda según el caso, todo esto
es la aplicación de la lógica.

Conclusiones.

La idea principal de este trabajo es que el alumno aprenda el concepto de proposición, la forma
en que se pueden formar proposiciones compuestas usando los conectores lógicos, representar
enunciados por medio de simbología lógica, conocer los conceptos de tautología, equivalencia
lógica, regla de inferencia. Realizar demostraciones de teoremas por medio del método directo y
contradicción. Pero con problemas que le sean familiares e interesantes. Se trata de que en cada

6
uno de los subtemas participe proponiendo sus propios ejemplo y que sobre todo al final de la
unidad él tenga la habilidad, confianza e iniciativa para inferir posibles soluciones.

Todo enunciado puede ser planteado en términos de teoremas. Un teorema por lo general es
resultado de un planteamiento de un problema, este planteamiento debe tener el siguiente
formato.
EJEMPLOS DE TABLAS DE VERDAD
DISYUNCIÓN
La disyunción es un operador que opera sobre dos valores de verdad, típicamente
los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas
lo son, y falso cuando ambas son falsas.

Tabla de verdad de la disyunción

p v q (se lee: ” p o q”)

EJEMPLOS:
p = ” El numero 2 es par”
q = ” la suma de 2 + 2 es 4″
entonces…
pvq: “El numero 2 es par o la suma de 2 + 2 es 4″

p = ” La raíz cuadrada del 4 es 2”

q = ” El numero 3 es par″
entonces…
pvq: “La raíz cuadrada del 4 es 2 o el numero 3 es par”
REPORT THIS AD
REPORT THIS AD

CONJUNCIÓN
La conjunción es un operador que opera sobre dos valores de verdad, típicamente
los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones son verdaderas, y falso en
cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas.

Tabla de verdad de la conjunción

p ^ q (se lee: ” p y q”)

EJEMPLOS:
p = ” El numero 4 es par”
7
 q = ”Siempre el residuo de los números pares es 2″
entonces…
p^q: “El numero 4 es par y Siempre el residuo de los números pares es 2″

p = ” El numero mas grande es el 34”

q = ”El triangulo tiene 3 lados″
entonces…
p^q: “El numero mas grande es el 34 y El triangulo tiene 3 lados”
REPORT THIS AD
REPORT THIS AD

NEGACIÓN
La negación es un operador que se ejecuta. sobre un único valor de verdad,
devolviendo el valor contradictorio de la proposición considerada.

Tabla de verdad de Negación

EJEMPLOS
p: “4 + 4 es igual a 9”
-p: “4 + 4 no es igual a 9″

p: “El 4 es un numero par”

-p: “El 4 no es un numero par”

CONDICIONAL
REPORT THIS AD
REPORT THIS AD

El condicional material es un operador que opera sobre dos valores de verdad,

típicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa,
yverdadero en cualquier otro caso.
La condicional de dos proposiciones p, q da lugar a la proposición; si p entonces
q, se representa por p → q

Tabla de Verdad Condicional

EJEMPLOS

8
 p: “llueve”
q: “hay nubes”
p→q: “si llueve entonces hay nubes”

p: “Hoy es miércoles”
q: “Mañana será jueves”
p→q: “Si Hoy es miércoles entonces Mañana será jueves”

BICONDICIONAL
REPORT THIS AD
REPORT THIS AD

El bicondicional o doble implicación es un operador que funciona sobre dos valores

de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de
verdad, y falso cuando sus valores de verdad difieren.

Tabla de Verdad Bicondicional

EJEMPLOS
p: “10 es un número impar”
q: “6 es un número primo”
p↔q: “10 es un número impar si y solo si 6 es un número primo”

p: “3 + 2 = 7”
q: “4 + 4 = 8”
p↔q: “3 + 2 = 7 si y solo si 4 + 4 = 8″