Lógica Matemática UCC Cap 4

CAPTULO 4
APLICACIONES DE LA LOGICA MATEMATICA A LA

INGENIERA
Muchas palabras no dan prueba del hombre sabio,
porque el sabio no ha de hablar sino cuando la necesidad
demanda, y las palabras han de ser medidas y
correspondientes a la necesidad
Thales de Mileto
TEMAS
Pag.
INTRODUCCIN
6
1.1 CONCEPTOS FUNDAMENTALES DE LA LGICA MATEMTICA
8
1.1.1 La proposicin y su papel en las matemticas. Porceso de verificacin de la
8
verdade de una proposicin.
Prctica 1.1
10
Prctica 1.2
17
Prctica 1.3
20
1.1.2 Conectivos y operaciones proposicionales
21
1.1.2.1 Negacin
22
1.1.2.2 Conjuncin
23
1.1.2.3 Disyuncin
27
1.1.2.4 Condicional o Implicacin
29
Prctica 1.4
32
1.1.2.5 Bicondicional o Equivalencia
34
Prctica 1.5
36
1.1.3 Negacin de las operaciones lgicas
37
1.1.3.1 Negacin de la Conjuncin o Primera ley de De Morgan
37
1.1.3.2 Negacin de la Disyuncin o Segunda ley de De Morgan
37
1.1.3.3 Negacin del Condicional o Implicacin
39
1.1.3.4 Negacin del Bicondicional o Equivalencia
41
Prctica 1.6
43
1.2 FRMULAS BIEN FORMADAS O FBF
46
1.2.1 Conceptod fundamentales
47
1.2.2 Tautologa
52
1.2.3 Contradiccin
52
Prctica 1.7
53
1.2.4 Implicaciones Tautolgicas
54
Prctica 1.8
55
1.2.5 Equivalencias tautolgicas
56
Prctica 1.9
58
Cicern Jimnez Sierra
Una introduccin a la lgica matemtica y conjuntos para estudiantes de ingeniera
1.3 DEDUCCIN O INFERENCIA

1.3.1 Leyes o Reglas de inferencia
1.3.2.1 Ley de razonamiento Modus Ponendo Ponens
1.3.2.2 Ley de razonamiento Modus Tollendo Tollens
1.3.2.3 Ley de razonamiento Modus Tollendo Ponens
1.3.2.4 Ley de razonamiento Simplificacin
1.3.2.5 Ley de razonamiento Adjuncin
1.3.2.6 Ley de razonamiento Simplificacin Disyuntiva
1.3.2.7 Ley de razonamiento Adicin
1.3.2.8 Ley de razonamiento Silogismo Hipottico
1.3.2.9 Ley de razonamiento Silogismo Disyuntivo
1.4.1 Mtodos de demostracin de la validez de un razonamiento por reduccin al
abasurdo
1.4.1.1 Mtodo Directo
Prctica 1.10
1.4.1.2 Mtodo Indirecto por reducci al absurdo
Prctica 1.11
BIBLIOGRAFIA
58
61
61
67
72
75
76
78
79
80
82
84
84
89
92
94
95
Georg Ferdinand Ludwig Philipp Cantor.

[San Petersburgo, 1845 Halle, Alemania, 1918]
Informacin tomada de Gnesis y evolucin del pensamiento cientfico. Documento de
Henri Poincar disponible en http://www.euclides.org/menu/articles/article101.htm
Biografa y Vidas: http://www.biografiasyvidas.com/biografia/c/cantor.htm .
Georg Ferdinand Ludwig Philipp

Cantor.
Matemtico alemn de origen ruso. El joven
Cantor permaneci en Rusia junto a su
familia durante once aos, hasta que la
delicada salud de su padre les oblig a
trasladarse a Alemania. En 1862 ingres
en la Universidad de Zurich, pero tras la
muerte de su padre, un ao despus, se
traslad a la Universidad de Berln, donde
estudi matemticas, fsica y filosofa. Se
doctor en 1867 y empez a trabajar como
profesor adjunto en la Universidad de
Halle. En 1874 public su primer trabajo
sobre teora de conjuntos. Entre 1874 y
1897, demostr que el conjunto de los nmeros enteros tena el mismo nmero
de elementos que el conjunto de los nmeros pares, y que el nmero de puntos
en un segmento es igual al nmero de puntos de una lnea infinita, de un
plano y de cualquier espacio. Es decir, que todos los conjuntos infinitos tienen
el mismo tamao.
Consider estos conjuntos como entidades completas con un nmero de
elementos infinitos completos. Llam a estos nmeros infinitos completos
nmeros transfinitos y articul una aritmtica transfinita completa. Por este
trabajo fue ascendido a profesor en 1879.
Sin embargo, el concepto de infinito en matemticas haba sido tab hasta
entonces, y por ello se granje algunos enemigos, especialmente Leopold
Kronecker, que hizo lo imposible por arruinar su carrera. Estancado en una
institucin docente de tercera clase, privado del reconocimiento por su trabajo
y constantemente atacado por Kronecker, sufri su primera crisis nerviosa en
1884.
Sus teoras slo fueron reconocidas a principios del siglo XX, y en 1904 fue
galardonado con una medalla de la Sociedad Real de Londres y admitido
tanto en la Sociedad Matemtica de Londres como en la Sociedad de Ciencias
de Gotinga. En la actualidad se le considera como el padre de la teora de
conjuntos, punto de partida de exepcional importancia en el desarrollo de la
matemtica moderna. Muri en una institucin mental.
1.1
CONJUNTOS
1.1.1 Conceptos Generales

El concepto de conjunto hace parte de una de las teoras de la matemtica llamada teora de
conjuntos. En ella, este es un concepto primitivo y por consiguiente no se puede definir; no
existe un concepto anterior a este por ser fundamental. Se tiene la idea de que es una
agrupacin de objetos llamados elementos.
Figura 2. Conjunto de figuras geomtricas planas
Un conjunto se denota, se nombra, por letras maysculas A, B, C,... Tambin con una letra
mayscula subindizada como A1, A2, A3, An. Los elementos de un conjunto se determinan
de dos maneras: por Extensin o Comprensin. Un conjunto se determina por extensin
cuando se nombran sus elementos y por comprensin cuando se da una propiedad o
caracterstica de ellos.
Figura 1. Mapa conceptual sobre el concepto de conjunto
En la figura inmediatamente anterior se tiene un conjunto de figuras geomtricas que

denotaremos por G, el cual se expresa por extensin y comprensin del siguiente modo:
Determinacin por extensin, G = {tringulo escaleno, paralelogramo, trapecio, crculo,
hexgono, rombo, tringulo rectngulo, pentgono}.
Determinacin por comprensin, G = {x: x es figura geomtrica}; el cual se lee: el conjunto
de las x tal que x es figura geomtrica.
Los conjuntos A = {a, e, i, o, u} y N = {1, 2, 3, 4, 5,...} estn determinados por extensin
mientras que A = {x/x es vocal} y N = {y: y es nmero natural} estn determinados por
comprensin.
Conjuntos vaco y unitario.

Definicin 4.1 Un conjunto A es vaco si y solo si A carece de elementos. Se
denota por { } o por medio de la letra griega fi, . Un conjunto

A es unitario si y solo si A tiene un solo elemento.
El conjunto M = {z: z es satlite artificial de Plutn} es vaco y

natural de la tierra} es unitario.
L = {w: w es satlite
Ejemplo 4.1

2
Determinar si el conjunto A x : x 2 x30 es vaco o unitario.
2
Solucin. La ecuacin x 2 x 3 0 es de la forma general ax2 bx c 0 la cual puede
resolverse por la frmula x
x
2
2 1
4 1 3
b b 2 4ac
, donde a 1, b 2 y
2a
2 48
2 4
2 4i
2 2i
2 1 i
1 i .
c 3 . As,
Por tanto,
las soluciones o races de esta ecuacin x 1 i y x 1 i son nmeros que no son relaes
2
(son nmeros complejos). Por consiguiente, A x :x 2 x30 ; A es un conjunto
vaco.
Ejemplo 4.2

2
Determinar si el conjunto B x : 9 x 6 x1000 es vaco o unitario.
2
Solucin. La ecuacin 9 x 60 x 100 0 es de la forma general ax2 bx c 0 , la cual
puede resolverse por la frmula x
x
60
b b 2 4ac
, donde a 9, b 60 y c 100 . As,
2a
60 4 9100 6
2 9
2
3600 3600 2 0 2 0 2 1
.
18
18
18
18 9
Por
1
tanto, hay una nica solucin o raz de esta ecuacin x , es un nmeros real. Por
9
1
2
consiguiente, B x : x 2 x30 ; B es un conjunto unitario.
Ejemplo 4.3
2
3
2
Determinar si el conjunto C x :x es vaco o unitario.
Solucin. La ecuacin
x2
2
0 es de la forma general ax2 bx c 0 . Si se desea,
3
2
b b 2 4ac
puede resolverse por la frmula x
, donde a 1, b 0 y c . En lugar
3
2a
2
2
2
2
de esto, x 2 . Por tanto, x
. As, x
y x
son nmeros reales. Por
3
3
3
3
2
3
2
consiguiente, C x :x
2 2
,
; B no es conjunto vaco ni unitario.
3 3
Conjunto Universal.
Definicin 4.2 Sean A1, A2,...An n conjuntos. Se llama conjunto universal o
universo de los n conjuntos A1, A2,...An a un conjunto U que
mnimamente contiene los elementos de estos conjuntos.
Para los conjuntos A = {1, 2} y B ={2, 3, 4}, un conjunto universal puede ser
= {1, 2, 3, 4}; tambin puede serlo U = {1,2,3,4,5} o U = {1,2,3,4,5,6, ...}.
Desde el punto de vista del nmero de elementos de un conjunto estos pueden ser finitos o
infinitos.
Sean A un conjunto. El conjunto A es finito si y solo si tiene un nmero determinado de
elementos. El conjunto vaco es finito, pues tiene cero elementos. Si este no es el caso, el
conjunto es infinito.
Conjuntos Finito e Infinito.

Un conjunto A es finito si y solo si puede ponerse en
correspondencia biunvoca con el conjunto {1, 2, ..., n}, para
Definicin 4.3 algn nmero natural n.
Un conjunto A es infinito si y solo si no puede ponerse en
correspondencia biunvoca con un conjunto {1, 2, 3, ..., n} para
todo nmero natural n.
As, el conjunto de pases de la tierra es un conjunto finito, mientras que el conjunto de las
estrellas del universo es infinito.
Ejemplo 4.4
Determinar si el conjunto de parejas A
x, y R
: x y 10 es finito o infinito.
Solucin. El conjunto consiste en todas las parejas de nmeros reales tales que su suma d
como resultado 10; hay un nmero infinito de dichas parejas:
1 21
A x, y R 2 : x y 10 1,9 , 9,1 , 2,12 , , ,... .
2 2
Este es un conjunto infinito porque cada uno de sus elementos se puede poner en
correspondencia con el conjunto infinito
1, 2,3, 4,5,6,... ; por lo cual se deduce que
hay tantas parejas ordenadas en A como elementos tiene
Ejemplo 4.5
Determinar si el conjunto de parejas es finito o infinito
3x 2 y 2
2
B x, y R :
2.
5 x 2 y 3
Solucin. El conjunto consiste en todas las parejas de nmeros reales x y y tales que sus
valores satisfaga la igualdad de ambas ecuaciones. Multiplicando la segunda ecuacin por (1) y sumando a la primera, se tiene
3x 2 y 2
8
1
2 8x x
3
3
5 x 2 y 3
1
1
1
en la primer ecuacin, 3 2 y 2 se tiene 1 2 y 2 y as y
2
3
3
1 1
. Por tanto, solamente la pareja de nmeros reales , satisface las dos ecuaciones. Luego,
3 2
Reemplazando x
3x 2 y 2
1 1
2
B x, y R :
2 , , es un conjunto finito.
5 x 2 y 3 3 2
Ejemplo 4.6
Determinar si el conjunto de nmeros reales
Sn x R : x , para algn n
n
1 1 1 1
1, , , , ,... es finito o infinito.
2 3 4 5
Solucin. Al ponerlo en correspondencia elemento a elemento con el conjunto de los enteros

positivos
elementos.
1, 2,3, 4,5,6,7,... , se concluye que es infinito, tiene infinito nmero de
Ejemplo 4.7
Determinar si el conjunto de nmeros reales
F x R : x 3 es finito o infinito.
Solucin. Cada uno de los nmeros representados por x estn a la izquierda de 3 en la recta
real, pues este es el significado de x 3 . Son todos los nmeros reales comprendidos entre
menos infinito y 3; o sea el intervalo
F ,3 . Al ponerlo en correspondencia
elemento a elemento con el conjunto de los enteros positivos

concluye que es infinito, tiene infinito nmero de elementos.
1.1.2
1, 2,3, 4,5,6,7,... , se
Relaciones de pertenencia, contenencia e igualdad
La relacin entre un elemento y un conjunto se llama pertenencia; si un elemento x hace

parte de un conjunto A se dice que x pertenece al conjunto A y se denota por xA. Para
indicar que x no pertenece a A se escribe xA. El smbolo es la letra griega psilon.
Consideremos el conjunto M = {x: 4 > x > 6}; podemos afirmar que 5M y 6M.
La relacin entre dos conjuntos se llama de contenencia; si todos los elementos de un
conjunto A pertenecen a otro B, se dice que A est contenido en B o que A es un
subconjunto de B y se denota por A B. La expresin A B significa que A est
contenido en B o A es igual a B. Para indicar que A no est contenido en B se escribe
A B . El smbolo corresponde a una C alargada unido al smbolo =.
As, si A = {1, 2, 3, 4} y B = {1, 2, 3, 4, 5}, entonces se dice que AB porque cada elemento
de A es tambin de B, mientras que B
.ya que 5 B pero 5 B .
Subconjunto.
Definicin 4.4
Sean A y B conjuntos no vacos. Se dice que A es subconjunto de

B, AB, si y solo si para todo x, si xA implica que xB. En
smbolos,
AB x [xA xB].
Figura 3.
(a) A B
No subconjunto.
(b)
Sean A y B conjuntos no vacos. Se dice que A no es subconjunto

de B, denotado A B , si y solo si existe por lo menos un x tal
que xA y xB. En smbolos,
A
B x xA xB .
En la figura 3 (a), el condicional x [xA xB] es verdadero, pues xA es verdadero y

xB tambin lo es. En la figura 3 (b), la conjuncin x xA xB es verdadera pues hay x
en A que no estn en B.
Subconjunto Propio.
Sean A y B dos conjuntos. El conjunto A es subconjunto propio
de B si y solo si todo elemento de A es tambin elemento de B pero
Definicin 4.5 existe elementos de B que no estn en A. En smbolos,
A B x xAxB x xBxA
De la figura 3 (a), solo se cumple la siguiente.
Figura 4. Subconjunto Propio
No subconjunto propio.
A B x xA xB x xB xA
Figura 5. Posibilidades en las cuales no se cumple subconjunto propio.
En la figura 5 (a), (b) y (c) M N porque x xM xN y en la figura 5 (d) porque

x xM .
Teorema 4.1
El conjunto , vaco, es subconjunto de todo conjunto A; es

decir, para todo A, A .
10
Demostracin por contradiccin. Supongamos que A es falso y por tanto A es

verdadero. Entonces, por definicin de no subconjunto A B x xA xB , existe
x x A . Por la tautologa Simplificacin se concluye que x . Esto es una
contradiccin, pues el concjunto vaco no tiene elementos. La contradiccin se debe a la
consideracin de que A . Luego, A es verdadero.
Conjunto Potencia o Conjunto de Partes de un

conjunto.
El Conjunto Potencia o Conjunto de Partes de un conjunto A es
Definicin 4.6 el conjunto de subconjuntos de A. Se denota por P(A). El nmero
de elementos de P(A) es n P( A) 2n donde n es el nmero de

elementos de A.
De la definicin podemos obtener:

Si A = {} entonces n (P(A)) = 2 n = 20 = 1. P(A) = {}
Si A ={a} entonces n (P(A)) = 2 n = 21 = 2. P(A) = {, A}
Si A = {a, b}entonces n (P(A)) = 2 n = 22 = 4. P(A) = {, {a}, {b}, A}
Si A = {a, b, c} entonces n (P(A)) = 2 n = 23 = 8. P(A) = {, {a}, {b}, {c}, {a, b}, {a, c},
{b, c}, A}.
Teorema 4.2
Sea U el conjunto universal y A un conjunto de este universo.

Entonces A U .
Demostracin por contradiccin. Supongamos que A U es falso. Entonces A U es

verdadero. Por definicin de no subconjunto A B x xA xB existe x A x U
. Por la tautologa simplificacin, x U , lo cual es una contradiccin pues U es el universo
y debe poseer todos los elementos de A. La contradiccin es debida a la consideracin de que
A U es falso y por consiguiente A U es verdadero.
Para cualquier conjunto A, A A .
Demostracin por el mtodo indirecto de contradiccin. Supongamos que A A es falso
y por tanto A A es verdadero. As, por definicin de no subconjunto
Teorema 4.3
A B x xA xB , existe x A x A . Lo cual es una contradiccin. La

contradiccin es debida a la consideracin de que A A es falso y por consiguiente A A
es verdadero.
Teorema 4.4
Propiedad de Transitividad de la relacin de subconjunto

Sea A, B y C conjuntos. Si A B y B C entonces A C .
11
Figura 6. Propiedad Transitiva de la relacin con tres conjuntos.
Demostracin por el mtodo directo. Por hiptesis, A B y B C . Puesto que A B ,

por definicin de subconjunto A B x x A x B , para x A implica que
x B . Por la misma definicin, x C ya que por hiptesis B C . Que era lo que se quera
demostrar.
Igualdad de dos conjuntos.

Definicin 4.7
Sean A y B dos conjuntos. Se dice que A es igual a B, denotada

A = B, si y solo si todo elemento de A es elemento de B y todo
elemento de B tambin es de A. En smbolos,
A = B AB BA
Consideremos los conjuntos A = {a, b, c, d}, B={c, d, e, f}, C={d, e, f, c} y D={a, b}.
Segn las definiciones de subconjunto e igualdad de conjuntos observamos que, A B ,
B A , B = C, D A. En resumen:
RELACIN
Pertenencia
Subconjunto
Subconjunto propio
Igualdad
SMBOLO DETERMINA
la relacin entre un elemento con un conjunto
la relacin de conjunto a conjunto
la relacin de subconjunto propio

=
la relacin de conjunto a conjunto
Tabla 5.1. Resumen de las relaciones en los conjuntos
1.1.3
OPERACIONES ENTRE CONJUNTOS
Unin
Inter sec cin
Operaciones Diferencia
Diferencia Simtrica
,
Complemento
Unin de dos conjuntos.

La unin entre los conjuntos A y B, denotada A B , es el
Definicin 4.8 conjunto formado por los elementos que estn en A o en B o en

ambos. En smbolos, A B x U : x A x B .
12
Los conjuntos que se unen pueden estar relacionados como intersecantes, iguales, uno
contenido en el otro o disyuntos. La grfica de la unin se presenta a continuacin de color
azul.
Figura 6. Diagramas de Venn de la unin de dos conjuntos A y B; a. Unin de dos conjuntos intersecantes;
b. Unin de dos conjuntos iguales, A = B.
c. Unin de dos conjuntos disyuntos AB . La parte del
rectngulo exterior a los crculos es el complemento de la unin.
Como consecuencia de la definicin de la unin, se tiene:

x A B x A x B y
x A B x A x B
Interseccin de dos conjuntos.

Definicin 4.9
La interseccin entre los conjuntos A y B, denotada por AB, es

el conjunto formado por los elementos que pertenecen a A y a B
a la vez. En smbolos,
A B x U : x A x B .
Ilustracin 71. Diagramas de Venn de la interseccin de dos conjuntos A y B; a. Interseccin de dos

conjuntos intersecantes;
b. Interseccin de dos conjuntos iguales, A B .
c. Interseccin de
dos conjuntos disyuntos A B . La parte del rectngulo exterior a los crculos es el complemento de
la interseccin.
Como consecuencia de la definicin de la interseccin, se tiene:

x A B x A x B y
x A B x A x B
Definicin 4.10
Diferencia de dos conjuntos.
13
La diferencia entre los conjuntos A y B, denotada por AB, es

el conjunto formado por los elementos que pertenecen a A pero
no pertenecen a B. En smbolos,
A B x U : x A x B .
Figura 9. Diagramas de Venn de la diferencia de dos conjuntos A y B; a. Diferencia de dos conjuntos

intersecantes;
b. Diferencia de dos conjuntos iguales, A B .
c. Diferencia de dos conjuntos
disyuntos A B . La parte del rectngulo exterior a los crculos es el complemento de la
diferencia.
Como consecuencia de la definicin de la diferencia, se tiene:

x A B x A x B y
x A B x A x B
Diferencia de dos conjuntos.

El complemento de un conjunto A, denotado por A ' , A o A C ,
Definicin 4.11 es el conjunto formado por los elementos del conjunto Universal
que no estn en A. En smbolos, A ' x U : x A o
A' U A
Figura 10. Diagrama de Venn del complemento de un conjunto A.
Como consecuencia de la definicin de la diferencia, se tiene:

x A' x A y
x A' x A
Diferencia Simtrica de dos conjuntos.
La diferencia simtrica de los conjuntos A y B, denotada por AB
Definicin 4.12 , es el conjunto formado por los elementos de la unin que no

pertenecen a la interseccin. En smbolos,
AB A B B A .
14
Figura 11. Diagramas de Venn de la diferencia simtrica de dos conjuntos A y B; a. Diferencia

simtrica de dos conjuntos intersecantes;
b. Diferencia simtrica de dos conjuntos iguales, A B .
c. Diferencia simtrica de dos conjuntos disyuntos AB . La parte del rectngulo exterior a los
crculos es el complemento de la diferencia simtrica.
Como consecuencia de la definicin de la interseccin, se tiene:

x AB x A B x B A y x AB x A B x B A
Ejemplo 4.8
Operaciones entre Conjuntos.
Sean los conjuntos A ={1,2,3,4}, B ={3,4,5,6} y U = {1,2,3,4,5,6,7}. Hallar AB, AB,
AB, B A, A ' , B ' y A B.
Solucin. La unin se forma por los elementos que estn en A solamente, es decir, 1 y 2
los que estn en B solamente, 5 y 6; los que estn en ambos, 3 y 4. Por lo tanto,
AB
= {1, 2, 3, 4, 5, 6}. Obsrvese que, afirmar que 5 AB equivale a afirmar que 5A
5B. Segn la segunda ley de De Morgan y la definicin de unin, afirmar que 7 AB
equivale a afirmar que 7A y 7B.
La interseccin est formada por los elementos que estn en A y en B a la vez, es decir, 3 y
4. Por tanto, AB = {3,4}. Afirmar que 4 AB equivale a afirmar que 4A y 4B. Segn
la primera ley de De Morgan y la definicin de interseccin, afirmar que 1 AB equivale
a afirmar que 1A o 1B.
La diferencia A B est formada por los elementos que estn en A pero que no estn en B,
es decir, 1 y 2; por lo tanto, A B = {1,2}. La diferencia B-A en consecuencia es B-A =
{5,6}. Afirmar que 2 AB equivale a afirmar que 2A y 2B. Segn la primera ley de De
Morgan y la definicin de diferencia, decir que 3 AB equivale a afirmar que 3A o 3B.
El complemento de A es el conjunto formado por los elementos del conjunto Universal U
que no estn en A; es el conjunto formado por los elementos que le faltan a A para ser el
universo; por tanto A= {5, 6, 7}. En consecuencia, B= {1, 2, 7}. Afirmar que 6 A
equivale a afirmar que 6A. Segn la negacin de una proposicin y la definicin de
complemento, afirmar que 9 A equivale a afirmar que 9A.
La diferencia simtrica AB es el conjunto formado por los elementos que pertenecen a la
unin pero que no estn en la interseccin; en consecuencia AB ={1,2,5,6,7}. Afirmar que
4 AB equivale a afirmar que 4 AB y 4 AB. Segn la primera ley de De Morgan y
15
la definicin de diferencia simtrica, afirmar que 8 AB equivale a afirmar que 1 AB

o 1 AB.
Ejemplo 4.9
Sean los conjuntos: A 1, 2,3, 4 ; B 3, 4,5,6,7 ; U 1, 2,3, 4,5,6,7,8 . Hallar

A ' B ' A '
Solucin. Razonemos desde lo ms elemental a lo ms complejo:
A ' 5, 6, 7,8
A ' B 8
A ' B ' 1, 2,3, 4,5,6,7

A ' B ' A 1, 2,3, 4
A ' B ' A ' 5,6,7,8
Que era lo que se quera determinar.
Ejemplo 4.10
Haga un diagrama de Venn que relacione los conjuntos y muestre su unin y su

complemento: Mtodo, Directo y Teorema.
Solucin.
M x U : x es letra de la palabra mtodo = d , e, m, o, t
D x U : x es letra de la palabra directo = c, d , e, i, m, o, r , t
T x U : x es letra de la palabra teorema a, e, m, o, r , t
U x : x es letra de la palabra demostracin a, c, d , e, i, m, n, o, r , s, t
16
Obsrvese la distribucin de los elementos: por ejemplo m se ubica en la parte comn para
Mtodo y Teorema pero no en Directo. Los elementos i, c se ubica solo en Directo. En
cambio e, o, t se ubica en la parte comn a los tres conjuntos.
La unin es el conjunto M
D T a, c, d , e, i, m, o, r , t y corresponde en la grfica a los
elementos que estn en los tres crculos. El complemento, M

de azul, son los elementos ubicados fuera de los crculos.
Ejemplo 4.10
Hallar M D ' '
D T ' n, s , coloreada

T ' M '
Solucin. De lo ms elemental a lo ms complejo, se tiene

D ' a, m, n, s
M
D ' m
D ' ' a, c, d , e, i, n, o, r , s, t
T ' i, c, d , n, s
T ' M i, c, n, s
T ' M ' a, d , e, m, o, r, t
M D ' ' T ' M ' a, c, d , e, i, n, o, r , s, t , m
Que era lo que queramos hallar.
Ejemplo 4.11
Consideremos
los
conjuntos
A x :1 x 4 ,
B x : 2 x 8 ,
C x : x 2 6x 9 0 , D x : x 2 7 x 10 0 y U x : 0 x 7 .
Hallar
A B
D .
Solucin. Lo primero que haremos es conocer por extensin los elementos de estos cojuntos.
Puesto
que
A x :1 x 4 1, 2,3 ;
B x : 2 x 8 4 ;
x2 6 x 9 x 3 x 3 0 entonces x = 3 y as C x : x 2 6 x 9 0 3 ; de
igual
manera,
por
factorizacin,
x2 7 x 10 x 5 x 2 0
por
D x : x 2 7 x 10 0 2,5 y U x : 0 x 7 1, 2,3, 4,5,6 .
A B ?
A 4,5, 6 ; B 4
y as, A B 5, 6
D ?
C 3 ; D 2,5 ; C
D 2,3,5 y as C
Como A B 5, 6 y C
D 1, 4, 6 .
D 1,4,6 concluimos que A B
D 6 .
tanto
17
1.1.4
Algunas propiedades o leyes de las operaciones entre

conjuntos
Para todo A, B, C y U conjuntos, donde U es el conjunto universal se cumple:

PROPIEDADES
Propiedad de idempotencia
36. ( A B) C A ( B C )
1. A A A
2. A A A
Propiedad conmutativa
37. A ( B C ) ( A B) ( A C )
3. A B B A 4. A B B A
5. AB BA
Propiedad asociativa
38. A ( B C ) ( A B) (C A)
6. ( A B) C A ( B C )
7. ( A B) C A ( B C )
8. ( AB) C A( BC )
Propiedad distributiva
39. A ( B C ) ( A B) ( A C )
9. A ( B C ) ( A B) ( A C )
10. A ( B C ) ( A B) ( A C )
11. A U U 12.
13. A U A
40. ( A B) C ( A C ) ( B C )
14. A
15. AA
16. A A
17. AU A'
Propiedad de absorcin
41. AB ( A B) ( B A)
A
(
A
B
)
A
A
(
A
B
)
A
18.
19.
42. AB ( A B' ) ( B A' )
B ( A B)
20. A ( A B)
y
( A B) B
21. ( A B) A
y
Propiedad de involucin o doble negacin
22. ( A' )' A
Propiedad del tercero excluido
23. A A' U
Propiedad de contradiccin
24. A A'
43. AB ( A B) ( A'B' )
44. A ( BC ) ( A B) ( A C )
25. A B B' A'

Propiedad de De Morgan
26. ( A B)' A'B'
27.
47.
48.
28. U '
45.
( AB) ( BC ) ( A B C ) ( A B C )
46. AB A B
A B AB A
A B AB B
( A B)' A'B'
29. ' U
30. 49. B A' A B'
A B A B'
31. U A A'
A
32. A U
34. A A
35. A A
33. 50. A B A
18
Tabla 5.2. Propiedades de las operaciones entre conjuntos.
Ejemplo 4.11
Demostracin pictrica de operaciones entre Conjuntos.
Mostrar grficamente la Propiedad 22, A, A ' ' A

Solucin
GRAFICO
Paso 1.
JUSTIFICACION
Conjunto A dado dentro de su conjunto universal
Paso 2.
Por definicin de complemento: el complemento del conjunto A
son aquellos elementos que le faltan al conjunto A para ser el
universo
Paso 3.
Por definicin de complemento: el complemento del conjunto A

son aquellos elementos que le faltan al conjunto A para ser el
universo
Conclusin: El conjunto (A) es el mismo conjunto A.
Ejemplo 4.12
Demostracin pictrica de operaciones entre Conjuntos.
Mostrar grficamente la Propiedad Asociativa, Propiedad 8,

A, B,C : AB C A BC
PROCESO GRFICO
Paso 1
JUSTIFICACION
Por definicin de
Unin
=
AB
Paso 2
AB
AB
AB
AB C
Por defincin de
Diferencia
Paso 3.
Por definicin de
Unin
19
BC
BC
Paso 4.
BC
BC
Por defincin de
Diferencia
A BC
Conclusin: AB C A BC .
1.1.5
Comparando
resultados
Teora de la demostracin matemtica
La demostracin de la verdad de una proposicin a partir de datos dados, es el problema ms

profundo que el ser humano puede resolver.
5.5.1 Teora cientfica
Ciencia. En general, la ciencia es un cmulo de conocimientos descubiertos a travs de un

procedimiento llamado mtodo cientfico. Es una sola, pero para su estudio se subdivide en
teoras; as, se habla de teoras corpuscular de la luz, teora ondulatoria de la luz, teora de
conjuntos, teora de grupos, entre otras, en la fsica y la matemtica. La ciencia es un
conjunto de conocimientos que se consideran verdaderos (hasta que se demuestre lo
contrario): la ciencia est dispuesta a la falsacin.
La ciencia puede ser fctica formal. Son ciencias formales la matemtica y la lgica
mientras que la fsica, la qumica, la biologa, entre otras, son ciencias factuales porque
necesitan adems de lo formal una comprobacin de los hechos por medio de la
experimentacin.
Una teora cientfica es una parcela de la ciencia que da explicacin a un cierto nmero de
fenmenos o hechos y predice otros. Est estructurada de tal manera que slo contiene
conceptos y leyes.
De acuerdo a los psiclogos evolutivos, el concepto es producto de la operacin lgica
clasificacin; clasificar es agrupar los objetos en colecciones que se encajan unas a otras.
20
La clasificacin engendra clases que son conceptos o nociones generales1. As, al clasificar
los objetos que hay en nuestra casa, encontramos las clases de objetos mesa, cama, olla, entre
otros; la clase mesa, digamos, es construida por nuestra inteligencia como una idea o nocin
general, que me permitir pensar en esta clase de objetos. Obsrvese que no hay afirmacin
alguna del objeto, simplemente hay una representacin mental. El concepto o clase es
caracterizada por su comprensin o la unin de cualidades comunes existentes en todos los
individuos pertenecientes a la misma clase y por su extensin o la unin de individuos a la
que se aplica las cualidades comunes2. La clase (concepto) mesa agrupa un conjunto de
objetos de esa especie: mesa de planchar, de noche, de comedor, entre otras.
En consecuencia, en una teora cientfica, el concepto es una idealizacin de una clase de
objetos de la realidad, es una categora de pensamiento proporcionada por el entendimiento;
es universal, abstracto. Los conceptos pueden ser fundamentales, no definidos o primitivos
y definidos.
Los conceptos definidos se explican a travs de otros conceptos; tal explicacin viene
expresada por medio de una proposicin que se llama definicin. Una definicin es un
enunciado que establece el significado de una expresin3. La definicin relaciona la
expresin que define (definendo o definiendum) con otras expresiones (definentes o
definiens) que ya se disponen.
En matemticas comnmente se utiliza las definiciones verbales o nominales que introducen
un nuevo smbolo. La definicin se caracteriza por ser clara, concisa: da la esencia de lo
definido, no cae en un crculo vicioso, no se enuncia en forma negativa cuando puede ser
positiva y no se expresa en lenguaje figurado u oscuro. La belleza es la eternidad mirndose
en un espejo, no es una buena definicin de belleza, pues se define en un lenguaje figurado.
El concepto definido lo determinan otros conceptos y estos a su vez por otros anteriores hasta
que el proceso se estanca; estos ltimos, aquellos que no pueden explicarse a travs de otros,
se llaman conceptos fundamentales.
La ley o propiedad, en una teora cientfica, es una proposicin que relaciona uno o ms
conceptos con otro u otros. La ley que hace referencia solo a los conceptos fundamentales se
llaman axioma o postulado. Su propsito es dar a estos un piso legal y un mayor
entendimiento.
Hay otra ley llamada teorema, que se deduce o concluye a partir de los axiomas o postulados;
de esta manera se dice que los postulados son el fundamento o soporte bsico de un teorema.
Dentro de la teora, los axiomas se aceptan sin exigir de estas propiedades una demostracin;
son vlidas por s mismas. En cambio, los teoremas slo son vlidos si son demostrados a
partir de los axiomas. En resumen:
Tran - Thong. Los estadios del nio en la psicologa evolutiva. Los sistemas de Piaget, Wallon, gesell y Freud. Buenos Aires: Pablo del
Ro editor, 1981, p. 54.
2
Ibid, p. 54
3
SUPPES, Patrick. Introduccin a la lgica simblica. Mxico: Compaa edit. Continental, 1969, p. 198
21
Axioma. Un axioma es una ley en forma de proposicin cuya validez se acepta sin
demostracin. Se formulan estas leyes para legalizar dentro de la teora los conceptos
primitivos o primarios, pues estos no estn definidos; siempre hacen referencia a propiedades
de dichos conceptos.
Teorema. Es una ley en forma de proposicin cuya validez se logra solo a travs de una
demostracin. Su demostracin se realiza partiendo de los axiomas.
Por lo general un teorema tiene o se le puede dar la forma H C , donde H denota la hiptesis
y C la conclusin o tesis; la hiptesis H est constituida por un conjunto de proposiciones
verdaderas o premisas H p1, p2 , p3 ,.., pn ; C es una proposicin cuya verdad se quiere
probar deducindola vlidamente a partir de H. La demostracin puede ser directa o indirecta.
1.1.5.1
1.1.5.1.1
Mtodos de demostracin
Demostracin directa
Una demostracin directa de una proposicin (teorema) H C consiste en deducir

vlidamente a C a partir de H, justificando cada conclusin intermedia mediante una
definicin, un axioma u otro teorema ya demostrado. La demostracin ser rigurosa
22
dependiendo de la calidad y precisin de sus conclusiones intermedias y de sus acertadas

justificaciones. La demostracin directa se fundamenta en la regla de razonamiento Modus
Ponendo Ponens:
H C;
es verdadera, pues en esto consiste la demostracin matemtica
H;
_______
C;
es verdadera porque la hiptesis es una proposicin verdadera (premisas)

es conclusin vlida y por tanto verdadera
Ejemplo 4.12
Demostracin de una proposicin por el Mtodo Directo
Demostrar la Propiedad de Idempotencia de conjuntos A A A de la Tabla 5.2.

Demostracin. La definicin de igualdad entre conjuntos enuncia que A B A B B A
y por lo tanto A A A se expresa como A A A ( A A) A A ( A A) . Entonces
para demostrar A A A se demuestra la segunda parte del bicondicional:
( A A) A A ( A A) :
i. ( A A) A
ii. A ( A A)
Demostracin de ( A A) A
Por definicin de subconjunto, AB x [xA xB]. Por lo tanto

( A A) A x( x ( A A) x A) . As, para demostrar ( A A) A , se demuestra el
segundo miembro del bicondicional x( x ( A A) x A) : se supone que A A y
por consiguiente un elemento x en A A y se demuestra que x pertenece a A.
Afirmacin
1. Supongamos que A A .
Sea x cualquiera tal que
Razn o Justificacin
1. Verdadero por hiptesis.
x ( A A)
2. x A x A
3. x A
2. Por definicin de unin entre conjuntos en paso 1

3. Por ley de razonamiento simplificacin
disyuntiva en paso 2: Tautologa ( p p ) p
Hemos supuesto que A A ; para cualquier x en A A se demostr x A y por tanto el

condicional x( x ( A A) x A) es verdadero. Por modus ponendo ponens
23
x ( A A) x A ;
x ( A A) ;
__________________
x A;
es verdadera (demostracin matemtica)

es verdadera por la hiptesis
es verdadera por ser conclusin vlida
Por tanto queda demostrado que ( A A) A es cierto.

Demostracin de
A A A
Por definicin de subconjunto, AB x [xA xB]. Por lo tanto

A ( A A) x( x A x ( A A) . As, para demostrar A ( A A) , se demuestra el
segundo miembro del bicondicional x x A x A A : se supone que A y por
consiguiente un elemento x en A y se demuestra que x pertenece a A A .
Afirmacin
1. Supongamos que A .
Sea x cualquiera tal que x A
2. x A x A
3. x ( A A)
Razn o Justificacin
2. Por ley de razonamiento adicin en paso 1
3. Por definicin de unin entre conjuntos en paso 2
Hemos supuesto que A ; para cualquier x en A se demostr que el condicional
x x A x A A es verdadero. Por modus ponendo ponens

x A x ( A A) ;
xA ;
____________________
x ( A A) ;
es verdadera (demostracin matemtica)

es verdadera por la hiptesis
Por lo tanto se demostr que A ( A A) es cierto. De (i) y (ii) queda demostrado que la
propiedad A A A es cierta.
Ejemplo 4.13
Demostrar la propiedad 39 de la Tabla 5.2, A B C A B A C
Por definicin de igualdad de conjuntos, se debe demostrar
i.
A B C A B A C
ii.
A B A C A B C
24
Demostracin de A B C A B A C .
Por definicin de Subconjunto, se debe demostrar que es verdadero el condicional
A B C x A B C x A B A C
Supongamos que A B C . Entonces existe por lo menos
A B C . Por demostrar que x A B A C .
un elemento x en
En efecto, por hiptesis consideremos x A B C . Por definicin de la operacin

Interseccin entre conjuntos se concluye x A x B C . Aplicando ahora la definicin
de la operacin Diferencia entre conjuntos, se llega a x A x B x C . Por
Equivalencia Tautolgica 16, Propiedad Asociativa de la Conjuncin se deduce
x A x B x C . Como consecuencia de la Implicacin Tautolgica 7, Adicin
x A x B x A x C . Mediante la
definicin de Interseccin entre conjuntos, se llega a x A B x A C . Por ltimo,
la definicin de Diferencia entre conjuntos concluir x A B A C .
aplicada a la proposicin x C , se tiene
Demostracin de A B A C A B C .
Por definicin de Subconjunto, se debe demostrar que es verdadero el condicional
A B C x A B A C x A B C
Supongamos que A B A C . Entonces existe por lo menos un elemento x en

A B A C . Por demostrar que x A B C .
En efecto, por hiptesis consideremos x A B A C . Por definicin de la
operacin Diferencia entre conjuntos se concluye x A B x A C . La definicin
de
la
operacin
Interseccin
entre
conjuntos,
permite
llegar
a
x A x B x A x C . Ahora bien, por Ley de Simplificacin, Implicacin
Tautolgica 4, se deduce las afirmaciones verdaderas
x A x B y x A x C .
x A x C y de x A mediante
De la primera, x A x B , se infiere x A . De
la regla de inferencia Modus Tollendo Ponens, Implicacin Tautolgica 3, se concluye
x C . Por Adjuncin entre x A x B y x C , Implicacin Tautolgica 5, se tiene
x A x B x C . Aplicando Propiedad Asociativa de la Conjuncin podemos escribir
25
x A x B x C . La definicin de Diferencia autoriza concluir x A x B C .

Por ltimo, la definicin de Interseccin inferir x A B C .
De (i) y (ii) queda demostrado que A B C A B A C es verdadero.
Ejemplo 4.14
Demostrar la propiedad 25 de las operaciones entre conjuntos de la Tabla 5.2,

A B B ' A'
Por definicin de Equivalencia Tautolgica 10, se debe demostrar que son verdaderas las
condicionales
i.
ii.
A B B ' A'
B ' A' A B
Demostracin de A B B ' A ' .

La hiptesis de este condicional es A B ; es la parte de este condicional que se considera
verdadero inicialmente. La tesis o conclusin del condicional es B ' A ' cuya verdad est
por demostrarse.
En efecto, mostremos que B ' A ' es verdadero. Para ello supongamos que B ' . Por lo
tanto existe por lo menos un x en B ' . Por demostrar que x A ' .
Puesto que x B ' , se deduce por definicin de Complemento entre conjuntos que x B .
Ahora por hiptesis A B o lo que es lo mismo el condicional x x A x B es
verdadero. Como es cierto que x B entonces por Modus Tollendo Tollens se concluye la
proposicin verdadera x A . De lo cual se deduce por definicin de complemento que
x A '. De esta manera se ha demostrado que el condicional x x B ' x A ' es
verdadero; es decir, B ' A ' es verdadero. Por consiguiente el condicional (i) es verdadero.
Demostracin de B ' A ' A B .
La hiptesis de este condicional es B ' A ' ; es la parte de este condicional que se considera
verdadero inicialmente. La tesis o conclusin del condicional es A B cuya verdad est por
demostrarse.
26
En efecto, mostremos que A B es verdadero. Para ello supongamos que A . Por lo

tanto existe por lo menos un x en A . Por demostrar que x B .
Puesto que x A , se deduce por definicin de Complemento entre conjuntos que x A ' .
Ahora por hiptesis B ' A ' o lo que es lo mismo el condicional x x B ' x A ' es
verdadero. Como es cierto que x A ' entonces por Modus Tollendo Tollens se concluye la
proposicin verdadera x B ' . De lo cual se deduce por definicin de complemento que
x B. De esta manera se ha demostrado que el condicional x x A x B es
verdadero; es decir, A B es verdadero. Por consiguiente el condicional (ii) es verdadero.
De las demostraciones (i) y (ii) queda demostrado que A B B ' A ' es verdadero.
Ejemplo 4.15
Definicin. Un nmero entero x es par si y solo si tiene la forma x = 2k, donde k es un entero.
Un entero x es impar si y solo si tiene la forma x = 2k -1, donde k es un entero.
Demostrar que, si x, y son impares entonces entonces x + y es par.
Demostracin
La hiptesis de este condicional (lo que se supone verdadero) es x y y son impares. La
conclusin o tesis es x + y es par.
Puesto que por hiptesis x, y son impares son proposiciones verdaderas entonces por
definicin de nmero impar se tiene x = 2h 1 y y = 2r -1, para algunos enteros r y h.
Sumando, x + y = (2h-1) + (2r - 1), o lo que es lo mismo, x + y = 2h + 2r -2. Por propiedad
distributiva de la multiplicacin respecto a la suma de enteros, x + y = 2(h + r 1). Asi, x
+ y = 2k, donde k = h + r -1 es un entero. Luego x + y es un nmero par.
Ejemplo 4.16
Demostrar mediante el mtodo de la Contrarrecproca la proposicin: Si x es impar entonces

x3 es impar.
Demostracin. Por hiptesis x es un nmero entero impar y por definicin de nmero impar,
3
x 2k 1 . Elevando al cubo ambos lados de la igualdad se tiene, x3 2k 1 . Ahora,
desarrollando el cubo del binomio del lado de la derecha se tiene, x3 8k 3 12k 2 6k 1 .
Sacando factor comn 2 a los tres primeros trminos del lado de la derecha se obtiene,
x3 2 4k 3 6k 2 3k 1 . Finalmente, x3 2h 1 , donde h 4k 3 6k 2 3k es un nmero
entero puesto que k es un nmero entero y el producto, potencias y suma de enteros es otro
entero.
27
Prctica 4.1
"El xito no es para quienes se quedan pensando que pueden hacer algo sino para quienes
lo hacen bien"
Annimo
Demostrar por el Mtodo Directo las propiedades de conjuntos siguientes
1. Propiedad de idempotencia para la interseccin de conjuntos: A A A
2. Propiedad asociativa para la interseccin de conjuntos: A B C A B C
3. Propiedad distributiva de la interseccin con respecto a la unin de conjuntos:
C A B
4. Propiedad distributiva de la unin con respecto a la interseccin de conjuntos:
C A B
5. Propiedad de conjuntos A B C A B
6. La propiedad 47 de conjuntos A B A B A
7. La propiedad 48 de conjuntos A B A B B
8. La propiedad de conjuntos A B A
Demostrar por el Mtodo Directo proposiciones sobre Enteros Pares e Impares.
9. Si x y y son impares entonces xy es impar
10. Si x es impar y y es par entonces x + y es impar
11. Si x y y son pares entonces x + y es par
12. Si x es par entonces x2 es par
13. Si x es impar entonces x2 es impar
1.1.5.1.2
Demostracin indirecta
1.1.5.1.2.1
Mtodo de la contrarrecproca
Se fundamenta este mtodo en primer lugar, en la tautologa (HC) (CH) que

expresa que el condicional directo es tautolgicamente equivalente a la contrarrecproca;
demostrar el condicional directo es equivalente a demostrar la contrarrecproca. Se quiere
demostrar que HC es verdadera pero resulta ms cmodo demostrar C H; se
28
considera que C es falsa y que C es verdadera; se va a probar que H es verdadera; por

esta razn la demostracin es indirecta.
En segundo lugar, este mtodo se fundamenta en la ley de razonamiento Modus Tollendo
Tollens:
H C; es verdadera: es el fin de la demostracin matemtica
es verdadera por hiptesis de la contrarrecproca
C ;
____
H;
Ejemplo 4.17
Demostracin de una proposicin por el Mtodo Indirecto de la

contrarrecproca
Demostrar la propiedad 49 de las operaciones entre conjuntos de la Tabla 29, B A' A B'
Por definicin de equivalencia hay que demostrar los dos condicionales:
i. B A ' A B '
ii. A B ' B A '
Demostracin de ( i ) por el mtodo de la contrarrecproca:
B A' A B '
A B B A
Suponemos que A no es subconjunto de B, es decir, A B. Por demostrar que B A.

Afirmacin
1. A B
2. (x)( x A x B ')
3. (x)( x A ' x B)
4. (x)( x B x A ')
5. B A
Razn o Justificacin
2. Por definicin de subconjunto (negacin de la definicin de
subconjunto), en paso 1
3. Por definicin de complemento de un conjunto, en paso 2
Por ley conmutativa de la conjuncin en paso 3
Queda demostrado que B A ' A B ' es verdadero

Demostracin de ( ii ) por el mtodo de la contrarrecproca:
( A B ' B A ') ( B
A' A
B ')
29
Suponemos que B no es subconjunto de A, es decir,

Afirmacin
1. B A '
2. (x)( x B x A ')
3. (x)( x B ' x A)
4. (x)( x A x B ')
5. A B
A' .
Por demostrar que A B.
Razn o Justificacin
3. Por definicin de complemento de un conjunto, en paso 2
Por ley conmutativa de la conjuncin en paso 3
Queda demostrado que A B ' B A ' es verdadero

De las demostraciones de ( i ) e ( ii ) queda demostrado que B A' A B' es verdadero.
Ejemplo 4.18

contrarrecproca
Demostrar la propiedad 25 de las operaciones entre conjuntos de la Tabla 29,

A B B ' A'
Por Equivalencia Tautolgica 10, se debe demostrar la verdad de los condicionales
i.
ii.
A B B ' A'
B ' A' A B
Pero, por Equivalencia Tautolgica 2, Propiedad de la Contrarrecproca, se debe demostrar

la verdad de los condicionales
i.
(B A A B)
ii.
(A B B A)
Demostracin de (B A A B)
La hiptesis de este condicional es B A (lo que se sabe que es verdadero), mientras que
la tesis o conclusin es A B (lo que se desea probar como verdadero).
Empecemos. Como por hiptesis de contrarrecproca B A es verdadero, por negacin de
la definicin de Subconjunto es verdad que x x B ' x A ' ; ahora, la definicin de
Complemento de un conjunto permite transformar esta expresin en x x B x A , y
por Propiedad Conmutativa de la Conjuncin, Tautologa 5, se tiene x x A x B .
30
Aplicando la negacin de la definicin de Subconjunto se infiere que A B, quedando

demostrado la verdad del condicional (B A A B) e indirectamente la verdad del
condicional A B B ' A ' .
Demostracin de (A B B A)
Puesto que por hiptesis de contrarrecproca A B es verdadero, por negacin de la
definicin de Subconjunto es verdad que
x x A x B ;
pero, la definicin de
Complemento de un conjunto permite transformar esta expresin en x x A ' x B ' , y

por Propiedad Conmutativa de la Conjuncin, Tautologa 5, se tiene
x x B ' x A ' .
Aplicando la negacin de la definicin de Subconjunto se infiere que B A, quedando

demostrado la verdad del condicional (A B B A) e indirectamente la verdad del
condicional B ' A ' A B .
De esta manera, queda demostrado que A B B ' A ' es verdadero.
Ilustracin particular del teorema A B B ' A ' :

Sean los conjuntos A a, b , B a, b, c y el conjunto Universal U a, b, c, d . Se han
elegido los conjuntos para que se cumpla que A B . Los complementos respectivos de A y
B son A ' c, d y B ' d . Obsrvese que B ' A' . Grficamente,
A B
En la parte de arriba, la figura

muestra que el conjunto A es
una parte de B.
En la parte de abajo, se ve que
B es una parte de A.
B ' A'
Siempre que se d la parte de

arriba con seguridad se da la de
abajo y contrariamente si se da
la de abajo con seguridad se
cumplir la parte de arriba de la
figura. Es decir, hay una
equivalencia
31
Nota. Dar un ejemplo de un teorema, no constituye una demostracin del teorema. Lo sera
en el caso de poder abordar todos los millones y millones de casos ejemplares variando los
elementos de los conjuntos, lo cual no es posible. La demostracin es un razonamiento en
donde se contempla todos los casos de ejemplos.
Ejemplo 4.19

contrarrecproca
Definicin. Un nmero entero x es par si y solo si tiene la forma x = 2k, donde k es un entero.
Un entero x es impar si y solo si tiene la forma x = 2k -1, donde k es un entero.
Demostrar mediante el mtodo de la Contrarrecproca la proposicin: Si x es impar entonces
x3 es impar.
Demostracin.
La contrarrecproca de este condicional es: Si x3 no es impar entonces x no es impar.
Pero sabemos que cuando un nmero entero no es impar es par y si no es par es impar; por
lo tanto el condicional Contrarrecproca es:
Si x3 es par entonces x es par.
Por hiptesis de Contrarrecproca x3 es un nmero entero par y por definicin de nmero
3
par, x 2k . Elevando al cubo ambos lados de la igualdad se tiene, x3 2k . Ahora,
desarrollando el cubo del binomio del lado de la derecha se tiene, x3 8k 3 . Sacando factor
2 a la derecha de la igualdad se obtiene, x3 2 4k 3 . Finalmente, x3 2h , donde h 4k 3
es un nmero entero puesto que k es un nmero entero y el producto, potencias de enteros
es otro entero.
Prctica 4.2
lo hacen bien"
Annimo
Demostrar por el Mtodo Indirecto las proposiciones sobre Enteros Pares e Impares.
1. Si x y y son impares entonces xy es impar
2. Si x es impar y y es par entonces x + y es impar
3. Si x y y son pares entonces x + y es par
32
4. Si x es par entonces x2 es par

5. Si x es impar entonces x2 es impar
1.1.5.1.2.2
Mtodo Indirecto mediante la Contradiccin
Se quiere demostrar que H C es verdadera pero se dificulta hacerlo directamente;

entonces se supone que H C es falsa, es decir que su negacin H C es verdadera. Esta
expresin, H C, la llamaremos la hiptesis de contradiccin. Se parte de esta hiptesis
H C; por ley de razonamiento Simplificacin H es verdadera como tambin C; de la
relacin de H y C se llega a concluir vlidamente un absurdo del tipo
r r o
simplemente a una contradiccin H H o CC.
Se concluye: si se ha llegado a una contradiccin o a un absurdo es precisamente por haber
supuesto que H C era falsa. Por lo tanto H C es verdadera, lo cual era lo que se
quera demostrar.
Este mtodo se fundamenta en la ley de razonamiento del absurdo
[H(r r)] H, es decir,
H(r r)
_________
H
Ejemplo 4.20

contradiccin
Demostrar que el conjunto vaco es subconjunto de todo conjunto, es decir, A( A)

Demostracin
Supongamos que no es subconjunto de A. Entonces por definicin de subconjunto existe
x x A . Por ley de razonamiento simplificacin, Tautologa 4, se concluye que x
, lo cual es una contradiccin porque el conjunto vaco no tiene elementos.
La contradiccin a cual hemos llegado se debe a haber considerado falsa la proposicin
A( A) . Por consiguiente A( A) es verdadera.
Ejemplo 4.21

contradiccin
Demostrar la Propiedad 28 de las operaciones entre conjuntos U '

Demostracin. Por definicin de Igualdad entre Conjuntos, se debe demostrar
i.
ii.
U '
U '
33
Demostracin de U ' .
Por hiptesis de Contradiccin, suponemos que U ' es falso; por lo tanto su negacin U
es verdadero. Por la negacin de la definicin de Subconjunto se tiene
x x U ' x . Aplicando la Equivalencia Tautolgica 5, Simplificacin, se deduce

x U ' . Y finalmente por definicin de Complemento de un Conjunto se infiere x U , lo
cual es un absurdo, pues el Universo debe poseer dicho elemento. Si hemos llegado a una
Contradiccin fue por haber considerado falso U ' . Por consiguiente U ' es
verdadero.
Demostracin de ' U .
Por hiptesis de Contradiccin, suponemos que ' U es falso; por lo tanto su negacin
' U es verdadero. Por la negacin de la definicin de Subconjunto se tiene
x x ' x U . Aplicando la Equivalencia Tautolgica 5, Simplificacin, se deduce

x U , lo cual es un absurdo, pues el Universo debe poseer dicho elemento. Si hemos llegado
a una Contradiccin fue por haber considerado falso ' U . Por consiguiente ' U es
verdadero.
Prctica 4.3
lo hacen bien"
Annimo
Demostrar las propiedades de las operaciones con conjuntos siguientes.
a.
b.
c.
d.
e.
f.
g.
h.
propiedad entre conjuntos

' U
A B A B'
U A A'
A U
A
A A
A A
A B A
6.3.3 3.1.2.3 Mtodo de refutacin

Los anteriores mtodos sirven para demostrar que una proposicin es verdadera. Ahora, para
demostrar que una proposicin es falsa se da una ilustracin, un ejemplo, con el cual se
34
muestra que la proposicin es falsa. Esta ilustracin se denomina contraejemplo. De esta

manera se refuta la proposicin.
Demostracin de una proposicin por el Mtodo Indirecto de
Refutacin
Ejemplo 4.22
Refutar la proposicin A ' U

Que el complemento de un conjunto es el universo es una proposicin falsa puesto que si
A = {a, b} y U = {a, b, c} entonces el complemento del conjunto A es A = {c}. Como en
esta ilustracin, A ' U se concluye la falsedad de A' U .
Demostracin de una proposicin por el Mtodo Indirecto de
Refutacin
Ejemplo 4.23
Refutar la proposicin (x R)(y R) ( x y )2 x2 y2

2
2 2
Esta proposicin es falsa porque para x = 3 y y = 2 se tiene: (3 2) 3 2 es falso. Luego,
queda refutada la verdad de la proposicin (x R)(y R) ( x y )2 x2 y2 .
Prctica 4.3
lo hacen bien"
Annimo
Demostrar la falsedad de las proposiciones por refutacin, es decir, dando un contraejemplo.
a. Refutar (x R)(y R) ( x y )2 x2 y2
x 2 3 x 3
b. Refutar (x R)
x2 2
c. Refutar (x R)
d. Refutar
x2 9 x3
(x R)(y R) Sen( x y )Sen( x)Sen( y )
e. Refutar (x R)(y R) ( x y )3 x3 y3
1.1.6
Cardinal de un conjunto
Definicin 4.9 Nmero cardinal de un conjunto.
35
Se llama cardinal de un conjunto A, al nmero de elementos de

A. Se denota n(A) o #A.
As, para A = {a, b, c}, el cardinal de A es n(A) = 3 y si B = { }, el cardinal de B es
= 0.
n(B)
A continuacin, dos teoremas que permiten hallar el cardinal de la unin de dos y tres
conjuntos.
Teorema 4.5
Si A y B son dos conjuntos, n A B n A n B n A B .
Demostracin. Por observacin de la grfica,

n A B n A B n B A n A B ; Definicin de Diferencia
n A n A B n B n A B n A B ; Definicin de Diferencia
=n A n A B n B n A B n A B ; Destruyendo parntesis
=n A n B n A B ; Cancelando trminos opuestos en signo
Si A, B y C son conjuntos,
Teorema 4.5
n A B C n A n B n C
n A B n A C n B C n A B C
36
Demostracin. Por observacin de la grfica,

n A B C n A B C n A B C n A B C ;
= n A B C n A C B n B C A n A B C ;
= n A B C n A C B n B C A n A B C
= n A B C n A C B n B C A n A B C
;
************************
Ejemplo 4.23
Aplicacin de los teoremas de cardinalidad
Resolver el siguiente problema. Un estudiante universitario estudi Fundamentos de

Matemticas y/o Geometra cada da durante el mes de octubre. Si estudi 23 das
Fundamentos y 17 Geometra, cuntos das estudi
a. Fundamentos y Geometra?
b. Fundamentos pero no Geometra
c. Geometra pero no Fundamentos
Solucin. Sean F = {x: x es un da que estudi fundamentos} y su cardinal n F 23 ;
G = {x: x es un da que estudi geometra} y su cardinal n G 17 .
37
Aplicando el teorema 1, n( F G) n( F ) n(G) n( F G) , reemplazando los datos se

tiene 30 23 17 x , donde n( F G) 30 porque octubre tiene 30 das y x el cardinal
desconocido de la interseccin. As, x 40 30 10 . Por consiguiente se llegan al siguiente
grfico.
Con el grfico se pueden contestar las tres preguntas:

a. 10 estudiantes estudian las dos asignaturas
b. 13 estudiantes estudian Fundamentos pero no Geometra
c. 7 estudiantes estudian Geometra pero no Fundamentos
Ejemplo 4.23
En una encuesta sobre consumo de bebidas, se obtuvieron los siguientes datos: 67% beben
A o B y 13% beben ambas; 59% beben B o C y 11% beben ambas; 75% beben A o C y 15%
beben ambas; el 16% no consumen ni A, ni B, ni C.
a. Determine el porcentaje que bebe A
b. Determine el porcentaje que beben las tres bebidas
Solucin. Para aplicar el teorema 1, consideremos n( A) x , n( B) y y n(C ) z . As,
n( A B) n( A) n( B) n( A B)
67 x y 13
n( B C) n( B) n(C ) n( B C )
59 y z 11
n( A C ) n( A) n(C ) n( A C )
75 x z 15
De las tres partes se obtiene el sistema de ecuaciones:
38
67 x y 13
59 y z 11
75 x z 15
Simplificando el sistema, se tiene

x y 80
y z 70
x z 90
Despejando z en las dos ltimas ecuaciones e igualando se tiene

x y 80
x y 20
Resolviendo este sistema se llega a x 50, y 30, z 40 . As la bebida A la consumen el
50%, el 30% consumen la B y la C el 40%.
As, n( A) 50% , n( B) 30% y n(C) 40% , n( A B C ) 100% 16% 84% ,
n( A B) 13 y n(B C ) 11 , n( A C ) 15 y n( A B C ) w .
Aplicando el teorema 2, se tiene:
n A B C n A n B n C n A B n A C n B C n A B C
84% = 50% + 30% + 40% 13% 15% 11 + w, de donde w =3
w=3
Representando estos datos en un diagrama de Ven, tenemos
Respuesta: La bebida A la consumen 50% y las tres bebidas el 3%.
Ejemplo 68. Aplicacin de los teoremas de cardinalidad
39
En una encuesta sobre el gusto por las bebidas se obtuvieron los siguientes resultados: 25%
gaseosa, 55 % jugo, 12% gaseosa y jugo, 17% jugos y cerveza, 13% gaseosa y cerveza, 9%
las tres bebidas y el 65% gaseosa o cerveza.
a.
b.
c.
d.
e.
f.
g.
h.
i.
j.
k.
l.
m.
n.
Cuntos toman solo gaseosa?

Cuntos toman solo jugo?
Cuntos toman solo cerveza?
Cuntos toman una sola bebida?
Cuntos toman gaseosa y jugo?
Cuntos toman gaseosa y cerveza?
Cuntos toman solo gaseosa y cerveza?
Cuntos toman solo jugo y cerveza?
Cuntos toman dos bebidas?
Cuntos toman gaseosa, jugo o cerveza?
Cuntos toman las tres bebidas?
Cuntos toman gaseosa o jugo?
Cuntos toman por lo menos dos bebidas? (mnimo dos)
Cuntos toman a lo ms dos bebidas? (mximo dos)
Solucin
Datos:
G = {x: x es consumidor de gaseosa}; n(G) = 25%
J = {x: x es consumidor de jugo}; n(J) = 55%
C = {x: x es consumidor de cerveza}; n(C) = ?
Consumidores de G y J = n(GJ) = 12%
Consumidores de J y C = n(JC) =17%
Consumidores de G y C = n(GC) = 13%
Consumidores de G, J y C = n(GJC) = 9%
Consumidores de G C = n(GC) = 65%
Estrategia de solucin: usar diagramas de Venn y representar los datos en esta grfica
Idea clave:
Como n(G C) = 65 %,
40
9% + 3% + 9% + 4% + 8% + x = 65%; donde x es el porcentaje correspondiente a solo

cerveza.
x = 65 33
x = 32 %
Completando el diagrama se tiene:
Respuesta a las preguntas:

a.Cuntos toman solo gaseosa?
n[G (JC)] = 9 %
b. Cuntos toman solo jugo?
n[J (GC)] = 35 %
c. Cuntos toman solo cerveza?
n[C (JC)] = 32 %
d.Cuntos toman una sola bebida?
9% + 35% +32% = 76%
f.Cuntos toman solo jugo y cerveza

n[(JC) G] = 8 %
g.Cuntos toman dos bebidas?
n[GJ] + n[GC] + n[JC] =
12 % + 13 % + 17 % = 42 %
h.Cuntos toman gaseosa, jugo o cerveza?
n[J GC] = 100 %
i.Cuntos toman las tres bebidas?

n[GC J] = 9 %
k.Cuntos toman gaseosa o jugo?
e.Cuntos toman gaseosa y jugo?
n[G J] = 9% + 8 % + 4 % + 9 % + 35
n[GJ] = 9% +3 % = 12%
% + 3% = 68 %
n.Cuntos toman por lo menos dos bebidas?
l.Cuntos toman gaseosa y cerveza?
Son los que toman mnimo dos, es decir, se
exceptan las que toman una sola bebida:
n[GC] = 9 % + 4 % = 13 %
100% - 76% = 24%
o. Cuntos toman a lo ms dos bebidas?
m.Cuntos toman solo gaseosa y
Son los que toman mximo dos, es decir,
cerveza?
uno o dos. Son todos excepto los que toman
n[(GC) J] = 4 %
las tres.
100% - 9 % = 91%
Ejemplo 4.24
41
Se consult a 247 personas acerca de su preferencia por dos candidatos para las elecciones
presidenciales: 80 son partidarios del canditato A, 172 del B y 38 ninguno de los dos.
Cuntas personas le gusta solo un candidato?
Solucin. Considrese el siguiente grafico. Despus de colocar los datos conocidos,
observamos que hacen falta datos que son representados por variables, tal como se muestra
en la figura.
De la figura se deduce el siguiente sistema de ecuaciones lineales:
80
x y
y z 172
x y z 247
Como x y 80 entonces reemplazando en x y z 209 se tiene 80 z 209 y as

z 129 . Puesto que y z 172 , por reemplazo en x 172 209 se concluye que x 37 .
Finalmente, reemplazando x 37 y z 129 , se obtiene y 43 .
Ejemplo 4.25
Se realiz una evaluacin a 375 estudiantes de Noveno Semestre de ingeniera sobre Lmites,
Derivadas e Integrales sobre estos temas. Se encontr que 3x 3 , han olvidado totalmente
los tres temas, 5x 3 tiene bastante conocimiento de los tres, 6 x 2 sabe solo Lmites y
Derivadas, 5x 2 solo Derivadas e Integrales, 2 x 1 solo Lmites e Integrales. Cuntas
personas saben a lo sumo dos temas? Cuntos saben al menos dos temas?
Solucin. Registremos los datos del problema en un diagrama de Venn.
42
Por definicin de conjunto universal,
5x 3 5x 2 5x 2 2 x 1 3x 4 6 x 2 4 x 5 3x 3 375
Simplificando la ecuacin,
33x 12 375
x 11
Reemplazando el valo de x se tiene
Entonces, cuntas personas saben a lo sumo dos temas?

Son los cero, uno o dos; as, el nmero de estudiantes que no sabe estos tres temas es 36, los
que saben solo uno es 49 + 37 + 57 = 143 y los que saben solo dos 21 + 64 + 53 = 138. Por
43
tanto el numero de estudiantes que saben mximo dos o a lo sumo dos temas es 36 + 143 +
138 = 317. Otra manera de hallarlo es quitar al universo el nmero de estudioantes que saben
tres: 375 58 = 317.
Cuntos saben al menos dos temas?
Los que saben al menos dos temas, es decir, mnimamente dos, son los que saben solo tres o
solo dos; por tanto, 58 + 64 + 53 + 21 = 196.
Ejemplo 4.26
Un club consta de 122 personas de las cuales 45 juegan ftbol, 44 baloncesto y 43 voleybol.
10 figuran en los tres deportes, 13 no practica ninguno de estos. El nmero de personas que
solo juega ftbol es igual al nmero de personas que solo juega basket e igual al nmero de
personas que solo juega voleybol. Cuntas personas practican solo un deporte? Cuntas
practican solo dos deportes? Cuntas practican al menos dos deportes? Cuntas practican
a lo sumo dos deportes?
Solucin. Registremos los datos del problema en un diagrama de Venn.
Apoyados en el diagrama de Venn, establecemos el siguiente sistema de ecuaciones lineales:
1.x y z 0 34
2. x y 0 w 35
3. x 0 z w 33
4. 3x y z w 99
Reduzcamos el sistema 4 4 en otro 3 3 eliminando la variable w:
Multiplicando (2) por -1 y sumando a (3) se tiene:
44
x y 0 w 35 1
x 0 z w 33
- x - y 0 - w -35
x 0 z w 33
y as
4. y z 2
Multiplicando (2) por -1 y sumando a (4) se tiene:
x y 0 w 35 1
3x y z w 99
x y 0 w 35
3x y z w 99
y as
5. 2 x 0 z 64
Mientras la ecuacin (1) que no tiene w es la (6)
6. x y z 34
De esta manera se tiene el sistema 3X3:
4. 0 y z 2
5. 2 x 0 z 64
6. x y z 34
Ahora elimeinemos la variable y.

La ecuacin (5) que no tiene variable y queda como ecuacin (7) y sumando (6) y (4) se
obtiene (8):
7.2 x z 64
8. x 2 z 32
Multiplicando (8) por - 2 y luego sumando se elimina la variable x:
45
7. 2 x z 64
8. 2 x 4 z 64
3z 0 . Implica que z = 0.
Reemplazando z = 0 en (7) se tiene x = 32.
Reemplazando x = 32 y z = 0 en (6), se tiene
32 y 0 34 . Implica que y = 2.
Falta hallar w; reemplazando en (4):
3 32 2 0 w 99 . Implica que w = 1.
Prctica 4.4
lo hacen bien"
Annimo
Sean los conjuntos U = {a, b, c, d, e, f, g} el conjunto universo;
A = {a, b, c, d}; B = {c, d, e, f}; C = {c, d, e, f, g}. Hallar
1. (A B) (AB)
2. (A B ) (AB)
3. (A B) C
4. (C C ) (AA) (BA)
Sean los conjuntos U = {x: x es persona de nacionalidad colombiana},
A = {x: x es persona huilense},
B = {x: x es deportista colombiano},
C = {x: x es estudiante colombiano}
Hallar:
1. A '
2. B '
46
3. C '
4. C A
5. A C
6. A C '
7. A B
8. A B '
9. A B
10. A B '
11. AB
Considere los conjuntos.
A = {almuerzo, siesta, ducha} y B = {ducha, afeitado, vestirse}
U = {almuerzo, siesta, ducha, afeitado, vestirse, sena}, el conjunto universo para A y B.
Escriba el significado de las siguientes expresiones segn las definiciones de operaciones
entre conjuntos.
12.
ducha (AB)
13.
almuerzo
(AB)
cena (AB)
14.
16.
almuerzo
(AB)
ducha (AB)
17.
ducha (AB)
18.
ducha (AB)
19.
afeitado (BA)
20.
afeitado (BA)
21.
cena (AB)
22.
23.
almuerzo
(AB)
ducha (AB)
24.
ducha (AB)
25.
cena A
15.
significa
que
significa
que
significa
que
significa
que
significa
que
significa
que
significa
que
significa
que
significa
que
significa
que
significa
que
significa
que
significa
que
significa
que
ducha A ducha B
almuerzo A almuerzo B
cena A cena B
almuerzo ___A ____ almuerzo ___ B
ducha ___A ____ ducha ___ B
afeitado ___B ____ afeitado ___ A
afeitado ___B ____ afeitado ___ A
cena ___(AB) ____ cena ___ (AB)
almuerzo ___(AB) ____ almuerzo ___ (AB)
ducha ___(AB) ____ ducha ___ (AB)
ducha ___(AB) ____ ducha ___ (AB)
cena ___A
47
26.
almuerzo A
27.
siesta B
significa
que
significa
que
almuerzo ___A
siesta ___ B
Resolver los siguientes problemas:

28. Se consult a 55 estudiantes acerca de su preferencia a las materias ingls, espaol y
matemticas: a 5 les gusta las tres, a 33 ingls, a 33 espaol, a 36 matemticas, a 20
matemticas y espaol, a 15 ingls y espaol, a 17 ingls y matemticas. A cuntas
personas les gusta solo una materia? Respuesta: 13
29. Una empresa de comidas rpidas investiga en una ciudad la aceptacin de la hamburguesa
con carne de pollo, de cerdo o de res, consultando al azar a 350 personas. El resultado
fue el siguiente: a 80 personas les gusta los tres tipos de hamburguesas, a 40 ninguna, a
200 la de pollo, a 200 la de cerdo, a 190 la de res, a 110 pollo y cerdo, a 130 pollo y res
y a 120 cerdo y res. A cuntas personas les gusta nicamente dos tipos de hamburguesas?
Respuesta: 120
30. Se consult a 300 personas acerca de su preferencia por la pera, manzana y uva: 83 no le
gusta estas frutas, a 10 les gusta las tres, a 120 le gusta la pera, a 93 manzanas, a 135 uva,
a 38 pera y manzana, 43 manzana y uva, y a 60 pera y uva. Cuntas personas les gusta
solo pera? Cuntas personas les gusta al menos una de estas frutas?
31. En un reconocimiento de 100 atletas se encontr que se especializaron as: 35 en bisbol,
50 en basquetbol, 40 en ftbol, 15 en bisbol y basquetbol, 10 en bisbol y ftbol, 15 en
basquetbol y ftbol y 5 en los tres deportes. Cuntos atletas no se especializaron en estos
tres deportes? Cuntos atletas se especializaron solo en ftbol?
32. Al finalizar un ao de estudios se observ, analizando tres materias M, B, E, que el 2%
reprob las tres, el 6% reprob M y B, el 5% reprob B y E, el 10% reprob M y E, el
29% reprob M, el 32% reprob B y el 16% reprob E. Cuntos estudiantes aprobaron
las tres materias? Cuntos reprobaron una exactamente? Cuntos reprobaron mnimo
una? Cuntos aprobaron mnimo dos? Cuntos aprobaron a lo sumo una? Respuestas:
42%, 41%, 58%, 83%, 17%.
33. Una encuesta realizada entre 600 obreros en una planta revel que 410 tenan casa propia,
500 automvil, 550 televisor, 410 automvil y televisin, 340 automvil y casa, 370 casa
propia y televisin y 300 casa propia, automvil y televisin. Haga un diagrama de Venn
que ilustre es caso. Es correcta la encuesta? Respuesta: No
34. A un investigador se le pagaba $1 por cada persona que entrevistara acerca de sus gustos
sobre el caf. Este empleado inform que 520 personas preferan caf molido, 312 caf
instantneo y 260 ambos tipos. Cunto deber pagrsele? Haga un diagrama de Venn
que ilustre la situacin. Respuesta: $562
35. El investigador del problema anterior realiz una segunda encuesta en otra ciudad y
encontr las siguientes preferencias: 252 personas escogieron caf molido, 210 caf
instantneo, 300 caf instantneo congelado, 80 instantneo e instantneo congelado, 60
instantneo y molido, 110 molido e instantneo congelado, 50 de las tres clases y 120
dijeron no tomar caf. Cunto deber pagrsele a $1 por cada entrevista?
36. Una compaa fabrica rodamientos con una tolerancia muy pequea. Estos se utilizan en
tres productos, A, B, y C. Se tom una muestra de 600 rodamientos midiendo el dimetro
de cada uno de ellos, encontrndose que 193 podan ser utilizados en el producto A, 207
48
en el B, 180 en el C, 278 en el A o en el C, 244 en el B o en el C, 284 en el A o en el B

y 60 en los tres. Encuentre el nmero n(AUBUC). Respuesta: 314
37. Se consulta a 125 personas acerca de su preferencia por las frutas naranja, mandarina y
lima. A 10 no les gusta ninguna fruta, a 50 la naranja, a 40 la mandarina, a 65 la lima, a
10 solo naranja y mandarina, a 15 solo mandarina y lima y a 5 solo naranja y lima. A
cuntas personas les gusta solo una fruta?
38. En un cierto programa universitario se consulta a 100 estudiantes acerca de su preferencia
por la matemtica, la fsica y la qumica. A 23 no les gusta ninguna de las tres. A (8x +
4) les gusta la matemtica, a (8x + 7) la fsica, a (7x + 4) la qumica, a (5x) matemtica y
fsica, a (3x + 5) fsica y qumica, a (3x + 4) matemtica y qumica y a (2x + 1) las tres
materias. A cuntos estudiantes les gusta una sola materia? Respuesta: 35 estudiantes.
39. En un colegio se consulto a 72 estudiantes de noveno, seleccionados al azar, su
preferencia por las especialidades matemticas, ciencias y electricidad. Respondieron de
la siguiente forma: a (2x - 1) les gusta las tres especialidades, 4 ninguna de las tres, a (12x
+ 6) matemticas, a (13x - 2) ciencias, a (13x - 5) electricidad, a (3x + 2) solo matemticas
y ciencias, a (6x - 4) ciencias y electricidad y a (5x) solo matemticas y electricidad.
Cul es el nmero de estudiantes a los cuales les gusta solo una especialidad? Respuesta:
28
40. Se hizo un examen a 160 estudiantes del primer semestre de universidad sobre los temas
de fracciones algebraicas, ecuaciones e inecuaciones. El resultado fue el siguiente: 70
saben fracciones, 90 ecuaciones, 60 inecuaciones, el nmero de estudiantes que solo
saben fracciones es igual al triple del nmero de estudiantes que solo saben inecuaciones
y fracciones; el nmero de estudiantes que solo saben ecuaciones es igual al doble del
nmero de estudiantes que solo saben ecuaciones e inecuaciones; el nmero de
estudiantes que solo sabe fracciones y ecuaciones es igual al nmero de estudiantes que
solo saben inecuaciones; y el nmero de estudiantes que no saben ninguno de los temas
es igual al nmero de estudiantes que saben los tres. Cuntos solo saben un solo tema?
Cuntos saben mninmo dos? mximo dos? Resp. 88; 60; 148
41. Se consult a 247 personas acerca de su preferencia por dos candidatos para las elecciones
presidenciales: 80 son partidarios del candidato A, 172 por el B y hay 38 que no le gusta
ninguno. Cuntas personas les gusta solo un candidato?
42. Se consult a 370 personas sobre su preferencia por jugo o gaseosa. 186 se inclin por
jugo y 169 por gaseosa. Si 20 no consumen estos productos, cuntas personas prefieren
mximo una? Respuesta:
43. Se evalu lo bsico de los temas de funciones trigonomtricas y funciones algebraicas a
194 estudiantes de Clculo Integral de una universidad. 88 tienen conocimiento de las
funciones trigonomtricas, 118 de las algebraicas y 39 ignoran por completo estos
saberes. Cuntos estudiantes saben por lo menos un tema?
44. Se realiz un examen de fraccionarios a 363 estudiantes de grado 11 de secundaria. 199
multiplcan, 157 suman y 19 ni suma ni multiplica. Cuntos estudiantes solo multiplican?
49
45. Un club de lectores consta de 78 personas, de las cuales 50 leen historia, 32 leen novelas
y 23 ciencia. 6 leen estos tres tpicos y 10 ninguno de estos. Cuntas personas leen solo
un tema? Cuntas leen solo dos temas? Cuntas leen al menos dos temas? Cuntas
leen a lo sumo dos?
Prctica 4.5
lo hacen bien"
Annimo
1. Hallar el conjunto de partes o conjunto potencia del conjunto M = {1, 2, 3, 4, 5}, tal como
ilustr anteriormente.
2. Mostrar grficamente tal como se ilustr con la Propiedad 22, que las siguientes
propiedades entre conjuntos 6, 9, 13, 19, 38 y 40 son correctas.
BIBLIOGRAFIA
1. Symour Lipschutz. Coleccin Schaum: Teora de Conjuntos y temas afines.
http://www.cienciamatematica.com/libros/matematica/Libro.Teoria_de_conjuntos_y_temas_afines__Schaum.pdf

Lógica Matemática UCC Cap 4

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Lógica Matemática UCC Cap 4

Uploaded by

Copyright:

Available Formats

CAPTULO 4

APLICACIONES DE LA LOGICA MATEMATICA A LA

Cicern Jimnez Sierra

Una introduccin a la lgica matemtica y conjuntos para estudiantes de ingeniera

1.3 DEDUCCIN O INFERENCIA

Georg Ferdinand Ludwig Philipp Cantor.

Georg Ferdinand Ludwig Philipp

1.1.1 Conceptos Generales

Figura 2. Conjunto de figuras geomtricas planas

Cicern Jimnez Sierra

Una introduccin a la lgica matemtica y conjuntos para estudiantes de ingeniera

Figura 1. Mapa conceptual sobre el concepto de conjunto

En la figura inmediatamente anterior se tiene un conjunto de figuras geomtricas que

Conjuntos vaco y unitario.

denota por { } o por medio de la letra griega fi, . Un conjunto

El conjunto M = {z: z es satlite artificial de Plutn} es vaco y

Conjuntos vaco y unitario.

Conjuntos vaco y unitario.

Conjuntos vaco y unitario.

Cicern Jimnez Sierra

Una introduccin a la lgica matemtica y conjuntos para estudiantes de ingeniera

Conjuntos Finito e Infinito.

Conjuntos Finito e Infinito.

Determinar si el conjunto de parejas A

1, 2,3, 4,5,6,... ; por lo cual se deduce que

hay tantas parejas ordenadas en A como elementos tiene

Conjuntos Finito e Infinito.

Determinar si el conjunto de parejas es finito o infinito

Conjuntos Finito e Infinito.

Determinar si el conjunto de nmeros reales

Solucin. Al ponerlo en correspondencia elemento a elemento con el conjunto de los enteros

1, 2,3, 4,5,6,7,... , se concluye que es infinito, tiene infinito nmero de

Conjuntos Finito e Infinito.

Determinar si el conjunto de nmeros reales

Cicern Jimnez Sierra

Una introduccin a la lgica matemtica y conjuntos para estudiantes de ingeniera

menos infinito y 3; o sea el intervalo

elemento a elemento con el conjunto de los enteros positivos

Relaciones de pertenencia, contenencia e igualdad

La relacin entre un elemento y un conjunto se llama pertenencia; si un elemento x hace

Sean A y B conjuntos no vacos. Se dice que A es subconjunto de

Sean A y B conjuntos no vacos. Se dice que A no es subconjunto

En la figura 3 (a), el condicional x [xA xB] es verdadero, pues xA es verdadero y

Figura 5. Posibilidades en las cuales no se cumple subconjunto propio.

En la figura 5 (a), (b) y (c) M N porque x xM xN y en la figura 5 (d) porque

Cicern Jimnez Sierra

El conjunto , vaco, es subconjunto de todo conjunto A; es

Una introduccin a la lgica matemtica y conjuntos para estudiantes de ingeniera

Demostracin por contradiccin. Supongamos que A es falso y por tanto A es

Conjunto Potencia o Conjunto de Partes de un

Definicin 4.6 el conjunto de subconjuntos de A. Se denota por P(A). El nmero

de elementos de P(A) es n P( A) 2n donde n es el nmero de

De la definicin podemos obtener:

Sea U el conjunto universal y A un conjunto de este universo.

Demostracin por contradiccin. Supongamos que A U es falso. Entonces A U es

A B x xA xB , existe x A x A . Lo cual es una contradiccin. La

Propiedad de Transitividad de la relacin de subconjunto

Figura 6. Propiedad Transitiva de la relacin con tres conjuntos.

Demostracin por el mtodo directo. Por hiptesis, A B y B C . Puesto que A B ,

Igualdad de dos conjuntos.

Sean A y B dos conjuntos. Se dice que A es igual a B, denotada

la relacin de conjunto a conjunto

la relacin de subconjunto propio