Documentos de Académico
Documentos de Profesional
Documentos de Cultura
3. Razonamientos y Demostraciones
Universidad de C
adiz
Departamento de Matem
aticas
ii
Lecci
on 3
Razonamientos y Demostraciones
Contenido
3.1
3.2
3.3
3.4
3.5
Razonamientos . . . . . . . . . . . . . . . . . .
3.1.1 Razonamiento . . . . . . . . . . . . . . . . . .
3.1.2 Razonamiento V
alido . . . . . . . . . . . . .
3.1.3 Falacia . . . . . . . . . . . . . . . . . . . . . .
Inferencia . . . . . . . . . . . . . . . . . . . . .
3.2.1 Regla de Inferencia . . . . . . . . . . . . . . .
3.2.2 Reglas de Inferencia m
as Usuales . . . . . . .
Demostraciones . . . . . . . . . . . . . . . . . .
3.3.1 Teorema . . . . . . . . . . . . . . . . . . . . .
3.3.2 Corolario . . . . . . . . . . . . . . . . . . . .
3.3.3 Lema . . . . . . . . . . . . . . . . . . . . . .
3.3.4 Demostraci
on . . . . . . . . . . . . . . . . . .
Razonamientos y Cuantificadores . . . . . . .
3.4.1 Definiciones Matem
aticas . . . . . . . . . . .
3.4.2 Regla de Particularizaci
on . . . . . . . . . . .
3.4.3 Regla de Generalizaci
on . . . . . . . . . . . .
M
etodos de Demostraci
on . . . . . . . . . . .
3.5.1 Demostraci
on Vaca . . . . . . . . . . . . . .
3.5.2 Demostraci
on Trivial . . . . . . . . . . . . . .
3.5.3 Demostraci
on Directa . . . . . . . . . . . . .
3.5.4 Demostraci
on por la Contrarrecproca . . . .
3.5.5 Demostraci
on por Contradicci
on . . . . . . .
3.5.6 B
usqueda de Contraejemplos . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
56
56
56
58
59
59
61
64
64
64
64
65
69
69
72
73
74
74
74
75
76
77
78
Tena 40 a
nos cuando por primera vez se fij
o en la geometra;
y ello aconteci
o accidentalmente. Encontr
abase en la biblioteca
de un caballero; abiertos estaban los Elementos de Euclides,
y fue la 47 El. libri I. Ley
o la Proposici
on. Por D...(pues
de cuando en cuando gustaba de proferir un exaltado Juramento, para mayor enfasis) esto es imposible! Ley
o pues
la Demostraci
on, en la que aluda a una Proposici
on previa;
proposici
on que tambien ley
o. La cual mencionaba otra anterior, que ley
o tambien. et sic deinceps (y as sucesivamente)
hasta quedar al fin demostrativamente convencido de aquella
verdad. Ello le hizo enamorarse de la geometra.
Thomas Hobbes (1885-1679)
55
Universidad de C
adiz
Departamento de Matem
aticas
Una demostraci
on de una proposici
on significa un argumento convincente de que la proposicion es verdadera. Las demostraciones de esta clase suelen encontrarse fuera de los cursos de matematicas. Los
cientficos que hacen predicciones con base en principios cientficos dan demostraciones, en efecto, de que
sus predicciones se deducen de sus principios. Los programadores de ordenadores hacen aseveraciones de
que sus programas operar
an de acuerdo con sus especificaciones y verifican estas aseveraciones con una
combinacion de razonamiento y experimentacion. Los historiadores cuyo argumento es que cierta serie de
decisiones conducen inevitablemente a cierta consecuencia, usan el razonamiento logico para demostrar
lo anterior. As, aunque los detalles de escribir una demostracion matem
aticamente aceptable pueden
pertenecer al terreno de los matem
aticos, el objetivo de comprender lo que constituye un argumento convincente debe ser compartido por cualquiera que espere utilizar los principios matematicos y cientficos.
Analizaremos, en esta lecci
on, los principios logicos que fundamentan los argumentos convincentes.
Las demostraciones son una forma de comunicacion cuyo objetivo es convencer de la veracidad de las
afirmaciones que se hacen. La l
ogica sirve como fundamento antecedentemente, salvo cuando haya alguna
laguna comunicativa. Esto es, por lo general no sera necesario pensar conscientemente en la logica, aunque
si una prueba en particular parece complicada, entonces debera ser analizada con cuidado. Cuales son
exactamente las hip
otesis? se utilizan supuestos ocultos? estamos ante una demostracion no directa?
3.1
Razonamientos
Estudiamos en este apartado el significado formal del concepto de razonamiento valido y lo utilizamos
para demostrar la veracidad de proposiciones a traves de las reglas de inferencia.
3.1.1
Razonamiento
3.1.2
Razonamiento V
alido
L
ogica Matem
atica
p q
q r
p r
[(p q) (q r)] (p r)
Universidad de C
adiz
Departamento de Matem
aticas
3.1.3
Falacia
p q
(p q) q
[(p q) q] p
Por tanto, [(p q) q] p no es una tautologa y el argumento no sera valido, es decir, es una
falacia.
Veamos ahora si [(p q) q] = p.
Si(p q) q es verdad, entonces, p q y q son, ambas, verdad, por lo tanto p puede ser verdad o
falsa y, consecuentemente, (p q) q no implica logicamente p, es decir el razonamiento no es valido.
El nerviosismo del mayordomo pudo estar no en su culpabilidad sino en cualquier otra causa.
Ejemplo 3.3
L
ogica Matem
atica
p q
(p q) p
[(p q) p] q
3.2
Inferencia
Dado que no siempre es factible construir una tabla de verdad para comprobar la validez de un razonamiento (cuando el n
umero de proposiciones es elevado, la tabla puede ser excesivamente larga),
utilizaremos u
nicamente el procedimiento de probar que se da la implicacion logica.
3.2.1
Regla de Inferencia
Q
59
Universidad de C
adiz
Departamento de Matem
aticas
El smbolo se lee por lo tanto. Cada regla de inferencia tendra su origen en una implicacion logica.
60
L
ogica Matem
atica
3.2.2
Reglas de Inferencia m
as Usuales
Presentamos a continuaci
on, una tabla con las reglas de inferencia m
as usuales y las tautologas con
las que est
an relacionadas en el lenguaje de las proposiciones.
Regla
Forma Tautol
ogica
Nombre
P
P Q
P = (P Q)
Adici
on
P Q
P
(P Q) = P
Simplif icaci
on
[P (P Q)] = Q
Modus Ponens
P
P Q
Q
[(P Q) Q] = P
Modus Tollens
P Q
Q
P
[(P Q) (Q R)] = (P R)
P Q
Q R
P R
Silogismo
Hipotetico
[(P Q) P ] = Q
P Q
P
P
Silogismo
Disyuntivo
P
Q
P Q
[(P Q) (R S) (P R)] = (Q S)
Dilema
Constructivo
P Q
R S
P R
QS
[(P Q) (R S) (Q S)] = (P R)
Dilema
Destructivo
P Q
R S
Q S
P R
P C
P
(P C) = P
Contradicci
on
[(P Q) (P (Q R))] = R
P Q
P (Q R)
R
Demostraci
on
Condicional
P R
Q R
(P Q) R
Demostraci
on
por Casos
Ejemplo 3.4
Conjunci
on
Para cada una de los siguientes conjuntos de premisas, decir cuales son las conclusiones
61
Universidad de C
adiz
Departamento de Matem
aticas
pq
q
p
es decir,
La conclusi
on es, por tanto,
Estoy gordo.
(b) Si corro, me quedare sin aliento. No estoy sin aliento.
Sean
p : Corro.
q : Estoy sin aliento
Entonces, el argumento sera:
(p q) q
y por modus tollens,
(p q) q = p
siendo la regla de inferencia,
62
L
ogica Matem
atica
es decir,
La conclusi
on es, por tanto,
No he corrido.
(c) Si el mayordomo lo hizo, entonces tiene las manos sucias. Las manos del mayordomo no estan
sucias.
Sean
p : El mayordomo lo hizo.
q : El mayordomo tiene las manos sucias.
El argumento propuesto sera:
(p q) q
y la regla de inferencia
p q
q
Las u
nicas conclusiones son las hipotesis
(d) El cielo azul me pone contento y el cielo gris me pone triste. El cielo esta azul o gris.
Sean
p : El cielo est
a azul.
q : El cielo est
a gris.
r : Estoy contento.
s : Estoy triste.
El argumento sera:
[(p r) (q s)] (p q)
Por el dilema constructivo,
[(p r) (q s)] (p q) = (r s)
siendo la regla de inferencia,
p r
q s
pq
rs
es decir,
La conclusi
on es, por tanto,
63
Universidad de C
adiz
Departamento de Matem
aticas
Estoy contento o triste.
(e) Todas las funciones trigonometricas son periodicas y todas las funciones periodicas son continuas.
Sean
p : Funci
on trigonometrica.
q : Funci
on peri
odica.
r : Funci
on continua.
El argumento propuesto es:
(p q) (q r).
Por el silogismo hip
otetico,
(p q) (q r) = (p r)
siendo la regla de inferencia,
p q
q r
p r
es decir,
La conclusi
on es, por tanto,
Todas las funciones trigonometricas son continuas.
3.3
Demostraciones
3.3.1
Teorema
3.3.2
Corolario
3.3.3
Lema
L
ogica Matem
atica
3.3.4
Demostraci
on
(a)
pq
p r
rq
pq
p r
rq
(b)
(c)
p q
p r
r q
Solucion
(a) En efecto,
(p q) (p r)
(q p) (p r) {Conmutatividad de }
q [p (p r)]
{Asociatividad de }
qr
{Modus ponens}
rq
{Conmutatividad de }
El razonamiento es v
alido.
(b) En efecto,
(p q) (p r)
(q p) (p r) {Implicacion}
q r
{Silogismo hipotetico}
q r
{Implicacion}
qr
{Doble negacion}
rq
{Conmutatividad de }
Universidad de C
adiz
Departamento de Matem
aticas
Formular simb
olicamente los siguientes razonamientos y determinar cuales son validos.
p : Estudio mucho.
q : Obtengo C como calificaci
on.
r : Me hago rico.
Estudio mucho si y s
olo si me hago rico.
Me hago rico.
Estudio mucho.
(a)
(b)
(c)
(d)
(e)
Solucion
(a) La regla de inferencia en notaci
on simbolica es
p q
p
q
p q
r q
r
Observemos lo siguiente:
(p q) (r q)
=
(p q) (q r) {Contrarrecproca}
p r
{Silogismo Hipotetico}
L
ogica Matem
atica
es decir, el razonamiento no es v
alido.
(c) La regla de inferencia en notaci
on simbolica es
p r
r
p
(p r) q
q
p r
Si p r es falsa, entonces p es verdad y r falsa, es decir p y r son, las dos, falsas, luego
(p r) q es verdad independientemente del valor de verdad que tenga q, de aqu que el
valor de verdad de [(p r) q] q dependa del de q, es decir, podra ser verdadera o falsa y,
consecuentemente, el razonamiento no sea valido.
(e) La regla de inferencia en notaci
on simbolica es:
p (q r)
q r
p
Observemos lo siguiente:
[p (q r)] (q r)
=
p r
p q
p (r q)
p (r q)
r q
p r
p r
r q
q
r p
r
p
(a)
(b)
(c)
(d)
{Modus Tollens}
67
Universidad de C
adiz
(e)
Departamento de Matem
aticas
p r
r q
p
q
Solucion
Entonces,
(p r) (p q)
(p r) (p q) {Implicacion}
p (r q)
{Distributividad de respecto de }
p (r q)
{Implicacion}
Pues bien, si p r es falso, entonces p es verdad y r es falso, luego r q es verdad independientemente del valor de verdad de q y el valor de verdad de [p (r q)] (r q) dependera
del de p (r q) que, a su vez, depende del que tenga q.
Si q es verdad, entonces p (r q) es verdad y, por lo tanto, [p (r q)] (r q) es
verdad.
Si q es falso, entonces p (r q) es verdad y, por lo tanto, [p (r q)] (r q) es
falso.
Consecuentemente, el razonamiento no es valido.
(c) El razonamiento sera,
L
ogica Matem
atica
Estudiemos su validez.
Si [(r p) r] es verdad, entonces r p y r han de ser, ambas, verdad, de aqu que r
sea falsa y p y, por lo tanto, p pueda ser verdad o falsa.
As pues, de la veracidad de [(r p) r] no se sigue la veracidad de p, luego la primera
proposici
on no implica l
ogicamente la segunda y, consecuentemente, el razonamiento no es valido.
(e) El razonamiento en forma verbal es,
Veamos el razonamiento:
(p r) (r q) q
= (p q) p
{Silogismo Hipotetico}
= q
{Modus Ponens}
por lo tanto es v
alido.
3.4
Razonamientos y Cuantificadores
La mayora de los razonamientos que hemos visto hasta ahora trataban con proposiciones y no con
predicados adem
as poco, o nada, tenan ver con cuestiones de tipo matematico.
En casi todos los teoremas matem
aticos aparecen de forma natural los predicados y los cuantificadores,
as pues si queremos utilizar el procedimiento logico aprendido en los razonamientos para demostrar
este tipo de teoremas, habr
a que utilizar proposiciones cuantificadas en los razonamientos. En este
apartado introducimos predicados y cuantificadores en los razonamientos y vemos como todo lo que
hemos aprendido hasta ahora puede utilizarse sin mas que a
nadir un par de reglas.
3.4.1
Definiciones Matem
aticas
En las definiciones, y u
nicamente en las definiciones, un condicional puede leerse e interpretarse
correctamente como un bicondicional.
Cuando se definen conceptos matem
aticos, normalmente se utiliza el condicional. Consideremos, por
ejemplo, el universo de todos los tri
angulos del plano. En un libro podemos leer la siguiente defincion:
Si un tri
angulo tiene sus tres lados iguales, entonces es equil
atero
y en otro texto, leemos
Si un tri
angulo es equil
atero, entonces tiene sus tres lados iguales
En ambos casos se est
an utilizando proposiciones cuantificadas con el cuantificador universal. En efecto,
sean
69
Universidad de C
adiz
Departamento de Matem
aticas
L
ogica Matem
atica
Utilizaremos la definici
on anterior para adaptar la de n
umero entero par.
Recordemos que un n
umero entero es par si es divisible por 2. Consideremos, pues, el universo de los
n
umeros enteros y definamos
Para cada entero x, x es par si, y s
olo si x es divisible por 2
Si ahora tenemos en cuenta el significado de divisible por dado en el ejemplo anterior, tendremos que
Para cada entero x, x es par si, y s
olo si puede encontrarse un entero k tal que x = 2k
Por ejemplo supongamos que el universo del discurso esta formado por los n
umeros 16, 26 y 36 y que nos
piden probar que todos son pares. Podramos hacer lo siguiente:
si x = 16 y 16 = 2k, entonces k = 8 que es entero, luego x = 2 8, es decir, x es par.
si x = 26 y 26 = 2k, entonces k = 13 que es entero, luego x = 2 13, es decir, x es par.
si x = 36 y 36 = 2k, entonces k = 18 que es entero, luego x = 2 18, es decir, x es par.
Observese que hemos demostrado la proposicion probando el resultado para todos y cada uno de los
elementos del universo del discurso.
Ahora bien, si el universo tuviera, por ejemplo, cincuenta n
umeros, entonces este procedimiento sera
largo y tedioso y, a
un m
as, si el universo fueran todos los enteros pares, este procedimiento no sera
factible.
Remediaremos esta situaci
on con las dos reglas siguientes.
Nota 3.3
siguiente:
Universidad de C
adiz
3.4.2
Departamento de Matem
aticas
Regla de Particularizaci
on
x [p(x) q(x)]
p(f )
q(f )
Pues bien,
x [p(x) q(x)] p(f )
= q(f )
luego, en efecto, el razonamiento es v
alido.
L
ogica Matem
atica
r(a)
x [p(x) q(x)]
x [q(x) r(x)]
p(a)
Pues bien,
(r(a)) [x [p(x) q(x)]] [x [q(x) r(x)]] = (r(a)) [p(a) q(a)] [q(a) r(a)]
= (r(a)) [p(a) r(a)]
=
p(a)
es decir, el razonamiento es v
alido.
Observese que en la primera implicaci
on hemos utilizado la regla de particularizacion, obteniendo de
este modo una proposici
on no cuantificada a la que luego hemos aplicado de forma sucesiva la regla del
silogismo hip
otetico y del modus tollens.
Nota 3.4 Como hemos visto en los ejemplos anteriores, la regla de particularizacion nos ha permitido
deducir conclusiones particulares partiendo de premisas o hipotesis generales. Sin embargo, en la inmensa
mayora de los teoremas matem
aticos hay que llegar a conclusiones generales. Por ejemplo, tendremos
que probar que p(x) es verdad para todos los valores de un cierto universo del discurso, es decir probar
que x, p(x) es verdad, para lo cual habr
a que establecer la veracidad de la proposicion p(a) para cada
elemento a del universo y como ya hemos comentado anteriormente, en la mayor parte de los universos
esto no es factible. Lo que haremos para solventar esta cuestion es probar que p(a) es verdad pero no
para el caso en que a sea un elemento particular sino para el caso en que a denote un elemento arbitrario
o generico del universo.
3.4.3
Regla de Generalizaci
on
x [p(x) q(x)]
x [q(x) r(x)]
x [p(x) r(x)]
En efecto,
[x [p(x) q(x)] x [q(x) r(x)]] = [(p(a) q(a)) (q(a) r(a))]
= [p(a) r(a)]
=
x [p(x) q(x)]
En la primera implicaci
on hemos utilizado la regla de particularizacion pero para un elemento a generico es
decir elegido arbitrariamente, despues hemos aplicado la regla del silogismo hipotetico para proposiciones
y finalmente hemos aplicado la regla de generalizacion.
73
Universidad de C
adiz
Departamento de Matem
aticas
3.5
M
etodos de Demostraci
on
3.5.1
Demostraci
on Vaca
Una demostraci
on de este tipo se construye estableciendo que el valor verdadero de la hip
otesis P es
falso.
En efecto, si podemos establecer la falsedad de P , entonces el condicional P Q siempre es verdad independientemente del valor de verdad de la conclusion Q, luego P Q es una tautologa y,
consecuentemente, P = Q
Aunque parece que tiene poco valor, este metodo de demostracion es importante para establecer limitaciones o estudiar casos especiales.
3.5.2
Demostraci
on Trivial
L
ogica Matem
atica
3.5.3
Demostraci
on Directa
Una demostraci
on de este tipo muestra que la verdad de la conclusi
on Q, se sigue l
ogicamente de
la verdad de la hip
otesis P . La demostraci
on empieza asumiendo que P es verdad para despues,
utilizando cualquier informaci
on disponible, as como teoremas probados con anterioridad, probar que
Q es verdad.
Ejemplo 3.13
Demostracion
El teorema a demostrar escrito en forma de condicional, sera
Para cualquier entero n, si n es par, entonces n2 es par
que se corresponde con el esquema
n p(n) p(n2 )
donde
p(n) : n es par.
y el universo del discurso son todos los n
umeros enteros.
Pues bien, sea n un n
umero entero cualquiera.
Si n es par, entonces por la definici
on que vimos en el ejemplo 3.3.9, existira un n
umero entero k
tal que
n = 2k
de aqu que elevando al cuadrado, obtengamos
n2 = 4k 2 = 2(2k 2 )
y como el cuadrado de un n
umero entero tambien es entero, 2k 2 sera entero (lo llamaremos m).
As pues, hemos encontrado un entero m tal que
n2 = 2m.
Por lo tanto, y utilizando de nuevo la definicion 3.3.9, concluimos que
n2 es par.
Aunque este ejemplo es bastante sencillo, el desarrollo logico de la demostracion es identico al de otros
teoremas de contenidos m
as complicados. Observemos, una vez mas, el camino seguido a traves de
implicaciones.
75
Universidad de C
adiz
Departamento de Matem
aticas
Sea n cualquier n
umero entero. Entonces,
n es par =
{Ejemplo 3.3.9}
n2 = 4k 2
{Elevando al cuadrado}
m : n2 = 2m
Tomando m = 2k 2
n2 es par
3.5.4
k : n = 2k
{Ejemplo 3.3.9}
Demostraci
on por la Contrarrecproca
La demostraci
on de un teorema se dice que es por la contrarrecproca cuando suponiendo que la conclusi
on, Q, es falsa y utilizando la hip
otesis P y otros teoremas y equivalencias l
ogicas establecidas
previamente, se concluye que P es falso.
Esta basada en la equivalencia l
ogica entre una proposicion condicional y su contrarrecproca,
P Q Q P
Por lo tanto, si probamos que Q P es una tautologa, habremos probado que P Q tambien
lo es, luego P = Q.
Ejemplo 3.14
Demostracion
Utilizaremos el metodo de demostraci
on por la contrarrecproca.
Si
p(n) : n es par
q(n) : n es impar
el esquema del teorema propuesto ser
a
n [p(5n + 3) q(n)]
en el universo de los n
umeros enteros. El esquema de la contrarrecproca sera
n [q(n) p(5n + 3)]
es decir,
Para cada entero n, si n no es impar, entonces 5n + 3 no es par
Pues bien, sea n cualquier n
umero entero.
Si n no es impar, entonces por la nota 3.3,
n 6= 2k + 1
para cualquier entero k y, por lo tanto,
5n + 3 6= 5(2k + 1) + 3, k Z
de aqu que
5n + 3 6= 2(5k + 4), k Z
76
L
ogica Matem
atica
5n + 3 6=
=
=
n no es impar =
{Nota 3.3}
5(2k + 1) + 3
10k + 8
2(5k + 4)
{Haciendo operaciones}
5n + 3 6= 2m, m Z
= 5n + 3 no es par
{Tomando m = 5k + 4}
{Ejemplo 3.3.9}
3.5.5
Demostraci
on por Contradicci
on
La demostraci
on de un teorema diremos que es por contradicci
on cuando suponiendo que la conclusi
on,
Q, es falsa y utilizando la hip
otesis P , y otros teoremas y equivalencias l
ogicas establecidas previamente,
se llega a una contradicci
on.
Esta basada en la equivalencia l
ogica conocida como reduccion al absurdo, es por ello que este metodo
de demostraci
on es conocido, tambien, como demostracion por reduccion al absurdo.
P Q (P Q) C
donde C es una contradicci
on. Por lo tanto, si probamos que (P Q) C es una tautologa tendremos
que P Q tambien lo es y, consecuentemente, P = Q.
Ejemplo 3.15
impar.
Demostracion
El teorema a demostrar es
Para cada entero n, si n2 es impar, entonces n es impar
Si
p(n) : n es impar
entonces el esquema del teorema en notacion simbolica sera
n p(n2 ) p(n)
en el universo de los n
umeros enteros.
Lo demostraremos por contradicci
on o reduccion al absurdo. El esquema sera
n p(n2 ) p(n) C
donde C es una contradicci
on.
Pues bien, sea n cualquier n
umero entero.
77
Universidad de C
adiz
Departamento de Matem
aticas
Supongamos que n2 es impar y que, sin embargo, n no es impar. Entonces, tendremos que
n2 es impar y n es par
de aqu que por la definici
on de n
umero impar (Nota 3.3) y la de par dada en el ejemplo 3.3.9,
tengamos que existan dos n
umeros enteros k y l tales que
n2 = 2k + 1 y n = 2l
luego,
n2 = 2k + 1 y n2 = 4l2
por lo tanto,
2k + 1 = 4l2
de donde se sigue que
1 = 4l2 2k = 2(2l2 k)
y como si l y k son enteros, 2l2 k tambien lo es (lo llamaremos m), tendremos que hemos
encontrado un n
umero entero m tal que
1 = 2m
es decir, el 1 es par, lo cual, obviamente, es una contradiccion.
Lo que nos ha llevado a la contradicci
on es la suposicion de que n no era impar, por lo tanto esta es falsa
siendo cierta la contraria, es decir, n es impar.
Veamos la demostraci
on a traves de implicaciones.
n2 impar y n no es impar = n2 impar y n es par
=
k : n2 = 2k + 1 y l : n = 2l
2
k : n = 2k + 1 y l : n = 4l
k y l : 2k + 1 = 4l2
2
k y l : 1 = 2(2l k)
m : 1 = 2m
{Elevando l al cuadrado}
{Igualando}
{Haciendo operaciones}
Tomando m = 2l2 k
{Definicion de n
umero par}
= 1 es par
= Contradiccion
3.5.6
B
usqueda de Contraejemplos
L
ogica Matem
atica
79