Lgica Matemtica

Universidad Veracruzana

Facultad de Matemticas

Jess Hernndez Hernndez

27 de junio de 2011

ndice general
Introduccin

1. Proposiciones

1.1.

Proposiciones y Conectores . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.

Tablas de verdad y formas proposicionales

1.3.

Equivalencia, formas proposicionales comunes y dems conectores

1.4.

Equivalencias y propiedades de GRAN importancia

. . . . . . . . . . . . . . . . . . .
. . . . . .

. . . . . . . . . . . . . .

2. Cuanticadores
2.1.

Tipos de cuanticadores

2.2.

Uso de los cuanticadores

2.3.

9
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . .

10

Equivalencias y Negaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . .

10

3. Demostraciones Matemticas

13

3.1.

Herramientas de demostracin . . . . . . . . . . . . . . . . . . . . . . . . . .

13

3.2.

Demostracin por Vacuidad

. . . . . . . . . . . . . . . . . . . . . . . . . . .

15

3.3.

Demostracin Directa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15

3.4.

Demostracin por Casos

16

3.5.

Demostracin por Contrapositiva

. . . . . . . . . . . . . . . . . . . . . . . .

16

3.6.

Demostracin por Contradiccin . . . . . . . . . . . . . . . . . . . . . . . . .

16

3.7.

Demostraciones con cuanticadores

17

. . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

Introduccin
An cuando las matemticas son tanto una ciencia como un arte, hay algo que las distingue completamente de las dems ciencias, esto es su manera de razonamiento.
En las dems ciencias, los cientcos hacen observaciones de casos particulares y luego
buscan una teora general. A esto se le llama razonamiento inductivo; va de lo particular a
lo general.
Los matemticos tambin utilizan frecuentemente el razonamiento inductivo, mas sin
embargo, el pensamiento caracterstico de ellos es el razonamiento deductivo, en el cual usando la lgica se llegan a conclusiones basadas en proposiciones tomadas como verdaderas.
Si por algn motivo las conclusiones son falsas probablemente se debi a la falsedad de las
proposiciones iniciales.
As como la delidad de un instrumento de medicin depende de si est bien calibrado
(lo que sea que esto nos sugiera), as tambin la veracidad de una conclusin depende de la
veracidad de la premisa, pero de esto se desprende lo siguiente: se necesitan tener premisas
que sean consideradas verdaderas sin cuestionamiento (en nuestra analoga sera considerar
tener un objeto base que nos ayude a calibrar el instrumento de medicin, el cual daremos
por hecho que est correcto), ya que de lo contrario, se necesitaran premisas verdaderas
anteriores a esas para de ah concluir las primeras, pero entonces se tiene el mismo predicamento con las nuevas premisas verdaderas, lo cual nos conduce tarde o temprano a paradojas,
que son hoyos en la lgica, grupos de premisas y conclusiones que se retroalimentan (en la
analoga sera como querer calibrar una balanza con una pesa cuyo masa fue medida con la
misma balanza que se intenta calibrar).
Durante muchos aos la lgica matemtica tuvo dicultades para poder establecerse, ya
que se intentaron por varios mtodos crear un sistema infalible (lgicamente hablando); el
problema es que muchos de los sistemas tarde o temprano cayeron en paradojas, o bien, se
podan demostrar teoremas completamente contrarios entre s.
En estas notas intentaremos dar un breve recorrido para que el alumno tenga una idea
en general de una de las herramientas principales de las matemticas. Con gusto se recibirn
dudas y correcciones acerca de lo incluido en este libro.

Jess Hernndez Hernndez

ii

Captulo 1
Proposiciones
Los lenguajes naturales como el espaol o el ingls, permiten muchos tipos de enunciados; en particular, una proposicin es un enunciado que es, ya sea verdadero o falso, valores
de verdad que sealaremos con 1 o con 0 respectivamente.
Obviamente no todas los enunciados pueden ser proposiciones puesto que no todos los
enunciados pueden ser verdaderos o falsos. Un ejemplo son los enunciados interrogativos, por
eso haremos nfasis en que las proposiciones son enunciados declarativos. Tampoco todos los
enunciados declarativos son proposiciones; tambin existen enunciados declarativos que no
son falsos ni verdaderos, a los que llamaremos paradojas; por ejemplo, Este enunciado es
falso, este enunciado es un paradoja ya que si es verdadero el enunciado debe ser falso,
pero si es falso entonces lo que dice debe ser falso y as el enunciado debe ser verdadero.
Por lo tanto este enunciado no puede tener valores 1 o 0. Pero hay que tener cuidado, pues
las paradojas no slo son enunciados, sino tambin pueden ser ideas completas. Un ejemplo
famoso es la paradoja del barbero, que dice as:
En un pueblo en el que todos los habitantes se rasuraban o eran rasurados, haba
un barbero que rasuraba a todos aquellos habitantes que no se rasuraban a s
mismos. El barbero se rasuraba a s mismo?

1.1. Proposiciones y Conectores

Existen dos tipos de proposiciones:
1. Las atmicas o simples: son las que no estn formadas por otra proposicin; por ejemplo
El nmero

es un nmero par

2. Las moleculares o compuestas: Son aquellas que usando conectores juntan un par, o
ms, de proposiciones; por ejemplo: El nmero

es un nmero par y el nmero 9 es

un impar. As, el valor de verdad de la proposicin molecular depender en conjunto,

tanto del conector como de los valores de verdad de las proposiciones.

1 Queda

como ejercicio al lector el analizar dicha idea y poder expresar el por qu es una paradoja.

Ahora deniremos tres conectores lgicos bsicos:

Conjuncin:

Dadas un par de proposiciones P y Q, la conjuncin de P y Q, simboliza-

da por PQ, se leer como P y Q , y ser verdad nicamente cuando tanto P como Q sean
verdaderas.

Disyuncin inclusiva: Dadas un par de proposiciones P

y Q, la disyuncin inclusiva de P

y Q, simbolizada por PQ, se leer como P o Q , y ser verdad cuando al menos uno de
los disyuntores (elementos de la disyuncin) sea veradero.

Disyuncin exclusiva:

Dadas un par de proposiciones P y Q. La disyuncin exclusiva

de P y Q, simbolizada por P w Q, se leer como P o Q pero no ambos , y ser verdad

cuando solo uno de los disyuntores sea verdadero. Este tipo de disyuncin casi no es usada
en las matemticas, pues de manera general se usa la disyuncin inclusiva. En este texto
cuando se hable de disyuncin haremos referencia a la disyuncin inclusiva, a menos que se
seale explcitamente lo contrario.
De igual forma que se pueden obtener nuevas proposiciones (moleculares) a partir proposiciones ya existentes usando conectores, tambin existen modicadores de proposiciones, los
cuales afectan slamente a una proposicin; en este trabajo veremos nicamente como modicador a la negacin, la cual la deniremos de la siguiente forma:

Negacin:

Dada una proposicin P., la negacin de P, simbolizada por

P,

se leer co-

mo No P , y tendr un valor de verdad inverso al valor de verdad de P.

Para ejemplicar lo arriba denido, si P es  1

6= 3

y Q es  7 es impar; entonces:

1. La conjuncin de P y Q sera: PQ,  1

6= 3

es impar .

2. La disyuncin de P y Q sera: PQ,  1

6= 3

es impar .

3. La negacin de P sera:

P,

 No es el caso de que

1 6= 3.

En el caso de la negacin de P, el decir  no es el caso de que

leer

P, es simplemente una de las forma de negarlo;

como  1 = 3, ya que 1 = 3 es negar que 1 6= 3.

1 6= 3

no es la nica manera de

tambin esta negacin se podra leer

Ejercicios
INSTRUCCIN 1:
Encuentra el valor de verdad de las siguientes proposiciones, siendo P y Q las proposiciones siguientes:
n
X

j=

P :=

j=1

n(n + 1)
,
2

Q :=

3 6=

6
, R := Este texto es de color rojo, S :=
2

1. P Q
2. S P
3. P Q
4. Q R
5.

6.

7.

INSTRUCCIN 2:
Redacta y dene 5 proposiciones verdaderas y 4 proposiciones falsas. Encuentra valores
de verdad para diferentes combinaciones de estas proposiciones.

1.2. Tablas de verdad y formas proposicionales

Una diferencia importante que vale la pena mencionar, es la diferencia entre una proposicin y una forma proposicional, ya que, mientras que la primera tiene (o tendr) un valor de
verdad bien denido, la segunda no lo tiene por si mismo. Esto quiere decir que, por ejemplo,
si decimos
si decimos

R ( es un nmero real), esta ser una proposicin verdadera, mientras que

P Q, esta no tiene ningn valor de verdad por si mismo a menos que, le demos

algn signicado a P y a Q.
Al hablar de la forma de una proposicin compuesta, o tambin llamada "forma proposicional", nos referimos a como la proposicin es puesta junta, por medio de conectores lgicos.
De manera informal, una forma proposicional es una expresin que involucra (de manera nita) tanto smbolos lgicos ( o

por ejemplo) como letras (como P o Q que han sido las

que hemos estado usando), las cuales sern nuestras variables.

Los valores de verdad de una forma proposicional son obtenidos, exhibiendo todas las
diferentes combinaciones de valores de verdad de sus componentes (a esto le llamaremos
calcular los valores de verdad) en lo que llamaremos una tabla de verdad. Por ejemplo:

En el caso en el que se utilicen formas proposicionales con ms de dos componentes, se aplica

algo parecido a la jerarqua de operaciones en lgebra (sta jerarqua depende de libro a libro,
pero vamos a intentar dar una jerarqua relativamente estndar); esta jerarqua empieza con
lo primero que debamos calcular y termina con la ltima operacin que se deba realizar.
Como an no vemos todos los conectores lgicos, daremos una jerarqua incompleta, la cual
se ver completa una vez terminemos de ver los dems conectores.
1. Parntesis: Primero, de igual manera que en el lgebra, se realizarn todos los clculos
lgicos que se encuentren dentro de los parntesis.
2. Negacin: En segundo lugar se realizarn los clculos de las negaciones, ya sea la
negacin de una proposicin atmica o de otra forma proposicional.
3. Conjuncin y Disyuncin: An cuando hay libros en los cuales se maneja primero
la disyuncin y despus la conjuncin, aqu los manejaremos de manera por igual,
obviamente estos clculos se realizarn de izquierda a derecha.
A continuacin daremos un ejemplo en el que usaremos diferentes formas proposicionales
relacionadas entre s por conectores lgicos.

(P

Q)

Como se puede ver en la tabla de verdad, para calcular los valores de verdad en la forma
proposicional nal, primero calculamos los de la forma proposicional entre parntesis (P Q ),
posteriormente los la negacin (R ), y al nal los de la disyuncin ((P

Q)

R ).

Ahora bien, para resumir una forma proposicional, esta puede ser escrita con una sola letra
(as como las proposiciones se representan con P o con Q), pero para diferenciar las formas
proposicionales de las proposiciones simples, las proposiciones simples sern escritas con estilo

Italic, mientras que las formas proposicionales se escribirn con los estilos Italic y

Bold,

as, se podr saber inmediatamente que P reere a una proposicin simple, mientras que

reere a una forma proposicional. Como una segunda medida para diferenciar una forma

proposicional de una proposicin simple, procuraremos representar las formas proposicionales

con las primeras letras del abecedario.

Ejercicios
INSTRUCCIN 1:
Sea

la forma proposicional P

Q, y sea
4

la forma proposicional (P

Q )

A.

Calcular los valores de verdad de las siguientes formas proposicionales:

1. P

2.

AB

3.

INSTRUCCIN 2:

Redacta y dene 3 formas proposicionales, y calcula los valores de

verdad de las mismas.

1.3. Equivalencia, formas proposicionales comunes y dems

conectores
Diremos que dos formas proposicionales sern equivalentes exclusivamente en el caso que

A y B sern equivA (la columna que se encuentre debajo de A) es igual a la

sus tablas de verdad sean iguales. Es decir, las formas proposicionales

alentes si la tabla de verdad de
tabla de verdad de

B.

Ahora bien, hay dos clases caractersticas de formas proposicionales, las llamadas

tologas

y las

Contradicciones.

Tau-

Las primeras son aquellas formas proposicionales cuyas

tablas de verdad sean puros unos, es decir, una forma proposicional tal que, sin importar
los valores de verdad de los componentes, sea siempre verdadera. Una contradiccin es una
negacin de una tautologa, es decir, una forma proposicional tal que, sin importar los valores
de verdad de sus componentes, es siempre falsa.
Retomando a los conectores, hay dos conectores que sern los que ms usaremos; estos
son los condicionales y bicondicionales.
Los

condicionales son todas las formas proposicionales que tengan una estructura pare-

cida a  Si P, entonces Q . Esto quiere decir que dadas dos proposiciones o formas proposi-

Q, se leer de la forma  P implica Q  o bien  Si

lgico . La posicin de este conector en la jerarqua

cionales P y Q, la forma proposicional P

P, entonces Q , usando el conector

es la del cuarto sitio. Esta forma proposicional, an cuando de manera natural uno creera
que es verdad nicamente cuando tanto lo que llamaremos antecedente (o hiptesis ) como
lo que llamaremos consecuente (o tesis ) sean verdaderos, esto no es as. La implicacin (como tambin es llamado el condicional), ser FALSO nicamente cuando el antecedente sea
verdadero y el consecuente falso. Por lo tanto su tabla de verdad quedar de la siguiente
manera:

1
5

La implicacin tambin deriva otros tres tipos de formas proposicionales: el converso, el

inverso y la contrapositiva. Estas otras tres formas proposicionales nos sern de mucha ayuda
ms adelante.
El converso de la implicacin P

la implicacin P

implicacin P

Q es la implicacin Q

P Q,
Q P.

Q es la implicacin

Q sera la implicacin

P ; a su vez el inverso de

mientras que la contrapositiva de la

bicondicionales son las formas proposicionales que tienen la forma  P

Ahora, las

si y

slo si Q . Esto quiere decir que dadas dos proposiciones o formas proposicionales P y Q, la
forma proposicional P

Q, se leer de la forma  P si y solo si Q  usando el conector lgico

. La posicin de este conector en la jerarqua es la del quinto sitio. Esta forma proposicional
es verdad nicamente cuando tanto el antecedente (en el caso arriba mencionado sera P )
como el consecuente (que sera Q ) tengan los mismo valores de verdad. En el caso en el que se
usen tanto en el antecedente como en el consecuente formas proposicionales, la bicondicional
ser una seal de equivalencia entre las dos formas proposicionales. Esto quiere decir que,
siendo

AyB

dos formas proposicionales tales que

A B, se puede decir que A y B

son

equivalentes.

Ejercicios
INSTRUCCIN 1:
Crea la tabla de verdad de

A w B, y demuestra que es equivalente a (A B ) (A B ).

INSTRUCCIN 2:
Determina si las siguientes formas proposicionales son tautologas, contradicciones, o
ninguno de los dos.
1. (P
2.

Q)

(P Q )

(P P )

3. (P

Q)

(P Q )

INSTRUCCIN 3:
Demuestra las siguientes equivalencias:
1. (P

Q)

(P Q )

2. (P

Q)

(P Q )

3.

(P

4. (P

Q)

Q)

(P

[(P

Q )

Q)

(Q

P )]

INSTRUCCIN 4:
Redacta y dene 3 tautologas y 3 contradicciones distintas a las mencionadas anteriormente.

1.4. Equivalencias y propiedades de GRAN importancia

A continuacin mencionaremos algunas equivalencias y propiedades de los conectores.
Algunas equivalencias aparecern para formas proposicionales y otras para proposiciones
simples, esta distincin fue hecha segn que tan comn es encontrarlas en los problemas
matemticos. An as estas equivalencias y propiedades se aplican por igual a formas proposicionales y proposiciones simples.

A B ) [(A B ) (B

A)]. Denicin comn de un bicondicional

(P

Q)

(P Q ).

Primera Ley de De Morgan

(P

Q)

(P Q ).

Segunda Ley de De Morgan

(A

B ) (A B )

(A)

A B ) (B

A). Ley conmutativa de la conjuncin

A B ) (B

A). Ley conmutativa de la disyuncin

(
(

A [B

C ]) ([A B ] C ). Ley asociativa de la conjuncin

A [B

C ]) ([A B ] C ). Ley asociativa de la disyuncin

(P

[Q

R ])

[(P

Q)

(P

R )]. Ley distributiva conjuncin-disyuncin

(P

[Q

R ])

[(P

Q)

(P

R )]. Ley distributiva disyuncin-conjuncin

(
(

Haremos nfasis en la importancia del aprendizaje de las propiedades antes mencionadas,

pues sern las ms importantes al momento de realizar demostraciones matemticas.

Ejercicios
INSTRUCCIN:

Demustra las siguientes proposiciones usando y mencionando las

propiedades antes mencionadas.

A B ) ([A B ] [B

1. (

2. ([P

Q]

A [B

3. (

R)

([P

Q ]

A])

R)

C ]) ([A C ] B )

Captulo 2
Cuanticadores
Una oracin abierta (o predicado abierto) es aquella que contiene una o ms variable,
y se le llama abierto ya que su valor de verdad no estar denido hasta que se le haya
dado un valor constante a la variable. ste tipo de oraciones las denotaremos segn su
cantidad de variables, es decir, si a la oracin abierta la llamamos

x0 , x1 , . . . , xk ,

P(x0 , x1 , . . . , xk );
P(x).

entonces la denotaremos como

una nica variable, la denotaremos como

P, y contiene las variables

en el caso de que contenga

P es la oracin  x1 = x2 + x3 , entonces la denotaremos como:

por ejemplo en el caso P(7, 3, 4), pero ser falsa por ejemplo
coleccin de elementos que hagan verdad a la oracin P, se
verdad de la oracin P . Pero, para que este conjunto est bien

Esto quiere decir que si

P(x1 , x2 , x3 ), y ser verdad

en el caso P(4, 7, 18). A la
le llamar  conjunto de

denido (es decir, tenga sentido), se necesitar primero denir el universo especco en el
que existirn los elementos del conjunto; en el ejemplo de arriba, el conjunto de verdad de

P(x1 , x2 , x3 ) podra estar compuesto de puros nmero positivos si el universo son todos los
nmeros positivos, o bien, que el conjunto de verdad incluya nmeros negativos en el caso
de que el universo sean todos los nmeros enteros. En la mayora de los casos el universo se
sobrentiende, pero hay casos en los que es necesaria la especicacin.
Ahora, si bien dos proposiciones son equivalentes si tienen la misma tabla de verdad,
dos oraciones abiertas sern equivalentes si (haciendo referencia al mismo universo) tienen
el mismo conjunto de verdad.
Tenemos que recordar que en realidad

P(x) no es una proposicin, lo que s lo es es P(a )

para algn a del universo que tenamos en mente. Otra manera de modicar estas oraciones
abiertas para que sean proposiciones, es usando

cuanticadores.

2.1. Tipos de cuanticadores

Los cuanticadores son indicadores lgicos, que nos servirn para la especicacin del
conjunto de verdad (aunque sern de an ms ayuda en un futuro). Existen dos tipos esenciales de cuanticadores, estos son:

Cuanticador universal: Es aquel cuanticador que indica que, el conjunto de verdad

de P(x) es exactamente el universo entero. Se representa con el smbolo ; se lee Para todo
x en el universo, P(x) ; y se puede denotar de las siguientes maneras:
P(x)

(x)

P(x) x U

(Considerando

Cuanticador existencial:

como nuestro universo)

Este cuanticador nos sirve para sealar que el conjunto de

verdad es diferente del conjunto vaco (conjunto que no contiene elementos y se denota por

), es decir, que el conjunto de verdad contiene al menos un elemento. Para este cuanticador
se utiliza el smbolo y se lee Existe al menos una x en el universo tal que P(x) . Se denota
de las siguientes maneras:

P(x)

(x)

x U

t.q.

P(x) (Considerando U

como nuestro universo)(t.q. signica tal que, tam-

bin puede usarse el smbolo  | )

Si bien empezaremos usando las primeras formas de denotar cuanticadores, una vez ya
comprendido el tema usaremos ms frecuentemente las segundas; esto se debe a que en la
literatura matemticas las ltimas son las ms comunes.

2.2. Uso de los cuanticadores

El uso de los cuanticadores se ve limitado muchas veces, no se pueden usar a diestra y
siniestra, pues si as fuese terminaremos dndole un signicado distinto a nuestras proposiciones.
Uno debe ser extremadamente cuidadoso al traducir enunciados redactados a sus formas

P(x) es Q(x) ,
es (x)(P(x) Q(x)), al igual que una forma de traducir Algn P(x) es Q(x) , sera
(x)(P(x) Q(x)), mas sin embargo todo depende como tal de qu sean exactamente P(x)
y P(x).

proposicionales con cuanticador; por ejemplo, una forma de traducir Todo

2.3. Equivalencias y Negaciones

Cuando dos enunciados cuanticados (es decir, con cuanticadores) son equivalentes,
signica que tienen el mismo valor de verdad, lo cual puede deducirse del hecho de que al
contar con cuanticadores los enunciados se vuelven proposiciones. Por ejemplo, los enunciados (x)(x

> 3)

y (x)(x

> 4)

para el universo de los enteros, tendrn los mismo valores

P(x) Q(x)) es equivalente a (x)(Q(x) P(x))

de verdad siempre. Otro ejemplo es (x)(

si tienen el mismo universo; esto se debe tanto a la Ley conmutativa de la conjuncin, como
al hecho de que usamos las mismas variables en el mismo universo, entonces si el universo se
sobrentiende al igual que los cuanticadores, podremos escribir

10

P(x) Q(x) es equivalente

Q(x) Q(x).
Ahora bien, para negar una oracin abierta cuanticada, la negacin no solo afectar a la

oracin sino tambin al cuanticador. Es fcil ver que, si decimos que no todos los elementos
cumplen una propiedad nos referimos a que al menos existe un elemento que no la cumpla.
As se crea la siguiente equivalencia:

(x)(P(x)) (x)(P(x))
Tambin si negamos que exista algn elemento que cumpla una propiedad, nos referimos a
que todos los elementos no cumplen la propiedad. Y la equivalencia quedara:

(x)(P(x)) (x)(P(x))

Ejercicios
INSTRUCCIN 1:

Simboliza los siguientes enunciados, y adems escribe alguna

equivalencia al enunciado. El universo se encuentra entre parntesis.

1. No todas las piedras preciosas son hermosas. (Todas las piedras)
2. Ninguna piedra preciosa es hermosa. (Todas las piedras).
3. Hay un entero positivo menor que todos los dems enteros positivos. (R)
4. Cuando menos hay alguien que se preocupa por m. (Toda la gente)
INSTRUCCIN 2:

Escribe un negacin de los enunciados arriba mencionados.

INSTRUCCIN 3:

Transcribe los siguientes enunciados a espaol y encuentra una equiv-

alencia. El universo est entre parntesis.

1. (x)(x

> 1)(Z+ )

2. (x)(x

> 0 x 6 0)(R)

3. (x)(x es primo
4.

x 6= 2 x

+
es impar)(Z )

(x)(x2 < 0)(R)

INSTRUCCIN 4:

Escribe una negacin a los enunciados arriba mencionados.

11

12

Captulo 3
Demostraciones Matemticas
Una

demostracin es una justicacin completa de la verdad de una armacin, la cual

puede ser llamada teorema, proposicin, corolario, lema, etc., de acuerdo a su importancia en
el contexto (usualmente). Es una

deduccin lgicamente vlida de un resultado apartir

de axiomas (armaciones cuya verdad se da por sentada sin necesidad de prueba) o bien de
las premisas del resultado. Un resultado usualmente se compone de las premisas, que sern
nuestras hiptesis, y una conclusin, que ser nuestra tesis

Si bien escribir una demostracin utilizando nicamente smbolos es correcta y adems

sirve para ahorrar tiempo, es bastante ms recomendable tambin explicar, adems de agregar palabras que conecten a estos smbolos.
Tambin es importante tener en mente que, dado un resultado, no slo existe una forma
de demostrarlo, pues existen diferentes tipos de demostraciones, de las cuales, a continuacin
enlistaremos aquellos tipos de demostraciones que veremos ms adelante:
Demostracin por Vacuidad
Demostracin Directa
Demostracin por Casos
Demostracin por Contrapositiva
Demostracin por Contradiccin
Cada uno de los tipos de demostraciones arriba mencionadas las analizaremos con detenimiento posteriormente.

3.1. Herramientas de demostracin

Existen distintas herramientas que usaremos en nuestras demostraciones, estas son:

1 La

mayora de los resultados pueden transcribirse de forma tal que resultan siendo implicaciones, de ah

los nombres de hiptesis y tesis

13

1. Tautologas: Todas las tautologas se pueden usar en las demostraciones, sustituyendo

las proposiciones (o formas proposicionales) que querramos en las variables de estas
tautologas, tambin se pueden sustituir proposiciones (o formas proposicionales) por
sus equivalentes.
2. Modus Ponendo Ponens: Ponendo ponens signica armar armando, y es exactamente
lo que hacemos al usar esta herramienta. Teniendo una implicacin y su antecedente
como premisas, concluimos su antecedente.
3. Modus Tollendo Tollens: Tollendo tollens signica negar negando, y haremos justamente eso. Si tenemos una implicacin y la negacin del consecuente, entonces concluimos la negacin del antecedente.
4. Modus Tollendo Ponens: Si tenemos una disyuncin y la negacin de alguno de los
disyuntores, concluimos el otro disyuntor.
5. Ley de adicin de la disyuncin: Teniendo una premisa, podemos concluir una disyuncin, en la cual uno de los disyuntores ser la premisa que ya tenemos, y el otro
disyuntor ser uno de nuestra eleccin.
6. Ley de adicin de la conjuncin: Teniendo dos premisas, podemos concluir la conjuncin
de estas dos premisas.
7. Ley de simplicacin: Teniendo como premisa una conjuncin podemos concluir cualquiera
de los conjuntores (ya sea uno en especco o ambos)
A continuacin demos algunos ejemplos del uso de estas herramientas.

Premisas y conclusiones

AB
A
B
AB
B
A
AB
A
B
A
AB
A
B
AB
AB
A
B

Especicaciones
Premisa (En adelante la simbolizaremos como (p))
(p)
Conclusin por Modus ponendo ponens (Simbolizado por (PP))
(p)
(p)
Conclusin por Tollendo Tollens (Simbolizado por (TT))
(p)
(p)
Conclusin por Tollendo Ponens (Simbolizado por (TP))
(p)
Conclusin por Ley de adicin de la disyuncin (LAD)
(p)
(p)
Conclusin por Ley de adicin de la conjuncin (LAC)
(p)
Conclusin por Ley de Simplicacin (LS)
(LS)
14

Un ejemplo de sustitucin de proposiciones sera:

Si tenemos como premisa

(P Q )

que

(P Q )

S, podemos sustituir por: P

S, dado

Q.

3.2. Demostracin por Vacuidad

Este sistema de demostracin es bastante simple y consiste en que, como no se puede
decir que un resultado es falso entonces debe ser verdadero. Es bastante difcil de aplicar
si uno no est acostumbrado a ello, ya que por el simple hecho de que no hayamos podido
demostrar no era falso no signica que realmente no lo sea, sino que en verdad es necesario
demostrar y dejar claro que no es posible que sea falso.
Un ejemplo de este tipo de prueba es la siguiente:

A = {a} un elemento en un conjunto, y sea una relacin R en el producto cartesiano

de A con A, es decir, intuitivamente es una relacin entre elementos de A. Pensando que
una relacin es transitiva si se cumple lo siguiente: Si aRb y bRc, entonces aRc, para todas
a, b y c distintas en el conjunto, entonces por vacuidad R es transitiva.
Sea

Esto se debe a que, si la proposicin fuera falsa entonces su negacin debe ser verdadera,
es decir, se debe cumplir lo siguiente: Existen
que:

aRb, bRc

y no se cumple

aRc;

a, b

distintas entre s en el conjunto tales

pero esto no puede ser verdadero en nuestro caso ya

que nuestro conjunto solo tiene un elemento (el elemento

y

a),

por lo cual no existen esos

a, b

distintos entre s, por lo cual esto es falso y por ende como la negacin es falsa entonces

la armacin es verdadera.
De esta manera demostramos nuestro resultado por vacuidad, es decir, demostramos que
como no es posible decir que sea falso entonces tiene que ser verdadero.

3.3. Demostracin Directa

De lo que se trata este tipo de demostraciones es de que, teniendo el antecedente, hagamos
cadenas de implicaciones usando axiomas y dems resultados (estos resultados debern poder
ser aceptados de antemano, ya sea porque ya se demostraron anteriormente o bien porque
son resultados conocidos y ya demostrados), para al nal lograr llegar a la conclusin y,
utilizando la transitividad de la implicacin, poder concluir la implicacin que queramos demostrar. Este tipo de demostracin es la ms comn entre las demostraciones de geometra.
Un ejemplo de demostracin directa sera:

x Z, si x es impar, entonces x + 1 es par.

x es impar esto implica que k Z t.q. x = 2k + 1 x + 1 = (2k + 1) + 1 =
2k + 2 = 2(k + 1) x = 2r donde r = k + 1 y por lo tanto x es par.
Sea

Como

De esta manera demostramos nuestro teorema iniciando apartir del antecedente y concluyendo tras una cadena de implicaciones el consecuente.

15

3.4. Demostracin por Casos

La demostracin por casos (como su nombre lo dice) es cuando ya sea al inicio o durante
alguna demostracin se puede romper un enunciado en diferentes casos (por ejemplo si un
nmero es par o impar, o bien positivo, negativo o cero), los cuales tendremos que hacer que
todos nos lleven a la misma conclusin, es decir, si se tiene P

y durante la demostracin

caemos en n casos, tenemos que demostrar que con los n casos concluimos en todos Q.
Por ser esto ms una herramienta que un mtodo, no daremos un ejemplo concreto en
esta ocasin, mas sin embargo, hemos de hacer nfasis en el hecho de que al romper un
enunciado se tienen que considerar TODOS los casos posibles.

3.5. Demostracin por Contrapositiva

Esta prueba es bastante simple en teora, lo que se hace es teniendo la implicacin del
resultado, obtenemos la contrapositiva, e intentamos as demostrar la contrapositiva por demostracin directa, en vez de la implicacin original. En ocasiones es ms sencillo demostrar
la contrapositiva que la implicacin original.
A continuacin un ejemplo de este tipo de demostracin:

x Z,

x es par.
La implicacin del teorema sera 5x + 7 impar x par, y entonces la contrapositiva sera
x impar 5x + 7 par.
Si x es impar k Z t.q. x = 2k + 1 5x + 7 = 5(2k + 1) + 7 = 10k + 5 + 7 =
10k + 12 = 2(5k + 6) 5x + 7 es par.
Sea

si

5x + 7

impar, entonces

3.6. Demostracin por Contradiccin

La demostracin por contradiccin es un arma bastante poderosa para las demostraciones, pero no por eso ha de ser utilizada siempre, ya que en muchas ocasiones sera como
querer matar una mosca con una bomba nuclear. Este tipo de demostraciones se realizan
demostrando que la negacin del resultado nos lleva a una contradiccin (que habremos de
recordar que es una forma proposicional que siempre es falsa sin importar los valores de verdad de sus componentes). Es decir: Si nuestro resultado a demostrar era
la negacin sera

(A

A B, entonces

B ) la cual es equivalente a A B, o sea, que si armamos el

antecedente y negamos el consecuente, entonces eso nos debe llevar a una contradiccin.
Durante la demostracin, al hallar la contradiccin, usualmente se le sealar ya sea con !!
o bien con

Por ejemplo:
Si

son impares, entonces

La implicacin sera:

xy

xy

es impar.

impares

xy

impar; por lo tanto la negacin (su equivalente

como en el caso del ejemplo de arriba) sera (x

impares)

xy

par. Eso signica que esta

ltima forma proposicional nos debe llevar a alguna contradiccin.

xy

impares

k1 , k2 Z t.q. x = 2k1 + 1 y = 2k2 + 2 xy = (2k1 + 1)(2k2 + 1) =

16

= 4k1 k2 + 2k1 + 2k2 + 1 = 2(2k1 k2 + k1 + k2 ) + 1

La contradiccin se da ya que (2k1 k2 + k1 + k2 ) Z lo que implica que xy es impar,
habamos dicho que xy era par, por lo tanto tenemos una contradiccin (P P )

pero

Por lo tanto, ya que la negacin de la implicacin es una contradiccin entonces la implicacin es una tautologa, es decir, demostramos el teorema.

3.7. Demostraciones con cuanticadores

Las demostraciones con cuanticadores son de las ms comunes, an si el cuanticador
no es expresado de manera explcita. Como ya explicamos a grandes rasgos los tipos de
demostraciones, simplemente daremos unos breves consejos sobre como trabajar estas demostraciones con los cuanticadores.
Lo bsico es recordar las equivalencias que se han dado acerca de los cuanticadores, es
decir, sus negaciones y equivalentes; esto sobre todo para cuando se vaya a usar la contradiccin.
Cuando se nos vaya a pedir demostrar que si existe algn elemento que cumpla alguna

P(x))
P(t)), luego habremos de demostrar que

propiedad entonces este implica alguna otra proposicin (es decir, probar que (x)(

R ), lo que habremos de hacer es suponer que (t)(

P(x)) R.

esto nos implica R, lo que signica que (x)(

Si se nos pide demostrar simplemente que existe un elemento con alguna propiedad, uno
puede irse por alguno de los siguientes dos caminos: construir basado en las premisas el
elemnto que cumpla dicha propiedad, o bien demostrar que no es posible que no exista dicho
elemento.
Cuando se nos pide demostrar que
emento ARBITRARIO del universo

P(x).

x U

P(x), lo que haremos es decir que sea x un el-

entonces tras una cadena de implicaciones tendremos

Si al contrario se nos pide demostrar

(x)(P(x)), entonces muchas veces lo ms sencillo

es buscar un ejemplo tal que cumpla con las premisas y que no cumpla la propiedad, lo cual

P(x)).

demostrara que existe un elemento que no cumple la propiedad, es decir: (x)(

Ejercicios
INSTRUCCIN 1:
Demuestra las siguientes implicaciones usando las premisas sealadas:
1. Demostrar:

(x 6= 5).

Premisas:

z > x x 6= 7
x<6x=3
x=3z>x
x<6z>x
17

x=7x=5
2. Demostrar:

t s.

Premisas:

pq
pr
rq
tq
s
3. Demostrar

(x < y x = 1).

Premisas:

x=y xy
y=0xy
x = 0 xy = 0 y = 0
(x

= y y = 0) x = 0

INSTRUCCIN 2:
Realiza las siguientes demostraciones:

1.
2.

es irracional

x Z+ x2 x

3. Si
4.

xZ

es par

entonces

x2 + 3x + 1

es impar

x, y R\Q (x, y) (xy R\Q)

18