You are on page 1of 22

Conjuntos, lógica e inducción matemática

Página del Colegio de Matemáticas de la ENP-UNAM

Autor: Dr. José Manuel Becerra Espinosa

CONJUNTOS, LÓGICA E INDUCCIÓN MATEMÁTICA
UNIDAD I
I.1 CONJUNTOS
I.1.1 IDEA INTUITIVA DE CONJUNTO Y SUS FORMAS DE EXPRESIÓN
Un conjunto es una colección de elementos especificados que poseen algo común. Los conjuntos se
denotan por letras mayúsculas.
En general, existen tres formas de representar conjuntos:
1. Por extensión. Los elementos de los conjuntos se colocan entre llaves y se forma una lista que se
separa por comas. De esta manera, el conjunto enumera a todos sus elementos sin repetición. Por
ejemplo: A = gato, perro, pez, canario, conejo

{

}

2. Por comprensión. Los elementos se expresan a través de una regla que determina su naturaleza.
También se emplean llaves y se utiliza el símbolo | que significa "tal que" a manera de condición. Por
ejemplo:

F = { x x son frutas de color verde}

3. Por diagramas de Venn. Son regiones planas cerradas que contienen a los elementos sin la necesidad de
especificarlos. Son muy útiles para visualizar las relaciones y operaciones entre conjuntos. Por ejemplo:

B

A

C

Cuando un elemento pertenece a un conjunto se le denota por
Ejemplos.
Escribir por extensión a los siguientes conjuntos:
a)

P = { x x es un país de América del Norte}

Solución:

P = {Canadá, Estados Unidos, México}
b) B = { x x = 2n − 1, n ∈ N , n < 6}
Solución:

B = {1, 3, 5, 7, 9}
1

∈.

Conjuntos, lógica e inducción matemática

Página del Colegio de Matemáticas de la ENP-UNAM

c)

D = { x x = 5n , n ∈ Z ,

Autor: Dr. José Manuel Becerra Espinosa

− 4 < n ≤ 4}

Solución:

D = { − 15, − 10, − 5, 0, 5,10,15, 20}

d)


E=x

x=

3n
, n∈ N,
2n


n ≤ 7

Solución:

 3 9 27 81 243 729 2187 
E= , , , ,
,
,

 2 4 6 8 10 12 14 
Ejemplo.
Escribir por comprensión los siguientes conjuntos:

{

a) H = metro,
Solución:

camión, trolebús, tren ligero, microbús, metrobús}

H = { x x es un medio masivo de transporte de pasajeros en el D.F .}

{

b) R = 1, 4, 9,16,
Solución:

25, 36, 49, 64, 81,100}

{

}

R = x x = n 2 , n∈ N , n ≤ 10
 1 2 3 4 5 6 7
, , , , , 
 3 4 5 6 7 8 9

c) S = 0, ,
Solución:


S =x

x=

n −1

, n∈ N , n < 9 
n +1

T = { − 17, − 13, − 9, − 5, − 1, 3, 7,11,15,19}
T = { x x = 4n − 1, n ∈ Z , − 5 < n ≤ 5}

d)

Dos conjuntos son iguales si tienen exactamente los mismos elementos. Por ejemplo, los conjuntos

{

}

P = { 2, 4, 8,16, 32, 64,128, 256} y Q = x x = 2 n , n∈ N , n ≤ 8 son iguales.

Existen conjuntos notables que tienen nombres específicos:

φ

Conjunto vacío. Es aquel que no posee elementos y se representa como

Conjunto finito. Es aquel cuyos elementos pueden ser contados. Por ejemplo:

L = {x

x es un pez volador} = φ

o como

Y = { x x es una colonia de la Ciudad de México}

Conjunto infinito. Es aquel cuyos elementos no pueden contarse. Por ejemplo:

Z = {⋅ ⋅ ⋅ , − 4, − 3, − 2, − 1, 0,1, 2, 3, 4, ⋅ ⋅ ⋅}

2

{ }. Por ejemplo:

Atlanta. tierra. el siguiente conjunto posee cinco elementos.Conjuntos. se dice que B es subconjunto de A . 7. 9. 22 . ∇} ↑↑ ↑↑↑ 1 2 34 5 La cardinalidad de un conjunto A es el número de elementos que posee. Gráficamente: Formalmente. lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM • Autor: Dr. ◊.13. η ( A) . agua. 5. entonces W ⊂ U { } El conjunto ordenado de los números naturales. Si { fuego} . ∆. Sidney. I = 2. viernes} . 3. Por ejemplo: Si M = 2. <. AU B A U B 3 . 22.13. 5. η(K ) = 4 J = { Seúl. la cardinalidad del conjunto vacío es cero. 6. η(J ) = 6 I. entonces φ ⊂ A • Conjunto universal. Si K = aire.1. Por Ejemplos. Por ejemplo. Es decir. 40 . 9 y N = 6. Esto implica que cualquier conjunto es subconjunto del conjunto universal. Es aquel conjunto que posee a todos los elementos bajo consideración y se representa como U . { } { } { } Como puede deducirse. Si cada elemento de un conjunto B es también un elemento del conjunto A . Barcelona. N = 1. 4. el conjunto vacío es un subconjunto de todo conjunto: si A es un conjunto cualquiera. se define como: A U B = {x B. Contar es el proceso de poner en correspondencia biunívoca (uno a uno) los elementos de un conjunto. 5. Esto significa que a los elementos del conjunto A se le añaden. Atenas. Beijing} . 4.2 OPERACIONES CON CONJUNTOS • La unión de los conjuntos A y B es el conjunto de todos los elementos que pertenecen a A o a Se denota como: A U B. x ∈ A ó x ∈ B}. 4. es el ejemplo básico de un conjunto infinito. ⋅ ⋅ ⋅ . entonces I ⊂ M y N ⊄ M . con algún subconjunto ordenado de N . sin repetir. X = {>. es un conjunto contenido en otro conjunto.11. José Manuel Becerra Espinosa Subconjunto. los del conjunto B . Se denota como B ⊂ A . Se denota como definición. 2. Por ejemplo: Si U = {x x son los días de la semana} y W = {lunes.

rojo. rosa. lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM Autor: Dr. morado. 4 . morado. gris} • La intersección de los conjuntos y a B. Gráficamente: Formalmente. naranja. melón.Conjuntos. Dados los siguientes conjuntos: A = { azul. rojo. amarillo. pera. uva} La cardinalidad del conjunto A U B está dada por η( A U B ) = η( A) + η(B ) − η( A I B ) . café. Solución: A I B = { pera. amarillo. melón. rosa.η ( A) = 6 y η (B ) = 7 A I B = { azul. verde. lila. se define como: y x ∈ B}. café. rojo. pera. fresa. uva} B = { piña. verde} B = { azul. ciruela. rojo. comprobar que η ( A U B ) = η ( A) + η (B ) −η ( A I B ) Solución. lila. uva} Obtener A I B. Sean los siguientes conjuntos: A = { mango. Contando los elementos de los conjuntos se tiene que: η ( A U B ) = 10 . lo cual coincide con el primer resultado. Se denota como: A I B. naranja. verde} ⇒ η ( A I B ) = 3 Aplicando la expresión: η ( A U B ) = 6 + 7 − 3 = 10 . Ejemplo Dados los conjuntos anteriores. José Manuel Becerra Espinosa Ejemplo. melón. durazno. naranja. verde. Solución: A U B = { azul. Esto significa que x es el conjunto de U AIB A B Ejemplo. gris} Obtener A U B. sandía. A y B es el conjunto de todos los elementos que pertenecen a A A I B = {x x ∈ A los elementos comunes de A y B .

Cancún . Puerto Vallarta.Veracruz. Puerto Vallarta } De acuerdo a las definiciones de complemento. se define como el complemento de B en A al conjunto de elementos que pertenecen a A pero no a B. José Manuel Becerra Espinosa Cuando dos conjuntos A y B no tienen elementos en común. Se representa como B ' o también como B c . Ejemplo. se define como: B’ B A Ejemplo.Veracruz . Gráficamente: Formalmente. La Paz. En este caso se dice que los conjuntos A y B son ajenos o disjuntos. Esto significa que las x son los elementos que están fuera del conjunto B . Europa. de unión y de intersección. su intersección es el vacío.Página del Colegio de Matemáticas de la ENP-UNAM Conjuntos. América. Mazatlán. Estos conjuntos son ajenos: A = { Asia. es decir : A I B = φ . Oceanía. 5 . La Paz . Saturno. Africa} B = { Mercurio. lógica e inducción matemática Autor: Dr. Solución. entonces B '= { Huatulco . Manzanillo } Obtener B'. Cancún. Mazatlán . se advierte que: ( A ')' = A φ '= U U '= φ A U A' = U A I A' = φ • La diferencia de los conjuntos A − B (en ese orden) es el conjunto de los elementos que sólo pertenecen a A. Marte. Ixtapa . Manzanillo} B = {Cozumel . Sean los siguientes conjuntos: A = {Cozumel. Dado que B ⊂ A . B' = { x x ∈ A y x ∉ B }. • Si B es un subconjunto de A. Neptuno} ya que A I B = φ . Huatulco. Ixtapa.Venus.

18. 12. b) A − φ = A . ω . κ . Esto significa que la diferencia de dos conjuntos sólo contempla a los elementos del primer conjunto y que no pertenecen al segundo. si y sólo si A ⊂ B e) A − B = B − A.15. 27} . José Manuel Becerra Espinosa Ejemplo.θ .15. δ . E = { 6. 21. B = {3. 24. 12. Solución: A − B = { β . β . 9. A I B y B − A son mutuamente ajenos. 6 .θ .18} Se cumple que: Solución: a) A − A = φ . si y sólo si A = B f) A − B = A.12. µ . lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM Autor: Dr. el vacío al no tener elementos al restarlo del primer conjunto representa al mismo conjunto.Conjuntos.ψ } Obtener A − B y B − A. 24. λ . ya que poseen los mismos elementos. C = {3. 27}.12. si y sólo si A I B = φ g) A − B ⊂ A h) Los conjuntos A − B. A = {3. 21. 21. 27} . 6.η . Dados los siguientes conjuntos: U = {3. Ejemplo. κ } B − A = {ω . D = {3. Gráficamente: U A-B A B Del diagrama anterior se deducen las siguientes expresiones: a) A − A = φ b) A − φ = A c) A − B = A I B ' = B '− A' d) A − B = φ . 24}. 9.ψ } Formalmente. 27}. 6. ρ } B = {α .18. µ . la intersección de dos de estos conjuntos es el vacío. Sean los siguientes conjuntos: A = {α . γ . δ . es decir. ρ . se define como: A − B = {x x∈ A y x ∉ B}.12.η . γ . 6. 21.18. λ .

n ∈ N .16} L = { 4.13.14. 9. 7. 5. 6.11. José Manuel Becerra Espinosa A'= {9.13. se tiene que: C − B =φ e) Como A = D . 24} B'= { 6. 27} B − A = {9. 24} A − B = { 6.12.16} a) J U L = { 4.12. 21. 7.10.15} e) J − L = { 7.11.16} J = { 4. 8. n ∈ N . 3.Conjuntos.12. 6. 9.12.14.15} d) L'= { 2. 18} ⊂ A (A − B) I (A I B) = φ ( A − B ) I (B − A) = φ ( A I B ) I (B − A) = φ c) Ejemplo.13} f) L − J = { 6. Sean los siguientes conjuntos: U = { x x = n + 1. 4. 15. 5. 6.14.12. 18} d) Como C ⊂ B .13.10. 8.14. se tiene que: A − D = D− A =φ f) Como B I E = φ se tiene: B−E =B g) A − B = { 6. lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM Autor: Dr. 18} B'−A' = { 6. 3. 18} ⊂ A h) A I B = { 3. 7.10. n ∈ N .16} b) J I L = { 4.14} 7 d) L' J I L' l) ( J I L )' h) .10. J = { x x = 3n + 1. 3.11. 15. 7. 5.18} A − B = { 6.12.13.16} c) J '= { 2.10. 8. 18} A I B'= { 6. Obtener: a) J U L J −L i) L 'I J ' e) n ≤ 15} n < 6} n ≤ 7} b) J I L J' g) J ' U L k) ( J U L )' c) L−J j) L '− J ' f) Solución: Expresando los conjuntos por extensión: U = { 2. 8. 8. 9. L = { x x = 2n + 2 . 6.15.

13} i) L'I J ' = { 2.15} j) L'−J ' = { 7. 3. 5. 4. 3.14.13} k) ( J U L )'= { 2. El complemento de la unión de dos conjuntos es la intersección de sus complementos: ( A U B )' = A'I B' Utilizando diagramas se tiene: 8 Autor: Dr.Conjuntos. 9.15. 3.10.3 PROPIEDADES DE LOS CONJUNTOS Las propiedades más notables que rigen las operaciones con conjuntos son: 1.11.4 LEYES DE DE MORGAN Las Leyes de De Morgan permiten simplificar la unión e intersección de complementos: 1. 6.13. 5. 9.12. 5. Propiedades de idempotencia: AU A= A AI A= A 3. 8.14. 3. Propiedades de identidad: AUφ = A AUU =U AIφ =φ A IU = A 2.15} g) I.15} l) ( J I L )'= { 2. lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM J 'U L = { 2.11.11.16} h) J I L'= { 7. Propiedades asociativas: ( A U B ) U C = A U (B U C ) ( A I B ) I C = A I (B I C ) 4. 6. 7. Propiedades conmutativas: AU B = B U A AI B = B I A 5.12.1. 9. 8.1.11. 9. José Manuel Becerra Espinosa . 5. Propiedades distributivas: A U (B I C ) = ( A U B ) I ( A U C ) A I (B U C ) = ( A I B ) U ( A I C ) I.

# . A' es la región sombreada horizontalmente. representado por aquella superficie que no es blanca: ( A I B )' A'U B ' U U A B = Ejemplo. en el diagrama de la derecha. &. $. Dados los siguientes conjuntos: U = {>. Por su parte en el diagrama de la derecha.Conjuntos. representado por la superficie cuadriculada: ( A U B )' A'I B ' U U A B = A B 2. B ' es el área sombreada verticalmente. El complemento de la intersección de dos conjuntos es la unión de sus complementos: ( A I B )' = A'U B' Utilizando diagramas se tiene: A I B está dada por la región sombreada horizontalmente y ( A I B )' está representado por el área sombreada verticalmente. por lo que A'I B ' está En el diagrama de la izquierda. B ' es el área sombreada verticalmente. por lo que A'U B ' está En el diagrama de la izquierda. lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM Autor: Dr. ∇. José Manuel Becerra Espinosa A U B viene dada por la región en blanco y ( A U B )' está representado por el área sombreada verticalmente. Por su parte. <. A' es la región sombreada horizontalmente.*. →. ⊥. ∆. ◊. Ω} 9 A B .

lógica e inducción matemática Autor: Dr. José Manuel Becerra Espinosa A = {>.Página del Colegio de Matemáticas de la ENP-UNAM Conjuntos. Ω} A' U B' = {>. ⊥.2 LÓGICA MATEMÁTICA La Lógica estudia la forma del razonamiento. *. # . La proposición del inciso s también esta perfectamente expresada aunque para decir si es falsa o verdadera se tendría que esperar a que terminara el año. Ω} B' = {>. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. dos puntos y la proposición propiamente dicha. &. la Lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. p: México se encuentra en Europa. ∇.∆} _ (1) A' I B' = {&.Ω} Como (3) = (4) ⇒ ( A I B )' = A'U B' _ (3) _ (4) I. 10 . ∇. I. $. Ω} Comprobar las leyes de De Morgan: Solución: A U B = {>. $. Las proposiciones se indican por medio de una letra minúscula. →. Ejemplos. ∆} ( A U B )' = {&. aunque el valor de falso o verdadero depende del valor asignado a la variable x en determinado momento. son proposiciones validas. $.1 DEFINICIÓN Y CLASES DE PROPOSICIONES Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez. <.$. y se explica el porqué algunos enunciados no son proposiciones. *} B = { →. El inciso r también es una proposición valida. t: Hola ¿cómo estás? w: ¡Cómete esa fruta! Los enunciados p y q pueden tomar un valor de falso o verdadero. por lo tanto. ◊. Toda proposición consta de tres partes: un sujeto. <.⊥. ∆. ◊. Ω} A I B = { ◊. # . <. ∆.# . un verbo y un complemento referido al verbo. En un nivel elemental. ⊥.2. El razonamiento lógico se emplea en Matemáticas para demostrar teoremas.<.→.∆ . A continuación se tienen algunos ejemplos de proposiciones válidas y no válidas.∇.<. &. los enunciados t y w no son válidos. ◊. →. ya que no pueden tomar un valor de falso o verdadero. se usa en forma constante para realizar cualquier actividad en la vida.*. $. uno de ellos es un saludo y el otro es una orden.&. *} A' = {→. ∇. # . q: 15 − 6 = 9 r: 2 x − 3 > 7 s: Los precios de los teléfonos celulares bajarán a fin de año. sin embargo. &. La proposición es un elemento fundamental de la Lógica Matemática. ⊥.∆} _ (2 ) Como (1) = (2) ⇒ ( A U B )' = A'I B' ( A I B )' = {>. ⊥. # .<. Sin embargo.

Cerradas si tienen determinado el sujeto. lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM Autor: Dr. cerrada. 11 . m: x ≠ x − 2 es una proposición simple. De tal manera que la representación del enunciado anterior usando simbología lógica es como sigue: p = q∧r Su tabla de verdad es como sigue: q 1 1 0 0 r 1 0 1 0 p∧r 1 0 0 0 Donde. cerrada. 2 I. Los operadores o conectores básicos son: • Conjunción (operador and) Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero.2 CONECTIVOS LÓGICOS EN PROPOSICIONES COMPUESTAS Existen conectivos u operadores lógicos que permiten formar proposiciones compuestas. j: "Ella no nada muy rápido".F. negativa y verdadera.Conjuntos. r: Tengo dinero. Se puede notar que con cualquiera de las dos proposiciones que valga cero implica que no asisto al cine. formadas por varias proposiciones. 1 = verdadero 0 = falso En la tabla anterior el valor de q=1 significa que hay una buena película. y no hace frío". es una proposición simple. afirmativa y verdadera. l: 7 + 3 = 10 es una proposición simple. q: Hay una buena película. En caso contrario. cerrada y afirmativa. Afirmativas o Negativas. n: a + b = 6 es una proposición compuesta. es una proposición compuesta. Abiertas si no lo tienen determinado. Verdaderas o Falsas según correspondan o no a la realidad. Ejemplos. es una proposición compuesta. r=1 significa que tengo dinero y p=q∧r=1 significa que voy ir al cine. abierta y negativa. las proposiciones pueden ser: • • • • Simples si sólo tienen un sujeto. Se le conoce como multiplicación lógica y su símbolo es ∧ (and). Ejemplo. abierta y negativa. Sea el siguiente enunciado: "Voy al cine cuando hay una buena película y cuando tengo dinero " Sean: p: Voy al cine. k: “Cuernavaca no está al norte del D. Según lo afirmen o nieguen. abierta y afirmativa. es decir. son proposiciones Compuestas. h: "Ana come pizza y bebe refresco". un verbo y un complemento. José Manuel Becerra Espinosa En general.2.

Esto significa que sí alguna proposición es verdadera y se le aplica el operador not se obtendrá su negación (falso) y viceversa. Ejemplo. Ejemplo.Conjuntos. y cuando ambas son verdad. p’: El león no es el rey de la selva. Sea el siguiente enunciado: “Para ir a Toluca puedo tomar la carretera federal o tomar la autopista de cuota” Sean: p: Ir a Toluca. lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM • Autor: Dr. cuyo funcionamiento es semejante al operador Or con la diferencia de que su resultado es verdadero solamente si una de las proposiciones es cierta. Sean las proposiciones: p: Ya es tarde. Su tabla de verdad es como sigue: p 1 0 p’ 0 1 En la tabla anterior el valor de p=1 significa que el león es el rey de la selva. con ayuda de los operadores básicos se pueden formar los operadores compuestos Nand (combinación de los operadores Not y And). q 1 1 0 0 r 1 0 1 0 p∨r 1 1 1 0 En la tabla anterior el valor de q=1 significa tomar la carretera federal. el resultado es falso. Sea el siguiente enunciado: “El león es el rey de la selva” Sean: p: El león es el rey de la selva. y p=0 significa que el león 1 no lo es . Nor (combina operadores Not y Or) y Xnor (resultado de Xor y Not). Ejemplo. Se puede representar simbólicamente de la siguiente manera: p∧q∨r’ 1 Además de los operadores básicos (And. r: Tomar la autopista de cuota. 12 . r: Me levantaré temprano. q: Tomar la carretera federal. El enunciado: "Ya es tarde y tengo que dormirme o no me levantaré temprano”. Se puede notar que con cualquiera de las dos proposiciones que valga uno implica que llego a Toluca. • Negación (operador not) Su función es negar la proposición. José Manuel Becerra Espinosa Disyunción (operador or) Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Se conoce como suma lógica y su símbolo es ∨ (or). Por otro lado. Este operador se indica por medio del símbolo ’. r=1 significa tomar la autopista de cuota y p=q∨r=1 significa ir a Toluca. Or y Not) existe el operador Xor. q: Tengo que dormirme.

4 PROPOSICIÓN BICONDICIONAL Sean p y q dos proposiciones. I. Un profesionista dice "Si ahorro me podré comprar una casa en tres años ". por lo tanto p→q =1 (el profesionista dijo la verdad). Cuando p=1 y q=0 significa que p→q =0. Una declaración como esta se conoce como condicional. lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM Autor: Dr. tiene credencial de elector" Donde: p: Una persona puede votar. Cuando p=0 y q=0 se interpreta que aunque no ahorró tampoco se compró la casa. Se indica de la siguiente manera: p↔q (se lee "p si y sólo si q") Ejemplo. Sean: p: Ahorro.2.2. Una doble implicación o proposición es bicondicional cuando p es verdadera si y solo si q es también verdadera. q: Podrá comprar una casa en tres años .Conjuntos. De tal manera que el enunciado se puede expresar como: p→q Su tabla de verdad es de la siguiente manera: p 1 1 0 0 q 1 0 1 0 p→q 1 0 1 1 La interpretación de los resultados de la tabla es la siguiente: Analizando si el profesionista mintió con la afirmación del enunciado anterior: Cuando p=1 significa que ahorró y q=1 que se compró la casa en tres años. p→q =1. Cuando p=1 y q=0 significa que p→q =0. O bien p es falsa si y sólo si q también lo es. José Manuel Becerra Espinosa I. así que no mintió. de tal forma que p→q =1. p 1 1 0 0 q 1 0 1 0 p↔q 1 0 0 1 La interpretación de los resultados de la tabla es la siguiente: Cuando p=1 significa que una persona puede votar y q=1 que tiene credencial. Su tabla de verdad es. si y sólo si. Se indica de la siguiente manera: p→q (se lee "si p entonces q") Ejemplo. por lo tanto p→q =1 ya que tampoco mintió. Cuando p=0 y q=1 significa que aunque no ahorró se compró la casa (ya tenía los recursos).3 PROPOSICIONES CONDICIONALES Una implicación o proposición condicional. al ser esto cierto. el profesionista mintió. Cuando p=0 y q=1 significa que una persona no puede votar aunque tenga credencial (por ejemplo los 13 . q: Tiene credencial de elector. ya que ahorró y no se compró la casa. una persona puede no votar. es aquella que está formada por dos proposiciones simples (o compuesta) p y q. ya que no posee la credencial. Sea el siguiente enunciado: "Una persona puede votar.

Ejemplo. r: Me quedaré sin dinero.2. Y Si me quedo sin dinero y pido prestado. t: Pagar la deuda. p 0 0 1 1 q 0 1 0 1 p’ 1 1 0 0 q’ 1 0 1 0 p→q 1 1 0 1 14 q’→p’ 1 1 0 1 (p→q)↔(q’→p’) 1 1 1 1 . Solución. elaborar su tabla de verdad. Dada la siguiente proposición: [(p→q)∨(q’∧r)]↔(r→q). EQUIVALENCIA Y CONTRADICCIÓN Tautología es aquella proposición (compuesta) que es cierta para todos los valores de verdad de sus variables.5 TAUTOLOGÍA. Ejemplo. Cuando p=0 y q=0 se interpreta como que ni puede votar ni tiene credencial. Un ejemplo típico es la proposición contrapositiva cuya tabla de verdad se indica a continuación. entonces no podré pagar la deuda. w: Soy desorganizado. Y Si pago la luz. lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM Autor: Dr.Conjuntos. No de líneas = donde 2n n es el número de variables distintas. si y sólo si soy desorganizado" Solución p: Pago la luz. esto es que p→q =0. p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 q’ 1 1 0 0 1 1 0 0 p→q 1 1 1 1 0 0 1 1 (q’∧r) 0 1 0 0 0 1 0 0 (p→q)∨ (q’∧r) 1 1 1 1 0 1 1 1 r→q 1 0 1 1 1 0 1 1 [(p→q)∨(q’∧r)]↔(r→q) 1 0 1 1 0 0 1 1 I. por lo tanto es cierto p→q =1. q: Me cortarán la corriente eléctrica. s: Pediré prestado. (p’→q)∧[p→(r∨s)]∧[(r∧s)→t’]↔w El número de líneas de la tabla de verdad depende del número de variables de la expresión y se puede calcular por medio de la siguiente formula. Representar simbólicamente el enunciado: "Si no pago la luz. José Manuel Becerra Espinosa residentes en el extranjero). entonces me quedaré sin dinero o pediré prestado. entonces me cortarán la corriente eléctrica.

. es decir. o simplemente equivalentes. I. lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM Autor: Dr. Como lo muestra su correspondiente tabla de verdad..Conjuntos. Se indican como p≡q.6 LEYES NOTABLES EN LÓGICA Las leyes de lógica más notables son las que se enlistan a continuación: 1. Las tautologías son muy importantes en Lógica Matemática ya que se consideran leyes en las cuales se puede apoyar para realizar demostraciones..Leyes de idempotencia (p∨p) ↔ p (p∧p) ↔ p 3. En el ejemplo anterior..Leyes de De Morgan (p∨q)' ↔ (p'∧q') (p∧q)' ↔ (p'∨q') 15 .2. Se dice que dos proposiciones son lógicamente equivalentes.Leyes distributivas [p∨(q∧r)] ↔ [(p∨q)∧(p∨r)] [p∧(q∨r)] ↔ [(p∧q)∨(p∧r)] 6. una de las mas usadas y mas sencilla es p∧p’ . por lo tanto se puede establecer que (p→q) ≡ (q’→p’) Contradicción es aquella proposición que siempre es falsa para todos los valores de verdad. Si coinciden sus resultados para los mismo valores de verdad.Ley de doble negación p''↔p 2. es una falacia. la proposición p∧p’ equivale a decir que "El coche es verde y el coche no es verde". Si se tiene p: “El coche es verde”..Leyes conmutativas (p∨q) ↔ (q∨p) (p∧q) ↔ (q∧p) (p↔q) ↔ (q↔p) 5. p 0 1 p’ 1 0 p∧p’ 0 0 Ejemplo. Por lo tanto se esta contradiciendo.Leyes asociativas [(p∨q)∨r] ↔ [p∨(q∨r)] [(p∧q)∧r] ↔ [p∧(q∧r)] 4. se puede observar que las columnas de (p→q) y (q’→p’) son iguales para los mismos valores de verdad.. José Manuel Becerra Espinosa Nótese que en las tautologías para todos los valores de verdad el resultado de la proposición es siempre uno.

7 MÉTODOS DE DEMOSTRACIÓN Todo enunciado puede ser planteado en términos de teoremas.. • Método de demostración por reducción al absurdo En el método de demostración de reducción al absurdo.. ⋅⋅⋅ pn son hipótesis (o premisas) derivadas del mismo problema y que se consideran válidas. a saber. es decir en la afirmación a la que se quiere llegar. Prácticamente todos los teoremas matemáticos están compuestos por implicaciones del tipo: (p1∧p2∧⋅⋅⋅∧pn) → q donde las pi son llamadas hipótesis o premisas. ⋅⋅⋅ pn son escalones que deberán alcanzarse hasta llegar a la solución. p2. y pn también es cierta entonces (→) la conclusión (q) es cierta. p3.. ahora de p a q. "Demostrar el teorema".2. que normalmente presenta el siguiente formato: (p1∧p2∧⋅⋅⋅∧pn) →q Como se establece p1. sino también tautologías conocidas. p3. que q es verdadera se puede proceder haciendo una pregunta muy 16 . ⋅⋅⋅ pn) hasta llegar al objetivo o conclusión (q). se verifica que el camino inverso que se ha encontrado. Un teorema por lo general es resultado de un planteamiento de un problema. Se fija la atención primeramente en q. es demostrar que la implicación es una tautología. Ahora. José Manuel Becerra Espinosa 1. Pero una vez que se logra el objetivo se deben plantear nuevos objetivos que permitan la superación.Página del Colegio de Matemáticas de la ENP-UNAM Conjuntos. es correcto.. ⋅⋅⋅ pn de las que q se podría deducir. se va tratando de buscar situaciones intermedias p1. • El método de demostración indirecta El método de demostración indirecta consiste en proceder al revés. p3. se debe empezar suponiendo que p es verdadera. Pero además deberán conectarse con el operador And (∧).. Para realizar la demostración formal del teorema se deberá partir de las hipótesis. para llegar a la conclusión buscada.. ya que son producto de reglas de inferencia. entonces se sabe que q es verdadera. al igual que se hacía en el método de demostración directa. lo cual implica que p1 es cierta y (∧) p2 es verdad y (∧). p2. p2. Nótese que no se trata de demostrar que q (la conclusión) es verdadera. que se supone verdadera. Cuando se encuentra. sin embargo. deben estar enfocadas hacia la última proposición obtenida. El camino que se debe seguir para llevar a cabo una demostración formal usando el método directo significa que si se sabe que p1 es verdadera... y q es llamada conclusión. antes de llegar a la solución debemos alcanzar ciertas metas (p1. lógica e inducción matemática Autor: Dr. Se identifica si alguna de estas podría estar relacionada con la situación p.. p2. Sin embargo no solamente las hipótesis y reglas de inferencia pueden aparecer en una demostración formal. Ubicada la premisa p. Es importante resaltar que las proposiciones deducidas de p no deben ser hechas de cualquier modo. se podría deducir de ella. Lo mismo ocurre con todo tipo de problemas que se nos presentan en la vida. y pn también es verdadera. p3. p2 es verdadera. En el teorema anterior cada uno de los pasos p1. y deducir de ella una nueva proposición q que se pueda ver que es verdadera como resultado de que p lo es. y después obtener una serie de pasos que también deben ser válidos. sino solamente que q es verdadera si todas las pi son verdaderas. Los métodos de demostración más conocidos son los siguientes: • Demostración por el método directo El método de demostración directa parte de la proposición p.

Por lo tanto la raíz cuadrada de un número natural no es racional. El objetivo del método de demostración por reducción al absurdo es. u: “140 es divisible por 5”. Algunas de las proposiciones particulares que se pueden deducir de éstas son respectivamente: s: “Beto tiene derecho a la educación”. q: “En todo paralelogramo las diagonales se cortan en el punto medio de ambas”. s: “Beto tiene derecho a la educación”. José Manuel Becerra Espinosa simple: “¿Por qué no puede q ser falsa?”. Solución. Ejemplo. 17 . descubrir esa razón. En el método por contraposición. debe haber alguna razón por la que no pueda ser falsa. sin embargo. En la práctica la demostración por reducción al absurdo inicia considerando como hipótesis q’ y finaliza cuando el proceso de demostración obtiene dos proposiciones que se contradicen una a la otra. r: “Todos los números que terminan en cero son divisibles por 5”. Sean los números naturales A y B primos entre sí con B ≠ 1 Suponiendo un número racional de la forma Si se eleva al cuadrado: n= n= A B A2 B2 Resulta un absurdo puesto que el miembro izquierdo es natural y el miembro derecho es racional e irreducible. Ejemplos: p: “Todos los niños en México tienen derecho a la educación”. tiene la ventaja de que se va a dirigir hacia una contradicción concreta. lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM Autor: Dr. La idea es suponer que p es verdadera y q falsa y ver que no puede ocurrir esto. si q tiene que ser verdadera.Conjuntos. son las siguientes: p: “Todos los niños de México tienen derecho a la educación”.3 INDUCCIÓN MATEMÁTICA Dentro de las Matemáticas existen proposiciones tanto generales como particulares. Después de todo. • La demostración por contraposición El método de la demostración por contraposición. no se parte de p y q’. se supone que tanto p como q’ son verdaderas. Ejemplos de proposiciones generales. con lo que ya se ha llegado a una contradicción ¿qué mejor contradicción? ¿cómo puede ser p a la vez verdadera y falsa? I. v: “Beto es niño mexicano”. En la demostración por contraposición. Demostrar por reducción al absurdo que la raíz cuadrada de un número natural es natural o irracional. al igual que la demostración por reducción al absurdo. sino que se empieza a trabajar solamente con q’ y el objetivo es llegar a que p es falsa. precisamente. El paso de las proposiciones generales a las particulares se denomina deducción. t: “Las diagonales del paralelogramo ABCD se cortan en el punto medio de ambas”.

lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM Autor: Dr. De la proposición particular p se ha obtenido la proposición q. La pregunta que surge ahora es: ¿cómo debe de emplearse la inducción en las Matemáticas para llegar siempre a conclusiones verdaderas? Los ejemplos considerados permiten concluir fácilmente que una proposición puede ser válida en una serie de casos particulares y no serlo en general.Conjuntos. w: “Todos los números de tres dígitos son divisibles por 5”. Demostrar. la forma lógica de razonamiento que parte de proposiciones particulares y llega a las generales se denomina inducción. a conclusiones falsas. Se tiene una proposición válida en varios casos particulares y es imposible analizar todos los casos. que también es válida para n = k + 1. donde k es un número arbitrario Si estas condiciones se cumplen se puede afirmar que la proposición es válida para todo número natural. José Manuel Becerra Espinosa Se observa que la proposición s ha sido deducida de la proposición p mediante la proposición v. Ahora surge otra pregunta. el proceso de demostración de una identidad enunciada para todos los números naturales consta de tres pasos: 1. 2) u: “140 es divisible por 5”. Para todo fin práctico. q: “Todos los números que terminan en cero son divisibles por 5”. Verificar el cumplimiento de la identidad para n = 1 2. 1) p: “140 es divisible por 5”. Aplicando el principio de inducción matemática. La inducción puede llevar a conclusiones verdaderas o. mediante procesos algebraicos. Ahora bien. Esto consta de verificar que se cumplan las siguientes condiciones: • • La proposición es válida para La proposición es válida para n =1 n = k + 1 si lo es para n = k . Ejemplos. ¿Cuándo se puede afirmar que esta proposición es válida en general? La respuesta se logra aplicando un razonamiento especial conocido como método de inducción matemática: Toda demostración que se basa en el principio de inducción matemática se denomina “demostración por inducción”. demostrar las siguiente identidades: 1) 1 + 2 + 3 + 4 + ⋅ ⋅ ⋅ + n = Solución: Se verifica la validez para 1(1 + 1) 2 = =1 2 2 Se establece para n = k : n(n + 1) 2 n = 1: 1= 18 . De la proposición particular u se ha obtenido la proposición w que es falsa. Ejemplos. que es verdadera. Establecer la identidad para n = k 3.

para n = k + 1 se tiene: 2 1 + 3 + 5 + 7 + ⋅ ⋅ ⋅ + 2[(k + 1) − 1] = (k + 1) _ (2 ) sumando [2(k + 1) − 1] en ambos miembros de la expresión (1) : 1 + 3 + 5 + 7 + ⋅ ⋅ ⋅ + 2(k − 1) + 2[(k + 1) − 1] = k 2 + [2(k + 1) − 1] 1 + 3 + 5 + 7 + ⋅ ⋅ ⋅ + 2(k − 1) + 2[(k + 1) − 1] = k 2 + 2k + 2 − 1 1 + 3 + 5 + 7 + ⋅ ⋅ ⋅ + 2(k − 1) + 2[(k + 1) − 1] = k 2 + 2k + 1 Se establece para factorizando el trinomio: 1 + 3 + 5 + 7 + ⋅ ⋅ ⋅ + 2(k − 1) + 2[(k + 1) − 1] = (k + 1) _ (3) como (2) = (3) queda demostrada la validez para n = k + 1 .Conjuntos. José Manuel Becerra Espinosa _ (1) = k + 1 se tiene: (k + 1)[(k + 1) + 1] = (k + 1)(k + 2) 1+ 2 + 3 + 4 + ⋅⋅⋅ + k +1 = 2 2 sumando k + 1 en ambos miembros de la expresión (1) : k (k + 1) 1 + 2 + 3 + 4 + ⋅ ⋅ ⋅ + k + (k + 1) = + (k + 1) 2 Ahora. 2  n(n + 1) 3) 1 + 2 + 3 + 4 + ⋅ ⋅ ⋅ + n =  2  3 3 3 3 2 3 Solución: Se verifica la validez para n = 1: 1(1 + 1)  2 13 =  =   = 12 = 1   2  2 Se establece para n = k : 2 _ (2 ) 2 19 _ (3) . lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM 1+ 2 + 3 + 4 + ⋅⋅⋅ + k = k (k + 1) 2 Autor: Dr. para n expresando convenientemente: 1+ 2 + 3 + 4 + ⋅⋅⋅ + k + k +1 = factorizando (k + 1) : 2 1+ 2 + 3 + 4 + ⋅⋅⋅ + k +1 = k (k + 1) 2(k + 1) + 2 2 (k + 1)[(k + 1) + 1] = (k + 1)(k + 2) 2 como (2) = (3) queda demostrada la validez para n = k + 1 .1) = n Solución: Se verifica la validez para n = 1 : 2 1 = 12 n=k: 1 + 3 + 5 + 7 + ⋅ ⋅ ⋅ + 2(k .1) = k 2 _ (1) Ahora. 2 2) 1 + 3 + 5 + 7 + ⋅ ⋅ ⋅ + 2(n .

para n = k + 1 se tiene: 3 3 3 3 2 Autor: Dr. para n = k + 1 se tiene: (k + 1)[(k + 1) + 1][2(k + 1) + 1] = (k + 1)(k + 2)(2k + 3) 2 12 + 2 2 + 32 + 4 2 + ⋅ ⋅ ⋅ + (k + 1) = 6 6 2 sumando (k + 1) en ambos miembros de la expresión (1) : 20 _ (2 ) .Conjuntos. José Manuel Becerra Espinosa _ (1) 3  (k + 1)[(k + 1) + 1]  (k + 1)(k + 2 )  1 + 2 + 3 + 4 + ⋅ ⋅ ⋅ + (k + 1) =  =   2 2    3 sumando (k + 1) en ambos miembros de la expresión (1) : 2 3 3 3 3 3 2 _ (2 )  k (k + 1)  3 1 + 2 + 3 + 4 + ⋅ ⋅ ⋅ + k + (k + 1) =  + (k + 1)   2  2 3 3 3 3 3 3 expresando convenientemente: [k (k + 1)]2 4(k + 1) 4 4 2 3 2 k (k + 1) + 4(k + 1) 3 3 3 3 3 3 1 + 2 + 3 + 4 + ⋅ ⋅ ⋅ + k + (k + 1) = 4 2 (k + 1) : factorizando 4 2 ( k + 1) k 2 + 4(k + 1) 3 3 3 3 3 3 1 + 2 + 3 + 4 + ⋅ ⋅ ⋅ + k + (k + 1) = 4 2 2 (k + 1) k + 4k + 4 3 13 + 2 3 + 33 + 4 3 + ⋅ ⋅ ⋅ + k 3 + (k + 1) = 4 2 2 ( k + 1) (k + 2 ) 3 3 3 3 3 3 1 + 2 + 3 + 4 + ⋅ ⋅ ⋅ + k + (k + 1) = 4 13 + 2 3 + 33 + 4 3 + ⋅ ⋅ ⋅ + k 3 + (k + 1) = 3 3 + [ ] [ ] expresando en términos de cuadrados:  (k + 1)(k + 2 )  1 + 2 + 3 + 4 + ⋅ ⋅ ⋅ + (k + 1) =   2  3 3 como 3 _ (3) (2) = (3) queda demostrada la validez para n = k + 1 . lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM  k (k + 1)  1 + 2 + 3 + 4 + ⋅⋅⋅ + k =   2  Ahora. 4) 1 + 2 + 3 + 4 + ⋅ ⋅ ⋅ + n = 2 2 3 3 2 2 2 2 n(n + 1)(2n + 1) 6 Solución: Se verifica la validez para n = 1: 1(1 + 1)(2(1) + 1) 1(2 )(3) 6 12 = = = =1 6 6 6 Se establece para n = k : k (k + 1)(2k + 1) 12 + 2 2 + 32 + 4 2 + ⋅ ⋅ ⋅ + k 2 = _ (1) 6 Ahora.

lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM 12 + 2 2 + 32 + 4 2 + ⋅ ⋅ ⋅ + k 2 + (k + 1) = 2 expresando convenientemente: 12 + 2 2 + 32 + 4 2 + ⋅ ⋅ ⋅ + k 2 + (k + 1) = 2 factorizando (k + 1) : 12 + 2 2 + 32 + 4 2 + ⋅ ⋅ ⋅ + k 2 + (k + 1) = 2 Autor: Dr.Conjuntos. 1 1 1 1 1 n + + + + ⋅⋅⋅ + = 1(2 ) 2(3) 3(4 ) 4(5) n(n + 1) n + 1 Solución: Se verifica la validez para n = 1: 1 1 1 = = 1(2 ) 1 + 1 2 n=k: 1 1 1 1 1 k + + + + ⋅⋅⋅ + = _ (1) 1(2 ) 2(3) 3(4 ) 4(5) k (k + 1) k + 1 Ahora. José Manuel Becerra Espinosa k (k + 1)(2k + 1) 2 + (k + 1) 6 k (k + 1)(2k + 1) + 6(k + 1) 6 2 (k + 1)[k (2k + 1) + 6(k + 1)] 6 (k + 1) 2k + k + 6k + 6 2 12 + 2 2 + 32 + 4 2 + ⋅ ⋅ ⋅ + k 2 + (k + 1) = 6 2 (k + 1) 2k + 7k + 6 2 12 + 2 2 + 32 + 4 2 + ⋅ ⋅ ⋅ + k 2 + (k + 1) = 6 [ 2 [ ] ] factorizando el trinomio: 2k 2 + 7 k + 6 = (2k )2 + 2(7k ) + 2(6) = (2k )2 + 7(2k ) + 12 = (2k + 4)(2k + 3) = (k + 2)(2k + 3) 2 2 por lo tanto: 12 + 2 2 + 32 + 4 2 + ⋅ ⋅ ⋅ + (k + 1) = 2 como 5) 2 (k + 1)(k + 2)(2k + 3) 6 _ (3) (2) = (3) queda demostrada la validez para n = k + 1 . para n = k + 1 se tiene: 1 1 1 1 1 k +1 k +1 + + + + ⋅⋅⋅ + = = _ (2 ) (k + 1)(k + 2) (k + 1) + 1 k + 2 1(2 ) 2(3) 3(4 ) 4(5) 1 sumando en ambos miembros de la expresión (1) : (k + 1)(k + 2) 1 1 1 1 1 1 k 1 + + + + ⋅⋅⋅ + + = + 1(2 ) 2(3) 3(4 ) 4(5) k (k + 1) (k + 1)(k + 2 ) k + 1 (k + 1)(k + 2 ) 1 1 1 1 1 1 k (k + 2 ) + 1 + + + + ⋅⋅⋅ + + = 1(2 ) 2(3) 3(4 ) 4(5) k (k + 1) (k + 1)(k + 2 ) (k + 1)(k + 2 ) Se establece para 1 1 1 1 1 1 k 2 + 2k + 1 + + + + ⋅⋅⋅ + + = 1(2) 2(3) 3(4) 4(5) k (k + 1) (k + 1)(k + 2) (k + 1)(k + 2) factorizando el trinomio: 21 .

José Manuel Becerra Espinosa (k + 1) 1 1 1 1 1 1 + + + + ⋅⋅⋅ + + = 1(2 ) 2(3) 3(4 ) 4(5) k (k + 1) (k + 1)(k + 2 ) (k + 1)(k + 2 ) 2 reduciendo: 1 1 1 1 1 k +1 + + + + ⋅⋅⋅ + = _ (3) 1(2 ) 2(3) 3(4 ) 4(5) (k + 1)(k + 2) k + 2 como (2) = (3) queda demostrada la validez para n = k + 1 .1) 3 1(2 ) + 3(4 ) + 5(6 ) + ⋅ ⋅ ⋅ + [2(k + 1) − 1]2(k + 1) = _ (1) (k + 1)[(k + 1) + 1][4(k + 1) − 1] 3 (k + 1)(k + 2)(4k + 3) 1(2 ) + 3(4 ) + 5(6 ) + ⋅ ⋅ ⋅ + [2(k + 1) − 1]2(k + 1) = _ (2 ) 3 sumando [2(k + 1) − 1]2(k + 1) en ambos miembros de la expresión (1) : k (k + 1)(4k − 1) 1(2 ) + 3(4 ) + 5(6 ) + ⋅ ⋅ ⋅ + (2k − 1)2k + [2(k + 1) .1) 3 n = 1: 1(1 + 1)(4(1) − 1) 1(2 )(3) 6 1(2 ) = = = =2 3 Se establece para 3 n=k: 3 1(2 ) + 3(4 ) + 5(6 ) + ⋅ ⋅ ⋅ + (2k − 1)2k = Ahora.Conjuntos. para n = k + 1 se tiene: k (k + 1)(4k . 6) 1(2 ) + 3(4 ) + 5(6 ) + ⋅ ⋅ ⋅ + (2 n − 1)2n = Solución: Se verifica la validez para n(n + 1)(4n .1]2(k + 1) = 3 2 (k + 1) 4k + 11k + 6 1(2 ) + 3(4 ) + 5(6 ) + ⋅ ⋅ ⋅ + (2k − 1)2k + [2(k + 1) − 1]2(k + 1) = 3 [ ] [ ] factorizando el trinomio: 4k 2 + 11k + 6 = (4k )2 + 4(11k ) + 4(6) = (4k )2 + 11(4k ) + 24 = (4k + 8)(4k + 3) = (k + 2)(4k + 3) 4 por lo tanto: 1(2 ) + 3(4 ) + 5(6 ) + ⋅ ⋅ ⋅ + [2(k + 1) − 1]2(k + 1) = 4 (k + 1)(k + 2)(4k + 3) 3 como (2) = (3) queda demostrada la validez para n = k + 1 .1]2(k + 1) = + [2(k + 1) − 1]2(k + 1) 3 k (k + 1)(4k − 1) + 6(k + 1)(2k + 1) 1(2 ) + 3(4 ) + 5(6 ) + ⋅ ⋅ ⋅ + (2k − 1)2k + [2(k + 1) . lógica e inducción matemática Página del Colegio de Matemáticas de la ENP-UNAM Autor: Dr. 22 4 _ (3) .1]2(k + 1) = 3 factorizando k + 1 : (k + 1)[k (4k − 1) + 6(2k + 1)] 1(2 ) + 3(4 ) + 5(6 ) + ⋅ ⋅ ⋅ + (2k − 1)2k + [2(k + 1) .1]2(k + 1) = 3 2 (k + 1) 4k − k + 12k + 6 1(2 ) + 3(4 ) + 5(6 ) + ⋅ ⋅ ⋅ + (2k − 1)2k + [2(k + 1) .