SOBRE LOGICA MATEMATICA

Sandra M. Perilla-Monroy

Departamento de Ciencias Bsicas, Universidad Santo Toms, Bogot, Colombia.

sandraperilla@usantotomas.edu.co

Carrera 9 No 51-11 Bogot Colombia

Resumen.

En ste artculo se presenta una introduccin a la lgica clsica. La presentacin se hace

desde la dimensin semntica resaltando el significado de las proposiciones para
determinar su valor de verdad. Desde la sintaxis se presenta la dimensin estructural en la
construccin de las proposiciones. La lgica como sistemas de representacin de procesos
de razonamiento se presenta haciendo nfasis en los procesos argumentativos desde las
reglas de inferencia, y como complemento se enuncian algunos mtodos directos e
indirectos de demostracin. El objetivo es que especialmente los estudiantes cuenten con
ms herramientas que les permitan hacer razonamientos sobre la verdad o la falsedad de
una proposicin dada.

Palabras claves: lgica clsica, proposiciones, conectivos lgicos, tcnicas de

demostracin.

Introduccin

Este artculo sobre Lgica matemtica surge teniendo en cuenta la dificultad de algunos
estudiantes al momento de decidir y justificar si un enunciado es vlido; en parte su
dificultad puede ser porque no conocen la lgica matemtica que es la que les permite
expresar clara y organizadamente sus razonamientos y porque no cuentan con tcnicas de
demostracin. El objetivo de ste artculo es entonces hacer una introduccin a la lgica
clsica para que los estudiantes tengan ms herramientas a la hora argumentar sobre la
validez de una proposicin.
Metodologa
Se har un estudio de los principales elementos con que cuenta la lgica clsica, sus
axiomas, sus reglas para conectivos y cuantificadores y sus reglas de inferencia. Se darn
algunas tcnicas de demostracin y se mostrarn algunos ejemplos.

Lgica Matemtica
La lgica matemtica es el lenguaje de la matemtica, la lgica nos ayuda a organizar
nuestros razonamientos y nos permite expresarlos de manera correcta. Mediante las reglas
de la lgica matemtica podemos determinar si una proposicin es verdadera o no, adems
la lgica matemtica nos da tambin reglas de inferencias que nos permiten a partir de
proposiciones verdaderas mostrar la validez de razonamientos. El lgico o el matemtico
construyen una teora a partir de las premisas como las abejas construyen el panal o como
cualquier constructor edifica su obra a partir de materiales apropiados y mediante
conocimientos previamente adquiridos. Acabada la obra, los materiales resultan
estructurados gracias a las reglas de construccin[2]

Es de este modo como en una lgica cualquiera, se debe tener un conjunto de

conocimientos adquiridos que son los axiomas, un conjunto de materiales que son nuestras
proposiciones y un conjuntos de reglas de formacin que son las reglas de inferencia, las
reglas para los conectivos y cuantificadores y las reglas estructurales.

Lgica clsica

Hay que decir que la lgica con la que se trabaja en nuestros cursos de clculo y de lgebra
es la lgica clsica, en la que slo se tienen dos valores de verdad: verdadero (1) y falso (0),
y que por lo cual resulta ser una lgica bastante eficiente ya que si por ejemplo es difcil
demostrar que una proposicin es verdadera, entonces tenemos otro camino que es
demostrar que la negacin de la proposicin es falsa, es decir dada una proposicin ella es
verdadera o es falsa.

Definicin 1: Una proposicin es un enunciado del cual se puede decir si es falso o

verdadero, pero no ambos.

Por ejemplo son proposiciones:

i) Dos es un nmero primo.
ii) -19+50=31.
iii) 24 es un nmero cuadrado perfecto.
iv) Todo nmero real multiplicado por cero es igual a cero.
v) 2+3=19
vi) Si f es una funcin continua entonces f es una funcin derivable
 vii) Si f es una funcin derivable entonces f es una funcin continua
viii) Para y matrices de orden n,
ix) Si A es una matriz y entonces
x) 2 es un nmero primo y 24 es un cuadrado perfecto

De ellas son verdaderas i, ii,iv,vii,viii y ix; y son falsas iii,v,vi,viii y x.

Las proposiciones pueden ser atmicas o compuestas, por ejemplo son atmicas las
proposiciones i) a v) y son compuestas las proposiciones vi) a x), las proposiciones
compuestas se obtienen a partir de otras proposiciones combinndolas mediante conectivos
lgicos. Los conectivos para la lgica clsica son:
i) La negacin: es un conectivo unario es decir acta sobre una sla proposicin y
su smbolo es o tambin se utiliza ~. Su tabla de verdad es:
p p
0 1
1 0

Esto es si partimos de una proposicin p que es falsa entonces su negacin p es verdadera,

y si p es verdadera entonces p falsa.

Por ejemplo la proposicin es una proposicin verdadera, y

es falsa.

ii) Disyuncin: la disyuncin de dos proposiciones p, q es la proposicin que

se lee p o q. La tabla de verdad para la disyuncin es:

p q p
0 0 0
0 1 1
1 0 1
1 1 1
Notemos que una disyuncin de dos proposiciones es falsa nicamente cuando
las dos proposiciones son falsas, y en cualquier otro caso siempre es verdadera.
iii) Conjuncin: la conjuncin de dos proposiciones p, q es la proposicin
que se lee p y q. La tabla de verdad para la conjuncin es:
p q p
0 0 0
0 1 0
1 0 0
1 1 1
 La conjuncin de dos proposiciones es verdadera nicamente si las dos
proposiciones son verdaderas.

iv) Condicional: el condicional de dos proposiciones p y q es la proposicin

, se lee si p entonces q o p implica q o p es necesaria para q. La
tabla de verdad para el condicional es :

p q p
0 0 1
0 1 1
1 0 0
1 1 1

As una proposicin condicional es falsa slo si de una proposicin verdadera se

llega a una proposicin falsa, en los otros casos es verdadera. p se conoce como el
antecedente y q como el consecuente.

v) Bicondicional: el bicondicional de dos proposiciones p y q es la proposicin

, se lee p si y solo si q, o p equivale a q. La tabla de verdad para la
equivalencia es :

p q p
0 0 1
0 1 0
1 0 0
1 1 1

Una proposicin bicondicional es verdadera si ambas p y q tienen el mismo valor

de verdad.

Tautologas, contradicciones y contingencias: una proposicin p compuesta de

proposiciones se dice que es una tautologa si para todos los valores de verdad
que tomen p resulta ser verdadera. p es una contradiccin si para
cualesquiera valores de verdad que se les asigne a , p resulta ser falsa. Y p se
dice que es una contingencia si su valor de verdad depende de los valores de verdad que
tomen .
Por ejemplo la proposicin es una tautologa, es una contradiccin y
es una contingencia.

p p p p p p p p p p p p
0 1 1 0 1 0 0 0 0
1 0 1 1 0 0 1 1 1

Recproca y contra recproca: dada una implicacin se define la recproca de sta

implicacin como y la contra recproca como , si hacemos la tabla de
verdad de la proposicin vemos que es una tautologa, esto es la contra
recproca de una implicacin siempre es equivalente a ella. As que si queremos demostrar
una implicacin podemos hacerlo tambin demostrando su contra recproca.

La proposicin si f es una funcin derivable entonces f es una funcin continua es una

implicacin que es verdadera; su recproca sera si f es una funcin continua entonces f
es derivable y sabemos que sta proposicin es falsa ya que por ejemplo la funcin
es una funcin continua en x=0 pero no es derivable. Pero la contra recproca
si f no es continua entonces f no es derivable por ser equivalente es verdadera tambin.

Predicados y cuantificadores.

La expresin x es positivo no es una proposicin pues no se puede decidir si es falsa o

verdadera, pero si a x se le da un valor numrico entonces la afirmacin se convierte en una
proposicin. Enunciados como el anterior se denominan predicados y existen dos formas
de convertirlos en proposiciones una es asignando valores numricos a la x o la otra es por
medio de los cuantificadores. En la lgica clsica se manejan dos cuantificadores: el
cuantificador universal cuyo concepto es para todo y el cuantificador existencial
cuyo concepto es existe as por ejemplo las siguientes expresiones son proposiciones:

El cuadrado de todo nmero real es no negativo

Existe un nmero natural que al sumarle 5 da 12

La suma de dos matrices simtricas es simtrica

Veamos cmo acta la negacin para cada uno de estos cuantificadores:

Reglas de Inferencia: en la lgica clsica tenemos adems de las reglas para conectivos,
reglas para inferencia que nos permiten a partir de proposiciones dadas que llamaremos
premisas o hiptesis deducir otras proposiciones que llamamos conclusiones o tesis.
Algunas de las reglas de inferencia para la lgica clsica son:

Modus Ponens:

Modus Tollens:

Adicin:

Ley de Simplicacin:

Silogismo Hipottico:

Silogismo Disyuntivo:

Veamos el uso de algunas de ellas:

1. Si una funcin es derivable en un punto entonces la funcin es continua en ese punto. Si

una funcin es continua en un punto entonces el lmite de la funcin alrededor de ese punto
debe existir.

As usando el silogismo hipottico se puede concluir que si una funcin es derivable en un

punto entonces el lmite de la funcin alrededor de ese punto debe existir.

2. Si el estudiante estudia juicioso entonces aprobar la asignatura.

El estudiante ha estudiado juiciosamente.

El estudiante aprueba la asignatura. (Modus Ponens)

3. 2 es un nmero primo. Luego es cierto que dos es un nmero primo o 5 es un nmero

par. (Ley de adicin).

4. Si una funcin es polinmica entonces la funcin es continua.

no es continua. Luego por modus Tollens podemos concluir que no es polinmica.

Mtodos de demostracin.

La demostracin es el corazn de las matemticas(Larry Cusick)

Una demostracin es una sucesin de afirmaciones que representan una argumentacin de

la validez de un enunciado matemtico, en sta sucesin de proposiciones podemos incluir
axiomas, o proposiciones ya demostradas o definiciones ya establecidas.

Demostracin Directa: si queremos demostrar una implicacin en forma directa

entonces debemos suponer que p es verdadera y llegar a concluir que q tambin lo es.

Demostracin indirecta o contra recproca: para demostrar la implicacin en

forma indirecta entonces debemos suponer que q es verdadera y llegar a concluir que q
tambin lo es.

Demostracin por contradiccin o reduccin al absurdo: es similar a la demostracin

indirecta, lo que se hace para demostrar la implicacin por contradiccin es suponer
que se tiene p pero, que no se tiene q, es decir que q es falsa y llegar a una contradiccin.
Este tipo de demostracin lo podemos utilizar en general para cualquier proposicin como
se haba dicho al principio del artculo, si es difcil demostrar que una proposicin p es
verdadera entonces podemos demostrar que la proposicin p es contradictoria.

Demostracin por induccin matemtica

La induccin matemtica es una tcnica de demostracin que se utiliza para demostrar

proposiciones cuya validez se tiene en subconjuntos de los nmeros naturales.

La prueba por induccin para una proposicin P(n) tiene dos pasos:

Paso Bsico: probar la proposicin P(1) o probar la proposicin para el menor natural que
diga el enunciado.

Paso de induccin: suponer que P(n) es verdadera y probar que se tiene la proposicin
para n+1 es decir probar que P(n+1) es verdadera.

Para entender un poco ms la prueba por induccin matemtica hagamos la siguiente

analoga, supongamos que se tiene una escalera con muchos escalones si logramos llegar al
primer escaln y siempre que estemos en un escaln aseguramos que podemos subir al
siguiente escaln entonces podemos asegurar que recorreremos toda la escalera, as
funciona la prueba por induccin matemtica, el paso bsico es mostrar que se puede llegar
al primer escaln y el paso por induccin es mostrar que si estamos en un escaln n
podemos subir al siguiente n+1.

Veamos por ltimo la demostracin de algunas proposiciones.

Proposicin 1: Si A es una matriz cuadrada y entonces o

Demostracin por prueba directa. Sea A una matriz cuadrada y supongamos que
entonces sacando el determinante a ambos lados de la igualdad tenemos que
, esto es que , entonces

, luego que ,

Proposicin 2:

Demostracin por contradiccin o por reduccin al absurdo. Supongamos entonces que

no es irracional, esto es que es racional, entonces con p y q primos relativos
entonces elevando al cuadrado , luego , entonces es un mltiplo de 2 y
por lo tanto , reemplazando entonces tendramos que , esto es
, y , lo que implicara que tambin sera mltiplo de 2 lo que es una
contradiccin porque habamos dicho que y son primos relativos. Como la
contradiccin vino de suponer que es racional, entonces debe ser irracional.

Proposicin 3: La suma de dos matrices simtricas del mismo tamao es una matriz
simtrica.

Quiero en este momento hacer referencia a la respuesta que dan mis estudiantes cuando les
pregunto si la proposicin anterior es falsa o verdadera.

Ellos dicen que la proposicin es verdadera y dan un ejemplo de dos matrices simtricas
que al sumarlas les dio simtrica tambin:

Por qu debo evaluar la anterior justificacin como incorrecta?

Porque con un ejemplo no se puede demostrar que una proposicin es verdadera para un
conjunto infinito de casos.

Pensemos en la siguiente proposicin todas las rosas del jardn son rojas cmo le
probaran a alguien que lo anterior es cierto, podran mostrar solo una rosa roja y con esto
lograra convencer a la otra persona? creo que no, para convencer tendran que mostrar
todas las rosas. Pero si por el contrario la afirmacin todas las rosas del jardn son rojas
fuera falsa ah s con tan solo mostrar una rosa de otro color ya estara probado que la
afirmacin es falsa.

Entonces cuando queremos probar que una proposicin se tiene para todos los elementos de
un conjunto no basta con mostrar un ejemplo, se debe hacer una demostracin mediante el
uso de definiciones o propiedades en la que se incluyan a todos los elementos del conjunto,
y si por el contrario queremos mostrar que una proposicin es falsa en un conjunto,
entonces basta con mostrar un contraejemplo es decir un elemento del conjunto que no
cumpla la condicin.

Entonces debido a que la proposicin La suma de dos matrices simtricas del mismo
tamao es una matriz simtrica, es verdadera, debemos proporcionar una demostracin de
ello que incluya a todas las matrices simtricas.

Demostracin directa: La demostracin se hace entonces considerando a A y B dos

matrices simtricas cualesquiera que tengan el mismo tamao, y demostrando que cuando
se haga la suma A+B se obtiene una matriz que tambin es simtrica, para ello se utiliza la
definicin de matriz simtrica y las propiedades de la transpuesta:

Debemos ver que A+B es simtrica es decir que , pero como

por propiedades de la transpuesta y como A y B son simtricas entonces

y por lo tanto A+B es simtrica.

Veamos ahora una demostracin por induccin matemtica.

Proposicin 4: para cada nmero natural n la suma 1+2++n es igual a

Dem: Paso Bsico: se demuestra la proposicin para n=1

1= .

Paso de induccin: se supone que la proposicin es cierta para n y se demuestra para n+1.

Suponemos que y debemos probar que

Conclusiones

Se mostraron diferentes tcnicas de demostracin y se dieron ejemplos de cada una

de ellas.
Se enfatiza en la forma de validar el valor de verdad de una proposicin en la lgica
clsica a partir de hechos particulares. Se resalta que la veracidad no se puede
determinar solo a travs de ejemplos particulares, y que por el contrario para
demostrar que una proposicin no es verdadera es suficiente mediante un contra
ejemplo.

 Referencias Bibliogrficas:

[1] ALLENDOERFER, Carl . (1990) Matemticas Universitarias. Cuarta Edicin. Mc

Graw Hill.

[2] CAMPOS, Alberto. (2006) Introduccin a la historia y a la filosofa de la matemtica.

Universidad Nacional de Colombia.

[3] ESPINOSA, Ramn. (2010) Matemticas Discretas. Primera Edicin. Alfaomega.

[4] KOLMAN, Bernard. (1995). Estructuras de matemticas Discretas para la

Computacin. Tercera Edicin. Prentice Hall.

[5] ZALAMEA, Fernando. (2007). Fundamentos de Matemticas. Primera Edicin.

Universidad Nacional de Colombia.