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

HISTORIA DE LA LOGICA MATEMATICA

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áticas para demostrar teoremas e inferir resultados
matemáticos que puedan ser aplicados en investigaciones.

La evolución de la lógica está ligada a la evolución intelectual del ser humano, ya que como
ciencia del razonamiento se puede afirmar que su historia representa la historia misma del
hombre. La lógica surge desde el momento en que el hombre al enfrentarse a la naturaleza
empieza a observar, experimentar, deduce y razona.

Durante el periodo 600 AC hasta 300 AC se desarrollaron en Grecia los principios formales de las
matemáticas, a este periodo se le llamo periodo clásico en donde sus principales representantes
son: Platón que el introdujo sus ideas y abstracciones; Aristóteles que presentó el razonamiento
ductivo y sistemático y Euclides que fue el que tuvo mayor influencia ya que este estableció el
método axiomático.

PLATÓN

Platón, propone instaurar en Siracusa una utópica república dirigida por filósofos. Crea la
Academia de Atenas que no era solo una institución filosófica, sino centro de formación política
para jóvenes aristócratas. Según algunos especialistas, Platón edifica su teoría del conocimiento
con el fin de justificar el poder emergente de la figura del filósofo. Sostiene la existencia de dos
mundos -el mundo de las ideas y el de mundo físico de los objetos. Según Platón, lo concreto se
percibe en función de lo abstracto y por tanto el mundo sensible existe gracias al mundo de las
ideas. Platón escoge el formato diálogo como forma de transmisión del pensamiento.

ARISTÓTELES

Los tratados de lógica de Aristóteles, conocidos como Organón, contienen el primer tratado
sistemático de las leyes de pensamiento para la adquisición de conocimiento. Representan el
primer intento serio que funda la lógica como ciencia.

OBJETIVOS

 El objetivo de la lógica matemática es cuestionar los conceptos y las reglas de deducción

que son utilizadas en las matemáticas y esto constituye a la lógica una verdadera
matemática.
SISTEMAS LÓGICOS

La lógica matemática se interesa por tres tipos de aspectos de los sistemas lógicos:

La sintaxis de los lenguajes formales, es decir, las reglas de formación de símbolos interpretables
construidos a partir de un determinado alfabeto, y las reglas de inferencia. En concreto el
conjunto de teoremas deducibles de un conjunto de axiomas.

LA SEMÁNTICA DE LOS LENGUAJES FORMALES: es decir, los significados atribuibles a un

conjunto de signos, así como el valor de verdad atribuible a algunas de las proposiciones. En
general las expresiones de un sistema formal interpretadas en un modelo son ciertas o falsas,
por lo que un conjunto de proposiciones que admite un modelo es siempre consistente.

Los aspectos metalógicos de los lenguajes formales, como por ejemplo la completitud
semántica, la consistencia, la compacidad o la existencia de modelos de cierto tipo, entre otros.

Los diferentes tipos de sistemas lógicos pueden ser clasificados en:

LÓGICA PROPOSICIONAL (LÓGICA DE ORDEN CERO): En ella existe símbolos para variables
proposicionales (que pueden ser interpretados informalmente como enunciados que pueden
ser ciertos o falsos) además de símbolos para diversas conectivas. Estas conectivas permiten
formar expresiones complejas a partir de variables proposicionales simples. Un sistema lógico
puede incluir diversos tipos de conectivas, entre ellos, la lógica clásica suele hacer uso de los
siguientes:

 ¬ se lee “no”
 ∧ se lee “y”
 ∨ se lee “o”
 → se lee “…implica…” o “si,…entonces…,”
 ↔ se lee “…equivalente con…” o "…si, sólo sí…"

Dentro de la lógica proposicional pueden distinguirse varios tipos, por ejemplo restringiendo las
posibilidades de interpretación semántica se obtiene la lógica intuicionista y ampliando la
complejidad de las interpretaciones semánticas se obtienen las lógicas modales.

Lógica de predicados: Esta no incluye símbolos para variables proposicionales sino que las
proposiciones más elementales son predicados atómicos formados a partir de variables
interpretables como objetos singulares, relaciones (entre estas frecuentemente se usan = , <, >,
etc.), funciones matemáticas. Además símbolos para representar variables, relaciones y
funciones este tipo de lógicas incluyen cuantificadores. Dentro de la lógica de predicados se
pueden distinguir ciertos tipos:

Lógica de primer orden que usualmente es finitaria (sólo se admiten proposiciones formadas
mediante un número finito de pasos) aunque también existen lógicas infinitarias.

Lógica de segundo orden que a su vez pueden ser de diferentes subtipos.

TEORÍAS AXIOMÁTICAS

Una teoría axiomática está formada por un conjunto de proposiciones expresables en un

determinado lenguaje formal y todas las proposiciones deducibles de dichas expresiones
mediante las reglas de inferencia posibles en dicho sistema lógico.
El objetivo de las teorías axiomáticas es construir sistemas lógicos que representen las
características esenciales de ramas enteras de las matemáticas. Si se selecciona un conjunto más
amplio o menos amplio de axiomas los conjuntos de teoremas deducibles cambian. El interés de
la teoría de modelos es que en un modelo en que satisfagan los axiomas de determinada teoría
también se satisfacen los teoremas deducibles de dicha teoría. Es decir, si un teorema es
deducible en una cierta teoría, entonces ese teorema es universalmente válido en todos los
modelos que satisfacen los axiomas. Esto es interesante porque en principio la clase de modelos
que satisface una cierta teoría es difícil de conocer, ya que las teorías matemáticas interesantes
en general admiten toda clase infinita de modelos no isomorfos, por lo que su clasificación en
general resulta difícilmente abordable si no existe un sistema lógico y un conjunto de axiomas
que caracterice los diferentes tipos de modelos.

PROPOSICIONES Y OPERACIONES LÓGICAS.

Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a
la vez. La proposición es un elemento fundamental de la lógica matemática.

A continuación, se tienen algunos ejemplos de proposiciones válidas y no válidas, y se explica el

porqué alguno enunciados no son proposiciones. Las proposiciones se indican por medio de una
letra minúscula, dos puntos y la proposición propiamente dicha. Ejemplo.

 p: La tierra es plana.
 q: -17 + 38 = 21
 r: x > y-9
 s: El Morelia será campeón en la presente temporada de Fut-Bol.
 t: Hola ¿cómo estás?
 w: Lava el coche por favor.

CONECTIVOS LÓGICOS Y TABLA DE VERDAD.

A partir de los conectores u operadores lógicos, listado anteriormente, es posible formar

proposiciones compuestas (formadas por varias proposiciones simples y conectadas entre sí por
los conectores lógicos), sin embargo, los criterios de verdad resultantes de los operadores
lógicos están regidos por determinadas reglas de la lógica booleana que señalaremos a en forma
posterior.

Pero para ser más preciso es necesario tener en cuenta que las proposiciones simples están
determinadas por condiciones dialécticas de tiempo y espacio. Por ejemplo, si se señala "llueve
y no tengo paraguas", al construir la tabla de verdad es necesario resolver ¿en dónde? y
¿cuándo? La afirmación "llueve" se entiende en que es en ese momento y ese lugar y con una
simple mirada al cielo sabemos si es cierto o falso. Hechas estas observaciones pasamos a revisar
las reglas específicas que rigen a cada conector lógico.

LA NEGACIÓN

La negación se simboliza, generalmente por el signo "~". Este signo puede ser traducido en
palabras, así: "no es el caso que" o, más brevemente, "no".

A partir de la teoría de conjuntos, establecimos si un elemento pertenece o no a un conjunto y

se señaló que si no es elemento del conjunto, entonces es elemento del conjunto complemento.
Por tanto la negación se refiere al conjunto complemento.
Se establece el siguiente principio para la negación lógica: la negación de un enunciado
verdadero es falsa; la negación de un enunciado falso es verdadero. Lo que equivale a decir que
la negación de la negación de una proposición verdadera es verdadera; y la negación de la
negación de una proposición falsa es falsa. Además, la conectiva no es la única de tipo singular
del listado de conectores lógicos señalado anteriormente.

p ~p
V F
F V
LA CONJUNCIÓN.

La conjunción es el operador correspondiente al término "y", siendo su símbolo más corriente

el siguiente, "^", se le conoce como la multiplicación lógica. Expresado en el lenguaje
matemático, la conjunción está regida por la ley asociativa, "(pq)r" equivale a decir "pqr". Pero
también es de carácter conmutativo: "pq" y "qp" son irrelevantes en su orden.

 La regla para establecer los criterios de verdad de la conectiva lógica conjunción es la

siguiente:
 Una conjunción de enunciados en los cuales todos son verdaderos, es verdadera
 Una conjunción de enunciados en donde no todos son verdaderos es falsa.
 Lo que equivale a decir que basta que uno de sus componentes sea falso para que toda
la proposición sea falsa y sólo será verdadera en el caso de que ambos componentes lo
sean.
 La expresado anteriormente se resumen simbólicamente de la siguiente manera:

p q p^q
V V V
V F F
F V F
F F F
Ejemplo:

Sea el siguiente enunciado "el auto enciende cuando tiene gasolina en el tanque y tiene
corriente en la batería"

Sean:

 p= tiene gasolina el tanque

 q = tiene corriente la batería
 r = el auto enciende = p ^ q

La conclusión resultante es que para que el auto encienda se debe tener gasolina en el tanque
y corriente en la batería, sino se tiene una de estas dos condiciones el auto no arrancará.
LA DISYUNCIÓN INCLUSIVA

La disyunción inclusiva, llamada también, alternación, expresada ordinariamente mediante la

palabra "o", simbólicamente se le representa por medio de la letra "v", colocada entre dos
proposiciones. Sin embargo, la "o" en este caso no tiene carácter de encrucijada o de dilema, y
se puede interpretar como " o uno u otro o ambos". Por ciertas analogías con el álgebra se le
llama también suma lógica. La alternación posee, igualmente, la propiedad asociativa que
consiste en la no importancia de la agrupación en relación con la verdad o la falsedad de una
proposición dada. También es afectada por la ley conmutativa de que el orden de las
alternativas no afecta a la alternación.
La regla de la tabla de verdad para esta conectiva lógica es la siguiente:

 Una disyunción inclusiva es verdadera cuando por lo menos una de sus alternativas es
verdadera; solamente será falsa si las dos lo son.
 La tabla de verdad del enunciado anterior es como sigue:
p q pvq
V V V
V F V
F V V
F F F
Ejemplo:

Sea el siguiente enunciado "Una persona puede entrar al cine si compra boleto u obtiene un
pase"

Sean:

 p= compra boleto
 q = obtiene un pase
 r = una persona entra al cine = p v q

La conclusión resultante es obvia, puesto que para entrar al cine es necesario tener por lo
menos una de las dos condiciones: comprar un boleto o tener un pase, si se tiene ambas
también se puede entrar, si no tengo ninguna de las dos alternativas entonces no se puede
entrar al cine.

LA DISYUNCIÓN EXCLUSIVA

La disyunción exclusiva se simboliza pro el signo "v", corresponde a la expresión " o uno u otro,
pero no ambos a la vez". Una de las propiedades de esta conectiva es la de ser conmutativa y la
de poseer el carácter asociativo. Se puede mostrar la equivalencia de los esquemas
proposicionales, así como establecer que es inesencial la agrupación por la cual optemos.
Ejemplos de expresiones afines a esta conectiva son " a menos que…" o "salvo que…"

La regla de la tabla de verdad para esta conectiva lógica es la siguiente:

 Una disyunción exclusiva es verdadera cuando una de sus alternativas es verdadera; y

será falsa si las dos alternativas son falsas o verdaderas.
 La tabla de verdad del enunciado anterior es como sigue:

p q pvq
V V F
V F V
F V V
F F F
LA CONDICIONAL

La condicional, expresada por la frase "si, entonces", se simboliza mediante el

signo "→" colocado entre las dos proposiciones. La primera proposición lleva el nombre de
antecedente y la segunda proposición la de consecuente. Algunos lógicos la denominan
"proposición hipotética" o "proposición implicativa". La importancia de esta clase de
proposiciones es la de que la utiliza frecuentemente en el lenguaje de las ciencias,
particularmente en la ciencia de la físicay en la matemática. El condicional, según veremos, es
una conectiva para la cual importa el orden de las cláusulas, esto es, se trata de un conector no
conmutativo. En este caso el antecedente es una condición suficiente respecto del consecuente
y el consecuente es una condición necesaria respecto del antecedente.

 La regla de la tabla de verdad para esta conectiva lógica es la siguiente:

 La condicional será falsa sólo cuando el antecedente es verdadero y el consecuente es
falso, en los demás casos será verdadera.
 La tabla de verdad del enunciado anterior es como sigue:
p q p→q
V V V
V F F
F V V
F F V
Ejemplo:

Si se tiene lo proposición "Si un cuerpo se calienta, entonces se dilata", se observa que

estamos diciendo es que la primera proposición "si el cuerpo se calienta" implica a la segunda
proposición " entonces se dilata", pero no se afirma que el antecedente es verdadero, ni el
consecuente es verdadero, puede ser que el cuerpo no se calentó y el cuerpo se dilato por
causa de otros factores ajenos a la temperatura, un golpe

LA BICONDICIONAL

La bicondicional, expresada por la frase "si y solo sí…", denotada por el signo"↔", significa una
relación bidireccional en donde ambas proposiciones se necesitan entre sí.

 La regla de la tabla de verdad para esta conectiva lógica es la siguiente:

 La conectiva bicondicional será verdadera solamente si y solo si las dos sentencias que
la componen son a la vez verdaderas o si son ambas falsas.
 La expresado anteriormente se resumen simbólicamente de la siguiente manera:

p q p↔q
V V V
V F F
F V F
F F V

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son
proposiciones válidas. El inciso r también es una proposición valida, aunque el valor de falso o
verdadero depende del valor asignado a las variables x y y en determinado momento. La
proposición del inciso s también está perfectamente expresada, aunque para decir si es falsa o
verdadera se tendría que esperar a que terminara la temporada de fut-boll. Sin embargo, los
enunciados t y w no son válidos, ya que no pueden tomar un valor de falso o verdadero, uno de
ellos es un saludo y el otro es una orden.

CONECTIVOS LÓGICOS Y PROPOSICIONES COMPUESTAS.

Existen conectores u operadores lógicas que permiten formar proposiciones compuestas

(formadas por varias proposiciones). Los operadores o conectores básicos son:

Operador (y)

Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un
resultado verdadero. Si símbolo es: {Ù, un punto (.), un paréntesis}. Se le conoce como la
multiplicación lógica:

Ejemplo.

Sea el siguiente enunciado "El coche enciende cuando tiene gasolina en el tanque y tiene
corriente la batería"

Sean:

 p: El coche enciende.
 q: Tiene gasolina el tanque.
 r: Tiene corriente la batería.

De tal manera que la representación del enunciado anterior usando simbología lógica es como
sigue:

 p=qÙr

Su tabla de verdad es como sigue:

REFERENCIAS BIBLIOGRÁFICAS

http://www.monografias.com/trabajos57/logica-matematica/logica-
matematica2.shtml#ixzz4nui9ux8z

http://132.248.164.227/publicaciones/docs/apuntes_matematicas/36.%20Logica%20Matemat
ica.pdf

http://www.uamenlinea.uam.mx/materiales/matematicas/logica/SOLIS_DAUN_JULIO_ERNEST
O_Logica_Matematica.pdf