Breves nociones de lgica matemtica

Jonathan Snchez

2 de octubre de 2015*

Se advierte, entre los matemticos,

una imaginacin asombrosa. . . Re-
petimos: exista ms imaginacin
en la cabeza de Arqumedes que
en la de Homero. Voltaire

Las partes de la lgica

Todas las sentencias o aseveraciones que son verificables, es decir, de
las que se pueden decir si son verdaderas o falsas, son los ladrillos que
construyen la ciencia. stas estn formadas por

Proposiciones. Son las oraciones como el hierro es un metal o 4+3 = 8

(o literalmente cuatro ms tres son ocho) de las que se puede dar
un valor de verdadero o falso. Observa que oraciones como cunto
tiempo sin verte! o a qu hora vas a llegar? no son proposiciones
puesto que es imposible calificarlas como verdaderas o falsas.

Proposiciones atmicas. Sin embargo hay proposiciones que no admiten

una divisin (como pretendidamente se pensaba sobre los tomos1 ).
La frase si hoy llueve entonces me quedo en casa o Juan estudia
* Compilacin 1.5
1 tomo es la unin de las voces griegas , que significa sin, y , que significa
corte o divisin; de este modo etimolgicamente tomo () significa sin partes.

1
 piano y asiste a clases de matemticas son compuestas por proposi-
ciones ms elementales: en el primer ejemplo, hoy llueve y me
quedo en casa son oraciones de las que se pueden decir si son ciertas
o no. A aquellas aseveraciones que no se pueden dividir en otras
ms sencillas las denominamos proposiciones atmicas. Usaremos las
letras p, q, r , etc. para denotar proposiciones de manera algebraica
como si fueran variables.
Conectores. en el anterior tem tenamos unidas las dos proposiciones
atmicas como hoy llueve y me quedo en casa por un si. . . en-
tonces. . . . En el segundo ejemplo, entre las proposiciones atmicas
Juan estudia piano y Juan asiste a clases de piano hay una con-
juncin copulativa y que las conecta. Tanto la condicional si. . .
entonces. . . como y se le denomina conectores.
Cuantificadores. El nmero de elementos que satisface una propiedad
suele venir dado por un cuantificador. Hay tres: para todo, conocido
como cuantificador universal y denotado por el smbolo ; existe,
conocido como cuantificador existencial denotado por ; y existe
un nico que se denota por !.
Reglas de inferencia. Adems del corpus de proposiciones encadenadas
por conectores, la manera que tienen las ciencias, y en especial la
matemtica, la deducir sus afirmaciones es por medio de reglas de
deduccin. En la proposicin si hoy llueve entonces me quedo en
casa puedo deducir que estoy en casa si veo que llueve, esto es, si es
cierta la proposicin atmica hoy llueve, entonces obligatoriamente
debe ser cierto me quedo en casa. Algebraicamente se suele escribir
como si fuera una suma, finalizando con el smbolo `, que significa
se deduce o se infiere. En este caso quedara como

p q
p
`q
Veamos con ms detenimiento los conectores y algunas particularida-
des sobre ellos.

2
La negacin
A una proposicin (atmica o no) podemos negarla, esto es, anteponer
el no. Por ejemplo, a la proposicin (obviamente falsa) 4 + 3 = 8 podemos
anteponer un no: no 4 + 3 = 8, que solemos escribir muy a menudo
como 4 + 3 , 8.
De manera algebraica suele denotarse por el smbolo : de este modo,
a una proposicin p, la contraria no p se denota por p.
Obviamente, si p es cierta, entonces p es falsa, y viceversa. Podemos
resumir este hecho en una tabla a la que se suele denominar tabla de la
verdad:
p p
V F
F V

Una importante caracterstica es que la doble negacin es la afirmacin

o, dicho de manera ms informal, dos negaciones contiguas se anulan entre
s. De manera algebraica escribiramos que (p) es equivalente a p.

La conjuncin
Ya hemos visto en los ejemplos la conjuncin y en la proposicin
Juan estudia piano y asiste a clases de matemticas. Observa que esta
proposicin es cierta siempre y cuando cada una de las proposiciones
atmicas Juan estudia piano y Juan asiste a clase de matemticas son
ciertas ambas; en el caso de que alguna de las dos proposiciones que conecta
sea falsa, la conjuncin de ambas ser falsa. Lo resumimos en una tabla
de verdad: si p y q son dos proposiciones cualesquiera y denotamos por el
smbolo a la conjuncin, entonces

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

3
 Directamente de la tabla de verdad obtenemos una de las reglas de
inferencia bsicas conocida como regla de separacin: si es cierto p q
entonces podemos deducir que ser cierto p y q.
Otra consecuencia es lo que coloquialmente decimos que afirmar una
cosa y la contraria es contradecirse, esto es lo que algebraicamente escribi-
mos como p (p) es siempre falso.

La disyuncin
Adems de la conjuncin y, tenemos la disyuncin o. Por ejemplo,
podemos escribir Jos est en casa o est con su mujer: la disyuncin o
une las dos proposiciones atmicas Jos est en casa y Jos est con su
mujer. Intuitivamente podemos comprender que la proposicin completa
ser cierta siempre y cuando al menos alguna de las dos proposiciones
atmicas sea cierta; o tambin: ser falsa slo si ambas son falsas. Lo
resumimos en una tabla de verdad, donde p y q son dos proposiciones
cualesquiera y denotamos por el smbolo a la disyuncin:

p q p q
V V V
V F V
F V V
F F F
A continuacin damos algunas cuantas equivalencias.

Si sabemos que una proposicin p es cierta, entonces p q tambin

es cierta sea cual sea q.

Lo que coloquialmente decimos que algo es cierto o falso, de forma

algebraica escribiremos que p (p) siempre es cierto.

(Leyes de Morgan) Es equivalente decir (p q) que (p) (q); y

tambin son equivalentes (p q) que (p) (q).

(Leyes distributivas) Es equivalente p (q r ) a (p q) (p r ); de

la misma manera, p (q r ) es equivalente a (p q) (p r ).

4
La disyuncin excluyente
Una variante del conector anterior es la disyuncin excluyente. sta
slo es verdadera cuando una y slo una de las proposiciones que conecta
es verdadera. En el lenguaje coloquial est presente en frases como o bien
llueve o bien hace sol o tambin o Pablo est en la biblioteca o est en su
casa donde presupone el receptor del mensaje que no puede ser cierta si
se cumplen ambas. Esta disyuncin excluyente, que en el lenguaje se tiene
con las frmulas o. . . o. . . y o bien. . . o bien. . . , se denota algebraicamente
por Y. La tabla de verdad de este conector es:

p q p Yq
V V F
V F V
F V V
F F F

La condicional
Frases en el lenguaje coloquial como si llueve [entonces] me quedo
en casa o si en la librera tienen El Quijote [entonces] me lo compro
representa lo que en lgica es la condicional. De una manera ms sinttica,
todas estas proposiciones siguen el patrn si p entonces q. Algebraica-
mente el conector se denota por una flecha en un sentido , aunque en
matemticas es ms comn encontrarse la variante que leemos como
implica: de este modo, si p entonces q se escribe como p q o p q.
Lo que afirma lgicamente este tipo de proposiciones es que si p es cierto,
entonces forzosamente q es cierto. Nada ms. O dicho de otro modo, slo
es falsa si siendo cierto p, q es falso. Esto se plasma en la siguiente tabla de
verdad:
p q p q
V V V
V F F
F V V
F F V

5
 A q p diremos que es el recproco de p q. Habitualmente decimos
la frase que se cumple el recproco cuando q p tambin es cierta, adems
de p q. Es necesario tener presente que en ningn caso p q y su
recproco q p son iguales. De hecho, est muy relacionado con uno de
los errores lgicos ms comunes. Si observamos con detenimiento la tabla
de verdad, si p q y q son verdaderas, no podemos en ningn caso inferir
el valor de verdad de p. nicamente hay dos direcciones: en ambos casos,
suponemos que p q es cierta, entonces

Si p es verdadera, deducimos que q tambin lo es: por ejemplo, si

llueve, me quedo en casa y llueve, entonces podemos deducir sin
problemas que me quedo en casa. A esta regla de inferencia se le
conoce como modus ponens, y diremos que p es condicin suficiente
de q.

Si q es falsa, deducimos que p tambin es falsa: si, por ejemplo, si

llueve, me quedo en casa, y alguien me encuentra por la calle, puede
deducir que no llueve. A esta regla de inferencia se le conoce como
modus tollens, y diremos que q es condicin necesaria de p.

Pero, siguiendo los ejemplos mostrados, si decido estar en casa, no puedo

deducir que llueve: posiblemente las razones por las que me he quedado
en casa no tienen nada que ver con el tiempo atmosfrico.
La ltima regla de inferencia se debe tambin a la equivalencia entre
p q y q p. Esta equivalencia tiene importancia en matemticas
que da origen a un tipo de demostracin.
Como se ver ms adelante, los resultados en matemticas suelen
presentar la estructura

Hiptesis Tesis.

Aqu es donde se suele decirse muchas veces el recproco es cierto cuando

tambin la Tesis implica la Hiptesis.
Finalmente, la condicional puede reducirse a los operadores y . De
hecho, son equivalentes, p q que (p q), o por las leyes de Morgan,
equivalente a (p) q. Por lo tanto, se infiere que (p q) es p (q).

6
La bicondicional
Frases como aprobars la asignatura siempre y cuando tengas en la
nota final ms de 28 puntos o maana me ir de excursin si y slo si
termino las tareas de hoy son dos ejemplos de la bicondicional. Basta
detenerse un poco reflexionando sobre los dos ejemplos para ver que es
cierto siempre y cuando las dos proposiciones que forman la proposicin
total tienen el mismo valor de verdad. Por ejemplo, la primera ser cierta
en el caso de que aprobars la asignatura y tengas en la nota final ms
de 28 puntos sean a la vez ciertas o falsas. La bicondicional, o equivalencia,
se suele denotar por el smbolo o como suele hacerse en matemticas.
Presentamos su tabla de verdad:
p q p q
V V V
V F F
F V F
F F V

La bicondicional o equivalencia es en realidad una doble condicional

(de ah el prefijo bi-): se podra escribir como (p q) (q p). Dicho
de otro modo, podremos afirmar que es cierto p q siempre y cuando
sea cierto p q y su recproco q p. En relacin con las anteriores
notaciones, si tenemos p q, diremos que p es condicin necesaria y
suficiente de q.

Construccin de nuevas tablas de verdad

Los conectores no siempre tienen que conectar proposiciones atmicas,
tal y como hemos visto en el apartado anterior, sino que pueden conectar
proposiciones que son resultado de conectar otras proposiciones; pero tam-
bin esas ltimas proposiciones pueden ser tambin resultado de conectar
otras proposiciones, y as sucesivamente.
Veamos un ejemplo. En la definicin de nmero primo encontramos

p|m n ((p|m) (p|n)) ,

7
o en trminos ms inteligibles, si p divide al producto m n, entonces p
divide a m o p divide a n. De manera ms reducida, se puede escribir como
P (Q R) donde P, Q, R son las proposiciones atmicas

P p|m n,
Q p|m,
R p|n,

Cmo podemos construir la tabla de verdad de estas nuevas proposiciones?

Vemoslo con este mismo ejemplo que hemos expuesto.
Para construir la tabla de verdad colocamos en columna todas las
posibilidades para las variables. Nosotros tenemos tres: P, Q y R, as que
primero escribiremos la tabla
P Q R
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Como puede observarse, en cada fila tenemos los posibles valores de P,
Q y R, que en total son 23 = 8. A continuacin aadiremos la columna
de Q R (ver la tabla de la izquierda en la fig. 1): calculamos el valor de
verdad de Q R a partir de los valores de Q y R de cada fila, y para ello
usamos la tabla de verdad de p q.
Ahora usamos la columna con los valores de P (1 columna) y la columna
con los valores de Q R (la ltima columna) para calcular los valores de
verdad de P (Q R) (ver la tabla de la derecha en la fig. 1); para ello
usamos la tabla de verdad p q.
Veamos otro ejemplo: deduzcamos la tabla de verdad de (p q) q.
En este caso slo tenemos dos variables, p y q, as que nuestra tabla ser
muy corta:

8
 P Q R Q R P Q R Q R P (Q R)
V V V V V V V V V
V V F V V V F V V
V F V V V F V V V
V F F F V F F F F
F V V V F V V V V
F V F V F V F V V
F F V V F F V V V
F F F V F F F F V

Figura 1: En la primera tabla: A partir de las columnas segunda y tercera (en

azul) deducimos los valores de la cuarta columna (en rojo). En la segunda
tabla: a partir de la primera columna y la cuarta (en azul) deducimos los
valores de la quinta columna (en rojo).

p q
V V
V F
F V
F F

A continuacin calculamos los valores de verdad de p q correspondientes

a cada fila. En este caso, no es ms que copiar la tabla del conector escrita
pginas atrs:

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

y luego calculamos usando las dos ltimas columnas el valor de verdad

p q q correspondiente a cada fila.

9
 p q p q (p q) q
V V V V
V F F V
F V F V
F F F V
En este caso hemos obtenido una columna con valores V: esto quiere
decir que sean cuales sean los valores de verdad de p y q, (p q) q
siempre ser verdad. A esto se le denomina tautologa2 .
Ejercicio 1. No todo lo que se escribe en lenguaje simblico tiene sentido.
Por ejemplo, pq no tiene sentido, a diferencia de p q. En general se deben
observar ciertas reglas para que la proposicin tenga sentido:
1. Las proposiciones no pueden ir juntas, deben estar mediadas por operadores
binarios como , , o .
2. Los operadores binarios siempre han de ir acompaados por las dos proposi-
ciones que conecta, puestas una a cada lado del smbolo (de ah el nombre
de operador binario); sin embargo, la negacin es un operador unario, esto es,
slo necesita de una proposicin que debe ser escrita despus del smbolo.
Escribe cules de las siguientes proposiciones estn correctamente escritas.
a) pq;
b) p p q;
c) p q;
d) (p = q) q;
e) (p p);
f) p qr .

Ejercicio 2. Usa las nociones lgicas que hemos visto para responder a las
siguientes preguntas. Utiliza para ello el lenguaje simblico que hemos definido en
esta parte para justificar tu respuesta.
a) El otro da Jos me dijo que si mi mujer est en casa y tenemos la cena
preparada, no voy al restaurante. Resulta que esa misma noche le vi en el
restaurante, qu puedo deducir? Si adems comprob que cen solo, he
de inferir que no tena comida en casa?
2 Tautologa viene del griego que significa decir lo mismo.

10
 b) Mara siempre afirma que si est incubando una gripe, entonces el da
anterior tiene un poco de fiebre. Ayer se levant con fiebre, puedo pensar
que hoy est en la cama con gripe?
c) Si hoy llueve o nieva, entonces me quedo en casa, me dijo Luis por telfono
esta maana. Resulta que se qued en casa todo el da, pero no llovi, puedo
inferir que nev?
d) Siempre se dice es de que cuando llueve, la calle que lleva a la universidad
se llena de tanto barro que no se puede caminar sin marcharte las botas.
Resulta que un profesor lleg a clase con las botas llenas de barro, puedo
pensar que ha llovido?
e) Eva lleva mucho tiempo diciendo que si gana la lotera, se ir de vacaciones
por toda Europa. Pues resulta que estas vacaciones ha estado por Europa,
crees que fue porque gan la lotera?
f) En Loja, siempre que hace fro y est nublado, llueve o hace viento. Resulta
que hoy, a pesar de que est soleado hace viento, es consistente eso con la
afirmacin anterior?
g) En Loja, siempre que hace fro o est nublado, llueve y hace viento. Resulta
que no est lloviendo, pero el termmetro indica que hace mucho fro,
puedo esperar que est soleado?
h) La universidad est abierta siempre y cuando el da no sea festivo. Resulta
que est cerrada, hoy es festivo? Si hoy es festivo, pero la universidad est
abierta, es consistente eso con la primera afirmacin?

Ejercicio 3. Escribe las tablas de verdad de las siguientes proposiciones y

responde a las preguntas. Aqu, como hemos venido hacindolo, p, q, r , etc. son
proposiciones atmicas.
a) Usa la tabla de verdad para comprobar que siempre es cierto que p p, y
por lo tanto es una tautologa; asimismo, qu se puede deducir de p p?
Cmo podras reformularla para que sea una tautologa?
b) Determina que la proposicin (p q) (p q) es siempre cierta sea
cuales sean los valores de p y q. Deduce de ello que dicha proposicin es
una tautologa.
c) Halla la tabla de verdad de (p q) (p q) y comprala con la de la
disyuncin excluyente, qu relacin tiene?

11
 d) Determina para qu nicos valores de p, q y r es cierta la proposicin
(p q) (q (r p)) (p r ).
e) Usa las tablas de verdad para deducir p si (p q) (p q).
f) Comprueba que para cualquier valor de p, q, r y s, siempre es cierto que
[((p q) (r s)) (p r )] (q s).

Ejercicio 4. Escribe las siguientes proposiciones mediante el lenguaje sim-

blico.
a) El Sol est caliente pero no es hmedo.
b) Si Jos no logra aprobar el examen, l perder la beca y tendr que abandonar
la carrera.
c) Si llueve y no abres tu paraguas, te mojars.
d) Si la tarta se calienta demasiado, el azcar fundido empezar a mezclarse, y
si ocurre eso no podremos servirlo en la boda.
e) Si el Emelec gana la liga, y el Barcelona gana la liga local, entonces todo
Guayaquil se levantar de alegra y harn fiesta en todos las plazas de la
ciudad.

Ejercicio 5. Usa las tablas de verdad para comprobar que las siguientes pare-
jas de proposiciones son equivalentes, esto es, producen el mismo valor de verdad
para iguales valores de verdad de las proposiciones atmicas que la componen.
a) p q es equivalente a q p.
b) Leyes de Morgan: Comprueba que son equivalentes (p q) y (p) (q).
Observa que estas leyes permiten escribir una disyuncin como una conjun-
cin y viceversa, cmo lo aplicaras para reducir p q a una conjuncin y
tres negaciones?
c) Hemos visto que se puede reducir el operador condicional a los tres ope-
radores negacin, conjuncin y disyuncin. Comprueba con las tablas de
verdad que p q es equivalente a p q y, aplicando la ley de Morgan del
anterior apartado, es equivalente a (p q).
d) Comprueba que p q es equivalente a q p.
e) Comprueba mediante el clculo de las tablas de verdad que la bicondicional
p q es equivalente a (p q) (q p), cmo reduciras la bicondicional
al operador negacin y disyuncin usando los apartados anteriores? y al
operador negacin y conjuncin?

12
Cuantificadores
En matemticas, como todo en la vida, es importante la cantidad. Pero
en el caso de las matemticas las cantidades pasa de uno, o alguno a todos.
Esto se establece con cuantificadores, que indica al lector cuntos elementos
cumplen cierta propiedad. Hay tres:

Cuantificador universal. Cuando todos los elementos de un conjunto sa-

tisfacen cierta propiedad, usamos el smbolo (una especie de A
invertida), que se lee para todo. . . o para cualquier. . . , aunque
a veces tambin se puede leer dado un. . . . Por ejemplo, para to-
do nmero x R, x > 0 x = 0 x < 0, podemos denotarlo
abreviadamente como

x R, x > 0 x = 0 x < 0.

La frmula, x, y R, x y o y x se podra leer para cualquiera

dos nmeros reales x, y, x y o y x o dados dos nmeros reales
x, y, entones x y o y x.

Cuantificador existencial. Cuando al menos hay algn elemento que cum-

ple una propiedad, usamos el cuantificador existencial que se denota
por (una E al revs) y se lee existe. . . . Por ejemplo, existe un
nmero natural n cuyos divisores son slo 1 o n se podra escribir
como
n N tal que si d|n entonces d = 1 n.
Por ejemplo, x R tal que x 2 = 2 se leera existe [al menos] un
nmero real tal que su cuadrado es 2
Su negacin, no existe se denota por @ (el cuantificador tachado).
Por ejemplo, @x R tal que x 2 = 1 se leera no existe nmero
real cuyo cuadrado sea 1.

Cuantificador existencial nico. Cuando slo existe un nico elemento

que cumple dicha propiedad usamos el smbolo ! (una signo de
admiracin detrs del cuantificador existencial) y se lee existe un

13
 nico. . . . Por ejemplo, la proposicin existe una nica solucin
entera a la ecuacin x + 6 = 9 se podra escribir como

!x Z tal que x + 6 = 9.

El esquema general que se sigue es para todo x que cumple la propiedad

P(x) o existe x que cumple la propiedad P(x), que con esta notacin
se escribira como x X , P(x) x X , P(x), etc., donde P(x) es una
propiedad y X un conjunto. No obstante, P(x) puede tener ms cuanti-
ficadores. Por ejemplo, el elemento neutro de un cuerpo como el de los
nmeros reales se define por la propiedad

!e R tal que x R, x e = e x = x,

que se lee como existe un nico nmero real e tal que para cualquier
x R, x e = e x = x; o la propiedad de la existencia del elemento
inverso:
x R, x , 0, y R tal que x y = y x = 1,
que se lee como para todo nmero real no nulo, existe otro nmero real
tal que x y = y x = 1.
Hay que tener cierto cuidado porque el orden de los cuantificadores
es muy importante: no conmutan entre s. Observa que si cambiamos el
orden de los cuantificadores en el ltimo ejemplo tendramos

y R, tal que x R, con x , 0, x y = y x = 1,

que en lenguaje escrito diramos que existe un nmero real y tal que para
cualquier nmero real x, x y = y x = 1, esto es, existe un nmero real
cuyo producto por otro cualquiera es uno, lo que no corresponde con la
definicin de elemento inverso.
Sin embargo, casi nunca se encuentra en los libros de matemticas estos
smbolos. Simplemente porque no se considera una buena prctica llenar
de smbolos las pginas a veces a los matemticos nos gusta leer algo
de literatura! No obstante, cuando los matemticos pensamos traducimos
a estos smbolos las definiciones o los teoremas, no slo por comodidad

14
sino tambin porque es til para hacer operaciones lgicas sobre ellas. La
ms usual es la negacin: negar que ocurre una definicin. La regla es la
siguiente:

Negar x X , P(x) resulta x X , P(x) (esto es, existe un

elemento x X que no cumple la propiedad P(x)).

Negar x X , P(x) resulta x X , P(x) (esto es, para cualquier

elemento x X , no se cumple la propiedad P(x)).

Recursivamente se aplica la negacin a P(x), y as se puede escribir la

negacin de cualquier sentencia escrita en estos trminos. Por ejemplo,
negar la propiedad del elemento inverso

x R, x , 0, y R tal que x y = y x = 1,

dara

x R, x , 0, tal que y R, no ocurre x y = y x = 1,

donde no ocurre x y = y x = 1 quiere decir que alguna de las igualdades

no se cumple. La dinmica no parece muy compleja: cambiamos el smbolo
por , y por , y negamos las propiedades que se tengan.

Cmo se lee un libro de matemticas?

Los libros de matemticas rara vez se distinguen por su alta literatura.
Los textos cientficos tienen el objetivo de, bajo una exposicin clara y
estructurada, dar un tratamiento riguroso de los temas que trata. Dichos
textos de matemticas (que en ocasiones llegan a resultar tediosos) vienen
estructurados por la terna definicinteoremademostracin, slo con la
vista de cumplir el objetivo. No obstante, algunos libros ms elementales
pueden permitirse el lujo de evitar caer en este esquema intercalando
explicaciones o motivaciones para preparar al lector para los resultados o
definiciones; pero siempre hay que tener presente que los buenos libros de
matemticas siguen este esquema, y todas las explicaciones pivotan sobre

15
cada una de las definiciones, teoremas o demostraciones. En ese sentido,
nuestra lectura ha de ir siempre focalizada en estos tres elementos.
A continuacin daremos algunas explicaciones breves sobre cada uno
de los tres elementos de la terna mencionada.

Las definiciones
Una definicin es el lugar donde se explican las nuevas nociones, como
por ejemplo la nocin de nmero primo o nocin de funcin. Una nueva
nocin es un elemento de un conjunto que cumple ciertas propiedades.
Por ejemplo, en la siguiente definicin
Definicin. Un nmero positivo p diremos que es primo si
siempre que p divida a un producto, entonces p divide a uno
de los factores.
un nmero primo es un elemento del conjunto de los enteros positivos que
cumplen la propiedad que podemos resumir algebraicamente como

p|a b (p|a) (p|b).

Es muy importante detenerse en las definiciones y comprenderlas

en profundidad. Muchas veces el texto que estamos leyendo da muchas
explicaciones sobre lo que est definiendo, pero la ltima palabra est en la
propia definicin y a ella nos tenemos que atener en ltima instancia. As,
cuando estamos estudiando algn tema de matemticas, conviene aprender
y comprender todas las definiciones que se dan las explicaciones slo
tienen la necesidad de aclarar o desarrollar la definicin.

Los teoremas
Los teoremas o proposiciones es el lugar donde se establecen los resul-
tados que son ciertos. La estructura es, en general,

Hiptesis Tesis (1)

esto es, sigue el esquema p q. Por ejemplo, el siguiente teorema

16
 Teorema. Si una funcin f : R R tiene un mximo o un
mnimo local en x 0 R, entonces su derivada se anula en ese
punto.
Aqu la hiptesis es f tiene un mximo o un mnimo local en x 0 , y la tesis
es la derivada se anula en ese punto, que es el esquema mostrado en (1).
A veces expresamos la condicional en trminos de condicin suficiente
y condicin necesaria. En este caso, el teorema recibira la formulacin la
funcin f tiene un mximo o un mnimo local en x 0 es condicin suficiente
para que su derivada se anule en dicho punto, o tambin que la derivada
de la funcin f se anula en el punto x 0 R es condicin necesaria para
que dicha funcin tenga un mximo o un mnimo local en dicho punto.
Este forma de expresarse suele ser comn en libros antiguos.
De nuevo insistimos sobre el error lgico que suelen caer muchos estu-
diantes: de la tesis no podemos deducir las hiptesis; en nuestro ejemplo,
si la derivada de la funcin se anula en un punto, nunca debemos deducir
de ello que la funcin tenga un mximo o un mnimo en ese punto, de
hecho, no tiene por qu ocurrir!
Existen otros casos en los que en lugar de tener un condicional tenemos
una equivalencia. A este tipo de resultados se les suele conocer como
caracterizacin. He aqu un ejemplo:
Teorema. Sea p un nmero entero positivo, entonces son equi-
valentes:
1. si p divide a m n, entonces p divide a m o p divide a n;
2. los nicos divisores de p son 1 y p.
Aqu se da una equivalencia o una bicondicional sobre dos aserciones.
Observa que la primera asercin no es ms que la definicin de nmero
primo, y por lo tanto podramos decir que aporta una nueva definicin de
nmero primo. Adems, podemos reformular el teorema diciendo que los
nicos divisores sean p y 1 es condicin necesaria y suficiente para que
nmero p sea primo.
Finalmente, no siempre los resultados vienen etiquetados con la
palabra teorema. sta palabra slo la reservamos cuando es uno de los

17
resultados ms importantes de un trabajo, captulo, tema, etc. Para los
resultados ms modestos, pero tambin importantes, usamos la etiqueta
proposicin (en ingls, proposition). Hay algunos resultados que son slo
preparatorios o auxiliares para la demostracin de un teorema importante,
y que despus no se usarn: a este tipo de resultados se les llama lema
(en ingls, lemma). Muchas veces, de un teorema importante se deducen
muchos resultados tiles, consecuencias directas de un resultado (y en mu-
chas ocasiones casi tan importantes como el teorema de donde se deduca):
a este tipo de resultados se les suele etiquetar con el nombre de corolario
(en ingls, corollary). Otras veces, un autor intuye que una proposicin es
cierta, pero no encuentra la demostracin de este hecho; no parece positivo
dejarla en un cajn cuando esa intuicin muchas veces revela importantes
consecuencias de la naturaleza de los objetos matemticos que trata: para
ello, solemos escribir lo que llamamos conjetura (en ingls, conjecture)3 .

Las demostraciones
Siempre que se establece un resultado en matemticas del tipo que sea
es necesario dar una prueba o una demostracin (en ingls, proof ) de que eso
es cierto. Suelen escribirse justo despus de enunciar el resultado, pero a
veces para evitar la monotona o por razones de exposicin el razonamiento
viene antes para finalizar finalmente con la enunciacin del resultado al
que se estaba llegando. Otras veces la demostracin de un resultado es tan
largo que se interrumpe para demostrar lemas preparatorios, resultados
parciales, que ayudan a entender la demostracin de un teorema.
3 Las conjeturas han generado mucha literatura matemtica. Quiz una de las ms famosas

conjeturas es la conocida como conjetura de Fermat, formulada en 1637, que afirma que no
existen tres enteros x , y y z tales que x n + y n = z n con n 3, y que fue demostrada
por Andrew Wiles en 1995. Otra de las ms famosas es la Conjetura de Goldbach, an sin
resolver, que afirma que todo nmero par se puede expresar como suma de dos nmeros
pares. Actualmente la Institute Clay ha puesto sobre la mesa lo que se ha dado a conocer
como los Seven Millennium Problems, siete conjeturas que en el momento en el que se
plantearon estaban sin demostrar, y que por la demostracin de uno de ellos la institucin
otorga un milln de dlares. La formulacin de cada una de ellas puede leerse en http:
//www.claymath.org/millennium-problems. Tan slo se ha demostrado uno de ellos, la
conjetura de Poincar, por Grigoriy Perelman, que rechaz el premio.

18
 En cualquier formato en el que se expliquen los resultados, siempre
estn las demostraciones y siguen un mismo esquema. Parte de la suposi-
cin de las hiptesis para, mediante argumentos de inferencia, llegar a la
tesis. Es decir, se trata de hacer explcita la cadena de implicaciones desde
la hiptesis y la tesis. Dicha argumentacin ha de ser clara e inteligible
para todos los lectores, y no debe dejar lugar a dudas de la veracidad del
resultado que se quiere demostrar.
Se pueden distinguir tres tipos de demostracin (si dejamos aparte la
demostracin por induccin).

Directa. En este caso, partimos de la hiptesis y, a travs de argumenta-

ciones, se deduce la tesis.
Vemoslo el siguiente ejemplo:

Proposicin. Para cualquier nmero x R, x 2 0.

Demostracin. Tomamos un nmero real x R cualquiera. Si
x 0, obviamente x 2 0. Si x < 0, entonces x 2 = x x y,
puesto que el producto de dos nmeros negativos es positivo,
se tiene que x 2 > 0. 

Por contraposicin. Negamos la tesis y, a travs de argumentaciones

lgicas, llegamos a negar la hiptesis. Esta forma de demostrar viene de
que p q es equivalente a q p.
He aqu un ejemplo:

Proposicin. Sean x e y dos nmeros enteros. Si la suma x + y

es par, entonces x e y tienen la misma paridad.
Demostracin. Supongamos que x e y no tienen la misma pari-
dad, vamos a demostrar que x +y no es par. Podemos asumir sin
prdida de generalidad que x es par e y impar. Luego x = 2m
e y = 2n + 1, cuya suma es x + y = 2(n + m) + 1, lo que es
impar. 

19
Por reduccin al absurdo. Se considera que es cierta la hiptesis y su-
ponemos que la tesis es falsa. A travs de argumentaciones se llega a un
absurdo, a demostrar alguna afirmacin que contradice algn resultado
conocido. Se basa en el tercio excluso (siempre es cierto p p) y en el
hecho lgico de que a partir de algo falso siempre se puede demostrar
cualquier cosa.
A continuacin damos un ejemplo de demostracin por absurdo obte-
nida de Los Elementos de Euclides:

Proposicin. El nmero 2 no es un nmero racional, es decir,
no se puede expresar por medio de una fraccin.

Demostracin. Supongamos que 2 = p/q donde la fraccin
p/q es irreducible y, por lo tanto, p y q son relativamente
primos. Asumimos tambin que p, q > 0. Elevando al cuadrado
la igualdad llegamos a que 2 = p 2 /q 2 , luego p es par. Por lo
tanto p = 2m para un cierto m entero positivo y sustituyendo
llegamos a que q 2 = 2m 2 . Luego q es tambin par, pero hemos
supuesto que p y q son relativamente primos, lo cual contradice
nuestra suposicin. 

Por induccin. Este tipo de demostracin es exclusiva de las matemticas.

El principio de induccin se basa en el siguiente hecho: supongamos que
tenemos un subconjunto A N que satisface las propiedades
1. 1 A, y
2. si n A, entonces n + 1 A.
Entonces A = N. Esto es anlogo a tener una cadena infinita de fichas de
domin, todas ellas de pie, de la que sabemos que si cae una, la siguiente
tambin lo hace (confrntese con la 2). En el momento que tiramos la
primera ficha de la cadena, todas caern.
Veamos cmo se aplica a un ejemplo.
Proposicin. Para cualquier nmero natural n N se cumple
la igualdad
n(n + 1)
1+2++n = . (2)
2

20
Demostracin. Sea el subconjunto

n(n+1)
( )
A = n N : 1 + 2 . . . ,n = 2 ,

esto es, el conjunto de nmeros naturales para los que la fr-

mula es cierta. Probar que la frmula se cumple para cualquier
nmero natural es, entonces, equivalente a probar que A = N.
Usemos el principio de induccin. Demostramos que (2) es
cierta para n = 1 sustituyendo en ambos miembros:

1(1+1)
1= 2 = 1.

Por lo tanto 1 A. Demostremos que si un nmero natural

cualquiera n est en A, entonces tambin lo est n + 1, esto
es, si la frmula (2) es cierta para n, tambin lo es para n + 1.
Luego hay que demostrar que es cierto

(n+1)(n+2)
1 + 2 + + n + (n + 1) = 2 (3)

suponiendo que cierto (2). Aplicamos la igualdad a los n pri-

meros nmeros nmeros enteros
(n+1)(n+2)
1| + 2 +
{z + }
n +(n + 1) = 2 .
= n(n+1)
2

lo que nos da la igualdad

n(n+1) (n+1)(n+2)
2 + (n + 1) = 2 .

Tras unas manipulaciones algebraicas se llega a que ambos

son iguales, lo que demuestra la frmula (3). Deducimos que
A = N por el principio de induccin, que es lo que se quera
demostrar. 

21
Otras secciones
Existen ms secciones que usamos. Por ejemplo, usamos las observacio-
nes (en ingls, remark) donde se intenta llamar la atencin sobre un hecho
importante de un teorema o de una definicin; o incluso hacer una adver-
tencia. Tambin, por supuesto, existen los ejemplos (en ingls, example)
donde se muestra una aplicacin de un resultado o se pone un ejemplo
significativo de un objeto definido anteriormente.

Estructuracin de la matemtica
En la prctica, casi todos los libros de matemticas que uno puede
encontrarse en su carrera profesional suelen partir de unas definiciones o
quiz de una problemtica que se quiere resolver, y mediante argumenta-
ciones lgicas e inteligibles, llegar a los resultados que se quieren mostrar.
De este modo, los teoremas se encadenan uno detrs de otro, usando los
anteriores para demostrar los siguientes. Esto es, la veracidad de algunos
teoremas dependen de la veracidad de otros anteriores, que a su vez de-
pende de otros anteriores, etc. Evidentemente, no es posible que haya una
cadena infinita de teoremas previos a uno dado, as que debera ser finita y
por lo tanto tener un comienzo. Cmo se demuestra los primeros teoremas
que no dependen de otros anteriores? Sencillamente, no se demuestran:
no requieren de una demostracin porque se consideran autoevidentes. A
dichos teoremas se conocen como axiomas (en ingls, axiom) o postulados.
Toda la matemtica se asienta sobre esa lista de axiomas que se asumen
como ciertos y de los que nadie podra dudar de su veracidad. Al conjunto
de axiomas se le denomina sistema axiomtico.
Para que realmente podamos fiarnos de la matemtica que estamos
creando, es necesario que esa lista de axiomas cumpla ciertas propiedades:
Que sea consistente, esto es, que no existan contradicciones, i. e., no
exista proposicin alguna que se pueda demostrar que es cierta o
falsa.
Que sea independiente, esto es, que ninguno de los axiomas dados se
deduzcan del otro.

22
 Que sea completo, esto es, que de toda proposicin se pueda demos-
trar que o bien es falsa o bien es verdadera. Tales proposiciones se
les llama decidibles.
Aparte de los axiomas, deben acompaarles lo que se conoce como
nociones comunes, aquellos objetos que no necesitan definicin puesto
que damos por supuestos que su entendimiento los percibe sin necesidad
de que dar una definicin.
Ciertamente, elegir un sistema axiomtico y unas nociones comunes
debemos enfrentarnos a la cuestin sobre qu es lo que percibe uno co-
mo cierto o no lo que puede depender del contexto histrico, social o
cultural. No obstante, debera haber algo que es comn a todos, de lo
contrario jams podramos establecer qu es lo que es verdad o no! Para
ilustrar este hecho, enunciamos los cinco axiomas (o postulados como los
llam Euclides) sobre los que se asienta la geometra eucldea (aunque las
matemticas actuales tienen otros axiomas):
1. Dados dos puntos se puede trazar una recta que los une.
2. Cualquier segmento puede prolongarse de manera continua en cual-
quier sentido.
3. Se puede trazar una circunferencia con centro en cualquier punto y
de cualquier radio.
4. Todos los ngulos rectos son congruentes4 .
5. Por un punto exterior a una recta, se puede trazar una nica paralela
a la recta dada5 .
(Las nociones comunes podran ser la de punto, recta e incidencia.) Real-
mente es difcil dudar de los cuatro primeros postulados. Quiz del primero
se puedan tener dudas. De hecho, hasta el siglo xix no se dudaba en ningn
4 Congruente significa a todos los efectos igual.
5 La verdadera enunciacin del quinto postulado es la siguiente: Y que si una recta al
incidir sobre dos rectas hace que la suma de los ngulos internos del mismo lado menores que
dos rectos, las dos rectas prolongadas indefinidamente se encontrarn en el lado en el que estn
los menores que dos rectos.

23
momento de la veracidad de dicha afirmacin, y sin embargo s que no lo
tomaban como autoevidentes6 . As que durante mucho tiempo grandes
matemticos se embarcaron en la demostracin del conocido como quinto
postulado mediante los cuatro anteriores. . . sin xito. Resulta que se puede
negar el quinto postulado, bien afirmando que no existe paralela, bien
afirmando que existen infinitas paralelas: cada una de las dos opciones
da un tipo de geometra (la primera la esfrica y la segunda la hiperblica)
completamente vlida y consistente.
Desgraciadamente para nosotros, Gdel demostr que dos hechos fun-
damentales, que se conocen por el nombre de teoremas de incompletitud,
que acabaron con el sueo de las matemticas:
1. Todo sistema axiomtico que incluya la aritmtica, o bien es incon-
sistente, o bien es indeterminado. Esto es: tales sistemas axiomticos
consistentes presentaran la existencia de proposiciones de las que
no puede demostrarse que son ciertas o falsas.
2. Todo sistema axiomtico que contenga la aritmtica no puede usarse
para demostrar su consistencia.

Algunas ideas respecto al primer punto: la idea general que gobernaba

las cabezas de los matemticos de la poca era de ir descubriendo poco a
poco los axiomas que daran fundamento a toda la matemtica: si algn
resultado no fuese posible demostrarlo, se aadira a los axiomas en un
lenguaje que parezca autoevidente. Este proceso debera ser finito hasta
obtener un sistema axiomtico consistente, independiente y completo. Sin
embargo, el primer teorema de incompletitud afirma que dicho proceso
no tendra fin. Adems, ya conocemos ciertas proposiciones que no son
decidibles pero que no parece que haya una formulacin autoevidente.

6 Al propio Euclides pareca molestarle dicho postulado, a razn de que en su libro Los

Elementos demuestra todas las proposiciones que se pueden demostrar sin hacer uso de ese
postulado

24