U N I D A D 1 : LÓGICA Y MÉTODOS DE DEMOSTRACIÓN

Las matemáticas discretas es la parte de las matemáticas encargada del estudio de los conjuntos discretos ya
sean finitos o infinitos numerables. En contraposición a las matemáticas de nivel superior en las cuales se estudian
estructuras y fenómenos continuos, las matemáticas discretas estudian estructuras discretas fundamentales para
la ciencia de la computación como por ejemplo los números naturales, el álgebra booleana, grafos, etc.
1.1 ¿QUE ES LA LOGICA?
La lógica es el estudio formal de las estructuras o formas del pensamiento humano centrándose en la relación
entre las afirmaciones y el análisis de las inferencias.
Considere por ejemplo, el siguiente argumento:
«Todos los matemáticos usan sandalias.
Cualquiera que use sandalias es un algebrista.
Por lo tanto, todos los matemáticos son algebristas»
En el sentido técnico, la lógica no ayuda a determinar si alguna de estas afirmaciones es cierta o no. Sin embargo,
si las primeras dos afirmaciones son ciertas, la lógica asegura que la afirmación «todos los matemáticos son
algebristas» también es cierta. Los métodos lógicos se usan en matemáticas para demostrar teoremas y en las
ciencias de la computación, para probar que los programas hacen lo que deben hacer. Entender la lógica también
resulta útil para entender la escritura común. Por ejemplo, en una ocasión, se publicó el siguiente decreto en una
ciudad: «Será ilegal que una persona tenga más de tres perros y tres gatos en su propiedad dentro de la
ciudad». ¿Un ciudadano que tenía cinco perros y ningún gato violaba el decreto? Según las leyes de la lógica, dicho
ciudadano no violaba el decreto.
1.2 PROPOSICIONES
¿Cuáles de las siguientes oraciones son verdaderas o falsas, pero no ambas?
1. Los únicos enteros positivos que dividen al 7 son el 1 y el mismo 7 .
2. Leonardo DiCaprio ganó un premio de la Academia en 2016 por su papel en el “Aviador”.
3. La Tierra es el único planeta en el universo que tiene vida.
4. Protege las aves del lago de la Universidad del Magdalena.
La oración 1 es verdadera, ya que él 7 es primo, por lo tanto es divisible por 1 y por 7 . La oración 2 es falsa, ya
que la película por la cual DiCaprio gano el Oscar fue por “Revenant”. La oración 3, puede ser verdadera o falsa
(pero no ambas). La oración 5, no es verdadera ni falsa (esta oración es una orden).
Una proposición es una oración que es verdadera o falsa, pero no ambas. Son los bloques básicos de
construcción de la lógica proposicional. Se usan las letras como p , q y r , para representar proposiciones.
Las tres primeras oraciones son proposiciones, mientras que la oración 4 no es una proposición. No son
proposiciones los enunciados interrogativos ni los enunciados imperativos, y en general todo enunciado del que
no pueda decirse que sea verdadero o falso. Se usara por ejemplo la notación p : 1  1  3 para indicar que p es
la proposición 1  1  3 . Al hablar y escribir convencionalmente, las proposiciones se operan utilizando los
operadores y, o y no. Por ejemplo, las proposiciones «está lloviendo» y «hace frío» se pueden operar para formar
las proposiciones «está lloviendo y hace frío», «está lloviendo o hace frío» y «no está lloviendo». A continuación se
dan las definiciones formales de tales operadores.

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 1
1.3 LA CONJUNCIÓN, LA DISYUNCIÓN Y LA NEGACIÓN
La conjunción de p con q se simboliza como p  q y es la proposición p y q .
La disyunción de p con q se simboliza como p  q y es la proposición p o q .
La negación de p se simboliza como ~ p y es la proposición no p .
Ejemplo No. 1
Si p : Está lloviendo y q : Hace frío , entonces:
La conjunción de p con q es p  q : Está llovi endo y hace frío.
La disyunción de p con q es p  q : Está llovi endo o hace frío.
La negación de p es ~ p : No está lloviendo. ■
El valor de verdad de p  q , p  q y ~ p está determinado por los valores de verdad de p y q . Los valores
de verdad de las proposiciones se pueden describir por medio de tablas de verdad. La tabla de verdad de una
proposición P formada por las proposiciones individuales p1 , p2 ,..., pn , describe todas las posibles
combinaciones de los valores de verdad para p1 , p2 ,..., pn , donde V denota verdadero y F denota falso.
1.3.1 Tabla de verdad de la conjunción
p q pq
V V V
V F F
F V F
F F F
La conjunción p  q es verdadera siempre que p y q sean ambas verdaderas, en otro caso p  q es falsa.
Ejemplo No. 2
Sean p : Una década tiene 10 años y q : Un milenio tiene 100 años , entonces como p es verdadera y q
es falsa, se tiene que la conjunción:
p  q : Una década tiene 10 años y un milenio tiene 100 años es falsa. ■
1.3.2 Tabla de verdad de la disyunción
p q pq
V V V
V F V
F V V
F F F
La disyunción p  q es verdadera siempre que p o q (o ambas) sean verdaderas, en otro caso p  q es falsa.
Ejemplo No. 3
Sean p : Una década tiene 10 años y q : Un milenio tiene 100 años , entonces como p es verdadera y q
es falsa, se tiene que la disyunción:
p  q : Una década tiene 10 años o un milenio tiene 100 años es verdadera. ■
M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 2
1.3.3 Tabla de verdad de la negación
p ~ p
V F
F V

Ejemplo No. 4
Sea p : La tierra es plana , entonces como p es falsa, la negación:
~ p : No es cierto que la tierra es plana es verdadera. ■

Ejemplo No. 5
Escriba la tabla de verdad de la proposición ~  p  q  ~ p  q
Solución:
p q pq ~  p  q ~ p ~ pq ~  p  q  ~ p  q
V V V F F F F
V F F V F F V
F V F V V V V
F F F V V F V
1.4 EL CONDICIONAL Y EL BICONDICIONAL
El condicional de p con q se simboliza como p  q y es la proposición si p entonces q .
La proposición p se llama hipótesis (antecedente) y la proposición q se llama conclusión (consecuente)
El bicondicional de p con q se simboliza como p  q y es la proposición p si y solamente sí q .

Ejemplo No. 6
Sean p : El 8 es un número par y q : El 8 es divisible por 2 , entonces:
El condicional de p con q es p  q : Si el 8 es un número par entonces el 8 es divisible por 2.
El bicondicional de p con q es p  q : El 8 es un número par si y solamente si el 8 es divisible por 2. ■
1.4.1 Tabla de verdad del condicional
p q pq
V V V
V F F
F V V
F F V
El condicional p  q es falso cuando que p es verdadero y q es falso, en otro caso p  q es verdadero.
La reciproca de p  q es la proposición q  p
La inversa de p  q es la proposición ~ p  ~ q

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 3
 Ejemplo No. 7
Sean p : El 8 es par y q : El 8 es divisible por 2 . La reciproca e inversa de p  q son respectivamente:
q  p : Si el 8 es divisible por 2 entonces el 8 es par.
~ p  ~ q : Si no es cierto que el 8 es par entonces no es cierto que el 8 es divisible por 2 . ■
1.4.2 Tabla de verdad del bicondicional
p q pq
V V V
V F F
F V F
F F V
El bicondicional p  q es verdadero cuando p y q son verdaderos o falsos, en otro caso p  q es falso.
Ejemplo No. 8
Escriba la tabla de verdad de la proposición ~  p  q  q  r 
Solución:
p q r pq ~  p  q qr ~  p  q  q  r 
V V V V F V F
V V F V F F V
V F V F V F F
V F F F V F F
F V V V F V F
F V F V F F V
F F V V F F V
F F F V F F V
1.5 EQUIVALENCIAS LÓGICAS
En algunos casos, dos proposiciones diferentes tienen los mismos valores de verdad sin importar qué valores de
verdad tengan las proposiciones que las constituyen. Tales proposiciones se conocen como equivalencias lógicas.
Suponga que las proposiciones P y Q están formadas por las proposiciones p1 , p2 ,..., pn . Se dice que P y
Q son equivalentes lógicos, lo cual se escribe P  Q , Siempre que a partir de cualesquiera valores de verdad
de las proposiciones p1 , p2 ,..., pn , o bien P y Q son ambas verdaderas o P y Q son ambas falsas.
Ejemplo No. 9
Considere las proposiciones P  ~  p  q y Q  ~ p  ~ q . La tabla de verdad de cada proposición es:
p q pq ~  p  q p q ~ p ~q ~ p~ q
V V V F V V F F F
V F V F V F F V F
F V V F F V V F F
F F F V F F V V V

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 4
Se puede observar que a partir de cualesquiera valores de verdad para p y q , entonces P y Q son ambas
verdaderas o P y Q son ambas falsas. Por lo tanto P y Q son equivalentes lógicos. La anterior equivalencia es
una de las dos leyes conocidas con el nombre de Leyes de Morgan para la Lógica. . ■
1.5.1 Leyes de Morgan para la lógica
Sean p y q dos proposiciones, entonces ~  p  q  ~ p  ~ q y ~  p  q  ~ p  ~ q
1.5.2 Contrareciproco
Sean p y q dos proposiciones, el contrareciproco de p  q es la proposición ~ q  ~ p
El contrareciproco es una forma alternativa, lógicamente equivalente a p  q , es decir p  q  ~ q  ~ p
Ejemplo No. 10
Sean p : El 8 es par y q : El 8 es divisible por 2 . El contrareciproco de p  q es la siguiente proposición
equivalente:
~ q  ~ p : Si no es cierto que el 8 es divisible por 2 entonces no es cierto que el 8 es par. ■
La proposición  p  q  q  p es equivalente a p  q , es decir p  q   p  q  q  p
1.6 CUANTIFICADORES
Los aspectos de la lógica vistos anteriormente son incapaces de describir la mayoría de las afirmaciones en
matemáticas y en ciencias de la computación. Como casi todas las afirmaciones en matemáticas y ciencias de la
computación usan variables, entonces debe ampliarse el sistema de la lógica para incluir estas afirmaciones.
Sea Px  una oración que incluye la variable x y sea D un conjunto. P se llama función proposicional
respecto a D , si para cada x en D , Px  es una proposición. D se denomina dominio de P .
Ejemplo No. 11
Sea Px  la afirmación « x es un entero impar», es decir Px : x es un entero impar y sea D el conjunto
de los enteros positivos. Entonces P es una función proposicional con dominio el conjunto D ya que para cada x
en D , Px  es una proposición. Es decir para cada x en D se tiene que Px  es verdadera o falsa pero no
ambas. Por ejemplo si x  1 se obtiene la proposición P1 : 1 es un entero impar , la cual es verdadera. Pero si
x  2 se obtiene la proposición P2 : 2 es un entero impar , la cual es falsa. ■
Algunas afirmaciones en matemáticas y ciencias de la computación usan términos como «para todo» y «para
alguno». Se extenderá el sistema lógico visto anteriormente de manera que las afirmaciones que incluyen «para
todo» y «para alguno» sean manejables simbólicamente.
1.6.1 Cuantificador universal
Sea Px  una función proposicional con dominio el conjunto D . Se dice que la afirmación para todo x : Px  es
una afirmación cuantificada universalmente. Tal afirmación se escribe x : Px  y se lee «para todo x se
tiene que Px  ». El símbolo  se llama cuantificador universal y se lee «para todo».
La afirmación x : Px  es verdadera si Px  es verdadera para todo x del conjunto D . La afirmación
x : Px  es falsa si Px  es falsa para al menos un x del conjunto D . Un valor x del conjunto D que haga

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 5
que Px  sea falsa se llama contraejemplo de la afirmación x : Px  . Para demostrar que la afirmación
cuantificada universalmente x : Px  es falsa, se debe encontrar un valor x del conjunto D que haga que la
proposición Px  sea falsa. Tal valor como se mencionó anteriormente se llama contraejemplo.
Ejemplo No. 12
Considere la afirmación cuantificada universalmente x : x 2  0 , cuyo dominio el conjunto de los números
reales, es decir D  R . Dicha afirmación es verdadera ya que para todo número real x , es cierto que el
cuadrado de x es positivo o cero.
Considere la afirmación cuantificada universalmente x : x 2  9  0 , cuyo dominio es el conjunto de los
números reales, es decir D  R . Dicha afirmación es falsa ya que si por ejemplo x  2 , se tiene que la
expresión 2 2  9  0 es falsa. El valor x  2 es un contraejemplo de dicha afirmación. ■
Ejemplo No. 13
Considere la afirmación cuantificada universalmente x : x 2  14 x  18  0 , cuyo dominio es D  R . Determine
el valor de verdad de dicha afirmación.
Solución:
Se debe demostrar que la afirmación es verdadera o es falsa.
La afirmación es verdadera si para todo número real x , se tiene que x 2  14 x  18  0
La afirmación es falsa si para algún número real x , se tiene que x 2  14 x  18  0
Lo segundo es más fácil de averiguar que lo primero. Veamos como:
  14    14 2  41 18  1
 9 1
 3
 12
x  x 0  x     1
2 1 1 4 16 4 4
4 8
21 2 2  4
Como los números reales x  12 y x   14 hacen que x 2  14 x  18  0 , entonces x : x 2  14 x  18  0 es falsa.
1.6.2 Cuantificador existencial
Sea Px  una función proposicional con dominio el conjunto D . Se dice que la afirmación existe x : Px  es
una afirmación cuantificada existencialmente. Tal afirmación se escribe x : Px  y se lee «Existe x talque
que Px  ». El símbolo  se llama cuantificador existencial y se lee «existe».
La afirmación x : Px  es verdadera si Px  es verdadera para algún x del conjunto D . La afirmación
x : Px  es falsa si Px  es falsa para todo x del conjunto D .

Ejemplo No. 14
Considere la afirmación cuantificada existencialmente x : x x4  15 , cuyo dominio es el conjunto de los
2

números reales, es decir D  R . Dicha afirmación es verdadera ya que es posible hallar un número real x
para el cual se cumpla que x x 4  15 . Veamos como se determina dicho número real:
2

x 1
x
 1
 5 x  x 2  4  x 2  5x  4  0  x  4x  1  0  
x  4
x 4
2 5

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 6
 Como los números reales x  1 y x  4 hacen que x
x2 4
 15 , entonces x : x2x4  15 es verdadera.
Considere la afirmación cuantificada existencialmente x : xx 1  1 , cuyo dominio es D  R . Dicha afirmación
2
2

es falsa ya que no es posible hallar un número real x para el cual se cumpla que x2
x 2 1
 1 . Veamos como
probar lo anterior de dos formas distintas:
 Asumamos que la afirmación es cierta, es decir que para todo número real x se tiene que:
 1  x 2  x 2  1  0  1 , lo cual es un absurdo. Por lo tanto x : xx 1  1 es falsa.
2 2
x
x 1
2 2

 Partamos de un hecho totalmente cierto, el cual se cumple para cualquier número real x :
x 2  x 2  1  xx 1  xx 11  xx 1  1 , lo cual es cierto. Por lo tanto x : xx 1  1 es falsa. ■
2 2 2 2
2 2 2 2

1.6.3 Leyes generalizadas de Morgan para la lógica

Si Px  es una función proposicional, entonces:
~ x : Px  x : ~ Px
~ x : Px  x : ~ Px

Ejemplo No. 15
Considérese la afirmación cuantificada universalmente x : x 2  0 , cuyo dominio es D  R . Su negación es
~ x : x 2  0 , la cual es equivalente a la afirmación cuantificada existencialmente x : ~ x 2  0 , es decir
x : x 2  0 . Es claro que, como la afirmación x : x 2  0 es verdadera, entonces la afirmación x : x 2  0
es falsa.
Considérese la afirmación cuantificada existencialmente x : x es par , cuyo dominio es el conjunto de los
números enteros impares. Su negación es ~ x : x es par , la cual es equivalente a afirmación cuantificada
universalmente x :~ x es par , es decir x : No es cierto que x es par . Es claro que, como la
afirmación x : x es par es falsa, entonces la afirmación x : No es cierto que x es par es verdadera. ■
1.7 DEMOSTRACIONES
Un teorema es una proposición que partiendo de un supuesto (hipótesis) afirma una conclusión (tesis) no
evidente por si misma. La conclusión de un teorema es una afirmación verdadera bajo las condiciones dadas.
Algunos tipos especiales de teoremas reciben el nombre de lemas o corolarios. Un lema es un teorema demostrado
que no suele ser muy interesante por sí mismo, pero que resulta útil para demostrar otros teoremas. Un corolario
es un teorema que no requiere ser demostrado, el cual se deriva con facilidad de otro teorema. Un axioma es una
verdad incuestionable universalmente válida y evidente.
Una demostración o prueba es un argumento que justifica formalmente la verdad de un teorema partiendo de
axiomas, definiciones u otros teoremas.
La lógica es la herramienta para el análisis de las demostraciones. En esta sección se describen algunos métodos
generales de demostración.
Ejemplo No. 16
El siguiente es un ejemplo de teorema «En todo triángulo rectángulo el cuadrado de la hipotenusa es igual
a la suma de los cuadrados de los catetos».
M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 7
 El siguiente es un ejemplo de corolario «En todo triángulo rectángulo la longitud de la hipotenusa es mayor
que la longitud de los catetos».
El siguiente es un ejemplo de lema «Si n es un número entero positivo, entonces n  1 es un número
entero positivo o n  1  0 ».
El siguiente es un ejemplo de axioma « El todo es igual a la suma de las partes y mayor que cada una de
esas partes». ■
1.7.1 Estructura de un teorema
Sean p y q dos proposiciones. Con frecuencia los teoremas tienen la siguiente estructura p  q o p  q
1.7.2 Demostración directa
Se usa para demostrar teoremas de la forma p  q . En una demostración directa se inicia asumiendo que la
hipótesis p es verdadera y luego usando p , junto con axiomas, definiciones y otros teoremas probados con
anterioridad se concluye directamente que la tesis q es verdadera.
Ejemplo No. 17
Suponga que m y n son dos números enteros cualesquiera, demuestre que:
Si m es impar y n es par, entonces m  n es un número entero impar.
Demostración:
Se sabe claramente qué es un número entero par o impar, pero la siguiente definición proporciona una manera
formal para usar los términos «número entero par» y «número entero impar» en esta y otras demostraciones.
Un número entero n es par si existe un número entero k tal que n  2k .
Un número entero n es impar si existe un número entero k tal que n  2k  1 .
En este caso se ti ene que p : m es impar y n es par y q : m + n es un número entero impar .
Se inicia la demostración asumiendo que la proposición p es verdadera:
Como m es impar, entonces existe un número entero k1 tal que m  2k1  1
Como n es par, entonces existe un número entero k 2 tal que n  2k 2
Se concluye de lo anterior que la proposición q es verdadera. Veamos:
Como m  n  2k1  1  2k2  2k1  k2   1 , entonces existe un número entero k  k1  k 2 , tal que:
m  n  2k  1 , es decir m  n es impar. ■
1.7.3 Demostración por contradicción
Una contradicción es una proposición de la forma r  ~ r , siendo r cualquier proposición.
Se usa también para demostrar teoremas de la forma p  q . En una demostración por contradicción se
inicia asumiendo que la hipótesis p es verdadera y que la tesis q es falsa. Luego usando p y ~ q , junto con
axiomas, definiciones y otros teoremas probados con anterioridad se llega a una contradicción o absurdo, de lo
cual se concluye que la tesis q es verdadera.
La prueba por contradicción se fundamenta en que p  q   p  ~ q   r  ~ r  , es decir en vez de
demostrar p  q se demuestra su equivalente  p  ~ q   r  ~ r 

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 8
 Ejemplo No. 18
Demuestre que:
Si x es un número real distinto de cero, entonces x 2  0 .
Demostración:
En este caso se ti ene que p : x es un número real distinto de cero y q : x 2  0 .
Se inicia la demostración asumiendo que la proposición p es verdadera y que la proposición q es falsa:
Sea ~ q : ~ x 2  0, es decir no es cierto que x 2  0 o lo que es lo mismo x 2  0
Según lo anterior se llega a una contradicción. Veamos:
x2 0
Como x  0 , entonces 2  2 , es decir 1  0
2

x x
Lo cual es una contradicción del tipo r  ~ r , siendo r :1  0 . Luego la tesis q : x 2  0 es verdadera. ■
Ejemplo No. 19
Suponga que x y y son dos números reales cualesquiera, demuestre que:
Si x  y  2 , entonces x  1 o y  1 .
Demostración:
En este caso se ti ene que p : x  y  2 y q : x  1  y  1 .
Se inicia la demostración asumiendo que la proposición p es verdadera y que la proposición q es falsa:
Sea ~ q : ~ x  1  y  1 , es decir no es cierto que x  1  y  1 o lo que es lo mismo x  1  y  1
Según lo anterior se llega a una contradicción. Veamos:
Como x  1  y  1 , entonces x  y  1 1 , es decir x  y  2
Lo cual es una contradicción de la hipótesis p del tipo p  ~ p , luego la tesis q : x  1  y  1 es
verdadera. ■
1.7.4 Demostración por contrareciproco
Es un caso especial de la demostración por contradicción. Se usa también para demostrar teoremas de la forma
p  q . En una demostración por contrareciproco se inicia asumiendo que la hipótesis p es verdadera y que
la tesis q es falsa. Luego usando p y ~ q , junto con axiomas, definiciones y otros teoremas probados con
anterioridad se llega a una contradicción del tipo p  ~ p , de lo cual se concluye que la tesis q es verdadera.
La prueba por contrareciproco se fundamenta en p  q  ~ q  ~ p , es decir en vez de demostrar p  q se
demuestra su equivalente ~ q  ~ p
Ejemplo No. 20
Suponga que m es un número entero cualesquiera, demuestre que:
Si m 2 es impar, entonces m es impar.
Demostración:
En este caso se ti ene que p : m 2 es impar y q : m es impar . Para demostrar p  q , se demostrara
directamente su contrareciproco ~ q  ~ p , el cual es lógicamente equivalente a p  q . Veamos:
M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 9
 Se inicia la demostración asumiendo que la proposición q es falsa:
Sea ~ q : ~ m es impar  , es decir no es cierto que m es impar o lo que es lo mismo m es par
Como m es par, entonces existe un número entero k tal que m  2k  m 2  2k 2  m 2  22k 2 
Según lo anterior se llega a una contradicción. Veamos:
Como m 2  22k 2 , existe un número entero K  2k 2 , tal que m 2  2K , es decir m 2 es un entero par.
Lo cual es una contradicción de la hipótesis p del tipo p  ~ p , luego la tesis q : m es impar es
verdadera. ■
Un teorema de la forma p  q , se demuestra usando la equivalencia p  q   p  q  q  p , es decir
para demostrar p  q se demuestra que p  q y q  p .
Ejemplo No. 21
Suponga que n es un número entero cualesquiera, demuestre que:
n es impar si y solamente si n  1 es par.
Demostración:
En este caso se ti ene que p : n es impar y q : n  1 es par .
Se demostrara inicialmente p  q .
o Se asume que la proposición p es verdadera:
Como n es impar, entonces existe un número entero k tal que n  2k  1
o Se concluye de lo anterior que la proposición q es verdadera. Veamos:
Como n  2k  1  n  1  2k  1  1  2k  n  1  2k , es decir n  1 es par.
Ahora se demostrara q  p .
o Se asume que la proposición q es verdadera:
Como n  1 es par, entonces existe un número entero k tal que n  1  2k
o Se concluye de lo anterior que la proposición p es verdadera. Veamos:
Como n  1  2k  n  2k  1, es decir n es impar. ■
1.8 INDUCCIÓN MATEMÁTICA
La inducción matemática es un razonamiento que permite demostrar proposiciones que dependen de una variable
n , que toma una infinidad de valores naturales. Suponga que se tiene una secuencia de bloques numerados
1,2,3,  y que algunos bloques están marcados con una x, tal como se aprecia en la siguiente figura:

Suponga que:
El primer bloque está marcado.
Para todo n  1 , si el bloque n está marcado, entonces el bloque n  1 también está marcado.
Lo anterior implica que todos los bloques están marcados. Es decir:
Para n  1 , se sabe que el bloque 1 está marcado.
Para n  2 , como el bloque 1 está marcado, entonces el bloque 2 también está marcado.
Para n  3 , como el bloque 2 está marcado, entonces el bloque 3 también está marcado.
Para cualquier n  1 como el bloque n está marcado, entonces el bloque n  1 también está marcado.
M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 10
El ejemplo anterior ilustra el principio de inducción matemática.
1.8.1 Principio de inducción matemática
Suponga que se tiene una función proposicional S n cuyo dominio es el conjunto de los números enteros no
negativos, es decir n  1 y además suponga que:
S 1 es verdadera (paso básico)
Para todo n  1 , si S n es verdadera, entonces S n  1 es verdadera (paso inductivo)
De lo anterior se concluye que S n es verdadera para todo número entero n  1 .
En términos más sencillos una demostración usando inducción matemática consiste en los siguientes dos pasos:
Se verifica que la afirmación correspondiente es verdadera para n  1 .
Se supone que la afirmación es verdadera para n  1 y después se demuestra que es verdadera para n  1 .
Al demostrar que la afirmación es verdadera para n  1 se ha demostrado que es cierta para n . Para probar la
afirmación para n  1 , se puede utilizar la afirmación para n . Para mostrar cómo se utiliza formalmente la
inducción matemática, consideremos los siguientes ejemplos:
Ejemplo No. 22
Sea S n la suma de los primeros n números naturales, es decir S n  1  2    n . Se demostrara por inducción
que S n  12 nn  1 , para n  1 . Veamos:
Es claro que la afirmación es verdadera para n  1 . Veamos S1  12 11  1  1
Se supondrá que la afirmación es verdadera para n  1 , es decir que S n  12 nn  1 y se demostrara que la
afirmación es verdadera para n  1 , es decir que S n1  12 n  1n  2 . Veamos:
S n 1  1  2    n  n  1  S n1  S n  n  1  S n1  12 nn  1  n  1  S n 1  12 n  1n  2
Según lo anterior se tiene que S n  12 nn  1 . ■
Ejemplo No. 23
Demuestre usando inducción matemática que para cualesquiera números reales a  0 y r  1 , se tiene que:
S n  a  ar  ar 2    ar n 

a r n1  1 
, para n  0 . Lo anterior recibe el nombre de suma geométrica.
r 1
Demostración:
a  r 01  1 a  r  1
Es claro que la afirmación es verdadera para n  0 . Veamos S0   a
r 1
r 1
Se supondrá que la afirmación es verdadera para n  0 , es decir que S n  a r n1  1  
y se demostrara que
r 1

es verdadera para n  1 , es decir que S n1 


a r n1  1 
. Veamos:
r 1
a  ar  ar 2    ar n  ar n1 
 
a r n1  1
 ar n1 
 
a r n1  1 ar n1  r  1

r 1 r 1 r 1

n 1 n2
ar  a  ar  ar n 1


ar  a a r n2  1
n 2


r 1 r 1 r 1

Según lo anterior se tiene que a  ar  ar 2    ar n 


a r n1  1  ■
r 1
M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 11
 Observación:
 x si x  0
El valor absoluto de x se simboliza x y se define x  
 x si x  0
 1 si n  0
El factorial de n se simboliza n ! y se define n ! 
nn  1n  2 2  1 si n  1
Se define maxx, y como el máximo entre x y y , es decir maxx, y  x y maxx, y  y .
Se define minx, y como el mínimo entre x y y , es decir minx, y  x y minx, y  y .
Ejercicios Propuestos No. 1
1. Determine la tabla de verdad de las siguientes proposiciones:
a. ~  p  q  ~ p  r  b.  p ~ r  ~ q  r   ~ r  p c. r   p  ~ r    p  q  r 
d. ~ p  ~ q   p  ~ r  e.  p  ~ q  q  r   r  ~ q f.  p  ~  p  q  ~  p  q
2. En cada caso indique si P  Q . Justifique su respuesta:
a. P  p  ~ q  r  , Q  ~ p  q ~ r  b. P   p  q  q  r  , Q  p  r
c. P   p  q  r, Q  p  q  r  d. P  p  q, Q   p  q  q  p
3. En cada caso considere que el dominio es el conjunto de los números reales. Determine el valor de verdad de
cada afirmación. Justifique algebraicamente su resultado:
a. x : x 2  x c. x : x  1  x 2  x e. x : x  1  x x1  13 2

b. x : x 2  x d. x : x  1  x 2  x f. x : x  1  x x1  132

4. Considere la afirmación cuantificada existencialmente x : Px  , cuyo dominio es el conjunto de los números
reales. En cada caso la afirmación es verdadera. Determine un número real x para el cual se cumple dicha
afirmación. Justifique su respuesta algebraicamente.
x 3  2 x 2  8x
a. Px  : 0 b. P x  : 3 x 2  4  2 c. Px  : x 4  12  3x 2  8
x2 1
d. Px  : 2 x 5 x6  1 e. Px  : e  3e  2  0 f. Px  : Log 4 x  Log 4 x  1  12
2 2x x

5. Considere la afirmación cuantificada universalmente x : Px  , cuyo dominio es el conjunto de los números
reales. En cada caso la afirmación es falsa. Determine el conjunto de valores para los cuales dicha afirmación
es verdadera.
a. Px  : 4  x  1  0 b. Px  : x  x  2  0 c. Px  : x  5 x  6  0
2 2 2

d. Px  : 9  3 x 2  0 e. Px  : 4  2 x 1  0 f. Px  : e x 9  1

2 2 2

6. Demuestre que para todo número entero m impar, entonces m 2 es impar.

7. Demuestre que para todos los números enteros m y n , si m y n son pares, entonces m  n es par.
8. Demuestre que para todos los números enteros m y n , si m y n son impares, entonces m  n es par.
9. Demuestre que para todos los números enteros m y n , si m y n son pares, entonces mn es par.
10. Demuestre que para todos los números enteros m y n , si m y n son impares, entonces mn es impar.
11. Sean x y y números reales. Demuestre por contradicción que si xy  0 , entonces x  0 o y  0 .
12. Sea x un número real. Demuestre de manera directa que x  0  0 .
13. Sean x1 , x2 ,..., xn  R y sea A  1n x1  x2    xn  . Demuestre por contradicción que xi : xi  A .

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 12
14. Demuestre por contradicción que 2 es un número irracional.
15. Si x y y son números reales. Demuestre que para todo número real z , se tiene que si d  maxx, y y
z  d , entonces z  x y z  y .
16. Sean x y y números reales. Demuestre que maxx, y minx, y  x  y .
17. Demuestre que para cualesquiera números reales x y a , se cumple que x  a  a  x  a
18. Sean x y y números reales. Demuestre que xy  x y
19. Sean x y y números reales. Demuestre que x  y  x  y
20. Sean x y y números reales. Demuestre que maxx, y  12 x  y  x  y 
21. Sean x y y números reales. Demuestre que minx, y  12 x  y  x  y 
22. En cada caso considere que n es un número natural y aplique inducción matemática para demostrar que:
a. 1  3  5    2n  1  n 2
b. 1  2  2  3  3  4    nn  1  13 nn  1n  2
c. 11!2  2 !3  3!  n  n ! n  1!1
d. 12  2 2  32    n 2  16 nn  12n  1
e. 13  2 3  33    n 3  12 nn  1
2

1 1 1 1 n
f.    
1 3 3  5 5  7 2n  12n  1 2n  1
g. 21  21  21    1 3
 
1

1
2 1 3 1 4 1 n  1  1 4 2n  2 2n  4
2

1
23. Utilice la suma geométrica para demostrar que r 0  r 1  r 2    r n  , para 0  r  1 .
1 r
24. Aplique inducción matemática para demostrar que 11  22  33    nn  2
2 2 2 2
1 2 3 n n2
25. Aplique inducción matemática para demostrar que      
2 3 4 n 1 n 1
26. Aplique inducción matemática para demostrar que n  2 n , para todo número natural n  1 .
27. Aplique inducción matemática para demostrar que n ! 2 n1 , para todo número natural n  1 .
28. Aplique inducción matemática para demostrar que 2n  1  2 n , para todo número natural n  3 .
29. Aplique inducción matemática para demostrar que 1  xn  1  nx , para x  1 y todo natural n  3 .
1
1 1
30. Sea H n  1      , para todo n  1 . Los números H1 , H 2 , se llaman números armónicos.
2
3 n
a. Demuestre que H 2n  1 12 n , para todo n  0 .
b. Demuestre que H 1  H 2    H n  n  1H n  n , para todo n  1 .
1
c. Demuestre que H n  H n1  , para todo n  1 .
n 1
d. Demuestre que H 1  2 H 2    nH n  12 nn  1H n1  14 nn  1 , para todo n  1 .
31. Demuestre que n líneas rectas en el plano cartesiano lo dividen en 12 n 2  n  2 regiones. Suponga que no
hay dos líneas paralelas y que no hay tres líneas con un punto en común.
M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 13