A para Todos

CAPITULO I Lgica proposicional
1

Matemtica para todos

Ante nosotros tenemos una teora loca,
pero la cuestin reside en lo siguiente; es
lo suficientemente loca como para
adems resultar justa!

NIELS BOHR

Autos: Franklin Briceo.

2
CAPITULO I: Lgica proposicional

Grandes pensadores han dejado su huella en la ciencia; en la lgica
proposicional tenemos:

Aristteles (384 322 a. C) filsofo griego, el padre de la
lgica.

Gottlob Frege (1848 1925) lgico y matemtico alemn, su
trabajo influy en los lgicos y matemticos modernos.

David Hilbert (1862 1943) matemtico alemn, sus trabajos
de geometra plasman la necesidad ineludible de la lgica.

Kurt Gdel (1906 1978) lgico y matemtico checo,
demostr el teorema de la incompletitud semntica.

Bertrand Russell (1872 1970) filsofo y matemtico
britnico, sent las bases de la lgica moderna.

Esta es mi frase:
El disfrute por la matemtica, radica en no temerle de
antemano

Franklin Briceo.

3
1.1 Lgica.
Es la ciencia que estudia el conocimiento, nos ayuda a razonar y
expresarnos correctamente.

En ste captulo nos referiremos a las nociones de lgica proposicional, sin
entrar al anlisis de la lgica aristotlica.

1.2 Proposicin.
Es toda expresin que pueda asignarle un valor de verdad.

Las proposiciones se simbolizan con letra minscula (p, q, r).

1.2.1 Valor de verdad.
Es la cualidad de verdadero (V) o falso (F) que posee una
proposicin.

Ejemplos de proposiciones
Ejemplo 1. a: Holanda fue finalista en la copa mundial de ftbol en 1970.
Falso (F). Holanda fue finalista en Alemania74 y
Argentina78. Como hemos podido asignar valor de verdad, a es una
proposicin.

Ejemplo 2. b: La capital de Ghana es Accra.
b es una proposicin, por que podemos asignar valor de
verdad. Como Accra es la capital de ese pas africano, la proposicin es
verdadera (V).

Ejemplo 3. c: Barnard es la estrella ms cercana a nuestro sistema solar.
Falso (F). La estrella ms cercana es Alfa Centauro, dista 4.3
aos luz; mientras Barnard se encuentra de nuestro sistema a 6 aos luz. Al
asignar valor de verdad, podemos decir que la expresin es una
proposicin.

Ejemplo 4. d: Las tablas de moiss estaban compuestas por 8
mandamientos.
Falso (F). Para los cristianos, Moiss subi al monte Sina
(Egipto), donde Dios le entreg dos tablas de piedra que contenan 10
mandamientos.

Ejemplo 5. e: El prefijo in se transforma en ir delante de palabras que
empiezan con r.
Verdadero (V). El poder asignar valor de verdad, convierte a
e en una proposicin. Ejemplos de tal regla son: irrompible e irracional.
4
Ejemplo 6. f: 3 + 2 = 6
Falso (F). 3 + 2 = 5. Si ha sido posible decir que la expresin
es verdadera o falsa, f es una proposicin.

Ejemplo 7. g: La astenosfera es una capa atmosfrica.
Falso (F). La astenosfera es una zona de la Tierra que
comprende la corteza terrestre y las capas superiores del manto.

Ejemplo 8. h: Estados Unidos de Amrica fue el primer pas en poner un
hombre en el espacio exterior.
Falso (F). El ruso Yuri Gagarin, en 1961, a bordo de la nave
espacial Vostok, se convirti en el primer hombre en realizar un viaje
csmico. Al asignar un valor de verdad a h, podemos decir que sta es
una proposicin.

Ejemplo 9. i: La Primera Guerra Mundial se desarrollo entre 1914 y 1918.
Verdadero (V). Los austrohngaros le declararon la guerra a
Serbia en julio de 1914. Por razones de alianzas o tratados, otras naciones
participaron en el conflicto, hasta convertirse en una guerra mundial que
culmin en 1918 con la firma de la paz. Si a la expresin se asigna un valor
de verdad, i es una proposicin.

Ejemplo 10. j: La cartida es una arteria.
Verdadero (V). j es una proposicin por que podemos
asignar un valor de verdad.
La cartida es una arteria del sistema circulatorio humano, se encuentra en
la parte anterolateral del cuello (partes laterales) y lleva la sangre al
cerebro.

Ejemplos de expresiones que no son proposiciones
Ejemplo 1. Hola!
Podra usted decir si esta expresin es verdadera o falsa? No
se puede asignar valor de verdad; por lo tanto, no es proposicin.

Ejemplo 2. x + 2 = 7.
No es proposicin. Se nos dificulta asignar valor de verdad, ya
que no conocemos los valores de x.

Ejemplo 3. Cundo volvers?
Tal expresin no es una proposicin, imposible asignar valor
de verdad.

5
Ejemplo 4. Ojal las hojas no te toquen el cuerpo cuando caigan
No es proposicin. Es extracto de una cancin del mejor trovador
hispano, Silvio Rodrguez.

Ejemplo 5. Corri, lleg, durmi
Obviamente no podemos asignar valor de verdad. Quin fue el
que lleg, corri y durmi?

Ejercicios: Escribir 3 expresiones que sean proposiciones y 3 que no lo
sean.
Esfurcese por hacer la tarea. Si usted lo logra solo, se sentir muy
regocijado.

1.2.2 Conectivos lgicos
Son partculas gramaticales tales como y, o,
sientonces, si y slo si que enlazan proposiciones.

Conectivo Smbolo Interpretacin
Conjuncin
.
y, pero
Disyuncin
v
o
Condicional
Si entonces
implica
Bicondicional
si y slo si
equivale

Existe otra partcula gramatical, llamada modificador, esta es no
Smbolo Interpretacin
~
No
No es cierto que
Es falso que

1.2.3 Proposiciones simples y compuestas
1.2.3.a Proposicin simple
Es aquella que en su estructura no posee conectivo lgico.

Nota: Si una proposicin posee nicamente el modificador no, sta seguir
siendo una proposicin simple.

1.2.3.b Proposicin compuesta
Son aquellas que poseen al menos un conectivo lgico en su
estructura.

6
Ejemplos de proposiciones simples y compuestas
Ejemplo 1. p: Vaduz es la capital de Liechtenstein.
Al faltarle conectivo lgico, decimos que es una proposicin simple.

Ejemplo 2. q . r : Isabel fue la madre de Juan el Bautista y Mara la de
Jess.
Posee el conectivo lgico de la conjuncin. q . r es una proposicin
compuesta.

Ejemplo 3. m: El tmpano es una membrana que separa el odo medio del
conducto auditivo externo.
Sin poseer conectivo lgico, m es proposicin simple.

Ejemplo 4. ~n: No es cierto que Venus tenga satlites naturales.
Aun cuando posee el modificador, pero sin conectivo lgico en su
estructura; n es proposicin simple.

Ejemplo 5. s v t: Se escribe b despus de m o el triptongo es la unin
de tres vocales en una misma slaba.
La proposicin es compuesta. Posee en su estructura el conectivo lgico de
la disyuncin o.

Ejemplo 6. p q: Si Keops, Kefrn y Micerino son las pirmides ms
importantes de Egipto, entonces el Nilo es el ro ms
largo del mundo.
Ac tenemos otro ejemplo de proposicin compuesta, por que hay
proposiciones simples enlazadas con, al menos, un conectivo lgico.

Ejemplo 7. a: Cristbal Coln llego a Amrica en 1942.
a es una proposicin simple, ya que no posee conectivo lgico en su
estructura.

Ejemplo 8. b: La mitocondria es una parte de la clula encargada de
obtener energa catablica.
Como la proposicin b no posee conectivo lgico, podemos decir que la
proposicin es simple.

Ejemplo 9. c d: El ocano ms grande del mundo es el pacfico, si y slo
si el 70% del planeta est cubierto por agua.
c d es una proposicin compuesta, posee el conectivo lgico
bicondicional si y slo si.

7
Ejemplo 10. h k: Si 3 2 = 6, entonces 3 + 3 = 6.
La expresin posee al menos un conectivo lgico, por lo tanto es una
proposicin compuesta.

Observacin: Todas las proposiciones anteriores son verdaderas.

1.3 Proposiciones fundamentales
1.3.1 Proposicin conjuntiva
Es toda proposicin compuesta que en su estructura posee el
conectivo lgico de la conjuncin.

Tabla de verdad para la conjuncin
p q
p . q
V V V
V F F
F V F
F F F

Podemos observar que la proposicin conjuntiva slo es verdadera cuando
ambas proposiciones son verdaderas; caso contrario, la proposicin es
falsa.

Intentemos comprender la tabla de verdad anterior.
i. p . q: Newton estudi constantemente y estudiar incrementa la
posibilidad de xito acadmico.

Inicialmente separemos las proposiciones componentes
p: Newton estudi constantemente.
Esta proposicin es verdadera (p: V). Si no fuera as, Newton jams habra
podido formular leyes fsicas antes de los 30 aos de edad.
Isaac Newton (1,642 1,727) matemtico, fsico y astrnomo ingls. Uno
de los hombres de ciencia ms grande de la historia humana.

q: estudiar incrementa la posibilidad de xito acadmico.
La proposicin es verdadera (q: V). Entre ms estudiamos, mayores
conocimientos adquirimos, lo cual nos permite incrementar la posibilidad
de alcanzar xito acadmico; aprobar los cursos escolares y destacarnos en
stos.

La proposicin conjuntiva, es totalmente verdadera (p . q: V). Tanto
estudio le dio mucho conocimiento a Newton y por ende xito.

8
ii. p . r: Newton estudi constantemente y estudiar disminuye la

La primera proposicin es verdadera (p: V), los bigrafos de Isaac Newton
sealan que fue un hombre comprometido con el estudio, anlisis y
reflexin.

r: estudiar disminuye la posibilidad de xito acadmico.
Existen varias formas de aprobar un curso escolar, ya sea que su profesor
se equivoque a la hora de calificar, usted haga trampa en los exmenes, etc.
Pero el xito, slo lo obtendr, estudiando sistemtica y constantemente. La
proposicin r es falsa (r: F).
Observemos que si Newton estudiaba mucho, no es posible que sus
posibilidades de xito disminuyeran. Por lo tanto, la proposicin
compuesta, en su conjunto, es falsa (p . r: F).

iii. s . q: Newton estudi poco y estudiar incrementa la posibilidad de
xito acadmico.

Separemos las proposiciones
s: Newton estudi poco.
Por lo sealado en prrafos anteriores, la proposicin es falsa (s: F).

q: estudiar incrementa la posibilidad de xito acadmico.
La proposicin es verdadera (q: V).

Sabemos que estudiar poco imposibilita la comprensin de cualquier
materia de estudio. Sin el estudio constante, Newton jams hubiese
alcanzado tanto xito. En su conjunto, la proposicin es falsa (s . q: F).

iv. s . r: Newton estudi poco y estudiar disminuye la posibilidad de xito
acadmico.

Es evidente que las proposiciones componentes s y r, son falsas. Es por
eso que la proposicin compuesta es totalmente falsa (s . r: F).

Espero que el anlisis de las cuatro proposiciones conjuntivas, le permiti
comprender la lgica detrs de la tabla de valores y, el por que, la
proposicin conjuntiva nicamente es verdadera, cuando ambas
proposiciones componentes son verdaderas.

9
Ejemplos de proposiciones conjuntivas y sus valores de verdad
Ejemplo 1. a . b: Pekn es la capital de China y Temudjin fue el fundador
del imperio mongol.

a: Pekn es la capital de China. (V)
b: Temudjin fue el fundador del imperio mongol. (V)
Como ambas proposiciones son verdaderas, la proposicin conjuntiva
tambin es verdadera. Simblicamente, a . b: V.
Temudjin (1,167 1,227) mejor conocido como Gengis kan, uno de los
grandes conquistadores de la historia.

Ejemplo 2. c . d: Se escribe ) delante de a, o, u y (beta) es la sexta letra
del alfabeto griego.

Inicialmente separemos las proposiciones simples componentes
c: se escribe ) delante de a, o, u. (V)
d: (beta) es la sexta letra del alfabeto griego. (F)
es la segunda letra del alfabeto griego, la sexta letra es (theta).
Aun cuando la proposicin c es verdadera, la proposicin conjuntiva es
falsa. Esto se debe a que la proposicin d, es falsa.
Simblicamente, c . d: F.

Ejemplo 3. e . f: El aparato digestivo inicia en la faringe y las partidas
son un par de glndulas salivales.

Separemos la proposicin compuesta en dos simples
e: El aparato digestivo comienza en la faringe. (F)
f: Las partidas son un par de glndulas salivales. (V)
La primera proposicin es falsa; por que, la boca es el inicio del aparato
digestivo. La segunda proposicin es verdadera; ya que las partidas junto
a las submaxiliares y sublinguales son los tres pares de glndulas salivales.
La proposicin conjuntiva es falsa, por que al menos una de sus
proposiciones componentes es falsa. Simblicamente, e . f: F.

Ejemplo 4. ~g . h: Los animales no tienen nutricin hetertrofa y los
porferos son metazoos complejos.

Analicemos las proposiciones simples componentes
g: Los animales tienen nutricin hetertrofa. (V)
~g: los animales no tienen alimentacin hetertrofa. (F)
10
Observe que sta proposicin (~g) es negativa, pero sigue siendo
proposicin simple. Como g es verdadera, ~g es falsa.
h: Los porferos son metazoos complejos. (F)
Los porferos (conocidos como esponjas) son los metazoos ms sencillos,
por tal razn la proposicin h es falsa. Simblicamente, ~g . h: F.

Ejemplo 5. I . j: El acero es un elemento qumico y la ecuacin qumica
del agua es H
2
O.

Analicemos las proposiciones por separado
i: El acero es un elemento qumico. (F)
j: la ecuacin qumica del agua es H
2
O. (V)
El acero no puede ser considerado elemento qumico, puesto que es hierro
fundido disminuido en carbono.
Como una de las proposiciones componentes es falsa, la proposicin
conjuntiva es falsa. Simblicamente, i . j: F.

Ejemplo 6. k . l: La Luna dista de la Tierra 384 000 km y la luz solar llega
a nuestro planeta instantneamente.

k: La luna dista de la Tierra 384 000 km. (V)
Aun cuando esta distancia es aproximada, podemos aceptarla como
correcta.
l: la luz solar llega a nuestro planeta instantneamente. (F)
La luz del Sol tarda ms de 8 minutos en llegar a la Tierra. Esto significa
que si el Sol se apagara en este instante, nos daramos cuenta 8 minutos
despus. Con una de las proposiciones (k l) que sea falsa, la proposicin
conjuntiva es falsa. Simblicamente, k . l: F.

Ejemplo 7. m . n: Un byte es la unidad mnima de la computacin y bit es
una cadena fija de 8 bits empleada para codificar un carcter.

Dividamos la proposicin compuesta, en dos simples
m: Un byte es la unidad mnima de la computacin. (F)
La proposicin m es falsa. Byte es una voz inglesa que significa: cadena
fija de 8 bits empleada para codificar un carcter.
n: bit es una cadena fija de 8 bits empleada para codificar un carcter. (F)
Esta proposicin es falsa, bit (voz inglesa) es la unidad mnima de la
computacin. Por lo tanto, m . n: F.

Ejemplo 8. El Corn es el libro sagrado de los mahometanos y La Biblia es
el libro sagrado de los cristianos.
11
Ambas proposiciones componentes son verdaderas y, por tal razn, la
proposicin conjuntiva es verdadera.
Mahoma (570 632) fundador del Islam.

Ejemplo 9. P . q: El primer ser viviente enviado al espacio fue la perra
Laika, pero el Voyager fue el primer satlite lanzado al espacio.

p: El primer ser viviente enviado al espacio fue la perra Laika. (V)
q: El Voyager fue el primer satlite lanzado al espacio exterior. (F)
En 1957, los rusos lanzaron el Sputnik, primer satlite artificial que orbit
alrededor de la Tierra. Ese mismo ao, Laika fue enviada en el Sputnik II.
Con una proposicin componente falsa, la proposicin conjuntiva ser
falsa. Simblicamente, p . q: F.

Ejemplo 10. r . s: 4 + 3 = 8, pero 6 5 = 2.

Analicemos las proposiciones componentes por separado
r: 4 + 3 = 8. (F)
s: 6 5 = 2. (F)
Evidentemente, ambas proposiciones, son falsas. Lo cual significa que la
proposicin conjuntiva tambin es falsa. Simblicamente, r . s: F.

Ejercicios propuestos. Encuentre el valor de verdad de las proposiciones
conjuntivas siguientes.

1. La Tierra posee un satlite natural y Europa es un pas.
2. Chile es un pas africano, pero Honduras un pas americano.
3. 3 5 = 15 y 9 3 = 28.

Esfurcese por hacerlo correctamente y comparta las soluciones con su
mentor.

1.3.2 Proposicin disyuntiva
Es toda proposicin compuesta que en su estructura posee el
conectivo lgico de la disyuncin.

Tabla de verdad para la disyuncin
p q p v q
V V V
V F V
F V V
12
F F F

La proposicin disyuntiva, slo es falsa, cuando ambas proposiciones son
falsas; caso contrario es verdadera.

Interpretemos lo que expresa la tabla anterior
i. p v q: Pasteur estudi constantemente o estudiar incrementa la

Separemos la proposicin compuesta en dos proposiciones simples
p: Pasteur estudi constantemente. (V)
Luis pasteur (1,822 1,895) qumico y bilogo francs, connotado
cientfico que invent las vacunas.

q: Estudiar incrementa la posibilidad de xito acadmico. (V)
Pasteur fue un cientfico estudioso o, indudablemente, estudiar
incrementar las posibilidades de sobresalir en las clases. Por lo tanto, la
proposicin disyuntiva es totalmente verdadera. Simblicamente, p v q: V.

ii. p v r: Pasteur estudi constantemente o estudiar disminuye la posibilidad
de xito acadmico

Dividamos las proposicin compuesta en las dos proposiciones simples
existentes.
p: Pasteur estudi constantemente. (V)
r: Estudiar disminuye la posibilidad de xito acadmico. (F)

Note que la proposicin condicional tiene sentido opcional entre las
proposiciones componentes (p, r). Aun cuando la segunda proposicin sea
falsa, basta que la primera sea verdadera para que la proposicin disyuntiva
sea verdadera. Simblicamente, p v r: V.

iii. s v q: Pasteur estudi poco estudiar incrementa la posibilidad de xito
acadmico.

Aun cuando la primera proposicin s sea falsa, la proposicin disyuntiva
es verdadera. Las razones las explicamos en el ejemplo anterior.
Simblicamente, s v q: V.

iv. s v r: Pasteur estudi poco o estudiar disminuye la posibilidad de xito
acadmico.

13
Observemos que ambas proposiciones componentes son falsas; por lo
tanto, las dos opciones son falsas. La proposicin disyuntiva es totalmente
falsa. Simblicamente, s v r: F.

Ojal! Los cuatro ejemplos le permitan comprender, el por que la
proposicin disyuntiva es falsa slo cuando ambas proposiciones
componentes sean falsas.

Ejemplos de proposiciones disyuntivas y sus valores de verdad
Ejemplo 1. a v b: Sofa es la capital de Bulgaria o el continente europeo
tiene una superficie mayor a los 15 millones de km
2
.

Averigemos el valor de verdad de las proposiciones componentes
a: Sofa es la capital de Bulgaria. (V)
b: El continente europeo tiene una superficie mayor los 15 millones de
km
2
. (F)
La proposicin b es falsa, la extensin superficial de Europa es un poco
mayor a los 10 millones de km
2
. Por lo tanto, la proposicin disyuntiva es
verdadera. Simblicamente a v b: V.

Ejemplo 2. c v d: El Levtico es un libro de La Biblia que trata sobre la
vida de Adn o Lucas fue un discpulo de Jess.

c: El Levtico es un libro de La Biblia que trata sobre la vida de Adn. (F)
La proposicin es falsa, por que: El libro que habla sobre Adn es el
Gnesis; el Levtico trata acerca de las leyes divinas, al igual que Nmeros
y Deuteronomio.
d: Lucas fue un discpulo de Jess. (F)
Lucas fue el escritor del tercer evangelio sinptico, basndose en el
evangelio de Marcos. Acompa en ciertos viajes a San Pablo.
Como ambas proposiciones son falsas, la proposicin disyuntiva tambin
es falsa. Simblicamente c v d: F.

Ejemplo 3. e v f: El estmago es un saco del tubo digestivo con
aproximadamente 25 cm de longitud o el cardias es su orificio de entrada.

Ambas proposiciones componentes son verdaderas, esto implica que la
proposicin disyuntiva es verdadera (verdadero verdadero, es verdadero).
Simblicamente e v f: V.

Ejemplo 4. g v h: Las palabras son esdrjulas cuando la slaba tnica es la
penltima o se escribe con b el pretrito imperfecto indicativo del verbo ir.
14

g: Las palabras son esdrjulas cuando la slaba tnica es la penltima. (F)
La proposicin g es falsa. Aquellas palabras cuya slaba tnica es la
penltima, se llaman graves o llanas. Las esdrjulas poseen el acento en la
antepenltima slaba (ejemplo: cnyuge, telfono, etc.).
h: Se escribe con b el pretrito imperfecto indicativo del verbo ir. (V)
Tal proposicin es verdadera. Se escriben con b: iba, ibas, bamos, ibais,
iban.
En vista que la primera proposicin es falsa y la segunda es verdadera, la
proposicin disyuntiva es verdadera. Recuerde que las proposiciones
disyuntivas, nicamente son falsas, cuando ambas proposiciones son falsas.
Simblicamente g v h: V. Falso verdadero, es verdadero.

Ejemplo 5. i v j: Neil Armstrong fue el primer hombre en poner un pie
sobre la luna o el satlite natural Desdmona fue descubierto por Galileo.

i: Neil Armstrong fue el primer hombre en poner un pie sobre la luna. (V)
El 21 de julio de 1969, Armstrong y Aldrin, aborde del mdulo lunar
estadounidense Eagle, alunizaron en el mar de la tranquilidad. Ese da,
Armstrong se convirti en el primer hombre en pisar suelo lunar.
j: El satlite natural Desdmona fue descubierto por Galileo. (F)
En 1986, la sonda espacial estadounidense Vyager, descubri entre otras-
Desdmona, luna de Urano.
Aunque la proposicin j es falsa, la proposicin disyuntiva es verdadera
(verdadero falso, es verdadero). Simblicamente i v j: V.

Ejemplo 6. k v ~l: Cupido es el Dios romano del amor o es falso que
Estados Unidos de Amrica invadi a Canad en 1989.

Separemos las proposiciones componentes
k: Cupido es el Dios romano del amor. (V)
En la mitologa romana, cupido hijo de la diosa Venus es el Dios del
amor.
l: Estados Unidos de Amrica invadi a Canad en 1989. (F)
~l: Es falso que Estados Unidos de Amrica invadi a Canad en 1989. (V)
Como la proposicin l es falsa, al negarla se convierte en verdadera. En
1989, Estados Unidos intervino militarmente a la Repblica de Panam y
destituy de la presidencia al general Noriega. La proposicin disyuntiva es
verdadera. Simblicamente k v ~l: V.

Ejemplo 7. ~m v ~n: La Gioconda no fue pintada por Da Vinci o Ruben
Daro no fue poeta.

15
m: La Gioconda fue pintada por Da Vinci. (V)
~m: La Gioconda no fue pintada por Da Vinci. (F)
Leonardo Da Vinci (1,452 1,519) cientfico polifactico italiano, creador
de varias pinturas famosas, entre ellas La Gioconda.
n: Rubn Daro fue poeta. (V)
~n: Rubn Daro no fue poeta. (F).
Felix Rubn Garca Sarmiento (1,867 1,916) conspicuo poeta
nicaragense. Mejor conocido como Rubn Daro.
Ambas proposiciones componentes, adems de ser simples (an cuando
poseen el modificador no), son falsas. La proposicin disyuntiva es falsa.
Simblicamente ~m v ~n: F.

Ejemplo 8. p v q: La biosfera es la parte de la Tierra donde se imposibilita
el desarrollo de la vida o la humanidad necesita de los bosques.

p: La biosfera es la parte de la Tierra donde se imposibilita el desarrollo de
la vida. (F)
Tal proposicin es falsa, por que la biosfera es la regin del planeta
(comprende la troposfera, litosfera e hidrosfera) en donde se desarrolla la
vida.
q: La humanidad necesita de los bosques.
Evidentemente sta proposicin es verdadera. Los rboles durante la
fotosntesis liberan oxgeno; de ah la necesidad de preservar los bosques
del mundo.
Aun cuando la primera proposicin es falsa, la proposicin disyuntiva es
verdadera. Simblicamente p v q: V.

Ejemplo 9. r v s: La Botnica es la parte de la Biologa que estudia los
insectos o las clorofitas son algas verdes.

r: La Botnica es la parte de la Biologa que estudia los insectos. (F)
La Botnica estudia, describe y clasifica los vegetales. La entomologa es la
que estudia los insectos.
s: Las clorofitas son algas verdes. (V)
Independientemente que la proposicin r sea falsa, la proposicin
disyuntiva es verdadera. Simblicamente r v s: V.

Ejemplo 10. t v u: Los marsupiales poseen una bolsa abdominal o el
crecimiento del hombre dura hasta los 20 aos.

Como ambas proposiciones son verdaderas, la proposicin disyuntiva es
verdadera.
16
Ejercicios: Encuentre el valor de verdad de las proposiciones disyuntivas.
1. San Salvador es la capital de El Salvador o el hundimiento del Titnic es
un mito.
2. Bogot es la capital de Grecia o Canad es el pas con mayor poblacin.
3. La partcula gramatical la es un verbo o los perros pertenecen al orden
de los primates.

Si inicialmente no lo comprende, lea nuevamente e intente resolver.

1.3.3 Proposicin condicional
Es aquella formada por dos proposiciones enlazadas con la
expresin Sientonces o implica.

Tabla de verdad
p q P q
V V V
V F F
F V V
F F V

La proposicin condicional, slo es falsa, cuando el antecedente es
verdadero y el consecuente falso; caso contrario es verdadera.

Analicemos el sentido lgico de dicha tabla de verdad
i. p q: Si Galileo estudi constantemente, entonces estudiar incrementa
la posibilidad de xito acadmico.

p: Galileo estudi constantemente. (V)
Galileo Galilei (1,564 1,642) fsico, matemtico y astrnomo italiano,
padre de la Fsica cuantitativa.
q: estudiar incrementa la posibilidad de xito acadmico. (V)
La idea sera lo siguiente: Galileo fue un estudioso de la naturaleza que
trabaj incansablemente, lo que fue decisivo para el xito en sus trabajos
cientficos. Tanto as, despus de varios siglos, aun se le recuerda y seguir
siendo recordado. La proposicin condicional es totalmente verdadera.
Simblicamente p q: V.

ii. p r: Si Galileo estudi constantemente, entonces estudiar disminuye la

p: Galileo estudi constantemente. (V)
r: estudiar disminuye la posibilidad de xito acadmico. (F)
17
Pensemos en los siguiente: Tanto esfuerzo y constancia por comprender la
naturaleza debe tener alguna recompensa, imposible que Galileo no hubiese
alcanzado cierto nivel de xito. Por eso la proposicin condicional es falsa.
p q: F.
Nota: La mayora asocia el xito con el dinero que se gana, pero los
cientficos no suelen reunir grandes fortunas; por lo que el xito de stos, es
su desinteresado trabajo por la humanidad.

iii. s q: Si Galileo estudi poco, entonces estudiar aumenta la posibilidad
de xito acadmico.

s: Galileo estudi poco. (F)
q: Estudiar incrementa la posibilidad de xito acadmico. (V)

Comprendamos que aun cuando Galileo hubiese estudiado poco, no deja de
ser menos verdadero, que si estudiamos tenemos mayor posibilidad de
aprobar una materia o cualquier curso. Lo que nos permite asegurar que la
proposicin condicional es verdadera. s q: V.

iv. s r: Si Galileo estudi poco, entonces estudiar disminuye la

s: Galileo estudi poco. (F)
r: Estudiar disminuye la posibilidad de xito acadmico. (F)

Si Galileo hubiese puesto poco inters en estudiar y comprender las leyes
que rigen la naturaleza, no pudiera considerarse uno de los cientficos ms
sobresalientes y exitoso de la historia humana. En contraste, el desinters
por los estudios nos disminuir las posibilidades de xito acadmico. Nos
lleva a concluir que la proposicin es verdadera. s r: V.

Ejemplos de proposicin condicional y sus valores de verdad
Ejemplo 1. v w: Si la esclertica es la capa externa del globo ocular,
entonces la miopa es la falta de visin clara de objetos distantes.

Analicemos el valor de verdad de la proposiciones antecedente y
consecuente.
v: La esclertica es la capa externa del globo ocular. (V)
La esclertica es la parte blanca nacarada de nuestro ojo.
w: La miopa es la falta de visin clara de objetos distantes. (V)
Cuando los ojos de una persona crean la imagen de un objeto, no sobre la
retina, sino delante de ella, son miopes.
18
La proposicin condicional es verdadera. simblicamente, v w: V.

Ejemplo 2. t u: Si Helsinki es la capital de Finlandia, entonces Kano es
la capital de Nigeria.

Separemos las proposiciones y analicemos sus valores de verdad
t: Helsinki es la capital de Finlandia. (V)
Helsinki es la capital de ese pas de la Europa septentrional.
u: Kano es la capital de Nigeria. (F)
La capital de Nigeria (pas africano) es Abuja. Por lo tanto, la proposicin
u es falsa.
En su conjunto la proposicin condicional es falsa (verdadero implica falso,
es falso). Simblicamente, t u: F.

Ejemplo 3. r s: Si Kepler fue dramaturgo, entonces Bohr fue fsico.

Johannes Kepler (1,571 1,630) astrnomo y matemtico alemn.
Determin tres leyes relativas al movimiento de los planetas, conocidas
como las tres leyes de Kepler.
Niels Bohr (1,885 1,962) fsico dans. Premio Nobel de Fsica en 1,922.

r: Kepler fue dramaturgo. (F)
s: Bohr fue fsico. (V)
Como la proposicin antecedente es falsa y la consecuente verdadera, la
proposicin condicional es verdadera. Simblicamente, r s: V.

Ejemplo 4. p q: Si Roma se fund a mediados del siglo VIII (a. C),
entonces Alejandro Magno fue mdico.

Al separar las proposiciones, tenemos
p: Roma se fund a mediados del siglo VIII (a. C.). (V)
q: Alejandro Magno fue mdico. (F)
En este caso el antecedente es verdadero y el consecuente falso. La
proposicin condicional es falsa. Simblicamente, p q: F.
Alejandro Magno (356 325 a. C.) rey y conquistador macedonio.
Conquist Egipto, Susa (SO de Irn) y Perspolis (principal ciudad Persa).

Ejemplo 5. m n: Si \16 = 8, entonces 3
2
= 6.

Descomponemos en proposiciones simples
m: \16 = 8. (F)
n: 3
2
= 6. (F)
19
Como las dos proposiciones son falsas, la proposicin condicional es
totalmente verdadera. Recuerde que: falso implica falso, es verdadero.
Simblicamente, m n: V.
Errores comunes entre los estudiantes, son:
a. Creer que extraer raz cuadrada es equivalente a dividir entre dos, lo
cual es falso. Extraer raz cuadrada es buscar un nmero que
multiplicado por s mismo (dos veces), el producto, sea igual a la
cantidad subradical. As por ejemplo: \16 = 4, por que 4 4 = 16.
b. Multiplicar la base por el exponente, resulta ser otro de los errores.
Cuando se tiene una potencia, el exponente indica las veces que
debemos multiplicar la base por s misma. Ejemplo: 3
2
= 3 3 = 9 2
5
=
2 2 2 2 2 = 32.

Ejemplo 6. k l: Si se escribe con g las palabras que terminan en loga,
entonces se escriben comillas latinas (<< >>) en la reproduccin fiel de las
palabras dichas por alguien.

Separemos las proposiciones componentes
k: se escribe con g las palabras que terminan en loga. (V)
l: se escriben comillas latinas en la reproduccin fiel de las palabras dichas
por alguien. (V)

Ya que ambas proposiciones son verdaderas, la proposicin conjuntiva es
verdadera. k l: V.

Ejemplo 7. i j: Si el Sol dista de la Tierra 150 millones de km, entonces
a igual distancia se encuentran las estrellas.

i: el Sol dista de la Tierra 150 millones de km. (V)
j: Las estrellas se encuentran de la Tierra a igual distancia que el Sol. (F)
La proposicin condicional es falsa, por que la proposicin antecedente es
verdadera y la consecuente falsa. i j: F.

Ejemplo 8. g h: Si la discontinuidad de Mohorovicic se encuentra entre
el manto y la corteza terrestre, entonces el dimetro de la Tierra es de
12756 km.

g: la discontinuidad de Mohorovicic se encuentra entre el manto y la
corteza terrestre. (V)
h: el dimetro de la Tierra es de 12 756 km. (V)
Como el antecedente y consecuente son verdaderos, la proposicin
condicional es verdadera. Simblicamente, g h: V.
20
Ejemplo 9. d f: Si la antpoda de los nicaragenses est en el mar de
China, entonces Nicaragua es un pas africano.

d: la antpoda de los nicaragenses est en el mar de China. (F)
f: Nicaragua es un pas africano. (F)
Falso implica falso, es verdadero. La proposicin condicional es verdadera.
Simblicamente, d f: V.

Ejemplo 10. b c: Si xodo es el segundo libro en La Biblia, entonces
Jeric se encuentra en Alemania.

b: xodo es el segundo libro en La Biblia. (V)
c: Jeric se encuentra en Alemania. (F)
Jeric fue conquistada por Josu y, es actual territorio de Jordania.
Tenemos a la proposicin antecedente verdadera y la consecuente falsa.
Implica que la proposicin condicional es falsa. b c: F.

Ejercicios: Encuentre el valor de verdad para las proposiciones
condicionales siguiente.

1. Si 3 + 4 = 7, entonces 3 7 = 24.
2. Si Amman es la capital de Siria, entonces Nueva Delhi es un pas.
3. El ao terrestre tiene 48 semanas, implica que una semana tiene 168
horas.
Las soluciones encontrar fcilmente, nicamente debe ponerse a trabajar.

1.3.4 Proposicin bicondicional
Es aquella formada por dos proposiciones, enlazadas con el
conectivo lgico si y slo si.

Tabla de verdad
p q p q
V V V
V F F
F V F
F F V

La proposicin bicondicional es verdadera, nicamente, cuando las dos
proposiciones son verdaderas ambas falsas.

21
Reflexionemos sobre la tabla de valores de verdad
i. p q: Al-Juarismi estudi constantemente, si y slo si estudiar
incrementa la posibilidad de xito acadmico.

Al-Juarismi (siglo VIII IX) matemtico rabe, internacionaliz el trmino
al-jabr (lgebra).
p: Al-Juarismi estudi constantemente. (V)
Al-Juarismi estudi constantemente por que saba tal actitud le hara
crecer intelectualmente y acercarse al xito. Por razn expuesta, la
proposicin bicondicional es verdadera. Simblicamente, p q: V.

ii. p r: Al-Juarismi estudi constantemente, si y slo si estudiar
disminuye la posibilidad de xito acadmico.

p: Al-Juarismi estudi constantemente. (V)
La proposicin bicondicional tiene carcter doblemente condicionado. Para
verificar la primera proposicin (p), es necesaria la segunda (r); para que
ocurra la segunda proposicin, necesitamos de la primera proposicin.
Jams, estudiar mucho, disminuir la posibilidad de obtener xito. La
proposicin bicondicional es falsa. Simblicamente, p q: F.

iii. s q: Al-Juarismi estudi poco, si y slo si estudiar incrementa la

s: Al-Juarismi estudi poco. (F)
El conocimiento no es como la lotera (una cuestin de azar), debe
estudiarse para obtenerlo. Si Al-Juarismi hubiese estudiado poco, sera
imposible, fuese uno de los matemticos ms reconocidos de la historia
humana. La proposicin bicondicional es falsa. s q: F.

iv. s r: Al-Juarismi estudi poco, si y slo si estudiar disminuye la

s: Al-Juarismi estudi poco. (F)
La proposicin bicondicional es verdadera. Con poco estudio, es imposible
obtener xito en los cursos escolares. s r: V.

Ejemplos adicionales de proposiciones bicondicionales
22
Ejemplo 1. a b: Rusia es el pas ms extenso del mundo, si y slo si el
cucaso es una cordillera asitico europea.

a: Rusia es el pas ms extenso del mundo. (V)
La superficie de sta nacin es de 17 075 400 km
2
.
b: el cucaso es una cordillera asitico europea. (V)
El cucaso es una cordillera del sudeste de Europa, se extiende entre el mar
Negro y el Caspio.
La proposicin bicondicional es verdadera; ya que ambas proposiciones
componentes, son verdaderas. Simblicamente, a b: V.

Ejemplo 2. c ~d: Alemania apareci como reino independiente en el ao
843, si y slo si es falso que la Repblica Checa comparte frontera con
Alemania.

c: Alemania apareci como reino independiente en el ao 843. (V)
En la ciudad francesa de Verdn, se acord la reparticin del imperio
carolingio (antiguos dominios de carlomagno) entre los tres hijos de
Luvodipo Po.
d: la Repblica Checa comparte frontera con Alemania. (V)
~d: Es falso que la Repblica Checa comparte frontera con Alemania. (F)
Como una de las proposiciones componentes es falsa, la proposicin
bicondicional es falsa. Simblicamente, c d: F.

Ejemplo 3. e f: Las rocas gneas se forman en las zonas profundas de la
corteza terrestre, si y slo si las metamrficas se originan por
transformaciones de rocas preexistentes.

e: Las rocas gneas se forman en las zonas profundas de la corteza terrestre.
(F)
Las rocas plutnicas son las que se forman en zonas profundas. Las gneas,
son el resultado de la solidificacin del magma.
f: las rocas metamrficas se originan por transformaciones de rocas
preexistentes. (V)
Una de las proposiciones componentes es falsa, esto implica que la
proposicin bicondicional es falsa. e f: F.

Ejemplo 4. g h: El esternocleidomastoideo es un estupefaciente, si y
slo si el hipotlamo es una fortaleza chilena.

g: El esternocleidomastoideo es un estupefaciente. (F)
23
El esternocleidomastoideo es un msculo de la regin anterolateral del
cuello.
h: el hipotlamo es una fortaleza chilena. (F)
El hipotlamo es una porcin del diencfalo (estructura entre los dos
hemisferios cerebrales), destinado a la regulacin de las principales
funciones de la vida vegetativas (hambre, sed, etc).
Podemos observar que las proposiciones componentes son falsas; por lo
tanto, la proposicin bicondicional es verdadera. g h: V.

Ejemplo 5. i j: Venus es el segundo planeta desde el Sol, si y slo si la
Tierra dista de Jpiter 629 000 000 km, aproximadamente.

i: Venus es el segundo planeta desde el Sol. (V)
k: la Tierra dista de Jpiter 629 000 000 km, aproximadamente. (V)
La proposicin bicondicional es verdadera. Simblicamente, i j: V.

Ejemplo 6. ~l m: No se escriben con letra inicial mayscula hechos
histricos famosos, si y slo si se escribe con v el presente indicativo del
verbo ir.

l: se escriben con letra inicial mayscula hechos histricos famosos. (V)
Ejemplos: Primera Guerra Mundial, Revolucin Francesa, etc.
~l: No se escriben con letra inicial mayscula hechos histricos famosos.
(F)
m: se escribe con v el presente indicativo del verbo ir. (V)
Falso, si y slo si verdadero, es falso. La proposicin bicondicional es
falsa. ~l m: F.

Ejemplo 7. p q: En Biologa, un grupo de gneros similares constituyen
una especie, si y slo si Carl von Linn realiz la primera clasificacin
sistemtica de los seres vivos.

p: En Biologa, un grupo de gneros similares constituyen una especie. (F)
Por el contrario, un grupo de especies similares constituyen un gnero.
q: Carl von Linn realiz la primera clasificacin sistemtica de los seres
vivos. (V)
Carl von Linn (1,707 1,778) naturalista y mdico sueco; propuso una
nomenclatura binaria, utilizada en la actualidad, para clasificar plantas y
animales.
La proposicin bicondicional es falsa. Simblicamente, p q: F.

24
Ejemplo 8. r s: La tenia pertenece a la clase Asquelmintos, si y slo si el
cangrejo a los arcnidos.
Ambas proposiciones (r y s) son falsas; por lo tanto la proposicin
bicondicional es verdadera.

Ejemplo 9. t u: Isaas en el cristianismo fue el primero de los
profetas mayores, si y slo si Proverbios es un libro bblico de sabidura.

Ambas proposiciones componentes son verdaderas, razn suficiente para
que la proposicin bicondicional sea verdadera. t u: V.

Ejemplo 10. x y: El azufre es un metal, si y slo si el boro es anftero.

x: El azufre es un metal. (F)
y: el boro es anftero. (V)
Los anfteros son capaces de disociarse como cido y como base.
Evidentemente, x y: F.

Ejercicios: Asigne valor de verdad a las siguientes proposiciones.
i. Washintong es la capital de USA, si y slo si Alaska es un estado
canadiense.

ii. Gabriel Garca Mrquez escribi la Ileada, si y slo si gan el premio
Nobel de Literatura en 1982.

iii. La superficie de Sudn es 2 505 813 km
2
, si y slo si se independiz en
1970.

Qu espera para tomar lpiz y papel? el xito lo construir usted!

1.4 Algebra proposicional.
Necesitamos aprender a determinar el valor de verdad de proposiciones
compuestas que poseen cierto grado de complejidad. Para ello, utilizaremos
la matriz de contingencia (Tabla de valores de verdad).

Encuentre los posibles valores de verdad para las proposiciones compuestas
Ejemplo 1. (p . q) v ~(p . q)
Debemos proceder por partes, escudriemos con atencin la siguiente tabla
p q p . q ~(p . q) (p . q) v ~(p . q)
V V V F V
V F F V V
F V F V V
25
F F F V V

Observemos: La tercer columna contiene los posibles valores de verdad
para la proposicin conjuntiva p . q (slo es verdadera, cuando ambas
proposiciones componentes son verdaderas); despus, en la cuarta columna
negamos dicha proposicin conjuntiva, ~(p . q). En la quinta y ltima
columna, determinamos los posibles valores de verdad para la proposicin
disyuntiva (p . q) v ~(p . q), la cual ser falsa nicamente cuando ambas
proposiciones componentes sean falsas.

Ejemplo 2. p v ~p
Construyamos la matriz de contingencia
P ~p p v ~p
V F V
F V V

Podemos ver, que el valor de verdad para las proposiciones de los ejemplos
1 y 2, es siempre verdadero.

1.4.1 Tautologa
Es una proposicin compuesta, cuyo valor de verdad es siempre
verdadera.

Ejemplo 3. p . (~p . q)
p q ~p ~p . q p . (~p . q)
V V F F F
V F F F F
F V V V F
F F V F F

Al igual que los ejemplos anteriores, debemos ir construyendo, columna a
columna, la matriz de contingencia.

Ejemplo 4. {|(p v q) r| . ~r} {(p v q) v r}
p q r ~r p v q (p v q) r (p v q) v r |(p v q) r| . ~r {|(p v q) r| . ~r} {(p v q) v r}
V V V F V V V F F
V V F V V F V F F
V F V F V V V F F
V F F V V F V F F
F V V F V V V F F
F V F V V F V F F
F F V F F V V F F
F F F V F V F V F
26
Las tres primeras columnas: Tienen todas las posibles combinaciones de
los valores de verdad para las proposiciones simples componentes (p, q y
r).

Cuarta columna: La proposicin r, est negada.

Quinta columna: Hemos encontrado la disyuncin, p q.

Sexta columna: Tenemos valores de verdad para la disyuncin (p v q) r.

Sptima columna: Encontramos los valores de verdad para la proposicin
condicional; si (p v q), entonces r.

Octava columna: La proposicin condicional anterior y negada r, forman la
proposicin conjuntiva.

Novena columna: Utilizando los valores de verdad de la octava y sptima,
para encontrar los valores de verdad de la proposicin bicondicional {|(p v
q) r| . ~r} {(p v q) v r}. Las proposiciones compuestas encerradas
entre signos de agrupacin (parntesis, corchete y llave) se consideran con
un nico valor de verdad falso verdadero .

En los ejemplos 3 y 4, los valores de verdad para las proposiciones
compuestas, son todas falsas.

1.4.2 Contradiccin.
Es aquella proposicin compuesta, que siempre ser falsa,
independientemente de los valores de verdad de sus proposiciones
componentes.

Ejemplo 5. s . (~t u)
s t u ~t ~t u s . (~t u)
V V V F V V
V V F F V V
V F V V V V
V F F V F F
F V V F V F
F V F F V F
F F V V V F
F F F V F F

Si ponemos un poco de atencin, veremos que:
27
Una proposicin simple, contempla dos posibles valores de verdad,
verdadero o falso.

Cuando hay dos proposiciones simples componentes, construimos
cuatro filas de valores de verdad. En la primera columna, dos verdaderas
y dos falsas.

Con tres proposiciones simples componentes, tendremos 8 filas de
valores de verdad. En la primer columna 4 verdaderas e igual cantidad
de falsas.

La tendencia es evidente, al tener 5 proposiciones componentes
construiremos 32 filas. En la primer columna 16 verdaderas y 16 falsas; la
segunda columna estar formada por valores de verdad intercaladas 8
verdaderas, 8 falsas, 8 verdaderas, 8 falsas. Cuntas filas necesitamos para
4 proposiciones componentes? y para 6 proposiciones componentes?

Ejemplo 6. (p v q) . (~r s)
P q r S ~r p v q ~r s (p v q) . (~r s)
V V V V F V F F
V V V F F V V V
V V F V V V V V
V V F F V V F F
V F V V F V F F
V F V F F V V V
V F F V V V V V
V F F F V V F F
F V V V F V F F
F V V F F V V V
F V F V V V V V
F V F F V V F F
F F V V F F F F
F F V F F F V F
F F F V V F V F
F F F F V F F F

Lo not! Tenemos 16 filas de valores de verdad por que son 4
proposiciones componentes (p, q, r y s)

En los ejemplos 5 y 6, vemos que las proposiciones compuestas no siempre
son verdaderas, ni siempre falsas.
1.4.3 Contingencia
28
Es una proposicin compuesta que no es tautologa ni
contradiccin.

Ejemplo 7. |~q . (p q)| ~p
P q ~p ~q p q ~q . (p q) |~q . (p q)| ~p
V V F F V F V
V F F V F F V
F V V F V F V
F F V V V V V
A sta tautologa se le conoce como Modus Tollendo Tollens.

Ejemplo 8. |~p . (p v q)| q
P q ~p p v q ~p . (p v q) |~p . (p v q)| q
V V F V F V
V F F V F V
F V V V V V
F F V F F V
Tautologa conocida como Modus Tollendo Ponens.

Ejemplo 9. (f g) v (h i)
f g h I f g h i (f g) v (h i)
V V V V V V V
V V V F V F V
V V F V V F V
V V F F V V V
V F V V F V V
V F V F F F F
V F F V F F F
V F F F F V V
F V V V V V V
F V V F V F V
F V F V V F V
F V F F V V V
F F V V V V V
F F V F V F V
F F F V V F V
F F F F V V V

29
Ejemplo 10. {|(p . ~q) (~p . q)| |~(r v p) . s|} . t
p q r s t ~p ~q p . ~q ~p . q r v p ~ (r v p) (p . ~q) (~p . q) ~ (r v p) . s |(p . ~q) (~p . q)| |~(r v p) . s| { |(p . ~q) (~p . q)| |~(r v p) . s| } . t
V V V V V F F F F V F V F F F
V V V V F F F F F V F V F F F
V V V F V F F F F V F V F F F
V V V F F F F F F V F V F F F
V V F V V F F F F V F V F F F
V V F V F F F F F V F V F F F
V V F F V F F F F V F V F F F
V V F F F F F F F V F V F F F
V F V V V F V V F V F F F V V
V F V V F F V V F V F F F V F
V F V F V F V V F V F F F V V
V F V F F F V V F V F F F V F
V F F V V F V V F V F F F V V
V F F V F F V V F V F F F V F
V F F F V F V V F V F F F V V
V F F F F F V V F V F F F V F
F V V V V V F F V V F V F F F
F V V V F V F F V V F V F F F
F V V F V V F F V V F V F F F
F V V F F V F F V V F V F F F
F V F V V V F F V F V V V V V
F V F V F V F F V F V V V V F
F V F F V V F F V F V V F F F
F V F F F V F F V F V V F F F
F F V V V V V F F V F V F F F
F F V V F V V F F V F V F F F
F F V F V V V F F V F V F F F
F F V F F V V F F V F V F F F
F F F V V V V F F F V V V V V
F F F V F V V F F F V V V V F
F F F F V V V F F F V V F F F
F F F F F V V F F F V V F F F

Las proposiciones de los ejemplos 9 y 10, son contingencia
30
Es probable que bostezara y pasara de largo las tablas anteriores. Le
sugiero tome papel y lpiz e intente seguir el procedimiento. Estoy seguro
que transcurridos 3 minutos, se estar divirtiendo!

Ejercicios: Cules de las proposiciones componentes son tautooga,
contradiccin contingencia?
i. (p . q) p
ii. p (~p q)
iii. p ~p

1.5 Equivalencias lgicas
Dos proposiciones compuestas, son equivalentes, si poseen las
mismas tablas de verdad.
Se simboliza

Ejemplos de equivalencias lgicas
Ejemplo 1. ~(p . q) ~p v ~q
p q ~p ~q p . q ~(p . q) ~p v ~q
V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V
Podemos observar que las proposiciones son equivalentes.

Ejemplo 2. ~(p v q) ~p . ~q
p q ~p ~q p v q ~ (p v q) ~p . ~q
V V F F V F F
V F F V V F F
F V V F V F F
F F V V F V V
Ambos ejemplos de equivalencias lgicas, son conocidas como Leyes de
DMorgan.

Ejemplo 3. (p q) {(p q) . (q p)}
p q p q q p p q (p q) . (q p)
V V V V V V
V F F V F F
F V V F F F
F F V V V V

31
Ejemplo 4. (p q) {(p . q) v (~p . ~q)}
P q ~p ~q p . q ~p . ~q p q (p . q) v (~p . ~q)
V V F F V F V V
V F F V F F F F
F V V F F F F F
F F V V F V V V
Los ejemplos 3 y 4, demuestran las Leyes para proposiciones
bicondicionales.

Ejemplo 5. p . (q . r) (p . q) . r
p q r q . r p . q p . (q . r) (p . q) . r
V V V V V V V
V V F F V F F
V F V F F F F
V F F F F F F
F V V V F F F
F V F F F F F
F F V F F F F
F F F F F F F
En las 3 primeras columnas, hemos escrito todas las posibles
combinaciones (de los valores de verdad) entre las proposiciones simples
componentes p, q y r.
Cuarta columna: Dados los valores de verdad para las proposiciones
simples, encontramos la proposicin conjuntiva q . r (verdadera en la
primer y quinta fila).
En la quinta columna, hallamos los valores de verdad para la conjuncin p
. q (verdadera en la primer y segunda fila).
Sexta columna: Encontramos los valores de verdad para la proposicin
compuesta p . (q . r).
La quinta columna contiene los valores de verdad para (p . q) . r.
Observemos que las proposiciones son equivalentes; poseen la misma tabla
de verdad.

Ejemplo 6. p v (q v r) (p v q) v r
p q r q v r p v q p v (q v r) (p v q) v r
V V V V V V V
V V F V V V V
V F V V V V V
V F F F V V V
F V V V V V V
F V F V V V V
F F V V F V V
32
F F F F F V F
En los ejemplo 5 y 6, demostramos la propiedad asociativa.

Ejemplo 7. p . (q v r) (p . q) v (p . r)
p q r q v r p . q p . r p . (q v r) (p . q) v (p . r)
V V V V V V V V
V V F V V F V V
V F V V F V V V
V F F F F F F F
F V V V F F F F
F V F V F F F F
F F V V F F F F
F F F F F F F F

Ejemplo 8. p v (q . r) (p v q) . (p v r)
p q r q . r p v q p v r p v (q . r) (p v q) . (p v q)
V V V V V V V V
V V F F V V V V
V F V F V V V V
V F F F V V V V
F V V V V V V V
F V F F V F F F
F F V F F V F F
F F F F F F F F
La propiedad distributiva, est demostrada en los ejemplos de equivalencia,
7 y 8.

Ejemplo 9. ~(p q) p . ~q
p q ~q p q ~(p q) p . ~q
V V F V F F
V F V F V V
F V F V F F
F F V V F F
Ley de la negacin para la implicacin

Ejemplo 10. p q ~p v q
p q ~p p q ~p v q
V V F V V
V F F F F
F V V V V
F F V V V
En ste ejemplo de equivalencia,
est demostrada la Ley de
implicacin disyuncin.

33
1.5.1 Resumen de propiedades
1. Conmutativa
a. p . q q . p para la conjuncin
b. p v q q v p para la disyuncin

2. Idempotencia
a. p v p p disyuncin
b. p . p p conjuncin

3. Asociativa
a. p . (q . r) (p . q) . r conjuncin
b. p v (q v r) (p v q) v r disyuncin

4. Distributiva
a. p . (q v r) (p . q) v (p . r) conjuncin respecto disyuncin
b. p v (q . r) (p v q) . (p v r) disyuncin respecto conjuncin

5. Leyes de DMorgan
a. ~(p . q) ~p v ~q
b. ~(p v q) ~p . ~q

6. Doble negacin
p ~ (~p)

7. Negacin de la implicacin
~(p q) p . ~q

8. Contraposicin
p q ~q ~p

9. Ley implicacin disyuncin
p q ~p v q

10. Leyes de proposiciones bicondicionales
a. p q (p q) . (q p)
b. p q (p . q) v (~p . ~q)

Le invito que sea usted les d las respectivas interpretaciones a todas las
propiedades.

Ejercicios: Demuestre las leyes de:
i. Doble negacin
34
ii. Contraposicin
iii. Conmutativa
iv. Idempotencia
Querer, es poder! Jams se rinda!

2 Formas proposicionales
Es toda expresin, que posee en su estructura una o ms variables,
la cual se convierte en proposicin al sustituir valores en las variables.
Se denota p(x), q(x), etc.

Debemos entender por variable, toda incgnita que no es constante.
2.1 Dominio
Son aquellos valores que al ser sustituidos en la variable, la forma
proposicional, se convierte en proposicin.

2.2 Conjunto solucin
Est constituido por aquellos valores que verifican la forma
proposicional.

Ejemplos de formas proposicionales
Encuentre el dominio y conjunto solucin de las formas proposicionales
Ejemplo 1. m(x): x es un pas de la Europa nrdica.
Dominio: Cualquier pas del planeta.
Intentemos comprender por que, ese es el dominio de la forma
proposicional m(x).
Si decimos, m(x): Sudfrica es un pas de la Europa nrdica
Podemos asignar valor de verdad. Por lo tanto, la forma proposicional se ha
convertido en proposicin.
Conjunto solucin: {Noruega, Suecia, Dinamarca, Finlandia e Islandia}
Sustituir cualquiera de stos elementos en x, convierte a la forma
proposicional, en proposicin verdadera.

Ejemplo 2. n(y): y es homfono de la palabra hierba.
Dominio: Cualquier palabra.
Conjunto solucin: {hierva}
Hierva de hervir.

Ejemplo 3. l(z): z es cometa, cuyo periodo es de 76 aos.
Dominio: Todos los cometas conocidos.
Conjunto solucin: {Halley}
Edmund Halley (1656 1742) astrnomo britnico, calcul el periodo en
1682 del cometa que ahora lleva su apellido.

35
Ejemplo 4. p(x): x + 3 = 5
Dominio: Los nmeros naturales
Conjunto solucin: {2}

Ejemplo 5. q(x): x es una clase de molusco
Dominio: Cualquier clase de ser vivo.
Conjunto solucin: {anfineuros, escafpodos, gasterpodos, pelecpodos,
cefalpodos}
Entre los moluscos ms conocidos, tenemos: caracoles (gasterpodos),
calamares (cefalpodos).

Ejemplo 6. r(y): y es esqueleto del brazo.
Dominio: Huesos del cuerpo.
Conjunto solucin: {radio, cbito}

Ejemplo 7. s(x): x es una gran placa litosfrica
Dominio: Cada una de las placas litosfricas en que est dividida la corteza
Terrestre.
Conjunto solucin: {Pacfica, norteamericana, sudamericana, euroasitica,
Africana, indoaustraliana, antrtica}
Aun cuando existen otras placas, comparadas con las mencionadas en
conjunto solucin, son pequeas.
La teora de la tectnica de placas, postula que las placas litosfericas se
desplazan por encima de la astenosfera (Manto superior).

Ejemplo 8. t(x): x es de las primeras naciones firmantes del Tratado del
Atlntico Norte (OTAN).
Dominio: Cualquier pas.
Conjunto solucin: {USA, Inglaterra, Francia, Italia, Canad, Islandia,
Noruega, Dinamarca, Holanda, Blgica, Luxemburgo
y Portugal}
El 4 de abril de 1949, en Washintong, se firm el tratado que permita a
Estados Unidos de Amrica instalar bases militares en aquellos pases
firmantes, para la proteccin mutua.

Ejemplo 9. u(x): x 9 > 30
Dominio: El conjunto de los nmeros naturales.
Conjunto solucin: {40, 41, 42}
Observe que 40 9 = 31; 31 es mayor que 30. El 39 no es parte del
conjunto solucin por: 39 9 = 30. Treinta, no es mayor que s mismo.

Ejemplo 10. v(x): x es el escritor de El hundimiento de la casa Usher
Dominio: Todos los escritores.
36
Conjunto solucin: {Allan Poe}
Edgar Allan Poe (1809 1849) famoso escritor estadounidense.

Ejercicios: Encontrar el dominio y conjunto solucin
i. p(x): x es una capital centroamericana.
ii. q(y): y es satlite natural de Marte.
iii. r(z): z es sinnimo de estudioso.
Confe en usted mismo!, no renuncie a adquirir ms conocimiento.

3 Cuantificadores
Son smbolo que se anteponen a las variables para delimitar los
elementos que las satisfacen.

Tabla de algunos cuantificadores
Cuantificador Smbolo Interpretacin
Universal Para todo
Existencial - Existe

Veamos con ejemplos la utilidad de los cuantificadores
Ejemplo 1. p(x): x + 2 = 9
Como podemos ver, p(x) es verdadera, nicamente cuando x = 7. No
todos los nmeros naturales satisfacen la expresin.
La cuantificacin sera: - x: p(x).
Se lee: Existe un valor de x, que hace verdadera a p(x).

Ejemplo 2. q(x): x + 1 > x
Todo nmero natural que sustituya a x, convierte a q(x), verdadera.
Se expresa: x: q(x)
Se lee: q(x) es verdadera, para todo valor de x.

Ejemplo 3. r(x): 2x + 4 < 0
Ningn valor que sustituya a x, convierte en verdadera a r(x)
Se expresa: ~|- x: r(x)|
Se lee: No existe valor de x que satisfaga a r(x).

Ejemplo 4. s(x): x es un pas de Oceana.
Existen pases que son parte del continente de Oceana pero no
todos los pases.
Por lo tanto, - x: s(x)

Ejemplo 5. t(x): x es un hombre que necesita alimentarse
x: t(x)
37
Todos los hombres necesitan alimentarse para vivir.

Ejercicios: Represente con -, el alcance de la incgnita, segn lo
estime conveniente.
i. l(x): x 3 = 10
ii. m(x): x
2
> 0.

38
CAPITULO II: Teora de conjuntos

Todo el fundamento que en este captulo analizaremos, ha sido
formulado por hombres de ciencias, como:

Georg Ferdinand Cantor (1845 1918) matemtico
alemn, se le atribuye la creacin de la teora de
conjuntos.

John Venn (1834 1923) matemtico y lgico britnico,
conocido por su mtodo para representar grficamente a
los conjuntos y proposiciones.

Leonhard Euler (1707 1783) matemtico suizo, utiliz
figuras geomtricas para representar conjuntos.

Augustus de Morgan (1896 1871) matemtico y lgico
britnico, conocido por sus leyes que cumplen las
operaciones con conjuntos.

George Boole (1815 1864) matemtico y filsofo
ingls, reconocido por su trabajo algebraico en la teora
de conjuntos.

Gracias a individuos como los mencionados podemos hacer uso
de la teora de conjuntos, una rama ms del maravilloso mundo de
la Matemtica.

39

1.1 Conjunto
Llamamos conjunto a la coleccin de seres u objetos que
tienen una o ms caractersticas comunes.

Si bien es cierto ste concepto es primitivo o primario (que lo
entendemos sin necesidad de definicin), esa es la nocin que se
tiene de conjunto.

Ejemplos de conjuntos:
Ejemplo 1. Conjunto: vocales.
Coleccin:
a, e, i, o, u

Caracterstica comn:
Articulacin de un sonido que
se produce al hablar cuando, a
su paso por la laringe y la
boca, el aire no encuentra
algn obstculo: labios,
lengua, dientes, paladar.

Ejemplo 2. Conjunto: Centroamrica.
Coleccin:
Guatemala, Belice, Honduras,
El Salvador, Nicaragua, Costa
Rica y Panam.
Caracterstica comn:
Lengua de tierra que une las
masas sur y norte del
continente americano.

Ejemplo 3. Conjunto: Ocanos.
Coleccin:
Pacfico, Atlntico, ndico,
rtico.
Caracterstica comn:
Divisin geogrfica de
grandes masas de agua.

Ejemplo 4. Conjunto: Lunas de Neptuno.
Coleccin:
40
Nyade, Thalassa, Despina,
Galatea, Larisa, Proteo,
Tritn, Nereida.
Caracterstica comn:
Satlites naturales que orbitan
alrededor de Neptuno.

Ejemplo 5. Conjunto:
Apstoles
Coleccin:
Pedro, Andrs, Jacobo, Juan,
Felipe, Bartolom, Mateo,
Toms, Simn, Judas
Iscariote, Santiago, Judas
Tadeo.

Caracterstica comn:
Cada uno de los 12 discpulos
de Jess.

Ejemplo 6. Conjunto: Miembros del pacto de Varsovia.
Coleccin:
Albania, Bulgaria, Hungra,
Polonia, RDA (Alemania
democrtica), Rumana,
URSS (Rusia),
Checoslovaquia (Rep. Checa).
Caracterstica comn:
Pas que firm en 1955
(durante la guerra fra) el
Tratado de amistad y
cooperacin en la capital de
Polonia, Varsovia.

Ejemplo 7. Conjunto: Esqueleto de la pierna.
Coleccin:
Tibia, peron.

Caracterstica comn:
Huesos que forman el
esqueleto de la pierna.

Ejemplo 8. Conjunto: Dgitos.

Coleccin:
0, 1, 2, 3, 4, 5, 6, 7, 8, 9.

Caracterstica comn:
Nmero que puede expresarse
con un guarismo.

Ejemplo 9. Conjunto: Zonas de la atmsfera.
Coleccin:
Troposfera, estratosfera,
mesosfera, termosfera y
exosfera.

Caracterstica comn:
Zona concntrica que se
distribuye verticalmente,
desde la Tierra, de acuerdo a
la temperatura.
41

Ejemplo 10. Conjunto: Arcnidos.
Coleccin:
caros, opiliones, araas,
escorpiones.

Caracterstica comn:
Invertebrados sin antena,
respiracin pulmonar o
traqueal, con el trax unido a
la cabeza o al abdomen, y
cuatro pares de patas.

Ejercicios: Dar 5 ejemplos de conjuntos, sealando las
caractersticas comunes de la coleccin de seres u objetos.
Intntelo! Diga que si puede. Comparta sus ideas con el profesor.

1.1.a. Elemento de un conjunto
Son todos y cada uno de los seres u objetos que forman el
conjunto.

1.1.b. Nomenclatura
Los conjuntos se representan con letras maysculas (A, B,
C...) y los elementos con letras minsculas (a, b, c...) o con otros
smbolos. Se utiliza llave {} para encerrar los elementos de un
conjunto.
Ejemplos de nomenclatura:
Ejemplo 1. Sean los dgitos los elementos del conjunto D.
D = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}

Ejemplo 2.Sean las consonantes del idioma espaol los elementos
del conjunto C.
C = {b, c, d, f, g, h, j, k, l, m, n, , p, q, r, s, t, v, w, x, y, z}

Ejemplo 3. Sean: , , , , y los elementos del conjunto M
M = {, , , , , }

Ejercicios: Represente 5 conjuntos con sus elementos.
Muestre al profesor sus representaciones de conjuntos.

1.1.c. Determinacin de un conjunto.
42
Un conjunto est bien definido cuando se puede
determinar cuales son los elementos que lo forman.

Los conjuntos pueden expresarse de dos formas, por extensin o
comprensin.
a. Extensin: Es cuando se pueden nombrar todos y cada uno
de los elementos del conjunto.
b. Comprensin: Es cuando se nombra la propiedad o
caracterstica que posean slo los elementos del conjunto.

Se utiliza la notacin {x/x es...}. Se lee: los elementos x del
conjunto, tal que x es...
x resulta ser un objeto o ser que verifica una condicin.

Ejemplos de determinacin de un conjunto
Ejemplo 1.
Por extensin:
A = {pulgar, ndice, cordal,
anular, meique}
Por comprensin:
A = {Dedos}

Ejemplo 2.
Por extensin:
B = {abuelos, padres,
hermanos, primos, tos}
Por comprensin:
B = {familia}

Ejemplo 3.
Por extensin:
C = {Canad, Estados
Unidos, Mxico}
Por comprensin:
C = {x/x es un pas
norteamericano}

Ejemplo 4.
Por extensin:
D = {Mercurio, Venus,
Tierra, Marte, Jpiter,
Saturno, Urano, Neptuno}
Por comprensin:
D = {Planetas}
43

Ejemplo 5.
Por extensin:
E = {Helio, Nen, Argn,
Kriptn, Xenn, Radn}
Por comprensin:
E = {x/x es un gas noble}

Ejemplo 6.
Por extensin:
F = {Aristteles, Scrates,
Platn}

Por comprensin:
F = {x/x es un famoso
filsofo griego}

Ejemplo 7.
Por extensin:
G = {lunes, martes, mircoles,
jueves, viernes, sbado,
domingo}
Por comprensin:
G = {x/x es un da de la
semana}

Ejemplo 8.
Por extensin:
H = {enero, febrero, marzo,
abril, mayo, junio, julio,
agosto, septiembre, octubre,
noviembre, diciembre}

Por comprensin:
H = {x/x es mes del ao}

Ejemplo 9.
Por extensin:
I ={Alemania, Polonia,
Eslovaquia, Repblica Checa,
Austria, Suiza}
Por comprensin:
I = {x/x es un pas de Europa
central}

Ejemplo 10.
Por extensin:
J = {sillas, mesa, cubiertos,
alimentos}
Por comprensin:
J = {comedor}
Debemos notar que si dan la caracterstica comn (comprensin),
debemos ser capaces de sealar los elementos del conjunto
44
(extensin). As, al sealar el conjunto por comprensin A = {x/x
es vocal}; por extensin ser A = {a, e, i, o, u}
Ejercicio: 1. Escriba 5 conjuntos por extensin y comprensin.
2. Exprese por extensin los conjuntos siguientes:
a. M = {x/x es profesor del colegio}
b. N = {x/x es amiga}
3. Escriba por comprensin los siguientes conjuntos:
a. P = {m, a, d, r, e}
b. Q = {tacto, olfato, vista, gusto, odo}

Nota: Las soluciones son sencillas, usted puede hacerlo!
Comprtalas con su profesor.

1.2. Relacin de pertenencia.
Para indicar que un elemento forma parte de un conjunto, se
utiliza el smbolo , se lee: pertenece a... es un elemento
de....

Al escribir u {vocales}; se lee: u pertenece a las vocales.

Importante: El smbolo , slo se utiliza en la relacin de
elementos con conjunto, nunca entre elementos entre conjuntos.

Para indicar que un elemento no pertenece a un conjunto, se
utiliza el smbolo e

Ejemplos de relacin de pertenencia
Diga si se utiliza correctamente el smbolo de pertenencia.
Justifique su respuesta.
Ejemplo 1. p {consonantes}
Correcto. Por que las consonantes forman un conjunto, y p
es un elemento de ese conjunto.

Ejemplo 2. {a, e} {vocales}
Incorrecto. Por que las llaves {} sealan conjuntos y el
smbolo
no se utiliza entre los conjuntos.
45

Ejemplo 3. a A; A = {a, b, c, d, e, f}
Correcto. A indica ser un conjunto por estar simbolizado con
mayscula. Escrita en minscula, a representa un
elemento.

Ejemplo 4. Sean los conjuntos R = {10, 11, 12, 13} y S={10, 11,
12, 13, 14, 15, 16}
R S.
Incorrecto. No se utiliza la relacin de pertenencia, , entre
conjuntos.

Ejemplo 5. 1 111
Incorrecto. Nunca utilice la relacin de pertenencia entre
elementos.

1.3 Subconjuntos. Relacin de inclusin
Un conjunto B, es subconjunto de otro conjunto A, cuando
todo elementos de B es elemento de A.
Se representa B c A

Se lee: B es subconjunto de A o B est incluida en A. El
smbolo: c, representa la inclusin de un conjunto en otro.
Simblicamente, se expresa: B c A x eB, x eA

Observaciones:
1. Para indicar que cierto conjunto no es subconjunto de otro
se utiliza el smbolo ..
2. Todo conjunto, es subconjunto de s mismo.
3. En trminos simples, subconjunto significa que: un conjunto
est totalmente incluido en otro.

Ejemplos de subconjuntos
Ejemplo 1. Sean los conjuntos M = {a, b, c}, N = {a, b, c, d}

M c N: M es subconjunto de N. Observe que los elementos del
conjunto M (a, b y c) tambin se encuentran en el conjunto N.
46
N . M: N no es subconjunto de M. Aun cuando los elementos a, b
y c pertenecen a M; el elemento d, no le pertenece a M.

Ejemplo 2. Sean los conjuntos V={x/x es vocal}, A={alfabeto
espaol}

V c A: V est incluido en A. Observe que todas las vocales son
letras del alfabeto.
A . V: A no est incluido en V. Por que, no todas las letras del
alfabeto espaol son vocales.

Ejemplo 3. Sean los conjuntos P = {x e N / x < 10}
Q = {x e N / x < 20}
Primero leamos los conjuntos P y Q.
P: x pertenece al conjunto de los nmeros naturales; tal que, x es
menor que 10. Los elementos de ste conjunto son: 1, 2, 3, 4, 5, 6,
7, 8, 9.

Q: x pertenece al conjunto de los nmeros naturales; tal que, x es
menor que 20. Los elementos son 1, 2, 3,,19.

Nota:
1. El 10 y 20 no son elementos de P o Q, ya que el 10 no es menor
que 10, ni 20 es menor que 20.
2. Los puntos suspensivos llamados elipsis indican que entre
el 3 y el 19 hay ms elementos.

P c Q: P est incluido en Q. Todos los elementos del conjunto P
estn contenidos en el conjunto Q.
Q . P: los elementos 10, 11,,19 no son elementos del conjunto
P. Por tal razn, Q no est incluido en P.

Ejemplo 4. Sean los conjuntos R = {x e N / 8 x 12}
S = {x e N / 6 < x s 12}
Interpretemos el significado de cada conjunto
R: x es un nmero natural mayor o igual que 8 y, menor o igual
que 12. Los elementos de ste conjunto son: 8, 9, 10, 11 y 12.
47
S: x pertenece al conjunto de los nmeros naturales; tal que, x es
mayor que 6 y menor o igual que 12. Este conjunto escrito por
extensin ser:
S = {7, 8, 9, 10, 11, 12}.
Como podemos observar, el conjunto R es subconjunto del S
(todos los elementos de R estn incluidos en S). Simblicamente
R c S.

S . R. El conjunto R no contiene al conjunto S. Observe que el
nmero natural 7 no se encuentra en el conjunto R.

Ejemplo 5. Sean los conjunto H = {Nuevo Testamento}
I = {La Biblia}
El conjunto H es subconjunto del conjunto I. Simblicamente H c
I.
Esto ocurre por que el Nuevo Testamento se encuentra en La
Biblia.

El conjunto I no es subconjunto de H. Simblicamente I . H.
La razn es simple, no toda La Biblia est contenida en el Nuevo
Testamento.

Ejemplo 6. Sean los conjuntos C = {Uruguay, Brasil, Argentina,}
y
D = {x/x es un campen mundial de ftbol}
C c D: el conjunto D contiene al C. Los pases sealados en el
conjunto C, han ganado la copa mundial en (registro hasta el
2009):

Uruguay Uruguay, 1930
Brasil, 1950

Argentina Argentina, 1978
Mxico, 1986

Brasil Chile, 1962
Suecia, 1958
Mxico, 1970
USA, 1994
JapnCorea,2002
48
D . C: El conjunto C no contiene al conjunto D. No todas las
copas mundiales de ftbol han sido ganadas por estos pases
americanos.

Ejemplo 7. Sean los conjuntos E = {Syuz, Columbia, Vstok,
Apolo}
F = {x/x es nave espacial}
E c F: El conjunto E est incluido en el conjunto F. Las sealadas
en el conjunto E, son todas naves espaciales construidas en Rusia
o Estados Unidos.

En vista que ests no son las nicas naves espaciales construidas
por el hombre, F no est incluido en E (simblicamente F . E).

Ejemplo 8. Sean los conjuntos K = {x / x es una letra del alfabeto
griego}
L = {o, |, , , , t, u, }
L c K: el conjunto L es subconjunto del conjunto K.
K . L: el conjunto K no es subconjunto del conjunto L. Esto es
verdadero, por que el alfabeto griego no son nicamente las letras
sealadas en el conjunto L.

Ejemplo 9. Sean los conjunto Y = {rin, vejiga, urter, uretra}
Z = {vejiga, rin}
Z c Y: Z est contenido en Y. Todos los elementos de Z, los
contiene Y.
Y . Z: Y no est incluido en Z. Por que no slo el rin y la
vejiga son parte del aparato excretor humano.

Ejemplo 10. A = {anfibios, reptiles, aves, mamferos}
B = {agnatos, placodermos, codrictios, ostectios,
anfibios,
reptiles, aves, mamferos}
A c B: el conjunto A es subconjunto del conjunto B. Todos los
elementos del conjunto A pertenecen al conjunto B.
49
B . A: B no es subconjunto de A. No slo los sealados en el
conjunto A son vertebrados.

Ejercicios resueltos: Asigne valor de verdad. Utilice V para
indicar que es verdadero y F para indicar que es falso.

i. {a} c {a, p, u, y}: V (verdadero). El elemento a, del primer
conjunto, est contenido en el segundo conjunto. Adems, el
smbolo c, se utiliza nicamente entre conjuntos.

ii. Sean los conjuntos P = {100, 200, 300} y Q = {400, 500, 600,
700, 800}
P c Q: F (falso). Los elementos del conjunto P no pertenecen al
conjunto Q.

iii. {x, y, z} . {r, x, y}: V (verdadero). z no pertenece al segundo
conjunto.

1.4 Igualdad de conjuntos
Dos conjuntos, A y B, son iguales si comparten los mismos
elementos.
Se expresa A = B.
Simblicamente A = B x e A, x e B . y e B, y e A
simplemente
A = B A c B y B c A.
Nota:
1. El smbolo =, significa no son iguales
2. Los elementos repetidos en los conjuntos se toman como uno
solo.

Ejemplos de igualdad de conjuntos
Ejemplo 1. A = {11, 12, 13, 14} y B = {14, 13, 12, 11}

A = B. Los conjuntos A y B son iguales por que tienen los mismos
elementos. Esto es cierto, independientemente del orden de
escritura de los elementos.

50
Ejemplo 2. C = {f, g, h} y D = {f, g, g, h}

C = D. Como los conjuntos poseen los mismos elementos, stos
conjuntos, son iguales. Recuerde que los elementos repetidos
cuentan como uno solo.

Ejemplo 3. E = {u, v, w, x} y F = {u, v, w, x, y}

E = F. El conjunto E no es igual al conjunto F. Como podemos
observar E es subconjunto de F (E c F); sin embargo, F no es
subconjunto de E (F . E).

Ejemplo 4. G = {x e N / 4 < x < 7} y H = {x e N / x < 9}

Al escribir los conjuntos por extensin, podemos ver que sus
elementos son: G = {5, 6} y H = {1, 2, 3, 4, 5, 6, 7, 8}
G = H: G no es igual a H. Aun cuando el conjunto G es
subconjunto del conjunto H (G c H); el conjunto H no es
subconjunto del conjunto G (H . G).

Ejemplo 5. I = {x / x es silla} y J = {x / x es televisor}

I = J: El conjunto I es diferente al conjunto J.

Ejercicio: Forme 3 pares de conjuntos iguales y dos pares
desiguales.
Estudie y trabaje con entusiasmo. Ser indiferente a la Matemtica
es una psima idea! nimo!

1.5 Conjuntos disjuntos
Son los conjuntos que no tienen ningn elemento en comn.

Ejemplos de conjuntos disjuntos
Los siguientes pares de conjuntos son disjuntos
Ejemplo 1. M = {101, 102, 103} y N = {1001, 1002, 1003}

Ejemplo 2. P = {Reino animal} y Q = {Reino vegetal}
51

Ejemplo 3. R = {x e N / x > 20} y S = {x e N / x < 15}
Los elementos del conjunto R son los nmeros
naturales
Mayores que 20 y, los del conjunto S, menores que 15.

Ejemplo 4. K = {extremidades inferiores} y L = {extremidades
superiores}

Ejemplo 5. {amor, cario, bondad} y {odio, envidia}

1.6 Relacin de coordinalidad
Dos conjuntos A y B son coordinables, si se puede
establecer una correspondencia biunvoca (uno a uno) entre los
elementos del conjunto A y el conjunto B, sin que sobren
elementos.
Se simboliza: A B.

Ejemplos de coordinalidad
Ejemplo 1. El conjunto de uas es coordinable con el conjunto de
dedos.

Ejemplo 2. A = {x/x es cuaderno de apuntes escolares} y B = {x/x
es asignatura}

A y B son coordinables, usted utiliza un cuaderno de apuntes para
cada asignatura; adems, cada asignatura se registra en un
cuaderno.

Ejemplo 3. Los conjuntos M = {d, i, o, s} y N = {letra de la
palabra Dios}, son coordinables. Existe la relacin de elemento a
elemento, sin sobrar uno solo.

Ejemplo 4. El conjunto de pizarrones es coordinable al conjunto
de aulas.

52
Ejemplo 5. El conjunto de piezas blancas del ajedrez es
coordinable con el conjunto de piezas negras.

Nota:
1. Dos conjuntos pueden ser coordinables, pero no necesariamente
iguales.

Ejercicios: Escriba dos pares de conjuntos coordinables.
Querer es poder! intntelo!

1.7 Tipos de conjuntos
1.7.1. Conjunto vaco
Son aquellos conjuntos que no poseen elemento alguno.
Se representa con: C {}

Ejemplos de conjunto vaco
Ejemplo 1. A = {satlites de Mercurio}
El conjunto A es vaco (A = C). El planeta Mercurio no posee
satlites naturales.

Ejemplo 2. B = {x e N / x < 0}
B = { }. Como podemos observar, el conjunto B no contiene
ningn elemento. Todos los nmeros naturales son mayores que
cero.

Ejemplo 3. C = {estudiantes colegiales mayores de 150 aos}
C = C. Aun cuando a usted le causo gracia, la verdad es que jams
es demasiado tarde para aprender.

Ejemplo 4. D = {x/x es una palabra del castellano en que m
anteceda a v}
D = { }. El conjunto es vaco, por que no existe palabra del idioma
espaol que contenga m antes de v.
Ejemplo 5. E = {x/x es vertebrado sin esqueleto}
E = { }. Evidentemente el conjunto es vaco; todos los vertebrados
poseen esqueleto.

53
Nota:
1. El conjunto vaco es subconjunto de cualquier conjunto.

1.7.2 Conjunto unitario
Son aquellos conjuntos que poseen un nico elemento

Ejemplos de conjunto unitario
Ejemplo 1. F = {satlites naturales de La Tierra}
El conjunto F est compuesto por un nico elemento, F = {La
Luna}

Ejemplo 2. G ={x/x es un estado con extensin menor a 1 km
2
}
G ={Vaticano}
El Vaticano es el estado con menor extensin territorial del
mundo. Posee 0.44 km
2
de superficie, fue constituido en 1929.

Ejemplo 3. H = {copas mundiales de ftbol ganadas por
Inglaterra}
H = {1 copa mundial}
Inglaterra obtuvo la copa en 1966, la cede fue sta nacin.

Ejemplo 4. I = {individuo considerado - por muchos - el mecas e
hijo de Dios}
I = {Jess}
La mayora de las religiones consideran a Jess de Nazaret el hijo
de Dios.

Ejemplo 5. J = {x/x es etnia que construy Machu Pichu}
J = {Inca}
Los incas, fugitivos de la conquista espaola, construyeron la
ciudad en la cima de la montaa Huayna Pichu, cordillera de los
Andes peruanos.

1.7.3 Conjunto binario
Son aquellos conjuntos que poseen nicamente dos
elementos.

Ejemplos de conjuntos binarios
54
Ejemplo 1. Z = {x/x es luna de Marte}
Z = {Deimos, Fobos}

Ejemplo 2. Y = {vocales cerradas}
Y = {i,u}
Llamadas cerradas, por que al pronunciarlas, la lengua est ms
prxima al paladar que para las vocales abiertas.

Ejemplo 3. Z = {x/x es perodo de la era Arqueozoica}
Z = {Arcaico, Algonquino}
Son los perodos de la primera era del planeta, hace alrededor de
2500 millones de aos.

Ejemplo 4. Otro ejemplo de conjunto binario, es la cantidad de
copas mundiales de ftbol en las que Mxico ha sido cede antes
del 2017. En Mxico se desarrollaron los campeonatos de 1970 y
1986.

Ejemplo 5. El conjunto de hombres crucificados junto a Jess, es
binario.

1.7.4 Conjuntos finitos
Son aquellos conjuntos que se puede identificar su ltimo
elemento.

Nota:
1. La definicin nos indica que casi todos los conjunto sealados
hasta el momento son finitos; excepto el conjunto R = {x e N / x
> 20} por qu?

1.7.5 Conjunto infinito
Son aquellos conjunto de los que no podemos nombrar un
ltimo elemento.

55
Ejemplos de conjuntos infinitos
Ejemplo 1. El conjunto de los nmeros naturales es infinito. No
importa el nmero que se imagine, siempre existir uno mayor a
ese.

Ejemplo 2. M = {x e N / x es impar}

Ejemplo 3. N = {x e N / x es par}

Ejemplo 4. P = {x e N / x > 100}

Ejemplo 5. Hasta lo conocido por la ciencia moderna; el conjunto
de estrellas del universo, es un conjunto infinito.

1.7.6 Conjunto Universal
Es el conjunto, que contiene a todos los conjuntos que se
generan de cierta situacin.
Se simboliza U

Nota:
1. El conjunto universal tambin es conocido como: referencial,
lleno o total.

Ejemplos de conjunto universal
Cualquiera de los conjuntos siguientes puede considerarse como
lleno, dependiendo de la situacin.
Ejemplo 1. A = {nmeros naturales}

Ejemplo 2. B = {reino animal}

Ejemplo 3. C = {reino vegetal}

Ejemplo 4. D = {sistema solar}

56
Ejemplo 5. E = {China}

1.8 Cardinalidad de conjunto
Se llama cardinalidad de un conjunto A, al nmero de
elementos del conjunto.
Se simboliza n(A)

Ejemplos de cardinalidad de conjunto
Ejemplo 1. B = {alfabeto espaol}
La cardinalidad de ste conjunto es n(B) = 27. El alfabeto espaol
est compuesto por 27 caracteres.

Ejemplo 2. D = {x/x es planeta del sistema solar}
La cardinalidad de este conjunto es n(D) = 8. En la actualidad los
astrnomos consideran por definicin que Plutn no es
planeta.

Ejemplo 3. E = {copas mundiales de ftbol realizadas hasta 2009}
n(E) = 18. De las cuales, 9 han sido obtenidas por pases
americanos y las otras nueve por europeos.

Ejemplo 4. F = {Amrica continental}
n(F) = 22. Slo sealamos los estados emplazados en la masa
continental, excluimos las islas antillanas.
Ejemplo 5. G = {propiedades de la suma}
n(G) = 5. Clausura, elemento neutro, elemento opuesto,
conmutativa y asociativa.

1.9 Diagramas de Venn-Euler
Son representaciones geomtricas de los conjuntos. Las
representaciones pueden ser: tringulos, circunferencias,
rectngulos, figuras amorfas, etc.

Ejemplos de diagramas
a)

b)

c)

57
d)

e)

Ejercicios. Escriba un conjunto vaco, 1 unitario, 1 binario, 1
finito y un conjunto universo. Adems, si es posible, seale la
cardinalidad de stos.

2. Operaciones con conjuntos
2.1 Unin de conjuntos
Se llama unin de los conjuntos A y B, al conjunto formado
por todos los elementos del conjunto A y del conjunto B.
Se expresa A B
Simblicamente A B = {x / x e A v x e B}
Grficamente, con diagramas de Venn-Euler

A B

A B

Ejemplos sobre unin de conjuntos
Encuentre la unin entre los conjuntos:
Ejemplo 1. X = {30, 31, 32} y Y = {50, 51, 52, 53}
X Y = {30, 31, 32, 50, 51, 52, 53}
Observe que unir dos o ms conjuntos es, simplemente, escribir
todos los elementos de los conjuntos involucrados, en un solo
conjunto.

Nota:
1. De la unin de conjuntos resulta otro conjunto, por eso se
utiliza { }.
58

Ejemplo 2. M = {Vaduz, Luxemburgo, Budapest, Bucarest}
N = {Managua, Belmopan, Ottawa}
M N = {Belmopan, Bucarest, Budapest, Luxemburgo,
Managua, Ottawa,
Vaduz}

El conjunto M est formado por algunas capitales europeas.
Liechtenstein (Vaduz), Luxemburgo (Luxemburgo), Hungra
(Budapest), Rumania (Bucarest).
El conjunto N, formado por algunas capitales americanas.
Nicaragua (Managua), Belice (Belmopan), Canad (Ottawa).
Observe que el resultado de unir los conjuntos M y N, fue escribir
todas las capitales.

Ejemplo 3. P = {x/x es sinnimo de exotrico}
Q = {x/x es antnimo de exotrico}
P Q = {comn, vulgar, pblico, divulgado, corriente y
elemental; secreto,
indescifrable, velado, insondable e inasequible}

Ejemplo 4. F = {Ada, ALGOL, APL, Basic, Cobol} y
E = {Fortran, Lisp, Logo, Pascal, Prolog, Snobol}
F E = {x/x es lenguaje de programacin}
Los elementos de F y E, son lenguajes de programacin de
computadora y, son los ms conocidos a nivel internacional (hasta
2007).

Ejemplo 5. A = {hmero, cbito, radio} y B = {carpo,
metacarpo}
A B = {Esqueleto del brazo}
Los huesos, elementos del conjunto A y B, juntos forman el
esqueleto del brazo

Ejemplo 6. C = {Flagelo, membrana y pared celular} y
D = {ADN, ribosoma}

59
C D = {Clula procarionte}
Los elementos de ambos conjuntos son las partes de una clula
procarionte

Ejemplo 7. G = {10,20,30,40,} y H ={l, m, n}
G H ={10, 20, 30, 40, l, m, n}

Ejemplo 8 . K = {a, b, c}; L = {d, e, f, g, h} y M = {f, g, h, i, j}
K L M = {a, b, c, d, e, f, g, h, i, j}

Ejemplo 9 . P = {Metis, Adrastea, Amaltea, Tebas};
Q = {Io, Europa, Ganmedes, Calisto, Leda};
R = {Himalia, Lisitea, Elara};
S = {Ananke, Carme, Pasifae} y
T = {Sinope}
P Q R S T = {x/x es satlite natural de Jpiter}.
Observe que la caracterstica comn de los elementos es ser
satlites de Jpiter.

Ejemplo 10. V ={sangre por agua, ranas, mosquitos, tbanos,
peste} y W = {lceras, granizo, langosta, tinieblas, muerte de
primognito}
V W = {plagas de Egipto}

Observacin:
No importa cuantos conjuntos deba unir, al describir la unin,
puede hacerlo por extensin o comprensin.

Ejemplo 11. A = {x e N / 4 s x < 9} y Z = {x e N/ 16 < x < 20}
Leamos los conjuntos, el primero dice: x que pertenece a los
naturales; tal que, x es menor que 9 y mayor o igual que 4. Es
decir, A = {4, 5, 6, 7, 8}
El segundo conjunto, se lee: x que pertenece al conjunto de los
nmeros naturales; tal que, x es mayor que 16 y menor que 20.
Escrito por extensin Z = {17, 18, 19}
A Z = {4, 5, 6, 7, 8, 17, 18, 19}
60
o tambin
A Z = {x e N/ 4 s x < 9 v 16 < x < 20}

Ejemplo 12. B = {x e N/ x < 60} y P = {x e N/ x < 100}
Leamos los conjuntos, el primero dice: x que pertenece al
conjunto de los nmeros naturales; tal que, x es menor que 60 (B
= {1, 2, 3,, 59}). El segundo: x que pertenece a los naturales; tal
que, x es menor que 100 (P = {1, 2, 3,, 99}). Por lo tanto,
B P = {x e N/ x < 100}
O bien
B P = {1, 2, 3, 4,, 99}
El conjunto B est incluido en el conjunto P, B c P. Por lo tanto B
P = P

Ejemplo 13. N = {1, 2, 3,, 2000} y Q = {2001, 2002, 2003...}
N Q = {nmeros naturales}

Ejemplo 14. L = {d, e, f} y M = {r, s, t}
L M = {d, e, f, r, s, t}

Ejemplo 15. S = {x e N/ 17 s x s 21} y T = {x e N/ 15 < x <
23}
S T = {x e N/ 15 < x < 23}

S T = T

2.1.1 Propiedades de la unin de conjuntos
2.1.1.a. Clausura
De la unin de dos o ms conjuntos resulta un nuevo
conjunto.

Consecuencia: En la unin, una vez escrito todos los elementos,
deben encerrarse entre llaves { } como se mostr en los ejemplos
anteriores.

2.1.1.b. Conmutativa
61
Dados dos conjuntos cualquiera A y B, siempre se
cumple que A B = B A.

Consecuencia: El orden en que unamos los conjuntos, no altera el
conjunto resultante.
Tomemos el ejemplo 14 ( 2.1). L = {d, e, f} y M = {r, s, t}
L M = {d, e, f, r, s, t}
M L = {r, s, t, d, e, f}
Observe que L M y M L poseen los mismos elementos, sin
importar el orden en que estn escritos. Por lo tanto, L M = M
L.

2.1.1.c. Asociativa
Dados tres conjuntos cualquiera A, B y C, siempre se
cumple que (A B) C = A (B C).

Consecuencia: podemos agrupar la unin de conjuntos como
deseemos y el conjunto resultante no se alterar.

Consideremos el ejemplo 8 ( 2.1). K = {a, b, c}; L = {d, e, f, g,
h} y M = {f, g, h, i, j}. Demostremos que (K L) M = K (L
M).
Primero (K L) = {a, b, c, d, e, f, g, h},
ahora (K L) M = {a, b, c, d, e, f, g, h, i, j}
*Recuerde, elementos repetidos se toman como uno slo.
Tenemos (L M) = {d, e, f, g, h, i, j},
donde K (L M) = {a, b, c, d, e, f ,g, h, i, j}
Como podemos observar (K L) M y K (L M) tienen los
mismos elementos, por lo tanto (K L) M = K (L M).

2.1.1.d. Conjunto neutro
La unin del conjunto vaco con otro conjunto A, es
igual a dicho conjunto A.
A = A o tambin A { } = A
es el conjunto neutro de la unin.
62
Tengamos en cuenta el conjunto G = {10, 20, 30, 40}, G = G
bien {10, 20, 30, 40} = {10, 20, 30, 40}

2.1.1.e. Absorbente
La unin del conjunto universal con cualquier otro
conjunto A, es igual al conjunto universal.
A c U, A U = U A = U
Sean el conjunto universal U = {nmeros naturales} y el conjunto
M = {1, 2, 3, 4,, 1000}.
M U = U
El conjunto universal U, es absorbente en la unin de conjuntos.

2.1.1.f. Idempotente
La unin de un conjunto cualquiera A, consigo mismo,
ser el mismo conjunto A.
A A = A
Consideremos el conjunto L = {d, e, f}.
Observamos que {d, e, f} {d, e, f} = {d, e, f} o tambin L L
= L.

2.2 Interseccin de conjuntos
Dados los conjuntos A y B, se llama interseccin de A y B al
conjunto formado por los elementos del conjunto A que tambin
pertenecen al conjunto B.
Se expresa A B
Simblicamente A B = {x/x e A . x e B}
Es decir, la interseccin la conforman los elementos comunes o
compartidos por los conjuntos, escritos en un solo conjunto.
Grficamente, con diagramas de Venn-Euler.

A B

63

A B
La parte sombreada indica la interseccin. Note que esa rea es
compartida por los conjuntos A y B.

Ejemplos de interseccin
Encuentre la interseccin entre los conjuntos:
Ejemplo 1. M = {a, b, c, d} y N = {a, b, g, h, i}
M N = {a, b}
Observe que los nicos elementos compartidos por los conjuntos,
son a y b.

Ejemplo 2. O = {sistema solar} y P = {satlites naturales de
Urano}
O P = {Cordelia, Ofelia, Bianca, Crsida, Desdmona, Julieta,
Porcia,
Rosalinda, Belinda, Puck, Miranda, Ariel, Umbriel,
Titania,
Oberon}
Los satlites mencionados, adems de pertenecer a Urano, son a
su vez satlites naturales de nuestro sistema solar.

Ejemplo 3. Q = {x/x es un pas} y R = {x/x es uno de los
principales pases productores de petrleo}
Q R = {Arabia Saudita, Estados Unidos, Rusia, Irn, China,
Venezuela,
Mxico}
Cada una de estas naciones produce (registro, 2005) ms de 140
millones de toneladas.

Ejemplo 4. T = {Afganistn, Chad, China, Nger, Sudn, Turqua}
y
S = {Asia}
S T = {Afganistn, China, Turqua}
Las dems, son naciones africanas.

64
Ejemplo 5. B = {poetas} y A = {Ruben Daro, Diego Maradona,
Pel, Pablo Neruda, Johan Cruyff}
A B = {Ruben Dario, Pablo Neruda}
Los otros individuos fueron sobresalientes futbolistas.

Ejemplo 6. V = {x/x es sinnimo de fiesta} y
W = {convite, conspicuo, festividad, entibado, chanza}
V W = {convite, festividad, chanza}

Ejemplo 7. X = {huesos}; Y = {cabeza}
X Y = {frontal, esfenoides, lacrimal, etnoides, nasal, malar,
maxiliar
superior e inferior, temporal, occipital, parietal}
La caracterstica comn entre los conjuntos X e Y, son la
osamenta de la cabeza.

Ejemplo 8. K = {x e N/ 2 < x < 7} y L = {x e N/ x < 5}
Leamos El conjunto K, dice: x que pertenece al conjunto de los
nmeros naturales; tal que, x es mayor que 2 y menor que 7.
Escrito por extensin K = {3, 4, 5, 6}
El conjunto L, se lee: x que pertenece a los naturales; tal que, x es
menor que 5. L = {1, 2, 3, 4}
K L = {x e N/ 2 < x < 5} o tambin K L = {3, 4}

Ejemplo 9. F = {x eN/ x es impar} y G = {x e N/ x es par}
El conjunto F dice: x que pertenece al conjunto de los nmeros
naturales; tal que, x es impar (no divisible entre 2). F = {1, 3, 5, 7,
9, 11, 13, 15}.
El conjunto G, se lee: x que pertenece a los naturales; tal que, x es
par (divisible entre 2). G = {2, 4, 6, 8, 10, 12}
F G = C o, que es lo mismo F G = { }
Observe que un nmero impar no puede ser par, ni viceversa. Por
lo tanto, es imposible que F y G tengan elementos comunes.

Ejemplo 10. C = {x e N/ 2000 s x s 8000}; D = {x e N/ 3500 s
x < 5001}
65
El conjunto C, se lee: x que pertenece al conjunto de los nmeros
naturales; tal que, x es mayor o igual a 2000, pero menor o igual a
8000. Escrito por extensin C = {2000, 2001, 2002,, 8000}.
El conjunto D, se lee: x que pertenece a los naturales; tal que, x es
mayor o igual a 3500, pero menor a 5001. D = {3500, 3501,
3502,, 4999, 5000}.
C D = {x e N/ 3500 s x < 5001} o C D = D.
Nota:
1. Todos los elementos del conjunto D, estn contenidos en e
conjunto C.

Ejemplo 11. E = {x e N/ x < 10,000} y H = {x e N/ x > 50,000}
E H = { } o E H = C
Observe que ningn nmero natural mayor a 50,000 puede ser
menor a 10,000. Por lo tanto, los conjuntos E y H carecen de
elementos comunes, siendo su interseccin, vaca.

Ejemplo 12. A = {x e N/ x < 90} y M = {x e N/ x > 80}
Como podemos observar, el conjunto A est formado por los
nmeros naturales menores que 90 (A = {1, 2, 3, 4,, 89}) y el
conjunto M por aquellos naturales mayores o iguales a 80 (M =
{80, 81, 82}).
Por comprensin: A M = {x e N/ 80 s x < 90}
Por extensin: A M = {80, 81, 82, 83, 84, 85, 86, 87, 88, 89}

Ejemplo 13. S = {a, b, q, r, s, t, u}; T = {f, g, h, q, r, s, t, v}; B={p,
q, r, s, t}
y N = {m, q, r, s, u}
S T B N = {q, r, s}
nicamente q, r y s son los elementos compartidos por los
cuatro conjuntos.

Ejemplo 14. C = {11, 12, 13, 14, 17, 19}; P = {14, 15, 16, 20, 21}
y
R = {8, 9, 10, 14, 22}
R C P = {14}
66

Ejemplo 15. D = {1, 2, 3} y Q = {a, b, c}
D Q = C o, siendo lo mismo D Q = { }

2.2.1 Propiedades de la interseccin de conjuntos
2.2.1.a. Cierre o Clausura
De la interseccin de dos o ms conjuntos resulta un
nuevo conjunto.

Dados dos conjuntos cualquiera A y B, siempre se
cumple que A B = B A.

Consecuencia: El orden en que se intercepten los conjuntos, no
altera el conjunto resultante.

Tomemos el ejemplo 1 ( 2.2)
M = {a, b, c, d} y N = {a, b, g, h, i}
M N = {a, b} y N M = {a, b}
Por lo tanto, M N = N M

2.2.1.c. Asociativa
cumple que A (B C) = (A B) C.

Consecuencia: Podemos agrupar la interseccin de conjuntos
como deseemos y el conjunto resultante no se altera.
Consideremos los conjuntos: N = {m, q, r, s, u}; S = {a, b, q, r, s,
u, t} y T = {f, g, h, q, r, s, t, v}. Demostremos que N (S T) =
(N S) T.
Encontremos primero el conjunto S T = {q, r, s, t}, observe que
los elementos son compartidos por S y T.
Ahora, N S = {q, r, s, u} escribimos los elementos compartidos
por N y S
Vemos que N (S T) = {q, r, s}, hemos escrito los elementos
compartidos por los conjuntos N y (S T).
67
(N S) T = {q, r, s}, en este conjunto resultante, estn escritos
los elementos compartidos por los conjuntos (N S) y T. Queda
as demostrada la propiedad.

2.2.1.d. Conjunto neutro
La interseccin del conjunto universal con cualquier
conjunto A, es igual al mismo conjunto A.
U A = A U = A
El conjunto universal es el conjunto neutro de la interseccin.

2.2.1.e. Absorbente
La interseccin del conjunto vaco con cualquier
conjunto, es igual al conjunto vaco.
A C = C A = C
El conjunto vaco es absorbente en la interseccin.

2.2.1.f. Idempotente
La interseccin de un conjunto cualquiera A consigo
mismo, siempre es el mismo conjunto A.
A A = A.

2.3 Propiedades conjuntas de la unin y la interseccin
2.3.1 Distributiva de la interseccin respecto de la unin
cumple que A (B C) = (A B) (A C).

Consideremos los conjuntos D = {1, 2, 3, 4, 5, 6}; E = {2, 5, 6, 7,
8} y F = {3, 4, 7, 8, 9}. Demostremos que D (E F) = (D
E) (D F).
Encontremos:
D E = {2, 5, 6}
D F = {3, 4}, implica que
(D E) (D F) = {2, 3, 4, 5, 6} o tambin
{2, 5, 6} {3, 4} = {2, 3, 4, 5, 6}
E F = {2, 3, 4, 5, 6, 7, 8, 9}, observamos que
D (E F) = {2, 3, 4, 5, 6} o lo que es igual
68
{1, 2, 3, 4, 5, 6} {2, 3, 4, 5, 6, 7, 8, 9} = {2, 3, 4, 5,
6}
As, queda demostrada de forma sencilla la propiedad.

2.3.2 Distributiva de la unin respecto de la interseccin
cumple que A (B C) = (A B) (A C)

Consideremos los conjuntos de la demostracin anterior:
D = {1, 2, 3, 4, 5, 6}; E = {2, 5, 6, 7, 8} y F = {3, 4, 7, 8, 9}.
Demostremos que D (E F) = (D E) (D F).
Encontremos:
E F = {7, 8}, implica que
D (E F) = {1,2, 3, 4, 5, 6, 7, 8}
D E = {1, 2, 3, 4, 5, 6, 7, 8}
D F = {1, 2, 3, 4, 5, 6, 7, 8, 9}, observamos que
(D E) (D F) = {1, 2, 3, 4, 5, 6, 7, 8}
Queda demostrada la propiedad.

2.3.3 Simplificativa
Dado dos conjuntos cualquiera A y B, siempre se cumple
que:
1. (A B) A = A
2. (A B) A = A

Sean los conjuntos A = {a, b, c, d, e} y B = {d, e, f, g}
A B = {a, b, c, d, e, f, g}, por lo que (A B) A = {a, b, c, d,
e}. Recuerde, por la definicin de interseccin debo tomar los
elementos comunes de (AB) y A.
A B = {d, e} por lo que (A B) A = {a, b, c, d, e}
Recuerde, como es la unin, debe reunir todos los elementos de (A
B) y A. Los elementos repetidos d, e se consideran como
uno solo.

3. Conjunto complemento
69
Sea A un conjunto cualquiera y U el conjunto universo, el
complemento de A ser:
A = {x / x e U . x e A}

Interpretacin: El complemento del conjunto A, es el conjunto
formado por los elementos que no pertenecen al conjunto A; pero
si, al conjunto universo.

Ejemplos de conjunto complemento
Ejemplo 1. Sean los conjuntos A = {3, 4, 5} y U = {dgitos}
El complemento de A ser: A = {0, 1, 2, 6, 7, 8, 9}. Como puede
observar, en el complemento se escriben los elementos del
universo; pero sin escribir los elementos del conjunto del cual se
desea encontrar el complemento.

Ejemplo 2. Si U = {nmeros naturales} y B = {x e N/ x <
100,000}
B = {x e N/ x > 100,000}
Escritos por extensin los conjuntos B = {1, 2, 3, , 99998,
99999} y el complemento de ste B = {100000, 100001,
100002}

Ejemplo 3. Sean los conjuntos U = {animales invertebrados} y
C = {artrpodos}. Encuentre C.
El complemento de C, ser: C = {invertebrados no artrpodos}
Los no artrpodos, son aquellos que carecen de un exoesqueleto
(esqueleto externo) articulado; algunos de ellos son los moluscos,
asquelmintos, anlidos, etc.

Ejemplo 4. Sean los conjuntos U = {continentes} y D = {Asia,
Amrica, Oceana}.
El complemento del conjunto D, es: D = {Europa, Africa}
Note que Europa y Africa son elementos del conjunto universo U,
pero no del conjunto D; es por eso que forman parte del conjunto
complemento de D.

70
Ejemplo 5. Dado el conjunto universo U = {Sistema respiratorio}
y el conjunto E = {Fosas nasales, laringe, trquea, cartlagos,
pulmn, costillas,
corazn, diafragma}
E = {faringe, esfago, msculo intercostales, bronquios,
bronquiolos}.

Ejemplo 6. Siendo U el conjunto universo U = {clases de
palabras} y el conjunto F = {nombres, adjetivos, verbos,
adverbios}. El complemento del conjunto F, ser:
F = {pronombres, determinantes, preposiciones, conjunciones}
Como los conjuntos F y F contemplan las clases de palabras,
unidos forman el conjunto universal U. Nombres (mesa, etc.);
adjetivo (largo, etc.); verbos (estudiar, etc.); adverbios (ahora,
etc.); pronombres (l, etc.); determinante (el, mi, etc.);
preposiciones (de, etc.); conjunciones (y, pero).

Ejemplo 7. Sean los conjuntos U = {x / x es un tipo de erupcin} y
G = {hawaiana, estromboliana, vulcaniana}.
Encuentre el complemento de G.
G = {peleana, vesubiana, krakatoana}
Caractersticas de las erupciones:
Hawaiana: lava muy fluida, no hay gases explosivos.
Estromboliana: lava fluida, emanacin de muchos gases.
Vulcaniana: magma poco fluido, desprende mucho gas.
Vulcaniana: explosiones violentas y avalancha de piroclastos.
Peleana: lava viscosa y explosin de crter.
Krakatoana: Explosin y actividad ssmica fuerte

Ejemplo 8. Sea U = {x/x es campen mundial de ftbol}
H = {Brasil, Argentina, Uruguay}
H = {Italia, Alemania, Inglaterra, Francia}
Hasta el ao 2009, slo pases europeos y americanos han ganado
la copa mundial de ftbol.

Italia, 1934
Italia Francia, 1938 Francia Francia, 1998
CAPITULO III Conjunto de los Nmeros Enteros
Elaborado por Franklin Briceo 74
Espaa, 1982
Alemania, 2006

Suiza, 1954
Alemania Alemania, 1974 Inglaterra Inglaterra, 1966
Italia, 1990

Ejemplo 9. U = {x/x es arcnido}; I = {caros, opiliones}
I= {araas, escorpiones}

Si unimos los conjuntos I e I formaremos el conjunto U.

Ejemplo 10. U = {vocablos relacionados con la palabra
conocimiento}
J = {entendimiento, percepcin, conciencia,
erudiccin}
J = {ignorancia, insapiencia, inexperiencia,
desinformacin}

Los vocablos del conjunto J son algunos de los sinnimos de la
palabra conocimiento y, el complemento, los antnimos.

3.1. Propiedades complementarias
Dado un conjunto A cualquiera, siempre se cumple que:
i. A A = U ii. A A = C

Estas propiedades se evidencian en los 10 ejemplos anteriores.

4. Diferencia de conjuntos.
Sean dos conjuntos cualquiera A y B, la diferencia A B
estar formada por los elementos de A que no pertenecen a B.
Simblicamente A B = {x / x e A . x e B}

Interpretacin: Cuando encontramos la diferencia A B, debemos
escribir los elementos del conjunto A, pero no escribiremos los
elementos del conjunto B; ni aquellos que compartan A y B.
Grficamente, en diagramas de Venn-Euler

A B
A B

Ejemplos de diferencia de conjuntos
Ejemplo 1. Sean los conjuntos A = {1, 2, 3, 4} y B = {3, 4, 5, 6}
A B = {1, 2}
Observe que el 3 y 4 no son elementos de A B; aun cuando
stos elementos pertenecen al conjunto A, tambin pertenecen al
conjunto B.
B A = {5, 6}
De igual forma, observe que slo se escriben los elementos de B,
pero no aquellos elementos que pertenecen al conjunto A ni los
compartidos por A y B.

Ejemplo 2. C = {l, m, n, o, p, q}; D = {q, r, s}
Podemos encontrar C D = {l, m, n, o, p}
D C = {r, s}

Ejemplo 3. E = {helio(He), nen(Ne), argn(Ar), kriptn(Kr)}
F = {kriptn(Kr), xenn(Xe), radn(Rn)}
E F = {helio, nen, argn}
Todos los elementos sealados son gases, mejor conocidos como
gases nobles. Entre parntesis se escribe su nomenclatura
qumica.

Ejemplo 4. G = {Jenfanes, Tales, Herclito, Pitgoras}
H = {Platn, Aristteles, Marx, Engels}
G H = {Jenfanes, Tales, Herclito, Pitgoras}
El resultado de la diferencia de stos conjuntos nos deja algunos
de los principales filsofos presocrticos antes de Scrates .
Las ideas desarrolladas por stos filsofos, hace ms de 2300
aos, dan muestra de la evolucin intelectual de la humanidad.

Ejemplo 5. K = {Romanos, Corintios, Tesalonicenses, Gnesis,
Exodo}
L = {Gnesis, Exodo, Proverbios, Salmos}
K L = {Romano, Corintios, Tesalonicenses}
En sta diferencia han quedado algunas de las epstolas enviadas
por los discpulos a pueblos del imperio romano, hace un poco
menos de 2000 aos.

5. Leyes de DMorgan.
Dado dos conjuntos cualquiera A y B, se cumple que:
1. (A B) = A B
Esta propiedad nos indica: encontrar el complemento de la unin,
es equivalente a la interseccin de los complementos de dichos
conjuntos.
Comprobemos la veracidad de esta ley:
Sean los conjuntos A = {4, 5, 6, 7, 8, 9}; B = {6, 7, 8, 9, 10, 11} y
el conjunto universo U = {x e N/ x < 15}

Primero calculemos la unin
A B = {4, 5, 6, 7, 8, 9, 10, 11}.
Ahora, los complementos de cada conjunto
A = {1, 2, 3, 10, 11, 12, 13, 14}
B = {1, 2, 3, 4, 5, 12, 13, 14}.
El complemento de la unin (A B), ser:
(A B) = {1, 2, 3, 12, 13, 14}, ac tenemos los
elementos que no estn en A B.
La interseccin de A y B, ser:
A B = {1, 2, 3, 12, 13, 14}, elementos
compartidos por A y B.
Como podemos ver los elementos de (A B) y (A B) son
los mismos; por lo tanto, podemos decir que:
(A B) = A B.

2. (A B) = A B
Esta ley nos dice: encontrar el complemento de la interseccin, es
equivalente a unir los complementos de dichos conjuntos.
Para demostrar la segunda ley consideremos los conjuntos
anteriores. Primero, encontremos la interseccin
A B = {6, 7, 8, 9}
Ahora, el complemento de la interseccin
(A B) = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14}
unamos los complementos de A y B
A B = {1, 2, 3, 4, 5, 10, 11, 12, 13, 14}
Queda as demostrado que:
(A B) = A B

Ejercicios adicionales
Dados los conjuntos: U = {x / x es un nmero natural}
A = {x / x es un nmero par}
C = {1, 2, 3, 4, 5, 6, 7}
D = {5, 6, 7, 8, 9, 10, 11, 12}
E = {38, 39, 40, 41}
I. Realizar las operaciones indicadas y representarlas en
diagramas de Venn-Euler.

1. (A B)
Primero encontramos la unin de los conjuntos A y B
A B = U
Esto ocurre, por que al unir los nmeros pares con los impares
obtenemos el conjunto de los nmeros naturales.
Ahora, encontramos el complemento de la unin
(A B) = C
Recuerde que el complemento se calcula respecto del conjunto
universo, por lo que el complemento de ste es vaca.
En el diagrama de Venn-Euler no escribimos elemento alguno.

(A B)

U

D
E

B

A

C

2. (E D) B
Inicialmente encontramos la unin
E D = {5, 6, 7, 8, 9, 10, 11, 12, 38, 39, 40, 41}
ahora calculamos la diferencia
(E D) B = {6, 8, 10, 12, 38, 40}
Como pudo observar, escribimos los elementos pares de (E D),
por que el conjunto B est formado por los nmeros impares (ver
definicin de diferencia de conjuntos)
En diagramas de venn-Euler

(E D) B

U

D
E
40

B
10
8
12

A 6

38
C

Intentemos comprender el por que los nmeros estn ubicados en
regiones especficas del diagrama. Por ejemplo, el 6: se encuentra
dentro del conjunto A (por ser par); contenido en la figura que
representa el conjunto C (es uno de sus elementos) y dentro del
conjunto D (tambin es uno de sus elementos).
No escribimos el 6 dentro del conjunto B (por no ser par) ni
dentro del conjunto E (no es elemento de ste conjunto).

3. (C D)
Encontremos primero la interseccin
C D = {5, 6, 7}
El complemento es
(C D) = {1, 2, 3, 4, 8, 9,}
Representado en diagramas de Venn-Euler

(C D)

U

D
E

B
9
11 13 15
12 17 19
21 23
14 10 8 25 27
29 31 33
16 18 35
37
20 22 24 26 28 30 38 41
32 34 36 42 40 39
A
2 4
1 3

C

Por qu el 39 y 41 se encuentran nicamente dentro del conjunto
B y E? A simple vista observamos que estos nmeros, adems de
ser impares, son elementos del conjunto E.

El 2 y 4 estn ubicados dentro del conjunto A y C, nicamente.
La razn es: adems de ser pares, son elementos del conjunto C.

Los naturales pares del 14 al 36, estn escritos exclusivamente en
la regin que le corresponde al conjunto A. No son elementos de
ninguno de los otros conjuntos.

Le invito a reflexionar el por que la ubicacin de los otros
elementos.

4. (A C) (B D)
Inicialmente calculemos las intersecciones
A C = {2, 4, 6} B D = {5, 7, 9,
11}

Ahora encontramos la unin de las intersecciones
(A C) (B D) = {2, 4, 5, 6, 7, 9, 11}
En diagramas de Venn-Euler

(A C) ( B D)

U

D
E

B

9 11

A 2 4
6 5 7

C


5 y 7 no son elementos de los conjunto A y E, pero s de B (son
impares) y de los conjuntos C y D (son elementos de stos
conjuntos).

5. (B C)
Calculemos la diferencia
B C = {x e N / (2x + 1) > 7}
Observe que la expresin 2x + 1, representa los impar,
independientemente del valor de x (el conjunto B C seala los
nmeros impares mayores que 7).
Podemos ver
x = 2 2x + 1 = 2(2) + 1 = 5
x = 3 2x + 1 = 2(3) + 1 = 7
x = 4 2x + 1 = 2(4) + 1 = 9
y as sucesivamente. El complemento es
(B C) = {1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 14, 16,}
en el cual no se encuentran los elementos de B C.

Expresado el resultado en un diagrama de Venn-Euler (ESCRIBA
USTED LOS ELEMENTOS DONDE CORRESPONDA)

(B C)

U

D
E

B


A

C

II. Asigne valor de verdad a las siguientes proposiciones y
justifique su respuesta 1. 2 c C : Falso (F). El smbolo de
subconjunto se utiliza slo entre conjuntos.

2. {2, 4, 6, 8, 10} e A : Falso (F). Recuerde las llaves { } se
utilizan para sealar conjuntos. Y la relacin de pertenencia (e)
se aplica de elemento a conjunto.

3. A B = C : Verdadero (V). Los nmeros pares e impares no
comparten elemento alguno.

4. D c B : Falso (F). No todos los elementos del conjunto D son
nmeros impares.

5. E = D : Falso (F). Los elementos del conjunto E no pertenecen
al conjunto D, ni viceversa.

Ejercicios propuestos:
Dados los conjuntos:
U = {x e N/ x < 10}
A = {1, 2, 3, 4}
B = {3, 4, 5, 6}
C = {3, 5, 7, 9}

I Realice la operacin indicada y represente en diagrama de
Venn-Euler.
1. A B C =

2. B =

3. A B C =

4. (A C) =

5. (A B) C =

II Cul es la cardinalidad de los conjuntos A, B y C.

III Escriba un conjunto unitario, binario, finito e infinito

IV Asigne valor de verdad a las siguientes proposiciones
1. A B = C

2. B C = A

3. A B C = U

CAPITULO III: Conjunto de los Nmeros Enteros

Los nmeros negativos eran conocidos por los chinos hace ms de 2000
aos. Los indes y rabes le dieron utilidad en el rea mercantil. En el resto
del mundo, fueron aceptados con reticencia gracias a los trabajos de:

Rafael Bombelli (1526 1572) matemtico italiano, es la figura
central en el trabajo con nmeros complejos, en los cuales es
necesario el concepto de nmero negativo.

Albert Girard (1595 1632) matemtico francs, acept races de
ecuaciones tanto negativas como positivas.

Karl Weierstrass (1815 1897) Matemtico alemn. Hizo la
construccin formal de los nmeros negativos a partir de los
enteros.

Brahmagupta (598 670) matemtico y astrnomo indio, se dice
fue el ms grande matemtico de su poca. Trabaj con nmeros
negativos.

Encuentre el principio a todo y
comprender mucho.
K. Prutkov

Hasta este momento, usted haba estudiado el conjunto de los
nmeros naturales; los cuales, podemos definir como: Aquellos
nmeros que utilizamos para contar 1, 2, 3

Ahora, entraremos a estudiar un conjunto que contiene a los Naturales, el
Conjunto de los Nmeros Enteros.
En diagramas de Venn Euler.

1.1 Nmero Entero
Es todo nmero, que adems de cuantificar una situacin, la cualifica.

La coleccin, de todos stos, forma el conjunto de los nmeros naturales.
Se expresa:
Z = Z
+
{0} Z

Como podemos observar, el conjunto de los nmeros enteros, est formado
por los enteros positivos Z
+
= { 7, 6, 5, 4, 3, 2, 1}, los enteros
negativos Z

= {+1, +2, +3 } y el cero. Se utiliza Z, del vocablo alemn
zahlen, que traducido significa: nmero.

En la vida, nos encontramos con situaciones en las que no slo necesitamos
cuantificar, sino tambin cualificar. He ah la importancia del conjunto de
los nmeros enteros.

Ejemplos donde es necesario utilizar enteros
Ejemplo 1. Cinco metros por encima del mar (+5) cinco metros por
debajo del mar (5).

Ejemplo 2. Gan 40 dlares (+40), perd 40 dlares (40).

Ejemplo 3. 200 aos antes de Cristo (200) 200 aos despus de Cristo
(+200).

1.2 Representacin geomtrica de los nmeros enteros
Para representar geomtricamente a los enteros, se utilizan rectas,
donde los positivos se escriben a la derecha del cero y, los negativos a la
izquierda.

Z
N
1.2.1 Coordenada
Es cada uno de los nmeros que expresan la posicin de un punto,
sobre una recta.

1.2.2 Imagen
Es cada punto asociado al nmero.

Ejemplos de representacin geomtrica
Ejemplo 1. Ubicar en la recta numrica, el entero +6

0 +6

Ejemplo 2. Representar el entero 12.

12 0

Ejemplo 3. Ubicar el +2741
Sera oneroso construir una recta con 2741 unidades. La estrategia consiste
en escribir, al menos, el anterior y posterior al entero.

+2740 +2741 +2742
Tengamos en cuenta que la flecha, hacia la izquierda, indica que la recta
pasar por el cero.

Ejemplo 4. Graficar en la recta, el entero 958.
Primero utilizando la estrategia anterior escribamos los
nmeros de derecha a izquierda

959 958 957
posteriormente les anteponemos el signo menos

959 958 957
Un error comn es

957 958 959

Si continuramos escribiendo enteros hacia la izquierda, llegaramos al
cero y, posteriormente, los positivos. Convencionalmente, los enteros
positivos se escriben a la derecha del cero. Reflexione y lo comprender.
Ejemplo 5. Alguien indica que un
objeto se encuentra 5 unidades
(pueden ser cm, m, km, etc.) por
debajo del mar. Exprese
grficamente.

Ejemplo 6. Y si dijeran 7
unidades por encima del mar?

+7

0 nivel del mar 0

5

Los enteros, podemos representarlos en rectas verticales.

Ejemplo 7. Graficar el conjunto {xeZ x > +3}

( .
0 +3
Utilizamos parntesis, para indicar que el 3, no es parte de
dicho conjunto. La parte coloreada, seala el infinito nmero
de enteros que forman parte del conjunto; +4, +5, +6, +
Nota: El smbolo +; se lee: ms infinito

Ejemplo 8. Representar en la recta, el conjunto {xeZ x > 6}

| .
0 +6
El corchete, indica que el 6 forma parte de dicho conjunto.

Ejemplo 9. Exprese en una recta, el conjunto {xeZ x < 1}

)
1 0
Nuevamente utilizamos parntesis Por qu?

Ejemplo 10. Grafique el conjunto {xeZ x s 10}

|
18 0
Hicimos uso del corchete por qu?

1.3 Caractersticas de los nmeros enteros
1. Todo nmero entero positivo es mayor que cero.
(+1) > 0; (+2987) > 0
2. Todo nmero entero negativo es menor que cero.
(1) < 0; (1000) < 0
3. Los enteros positivos, son cada vez mayores, tanto ms lejos
se encuentren a la derecha del cero.
(+3) > (+2); (+3678) > (+2500)
4. Los enteros negativos, son cada vez menores, tanto ms lejos
se encuentren a la izquierda del cero.
(100) < (1); (7845) < (5)
El 100, se encuentra, cien unidades a la izquierda del cero. El
1, dista slo una unidad a la izquierda del cero.

Ejercicios: Represente en la recta numrica
i. 47
ii. {xeZ x s 12}
iii. 631.
Si nunca lo intenta, jams sabr si puede! Comparta los
resultados con su profesor.

1.4 Valor absoluto
Llamamos valor absoluto de un nmero entero, a la distancia, del
entero al cero
Notacin | x |

Ejemplos de valor absoluto
Ejemplo 1. | 8 | = 8

Ejemplo 2. Encontrar el valor absoluto de 3572.
| 3572 | = 3572

Ejemplo 3. | +534 | = 534

Nos damos cuenta, que el valor absoluto expresa la magnitud
del nmero, sin importar el sentido (izquierda derecha). As,
dar cinco pasos al frente (+5); si fueran hacia atrs (-5). | -5 | = |
+5 | = 5; los cinco pasos es la magnitud, independientemente si
fueron hacia delante o hacia atrs.

Ejercicios: Encontrar el valor absoluto de
i. 98
ii. +768

2 Operaciones en el Conjunto de los Nmeros Enteros
2.1 Adicin
Es la operacin definida por el signo +, para reunir dos o ms
conjuntos de nmeros enteros, en uno solo.
Denotamos: Sean a . b e Z, llamamos adicin a la operacin a
+ b = c.
a y b se les llama sumandos; c es la suma.

Ejemplos de adicin en Z.
Sumar en la recta numrica, los enteros siguientes
Ejemplo 1. (+5) + (+2)
(+5)

0 (+2)

(+7) La suma es +7.
Si puso atencin, observ que:
1) Para indicar el primer sumando, partimos desde cero.
2) Trazamos una semirecta, tantas unidades lo indica la magnitud; hacia la
derecha si es positiva, a la izquierda si es negativa.
3) Para el segundo sumando, trazamos otra semirecta a partir del extremo
final de la primera, tantas unidades lo indica la magnitud. Hacia la
izquierda si es negativa, a la derecha si es positiva.
4) Se procede de forma semejante con el resto de sumandos.
5) La suma total, ser la semirecta que se traza desde el cero hasta el
extremo final de la ltima semirecta construida.

Ejemplo 2. (3) + (6)
(3)

0
(6)

(9) la suma es 9
Ejemplo 3. Un individuo gana 200 euros, paga 150 euros, un amigo le
obsequia 50 euros y despus pierde 80. Cunto le queda?

(+20) (150)

0
(+200)
(+50)
(80)

Le quedan 20 euros al individuo. Partimos del hecho, que obtener dinero es
positivo, gastar o perderlo es negativo.

Ejemplo 4. Los termmetros clnicos, se utilizan para medir la temperatura
corprea normal a los 37
C . Cierta persona con fiebre, le miden 2

grados de temperatura, por encima de lo normal. Pasado cierto tiempo, le
incrementa la fiebre 1
C. Despus de ser medicada, observan que la

temperatura le ha disminuido 3
C. Por ltimo, contina con fiebre la

persona?
(+2) (+1)

36 37 38 39 40 41 42
(3)
La fiebre desapareci. Al final, la temperatura regres a lo normal.

Ejemplo 5. (7) + (+3) + (5) + (+6)

0

(3)

La suma es 3. Ubique usted los sumandos, donde corresponda.

Si no trabaja con papel, regla y lpiz; los ejemplos le parecern aburridos y
complicados. Anmese! apoderarse del conocimiento.

Ejemplo 6. (+12) + (8)
(+4)

0 (+12)
(8)
La suma es +4
Ejemplo 7. (11) + (+13) = +2
(11)

0 2
(+13)
Cul es la flecha que seala la suma?

Ejemplo 8. (9) + (+5) = 4

(+5) (4)

(9) 0

Ejemplo 9. (+10) + (16) = 6

(6)

0

Ejemplo 10. (+4) + (+8) + (11) + (+1) + (3) = 1


-1 0 1 4 12

En los ejemplos 9 y 10, ubique usted los sumandos y la suma.

2.1.1 Ley de los signos para la adicin en Z
1. Sumandos con signos iguales, se suman sus magnitudes, y
el signo se conserva. (ver ejemplo 1 y 2)
2. Sumandos con signos diferentes, se restan sus magnitudes,
y colocamos a la resta el signo de la magnitud mayor. (ver
ejemplos 6, 7, 8, y 9)
2.1.2 Propiedades de la adicin en Z
2.1.2.a. Cierre o clausura
a . b e Z a + b e Z
Interpretacin: La suma de dos o ms nmeros enteros, es otro nmero
entero.
Evidencias: (7) e Z . (+4) e Z; (7) + (+4) = 3. Obviamente, (3) e Z

a . b e Z a + b = b + a
Interpretacin: El orden de los sumandos, no altera la suma.
Evidencias: (120) . (40) e Z, implica que
(120) + (40) = (40) + (120)
160 = 160

2.1.2.c. Asociativa
a, b y c e Z a + (b + c) = (a + b) + c
Interpretacin: Los sumandos pueden agruparse como desee, la suma no se
alterar.
Evidencias: Sean los enteros 8, +2 y 3; implica que
(8) + |(+2) + (3)| = |(8) + (+2)| + (3)
(8) + |1| = |6| + (3)
9 = 9

2.1.2.d. Elemento neutro
- 0 e Z / 0 + a = a + 0 = a. a e Z
Interpretacin: La suma de un nmero con cero, es el mismo nmero
entero.

2.1.2.e. Opuesto
a e Z, - (a) e Z: a + (a) = 0
Interpretacin: Todo nmero entero tiene su opuesto. La suma de stos es
cero.

Ejemplos de cmo utilizar las propiedades
Realizar las operaciones indicadas, utilizando las propiedades.
Ejemplo 1. (6) + (2) + (+9) + (8) + (+7) + (5) =
Cambiaremos el orden de los sumandos, as aplicaremos la propiedad
conmutativa.
= (+9) + (+7) + (6) + (2) + (8) + (5) =
Apliquemos la propiedad asociativa, agrupando los sumandos
= {(+9) + (+7)} + {(6) + (2) + (8) + (5)} =
Observe, los sumandos de signo igual quedaron en una misma agrupacin.
= (+16) + (21) = 5

Ejemplo 2. (3) + (+3) + (11) =
Primero aplicaremos la propiedad asociativa
= |(3) + (+3)| + (11) =
Aplicando la propiedad del opuesto
= 0 + (11) =
La propiedad, elemento neutro, nos lleva a concluir que la suma es 11.

Ejemplo 3. (40) + (+20) + (+30) + (20) + (50) =
Utilicemos la propiedad conmutativa
(40) + (+20) + (20) + (+30) + (50) =
De la propiedad del opuesto, resulta
(40) + 0 + (+30) + (50) =
Aplicando la propiedad del elemento neutro
(40) + (+30) + (50) =
Usamos la propiedad asociativa
(40) + |(+30) + (50)|
Concluimos que (40) + (20) = 60

Problemas resueltos
Ejemplo 1. El PIB de Bulgaria en el ao 2000, era de 11 225 millones de
dlares. Para el 2005 haba incrementado en 15 243 millones de dlares
Cunto fue el PIB de Bulgaria en 2005?
Solucin: Haber incrementado el PIB (Producto Interno Bruto), para
Bulgaria, fue positivo. Por lo tanto,
(+$11 225 000 000) + (+$15 243 000 000) = +$26 468 000 000
Respuesta: Para 2005, Bulgaria tena un PIB de 26 468 millones de dlares.
Algunos de los recursos econmicos de Bulgaria (hasta 2005), son: cebada,
girasol, maz, ganadera, minera (hierro, petrleo, etc.) e industria (acero,
neumticos, etc.)

Ejemplo 2. La Corteza terrestre tiene en promedio 30Km de profundidad y
debajo de sta, el manto superior, se extiende hacia 600Km. A qu
profundidad se encuentra el manto inferior?
Solucin: Sabemos que el manto inferior subyace al manto superior. Como
el punto de partida es la superficie terrestre; por encima de sta estaran la
medidas de longitud positivas. Por debajo, las negativas. As:
(30Km) + (600Km) = 630Km.
Respuesta: El manto inferior se encuentra a unos 630Km debajo de la
superficie terrestre.

Ejemplo 3. Si sumamos los espesores de la troposfera (+15Km),
estratosfera (+35Km) y mesosfera (+40Km) obtendremos la altura a la cual
se encuentra la termosfera. A que altura, desde la superficie terrestre,
inicia dicha capa atmosfrica?
Solucin: Como las capas se prolongan hacia arriba, sus distancias respecto
de la superficie, son positivas.
(+15Km) + (+35Km) + (+40Km) = +90Km
Respuesta: La termosfera se encuentra a 90Km de la superficie terrestre.

Ejemplo 4. El filsofo griego Platn naci 427 aos a. C. y muri a la edad
de 80 aos. En qu ao muri?
Solucin: Enteros que definen los aos antes de Cristo, son los negativos.
Por lo tanto,
(427) + (+80) = 347
Respuesta: Platn, cuyo verdadero nombre era Aristocles, muri 347 aos
antes de Cristo.

Ejemplo 5. Cierto profesor europeo, tiene un salario mensual de 1500
euros, paga de renta 500 euros y recibi un incentivo de 150 euros. Cul
es el saldo del profesor?
Solucin: (+1500) + (500) + (+150) = +1150
Respuesta: Aun le quedan, al profesor, 1150 euros.

2.2 Sustraccin
Es la operacin definida con el signo , para conocer la
diferencia de dos enteros.

Notacin: Sean a . c e Z c a = b
Donde b es la diferencia; c el minuendo y a substraendo.
Ya vimos la propiedad del opuesto, en la que todo nmero entero positivo
+a, tiene su opuesto a. Esto nos permite afirmar que el opuesto de a, es
+a. Obviamente (a) = +a.

Ejemplos de sustraccin
Restar en la recta numrica, los enteros siguientes
Ejemplo 1. De 2 restar +4
De lo mencionado en el prrafo anterior
(2) (+14) = 2 4
(6) 0

(4) (2)
La diferencia entre los enteros es 6

Ejemplo 2. Restar +2 de +5
Como, evidentemente, (+5) es el minuendo y (+2) el substraendo, la
diferencia ser:
(+5) (+2) = +5 2 = +3

0
Ubique usted el minuendo, substraendo y diferencia, segn corresponda.

Ejemplo 3. Restar 7 de 11
Planteamos la operacin, (11) (7) = 11 + 7 = 4
(11)

(7) 0
(4)

Problemas resueltos
Ejemplo 1. Arqumides naci en el ao 287 a.C. y muri 212 aos antes de
Cristo. A qu edad muri?
Solucin: Todos sabemos que para calcular la edad a la que muere un
individuo, restamos el ao de su natalidad al de defuncin. As,
(212) (287) = 212 + 287= 75
Respuesta: La edad del fallecimiento de Arqumides fue 75 aos.
Arqumides forma parte de ese grupo exclusivo de mentes brillantes;
adems de matemtico y fsico, fue inventor.
Si internacionalmente se les celebrara un da a los inventores, la fecha de
nacimiento de Arqumides, sera la mejor eleccin. Lo invito a leer sobre la
vida de este gran cientfico.

Ejemplo 2. En cunto difieren las extensiones superficiales de Europa (10
218 200 Km
2
) y Canad (9 970 600 Km
2
)?
Solucin: Para saber en cuanto difieren, debemos restar
10 218 600Km
2
9 970 600 Km
2
= 247 600 Km
2

Respuesta: El continente europeo es mayor que Canad, alrededor de 247
600 Km
2

Canad es el segundo pas ms extenso del mundo.

Ejemplo 3. El PIB de Argentina, en el 2000, era 91 211 millones de
dlares; para 2005, haba alcanzado los 183 193 millones. En cunto se
incremento el PIB?
Solucin: Para conocer el incremento, calcularemos la diferencia entre los
montos
$183 193 000 000 $91 211 000 000 = $91 982 000 000
Respuesta: El producto interno bruto de Argentina, desde 2000 a 2005, se
increment en 91 982 millones de dlares.
Quizs!, tenga curiosidad, por averiguar el PIB actual de Argentina y sus
principales recursos econmicos.

Ejemplo 4. En 2020, el libro sagrado de los cristianos (La Biblia), cumplir
564 aos de haber sido impreso por medios tcnicos. En que ao se
imprimi?
Solucin: Basta hacer una resta para encontrar el ao de impresin
2020 564 = 1456
Respuesta: Se imprimi con medios tcnicos, por vez primera, en 1456.
El inventor de la imprenta, Johanes Guttember, decidi que uno de los
primeros libros que imprimira, sera La Biblia.

Ejemplo 5. Encuentre la distancia media entre Urano y Neptuno, si sus
distancias, desde el Sol, son:
Urano; 2 870 millones de Km.
Neptuno; 4 497 millones de Km.
Solucin: Para conocer cunto dista un planeta del otro, restamos
4 497 000 000 Km 2 870 000 000 Km = 1 627 000 000 Km
Respuesta: La distancia media entre Urano y Neptuno, es alrededor de
1627 millones de Km.

Ejercicios: Realizar las operaciones indicadas.
i. (41) + (+30) + (16) =
ii. (+17) (28) =
iii. (423) + (73) =
iv. (87) (+976) =
Cuanto ms ejercite Matemtica, su capacidad deductiva se incrementar.

2.3 Multiplicacin
Es la operacin definida con el signo x, para conocer el producto
de dos enteros.

Notacin: Sean a . b e Z a b = c
a y b, les llamamos factores; c es el producto.
Nota: La multiplicacin es una forma abreviada de sumar. Un factor se
repetir tantas veces lo indique el otro. As, por ejemplo:
El producto (+2) (+4)
(+4) (+4)

0 (+8)

2 veces (+4)
o el producto (+2) (4)

(4) (4)

0
2 veces el (4)

2.3.1 Ley de los signos para la multiplicacin en Z
1. Producto de nmeros enteros con signos iguales, es
positivo.
(+a) (+b) = +ab
(a) (b) = +ab

2. Producto de nmeros enteros con signos diferentes, es
negativo.
(+a) (b) = ab
(a) (+b) = ab

Ejemplos de dicha ley
Ejemplo 1. Encontrar el producto de (634) por (+79)
(634)(+79) = 48 184
634
76
3804
4438 _
48184

Ejemplo 2. Calcular (26)(17)(34) = 15 028
26 442
17 34
182 1768
. 26 _ _ 1326_
442 15028
Cuando, entre pares de signos de agrupacin, no existe un + (suma),
(resta) (divisin); debemos sobre entender que est indicada
una multiplicacin.

Ejemplo 3. (7) (+5) (4) = +140
El 140 queda positivo, por qu? La respuesta est en la ley de los signos
para la multiplicacin.

Ejemplo 4. (+8) (+2) (+3) (+1) = +48

Ejemplo 5. (6) (3) (9) (2) (4) (5) = +6 480
6 3 = 18 324 4 = 1 296
18 9 = 162 1296 5 = 6 480
162 2 = 324

Queda en evidencia cuando multiplicamos ms de dos enteros que: primero
multiplicamos sus magnitudes y, posteriormente, multiplicamos los signos
entre s.

2.3.2 Propiedades de la multiplicacin en Z
2.3.2.a. Cierre o clausura
a . b e Z a b e Z
Interpretacin: El producto de nmeros enteros, es otro entero.
Evidencias: Sean los nmeros enteros 5 y 2. El producto (5) (2) =
+10. +10 e Z.

a . b e Z a b = b a
Interpretacin: El orden de los factores enteros, no altera el producto.
Evidencias: Sean los enteros (16) y (+24). Calculemos los siguientes
productos:
(16) (+24) = 384
(+24) (16) = 384

16 24
. 24 . 16
64 144
_ 32_ _ 24_
384 384

2.3.2.c. Asociativa
a, b y c e Z a (b c) = (a b) c
Interpretacin: Los factores enteros se pueden agrupar como se desee y el
producto no se altera.
Evidencias: Sean los nmeros enteros +2, 3 y +5, por los cuales
(+2) |(3) (+5)| = |(+2) (3)| (+5)
(+2) |15| = |6| (+5)
30 = 30

2.3.2.d. Elemento neutro
a e Z| a 1 = a
Interpretacin: El producto de cualquier nmero entero por 1, es e3l mismo
nmero entero.
As, (8534) 1 = 8534

2.3.2.e. Absorbente
- 0 e Z| a 0 = 0
Interpretacin: El producto de un nmero entero por cero, es cero.
Por ejemplo (7 635 820) (0) = 0

2.3.2.f. Distributiva respecto la adicin o substraccin
a, b y c e Z| a (b c) = a b a c
Interpretacin: El producto, donde uno de los factores es suma o diferencia
indicada, equivale a la suma diferencia de los productos parciales.
Evidencias: Sean los nmeros enteros 5, 7 y +4; comprobaremos que
(5) |(7) + (+4)| = (5) (7) + (5) (+4)
(5) |3| = (+35) + (20)
+15 = +15

Problemas resueltos
Ejemplo 1. El planeta Marte posee dos satlites naturales, Saturno tiene
nueve veces ese nmero de satlites naturales. Cuntos satlites naturales
tiene Saturno?
Solucin: La frase nueve veces nos indica que los nueve sumandos son
iguales, la suma de ellos nos dara la respuesta. La forma abreviada sera
por medio de una multiplicacin

9 2 = 18
Respuesta: Saturno tiene 18 lunas.
Las cuales son: Pan, Atlas, Prometeo, Pandora, Epimeteo, Jano, Mimas,
Encelado, Calipso, Telesto, Tetis, Helena, Dione, Rea, Titn, Hiperin,
Japeto y Febe.
Ejemplo 2. El dimetro de Calisto es 24 veces el de Amaltea Cuntos
kilmetros mide el dimetro de Calisto, si para Amaltea es 200Km?
Solucin: Calculemos, 24 (200Km) = 4 800 Km.
Respuesta: El dimetro de calisto es 4 800 Km.
Ambos, son satlites naturales de Jpiter.

Ejemplo 3. La renta per cpita de La Repblica Democrtica del Congo, al
iniciar el milenio, rondaba los 120 dlares. Cul fue la renta per cpita de
Holanda, en el 2000, si era 200 veces la de Repblica Democrtica del
Congo?
Solucin: Debemos multiplicar 200 ($120) = $24 000
Respuesta: la renta per cpita de Holanda, al iniciar el tercer milenio, fue
alrededor de 24 mil dlares.
Per cpita: adverbial latino. por cabeza, individualmente.

Ejemplo 4.El nmero atmico del Boro es 5, el del Astato lo supera en 17
veces. Cul es el nmero atmico del Astato?
Solucin: 5 17 = 85
Respuesta: El nmero atmico del Astato es 85.
La Qumica, es una ciencia, ordena los elementos conocidos de la
naturaleza de acuerdo a la cantidad de cargas elctrica positivas que tenga
cada uno es decir, de acuerdo a su nmero atmico .

Ejemplo 5. La Repblica Checa tiene alrededor de 78 800Km
2
. Cul ser
la superficie de Brasil, si excede en 1596 Km
2
las 108 veces del territorio
checo?
Solucin: El producto de 108 con la extensin territorial de Repblica
Checa
(108) (78 800Km
2
) = 8 510 400 Km
2

ms los 1596 Km
2
nos dar la superficie de Brasil.
8 510 400Km
2
+ 1596Km
2
= 8 511 996Km
2

Respuesta: La superficie de Brasil, supera los 8.5 millones de Km
2
.

2.4 Divisin
Es la operacin definida con el signo , para encontrar el cociente
entre dos nmeros enteros.

Notacin: a . b e Z a b = c. Donde a es el dividendo, b el divisor y c
el cociente.
2.4.1 Ley de los signos para divisin en Z
1. Cociente de nmeros enteros con signos iguales, es
positivo.
(+a) (+b) = +(a b)
(a) (b) = +(a b)
2. Cociente de nmeros enteros con signos diferentes, es
negativo.
(+a) (b) = (a b)
(a) (+b) = (a b)
Observacin: Cuando divida, recuerde que
El cociente de cualquier Z entre uno, es el mismo Z.
El cociente de cero entre cualquier Z, es cero.
El cociente de un Z entre cero, no esta definido.

Ejemplos de la ley de los signos
Ejemplo 1. Dividir +12 312 entre 27
(+12 312) (27) = 456
12312 27 _
151 456
162
0
Por qu 456? La respuesta est en la ley de los signos para la divisin.

Ejemplo 2. (1715) (35) = +49
1715 35 _
315 49
0

Ejemplo 3. Calcular el cociente de 96 entre +12
(96) (+12) = 8

Problemas resueltos
Ejemplo 1. Las extensiones territoriales de Nigeria y Argentina, son
alrededor de 924 000Km
2
y 2 772 000Km
2
, respectivamente. Cuntas
veces supera en extensin territorial Argentina a Nigeria?
Solucin: Encontraremos el cociente de ambas extensiones territoriales,
esto nos dar la respuesta que buscamos.
2 772 000Km
2
924 000Km
2
= 3
Respuesta: Argentina es 3 veces ms grande que Nigeria.

Ejemplo 2. La trquea tiene unos 15 cm de largo y 25 mm de ancho.
Cuntas veces supera el largo al ancho?
Solucin: Para poder comparar, necesitamos una misma unidad de medida.
Sabemos que
1 cm = 10 mm; as 15 cm = 150 mm
Calculemos el cociente para encontrar la respuesta a tal pregunta
150mm / 25mm = 6
Respuesta: El largo de la trquea es 6 veces su dimetro.

Ejemplo 3. Los dimetros de Venus y Saturno son 12 100 y 121 000Km,
respectivamente. Cuntas veces, el dimetro de Saturno, es mayor al de
Venus?
Solucin: Haremos la divisin entre los dimetros, para calcular cuntas
veces es mayor uno del otro
121 000Km 12 100Km = 10
Respuesta: El dimetro de Saturno es 10 veces mayor.

Ejemplo 4. Al iniciar el tercer milenio, por cada ciudadano islands haban
200 franceses. Cuntos eran los habitantes de Islandia si Francia tena
alrededor de 56 millones de habitantes?
Solucin: Calcularemos el cociente
56 000 000 habitantes 200 = 280 000 habitantes.
Respuesta: La poblacin de Islandia, al inicio de ste milenio, rondaba los
280 mil habitantes.
Cuntos sern actualmente? Le sugiero visite su biblioteca.

Ejemplo 5. Los tiburones gigantes alcanzan longitudes de 15m, si
dividimos tal longitud entre 5, obtendramos el tamao del tiburn que se
encuentra el lago Cocibolca carcharhinus leucas. Cul es el tamao de
dicho tiburn?
Solucin: 15m 5 = 3m
Respuesta: Los tamaos que llegan a alcanzar es de 3m.
El lago Cocibolca, ubicado en Nicaragua y con ms de 8 mil Km
2
, es el
nico lago de agua dulce del mundo, que posee tiburones.

3 Mltiplos y divisores de un nmero entero
Llamamos mltiplo de un nmero entero, aquel producto que
contiene a dicho nmero, una cantidad entera de veces.
Por ejemplo
18 es mltiplo de 2, 3, 6 y 9
Contiene al 2, 9 veces
" 3,.6 "
" 6,.3 "
" 9,.2 ".
o el 35, el cual contiene un nmero entero de veces al 5 y 7
Contiene al 5,7 veces
" 7,.5 "
Llamamos divisores de un nmero entero, aquellos nmeros, que
hacen del cociente del primero entre stos, un nmero entero.
Por ejemplo
El 2, 3, 6 y 9 son divisores del 18
5 y 7, son divisores del 35.
Evidentemente, al realizar las divisiones correspondientes, los cocientes,
son enteros.

3.1 Criterios de divisibilidad
Son reglas, que nos permiten averiguar, si un nmero entero es
divisible por otro, sin necesidad de efectuar las divisiones.

3.1.1 Divisibilidad por 2
Todo nmero entero es divisible por 2, cuando la cifra de las
unidades, es cero o par.
Los enteros + 562, 67 890 y +9 127 358, son divisibles por 2. Observe, el
primer y tercer nmero entero terminan en cifra par (2, 8). El segundo
nmero entero termina en 0.

Todo nmero entero es divisible por 3 cuando la suma de los
valores absolutos de sus cifras, es mltiplo de 3.
As, los nmeros enteros 4 128, +57 345 y 7 902 540 son divisibles por 3
Veamos por qu? Sumemos los valores absolutos de sus cifras:
4 128; 4 + 1 + 2 + 8 = 15. El 15 es mltiplo del 3.
+57 345; 5 + 7 + 3 + 4 + 5 = 24. El 24 es mltiplo del 3.
7 902 540; 7 + 9 + 0 + 2 + 5 + 4 + 0 = 27. El 27 es mltiplo del 3.
El primer y tercer entero, son divisibles por 2?

Todo nmero entero es divisible por 4 cuando, las cifras de las
unidades y decenas, forman un mltiplo de 4 son 00.
Los enteros siguientes son divisibles por 4:
17 468 564; el entero termina en 64, el cual es mltiplo de 4.
678 000; sus dos ltimas cifras son 00.
+316; sus ltimas dos cifras forman un mltiplo de 4.

Todo nmero entero es divisible por 5 cuando la cifra de las
unidades es 0 o 5.
Los enteros siguientes son divisibles por 5, por que terminan en 0 5
+6 749 000, +7 685 y 135

Todo nmero entero es divisible por 6 cuando es divisible por 2 y 3,
a la vez.
Por ejemplo:
47 034: Termina en par, es divisible por 2
4 + 7 + 0 + 3 + 4 = 18, 18 es mltiplo de 3. Por lo tanto,
47 034 es divisible por 3.
En conclusin, el nmero entero debe ser divisible por 6.
Analicemos otro entero, +1 536
Evidentemente es divisible por 2 y 3 a la vez; por lo tanto, es
divisible por 6

Un nmero entero es divisible por 9 cuando la suma de los valores
absolutos de sus cifras es mltiplo de 9.
El nmero entero 52 002 es divisible por 9, ya que
5 + 2 + 0 + 0 + 2 = 9
otro divisible por 9, es +6 745 851
6 + 7 + 4 + 5 + 8 + 5 + 1 = 36

Un nmero entero es divisible por 11 cuando, formada la suma de
la cifras ordinalmente par y la suma de las cifras ordinalmente impar, la
diferencia de dichas sumas es 0 u 11.
Veamos
61 237; La suma de las cifras de lugar par es:
3 + 1 = 4
La suma de las cifras de lugar impar es:
6 + 2 + 7 = 15
La diferencia es 15 4 = 11. As, podemos afirmar que 61 237 es
divisible por 11.
Otro ejemplo de nmero divisible por 11, es el nmero entero + 9 839 786
las cifras de lugar impar, suman 9 + 3 + 7 + 6 = 25
las cifras de lugar par, suman 8 + 9 + 8 = 25
La diferencia de dichas sumas es 25 25 = 0

Problemas resueltos
Ejemplo 1. Podramos dividir el territorio italiano en tres partes, tal que
cada una de stas partes, la represente un nmero entero?
Solucin: La superficie de Italia es de unos 301 308 km
2
. Para que ocurra
lo que indagamos, 301 308 deber cumplir el criterio de divisibilidad por 3
3 + 0 + 1 + 3 + 0 + 8 = 15
Respuesta: Como la extensin superficial de Italia es divisible por 3, si es
posible.

Ejemplo 2. Sera posible dividir Camern en 11 regiones territoriales
enteras?
Solucin: Veamos si la superficie de Camern es divisible por 11; cuando
ste pas africano mide alrededor de 475 442 km
2
.
Sumemos las cifras de lugar par 4 + 5 + 4 = 13
ahora las de lugar impar 2 + 4 + 7 = 13
la diferencia de dichas sumas es 13 13 = 0
Respuesta: Siendo 475 442 km
2
divisible por 11, Camern podra formar
11 regiones con extensiones enteras.

Ejemplo 3. Supongamos que el hombre desea mandar una nave tripulada a
Neptuno, y necesite para abastecer a los tripulantes 9 bases ubicadas en
el recorrido que se encuentren a igual distancia una de otra. Sera posible
que tales distancias sean enteras?
Solucin: la distancia media entre La Tierra y Neptuno es de unos 4 347
millones de km; tal cantidad es divisible por 9. Por lo tanto, podemos decir
que dichas bases podran ser construidas a distancias enteras.

Ejercicios: Conteste las siguientes preguntas
i. Es divisible por 3, 674?por qu?
ii. Qu nmero es divisor de todos los dems?
iii. 324 es mltiplo de 4?Por qu?
Con un poco de reflexin y clculo, las respuestas le sern fciles de
encontrar.

4 Nmeros Enteros Primos y Compuestos
4.1 Nmeros compuestos
Son aquellos que poseen ms de cuatro divisores.

As, 72 y +45 son compuestos
72 es divisible por 1, 1, 72, 72, 2, 2, 8, 8, 3, 3, 9, 9, 4, 4, 6, 6 y
el +45, es divisible entre otros por 1, 1, 45, 45, 3, 3.

La mayora de nmeros enteros que conocemos son compuestos; pero, hay
otro conjunto ya estudiado en el conjunto de los nmeros naturales, el de
los primos.

4.2 Nmeros primos
Son aquellos que poseen, nicamente, cuatro divisores.

Por ejemplo 2 y 31, son enteros primos
El 2 es divisible slo por l mismo y su opuesto, 1 y 1; de forma
semejante, el 31 es divisible slo por 1, 1, 31 y 31.

Tabla de nmeros primos menores que 500
2 3 5 7 11 13 17 19 23 29
31 37 41 43 47 53 59 61 67 71
73 79 83 89 97 101 103 107 109 113
127 131 137 139 149 151 157 159 163 167
173 179 181 191 193 197 199 211 223 227
229 233 239 241 251 257 263 269 271 277
281 283 293 307 311 313 317 331 337 347
349 353 359 367 373 379 383 389 397 401
409 419 421 431 433 439 443 449 457 461
463 467 479 487 491 499
Le gustara encontrar los nmeros primos entre 500 y 600? Hacerlo es
sencillo. A continuacin le presento una estrategia. Divirtase!

Estrategia para conocer si, un nmero entero, es primo
1. Recuerde la definicin de nmero primo.
2. Divida sucesivamente el nmero entero por los nmeros que
forman la tabla anterior, de menor a mayor. De no aparecer
divisin exacta hasta que el divisor sea mayor que el cociente,
podemos asegurar que el nmero entero es primo. Si
encontramos alguna divisin exacta, el nmero entero es
compuesto
Nota 1: Cuando divida entre 3 y 11, utilice los criterios de divisibilidad.
Nota 2: No pierda tiempo en comprobar, si es primo, aquel entero que
termine en cifra 0, 5 par. Por qu?

Ejemplos para determinar si un nmero entero, es no, primo
Ejemplo 1. El entero 1009 es primo?
De los criterios de divisibilidad, podemos afirmar que no es divisible
por 2, 3, 5 ni 11. As
1009 7 _ 1009 13 _ 1009 17 _ 1009 19 _
30 144 99 77 159 59 59 53
29 8 6 2
1

1009 23 _ 1009 29 _ 1009 31 _ 1009 37 _
89 43 139 34 79 32 269 27
20 23 17 10
Veamos que en la ltima divisin, el cociente (27) es menor que el divisor
(37). No necesitamos ms divisiones para afirmar que 1009 es primo. Ya
no es necesario dividir por el 41 Por qu?

Ejemplo 2. Ser nmero primo el 841?
Obviamente, no es divisible por 2, 3, 5 ni 11
841 7 _ 841 13 _ 841 17 _
14 120 61 64 161 49
01 9 8

841 19 _ 841 23 _ 841 29 _
81 44 151 36 261 29
5 13 0
la ltima divisin es exacta; por lo tanto, 841 es un nmero compuesto.

4.2.1 Caractersticas de los nmeros primos
El conjunto de los nmeros primos es infinito.
Siempre, un nmero primo, con la menor magnitud, ser el ms
pequeo de los divisores de un nmero compuesto. Por ejemplo:
+24, es divisible por 24, 12, 8, 6, 4, 3 y 2. El 2 es la
magnitud del 2 y menor de todos los divisores.
La mayor cantidad de factores en que puede descomponerse un
nmero entero, es en factores primos.
105 5 69 3
21 3 23 23
7 7 1

Todos los factores de la derecha (en azul), son primos.
Verdaderamente, deseo, no vuelva a caer en el error, de creer que todos los
nmeros impares, son primos. El +9, +15, etc. son impares no primos.

Ejercicios:
i. Descomponer en factores primos el 685.
ii. Cul es el nico nmero, que adems de ser par, es primo?
iii. Encontrar dos nmeros primos cuya suma es 46.

5 Potenciacin en el conjunto de los nmeros enteros
a e Z . n e N a
n
= a a a a = b (n veces a)
Donde se les llama:
a: base.
n: exponente.
b: potencia.

Interpretacin: Se entiende por potencia, el producto que resulta de
multiplicar la base, por s misma, tantas veces lo indique el exponente.

Ejemplos de potenciacin
Encuentre:
Ejemplo 1. La tercera potencia de +4.
La tercera potencia, significa que el exponente es 3
(+4)
3
= (+4) (+4) (+4) = +64
+4 es la base y +64 su tercera potencia.

Ejemplo 2. La cuarta potencia de 3
El exponente que debemos asignar es 4
(3)
4
= (3) (3) (3) (3) = +81
3 es la base y +81 su cuarta potencia.

Ejemplo 3. La quinta potencia de 2
(2)
5
= (2) (2) (2) (2) (2) = 32

Ejemplo 4. La segunda potencia de +7
(+7)
2
= (+7) (+7) = +49.

Expresar en forma de potencia y calcularla
Ejemplo 5. (9) (9) (9)
Escrito en forma de potencia, es (9)
3
y, al calcularla, nos da 729.

Ejemplo 6. |(+6) (+6) (+6) (+6)|
Como el signo menos se encuentra fuera de corchete; el producto, como
potencia indicada ser |+6|
4
. Una vez calculada tenemos:
|+1296| = 1296

Ejemplo 7. |(5) (5) (5) (5) (5)| =
= |5|
5
= |3125| = +3125

Ejemplo 8. (+8)
2
= |(+8)(+8)| = (+64) = 64

Ejemplo 9. (14)
3
= |(14)(14)(14)| = (2744) = +2744

Ejemplo 10. |(21)|
4
= |+21|
4
= |194 481| = 194 481
En los ejemplo 8, 9 y 10, podemos ver que el exponente no afecta al
que antecede a los signos de agrupacin.

5.1 Ley de los signos para la potenciacin
1. Si el exponente es par, la potencia es positiva, sin
importar que la base sea positiva o negativa.
2. Si la base es positiva, la potencia es positiva, sin
importar que el exponente sea par o impar.
3. Si la base es negativa y el exponente impar, la
potencia es negativa.

5.2 Propiedades de la potenciacin
5.2.1 Producto de potencia de igual base
a e Z y m, n e N a
n
a
m
= a
n+m

Interpretacin: Cuando multiplicamos potencias de igual base, es
equivalente a escribir la misma base y sumar los exponentes.
Evidencias: Sea 2 e Z
(2)
2
(2)
4
= (+4) (+16) = +64 .
(2)
6
= (2)(2)(2)(2)(2)(2) = +64
Se cumple que, (2)
2
(2)
4
= (2)
6

5.2.2 Cociente de potencias de igual base
a e Z y m, n e N a
m
a
n
= a
m-n
Interpretacin: Al dividir potencias de igual base, es equivalente a escribir
la misma base y restar el exponente del dividendo menos el exponente del
divisor.
Evidencias: Sea (7) e Z
(7)
5
es equivalente a (7)
5-2
, de acuerdo a la propiedad.
(7)
2

Haciendo los respectivos clculos
(7)
5
16 807 343
(7)
2
49
(7)
5-2
= (7)
3
= 343
(7)
5
(7)
2
= (7)
5-2
El smbolo , significa: por lo tanto.

5.2.3 Potencia de un producto
a . b e Z, n e N (a b)
n
= a
n
b
n

Interpretacin: La potencia de un producto indicado, es equivalente al
producto de las potencias.
Evidencia: Sean (6) . (+3) e Z, tal que
|(6)(+3)|
2
= (6)
2
(+3)
2
.
|18|
2
= (+36) (+9)
+324 = +324 .
5.2.4 Potencia de un cociente
a . b e Z, n e N (a/b)
n
= a
n
/b
n

Interpretacin: La potencia de un cociente indicado, es equivalente al
cociente de las potencias.
Evidencias: |(+24) / (8)|
2
= (+24)
2
/ (8)
2

(3)
2
= +576 / +64
+9 = +9

5.2.5 Potencia de otra potencia
a e Z y m, n e N (a
m
)
n
= a
m n

Interpretacin: Tener la potencia de otra potencia, equivale a escribir la
misma base y multiplicar los exponentes.
Evidencias: Sea 15 e Z, tal que
|(15)
2
|
3
= (15)
2 3

|+225|
3
= (15)
6

+11 390 625 = +11 390 625

5.2.6 Potencia cuyo exponente es cero
a e Z, - 0 e Z a
0
= 1
Interpretacin: Todo nmero entero, elevado a la cero, es igual a uno.
Evidencias: Veamos lo siguiente
(5)
3
125 cuyo cociente nos dar, 1
(5)
3
125
De forma semejante, si aplicamos la propiedad cociente de potencias de
igual base
(5)
3
(5)
3
= (5)
3-3
= (5)
0

Como vimos (5)
3
(5)
3
= 1 y, como (5)
3
(5)
3
= (5)
0
. Podemos
concluir que (5)
0
= 1

5.2.7 Potencia cuyo exponente es uno
a e Z, - 1 e N a
1
= a
Interpretacin: Todo nmero entero, elevado a la primer potencia, es igual
al mismo nmero entero.

Problemas resueltos
Ejemplo 1. El cuadrado, es una figura geomtrica de cuatro lados iguales,
el rea de ste es la segunda potencia de cualquiera de sus lados. Qu rea
ocupa un cuadrado con lados de 10 cm?
Solucin: En vista que es la segunda potencia de cualquiera de sus lados,
tenemos que
(10cm)
2
= (10cm)(10cm) = 100cm
2

Respuesta: El rea de dicho cuadrado es 100cm
2
.

Ejemplo 2. Cul ser la superficie de la nacin georgiana si es,
aproximadamente, la segunda potencia de 264km?
Solucin: Para calcular la superficie de Georgia, elevaremos al cuadrado la
cantidad 264km
(264km)
2
= (264km)(264km) = 69 969km
2
.
Respuesta: La extensin superficial de Georgia, es alrededor de 69 969km
2
.
Georgia es un estado asitico, cuya capital es Tbilisi.

Ejemplo 3. El cubo es un paraleleppedo limitado por 6 caras cuadradas. El
volumen de un cubo es la tercera potencia de cualquiera de sus aristas.
Qu volumen posee un cubo cuya arista es de 2cm?
Solucin: Para dar respuesta a dicha pregunta, haremos el siguiente clculo
(2cm)
3
= (2cm)(2cm)(2cm) = 8cm
3
.
Del cubo, el ms comn de los ejemplos, es el dado.

Ejemplo 4. La superficie de Guatemala es el cuadrado de 330km. Cunto
es la extensin territorial guatemalteca?
Solucin: Elevemos al cuadrado la cantidad
(330km)
2
= 108 900km
2
.
Respuesta: La superficie de ste pas americano, ronda los 108 900km
2
.
Entre Guatemala y su pas, Cul es ms extenso?

Ejemplo 5. En el Sistema Mtrico Internacional, un centmetro (1cm)
equivale a diez milmetros (10mm). Cuntos milmetros cbicos (mm
3
) es
un centmetro cbico (cm
3
)?
Solucin: Bastar elevar a la tercera potencia los cm y mm,
(1cm)
3
= (10mm)
3

(1cm)(1cm)(1cm) = (10mm)(10mm)(10mm)
1cm
3
= 1000mm
3

Nota: Una forma fcil de darse cuenta que 1cm = 10mm, es contar en su
regla de trabajo la cantidad de pequeas rayas que hay entre 0 y 1cm.
Cada una de stas rayitas, es un milmetro.
El Sistema Mtrico Internacional es un sistema prctico de unidades de
medidas, adoptado por la XI Conferencia General de Pesas y Medidas
celebrada en la ciudad de Pars en 1960.

6 Radicacin en el conjunto de los nmeros enteros
a . r e Z, n e N
n
a = r

Donde a es la cantidad subradical o radicando,
n el ndice de la raz y
r la raz.
Interpretacin: La radicacin es la operacin que permite conocer la raz
cuando se conoce la potencia y el exponente.
Reflexionando, nos damos cuenta que la sustraccin es la operacin inversa
de la adicin; de la multiplicacin es la divisin y de la potenciacin es la
radicacin.
En ste captulo estudiamos el conjunto de los nmeros enteros. Cuando
radiquemos, debemos tener en cuenta que:
La raz puede ser exacta o inexacta.
Si el ndice del radical (n) es par y el radicando es positivo, el
radical tiene dos races que son nmeros enteros opuestos.
As, \+16 = 4. Ya que (+4)
2
= (4)
2
= +16; por lo tanto, +16 es
potencia exacta de +4 y 4.
No existe la raz de nmeros enteros negativos para radicales de
ndice par.
Por ejemplo \16 , no es posible encontrar un nmero que
elevado a la segunda potencia de 16.
Cuando indiquemos una raz cuadrada, no es necesario sealar
el ndice. Para los dems, es totalmente necesario
3
,
4
,
5

, etc.

6.1 Propiedades de los radicales
6.1.1 n-sima raz de un producto
- a . b e Z, n e N
n
a b =
n
a
n
b
Interpretacin: Cuando un producto se encuentra bajo un radical, es
equivalente a multiplicar las races de los factores.
Evidencias: Sean +16 y +4 e Z, calculemos la raz del producto y el
producto de las races
(+16)(+4) = +64 = +8
+16 +4 = (+4) (+2) = +8.
Vemos que (+16)(+4) = +16 +4

6.1.2 n-sima raz de un cociente
- a . b e Z, n e N
n
a b =
n
a
n
b ; b = 0 y divisor de a.
Interpretacin: Un cociente indicado bajo un radical, es equivalente a
dividir la raz del dividendo entre la raz del divisor.
Evidencias: Sean +216 y 27 e Z. Calculemos la raz del cociente y el
cociente de las races

3
(+216) (27) =
3
8 = 2

3
+216 +6 2. Observamos que

3
27 3
3
(+216) (27) =
3
+216
3
27
6.1.3 n-sima raz de la m-sima raz
- a e Z, n y m e N
n

m
a =
n m
a
Interpretacin: La raz de otra raz, equivale a escribir el radicando bajo un
signo radical; cuyo ndice, es el producto de los ndices previos.
Evidencias: Sea +729 e Z, calculemos

3
+729 = +9 = 3. Observe que primero calculamos
3
+729
Ahora

6
+729 = 3, por que (3)
6
= +729

Vemos que
3
+729 =
6
+729

6.2 Modo de extraer raz cuadrada a nmero enteros mayores que 100
1. Se separa el nmero entero de derecha a izquierda en grupos de dos
cifras.
2. Buscad un nmero que elevado al cuadrado sea aproximado igual al
ltimo grupo de la izquierda (grupo que puede tener una o dos cifras).
El cuadrado se resta de dicho grupo.
3. Bajar el segundo grupo y apartar una cifra a la derecha. Lo que queda
a la izquierda se divide entre el duplo de la raz hallada.
4. Para probar si el cociente ser parte de la raz le ponemos junto al
duplo de la raz hallada; el nmero as formado, lo multiplicamos por
el cociente.
5. Si el producto anterior se puede restar, del nmero del cual se apart
una cifra a la derecha, el cociente se escribe en la raz. Si no es as, se
disminuye en uno el nmero que se prueba, hasta que el producto
pueda restarse.
6. Se baja el siguiente grupo y repetimos el procedimiento.

Ejemplos para calcular races cuadradas
Ejemplo 1. Calcular la raz cuadrada de +361.
Primero separemos en grupos de dos cifras 361 1
y buscamos un nmero, cuyo cuadrado, sea 1 1
2
= 1
igual aproximado al grupo de la izquierda (3) 2

Bajamos el segundo grupo, apartamos una 361 1
cifra a la derecha y, lo que queda a la izquierda, 1 1
2
= 1
se divide por el duplo de la raz hallada 261 2 1 = 2
262=13

Para probar si el cociente ser parte de la 361 1
raz (13), lo juntamos al duplo de la raz 1 1
2
= 1
hallada; formado el nmero, lo multiplicamos 261 2 1 = 2
por dicho cociente 262=13
213
13=4899
Como 4 899 es mayor que 261, disminuimos 361 19
en uno el nmero que probamos (siempre, el 1 1
2
= 1
nmero que probamos, deber ser menor que 261 2 1 = 2
diez), hasta que el producto se pueda restar 2 61 262=13
0 213 13=4
899
Vemos que el 9 es una buena cifra y la 212 12=2 544
agregamos en la raz. Al final, podemos decir, 211 11=2 321
que la raz cuadrada de +361 es 19 210 10=2 100
29 9 = 261
Ejemplo 2. Cul es la raz cuadrada de +10 536 516?
Separamos en grupos de dos cifras y 10536516 3
buscamos el nmero, cuyo cuadrado, 9 3
2
= 9
podamos restar del ltimo grupo de 1
la derecha

Bajamos el siguiente grupo, apartamos 10536516 32
una cifra a la derecha (3) y lo que queda 9 3
2
= 9
a la izquierda (15) se divide por el duplo 153 2 3 = 6
de la raz hallada. Podemos ver, 2 es el 12 4 15 6 ~ 2
mayor entero que multiplicado por 6, 2 9 62 2 = 124
el producto se aproxima a 15.
Posteriormente, probamos si la cifra (2) es
buena
10536516 324
Bajamos la tercer grupo y repetimos 9 2 3 = 6
el procedimiento 153 15 6 ~ 2
Como el cuatro es una buena 12 4 62 2 = 124
cifra, la ponemos en la raz 2965 2 32 = 64
257 6 296 64 ~ 4
38 9 644 4 = 2 576

Bajemos el ltimo grupo y
repitamos el procedimiento. 10536516 3246
Vemos que la raz cuadrada de 9 2 3 = 6
+10 536 516 es exacta e igual a 3 246. 153 15 6 ~ 2
12 4 62 2 = 124
2965 2 32 = 64
257 6 296 64 ~ 4
38 916 644 4 = 2 576
38 91 6 2 324 = 648
0 3891 648 ~ 6
6486 6 = 38 916

Ejemplo 3. Calcular la raz cuadrada de +291
291 17
1 2 1 = 2
191 19 2 ~ 9
18 9 29 9 = 261
2 28 8 = 224
27 7 = 189
17 es la raz cuadrada de +291 por defecto, cuyo residuo es 2. Podemos
concluir que la raz cuadrada es inexacta.

6.3 Modo de extraer raz cbica a nmeros enteros
1. Se separa el nmero entero de derecha a izquierda en grupos de tres
cifras.
2. Buscad un nmero que elevado al cubo sea aproximado igual al
ltimo grupo de la izquierda (grupo que puede tener una, dos o tres
cifras). Se resta el cubo de dicho grupo.
3. Bajar el segundo grupo y apartar dos cifras a la derecha. Lo que queda
a la izquierda se divide entre el triplo del cuadrado de la raz hallada.
Parece trabalengua, verdad?
4. Para probar si el cociente ser parte de la raz se forman tres sumandos
El primer sumando ser el triplo del cuadrado de la raz hallada,
por el cociente obtenido (nmero que se prueba), por 100.
El segundo sumando es el triplo de la raz hallada, por el cuadrado
del nmero que se prueba, por 10.
El cubo del nmero que se prueba es el tercer sumando.
5. Si la suma se puede restar del nmero que apartamos dos cifras a la
derecha, el nmero que se prueba es bueno y se agrega en la raz. De
no ser as, se disminuye en uno el nmero que se prueba, hasta que
dicha suma se pueda restar.
6. Se baja el siguiente grupo y repetimos el procedimiento, hasta bajar el
ltimo grupo.

Ejemplos para calcular races cbicas
Ejemplo 1. Calcular la raz cbica de 12 167
Inicialmente separemos el entero
en grupos de tres cifras y busquemos
3
12167 2
un nmero (2), cuyo cubo, sea 8 2
3
= 8
igual aproximado al grupo 4
de la izquierda (12)

Bajamos el segundo grupo (167),
apartamos dos cifras a la derecha (67) y,
lo que queda a la izquierda (41),
se divide por el triplo del
3
12167 2
cuadrado de la raz hallada (12) 8 2
3
= 8
4167 3 2
2
= 12
41 12 ~ 3
Formemos los tres sumandos
para comprobar si la cifra (3)
3
12167 23
es buena. 8 2
3
= 8
Ya que la cifra ha sido buena 4167 3 2
2

la escribimos en la raz. As, 41 67 3 2
2
3 100 = 3600
raz cbica de 12 617 es 23; 0 3 2 3
2
10 = 540
por que (23)
3
= (23)(23)(23) = 3
3
= 27
= 12 617. 4167

Ejemplo 3. Cul es la raz cbica de +307 546 875?
Formemos grupos de tres cifras y
3
307546875 6
encontremos el nmero, cuyo cubo, 216 6
3
= 216
sea igual aproximado al ltimo 91
grupo de la izquierda.

Ahora, se baja el segundo grupo,
3
307546875 6
apartamos dos cifras a la derecha y, 216 3 6
2
= 108
lo que queda a la izquierda, es 91546 915 108 ~ 8
dividimos por triplo del
cuadrado de la raz hallada.

Probemos si la cifra es buena,
3
307546875 67
formemos los tres sumandos 216 3 6
2
= 108
91546 915 108 ~ 8
3 6
2
8 100 =
86400
3 6 8
2
10 =
11520
Es necesario disminuir en uno 8
3
= 512
el nmero que probamos y 98432
construir nuevamente los 3 6
2
7 100 =
75600
tres sumandos. Como el 7 es 3 6 7
2
10 = 8820
una buena cifra, la agregamos 7
3
= 343
en la raz. 84763

Debemos bajar el siguiente grupo y repetir el procedimiento hasta
encontrar la raz del entero.

El smbolo ~, significa: aproximadamente igual.

3
307546875 675
216 3 6
2
= 108
91546 915 108 ~ 8
847 63 3 6
2
7 100 = 75600
67 83875 3 6 7
2
10 = 8820
67 838 75 7
3
= 343
0 84763
3 67
2
= 13 467
67838 13467 ~ 5
3 67
2
5 100
=6733500
3 67 5
2
10 =
50250
5
3
= 125

6783875

La raz cbica de +307 546 875 es
+675; por que
(+675)
3
= (+675)(+675)(+675) =
+307 546 875

.

Ejemplo 3. La raz cbica de 389017

389217 73
343 3 7
2
= 147
46217 460 147 ~ 3
460 17 3 7
2
3 100 = 44100
2 00 3 7 3
2
10 = 1890
3
3
= 27
46017
73 es la raz cbica de 389 217 por exceso, cuyo residuo es 200.

Ejercicios:
i. Calcule la raz cuadrada de +324 y +2 116.
ii. Calcule la raz cbica de 592 704 y +33 076 161.
iii. Es correcto decir que \9 + 16 = \9 + \16 ?

7 Mnimo comn mltiplo y mximo comn divisor
7.1 Mnimo comn mltiplo (M.C.M)
Es el menor de los mltiplos comunes de dos o ms nmeros enteros.

Vemos, por ejemplo, que el 3 y 4 tienen infinitos mltiplo comunes; tales
como: 12, 24, 36, 48, etc. Pero el menor de todos ellos es el 12, por lo tanto
es el mnimo comn mltiplo de 3 y 4.
Consideremos los mltiplos comunes de 4, 6 y 8. Entre ellos 24, 48, 72, 96,
etc. Podemos observar que el menor de todos los mltiplo es 24, a ste le
llamamos M.C.M de 4, 6 y 8.

7.1.1 Forma de calcular el mnimo comn mltiplo
1. Descomponer, en factores primos, los nmeros enteros.
2. Indicar el producto de factores primos diferentes.
3. A cada uno de los factores primos anteriores, se le asigna un
exponente igual al mayor nmero de veces que aparezca el nmero
primo en una misma descomposicin.

Ejemplos para encontrar el mnimo comn mltiplo
Nota: Evitaremos los signos + y , para evitar confusiones. Pero los
procedimientos son igualmente aplicables.
Ejemplo 1. Hallar el M.C.M. de 148, 250, 363 y 432.
148 2 250 5 363 3 432 3
74 2 50 5 121 11 144 3
37 37 10 5 11 11 48 3
1 2 2 1 16 2
1 8 2
4 2
2 2
1
En las descomposiciones factoriales como tiene que ocurrir slo tenemos
factores primos: 2, 3, 5, 11 y 37. El mayor nmero de veces que 2 aparece
como factor, en una misma descomposicin, es cuatro veces en 432. El 5
aparecen en una misma descomposicin tres veces; 11 dos veces; 3 y 37 los
encontramos una vez.
El mnimo comn mltiplo de 148, 250, 363 y 432 es
(M.C.M: 148, 250, 363 y 432) = 2
4
5
3
11
2
3
1
37
1
=
= 16 125 121 3 37 = 26 862 000
Ejemplo 2. Cul es el M.C.M de 9, 12, 15 y 21?
Hagamos las respectivas descomposiciones
9 3 12 3 15 5 21 7
3 3 4 2 3 3 3 3
1 2 2 1 1
1
Vemos que 9 = 3
2
; 12 = 2
2
3; 15 = 3 5; 21 = 7 3. De tales
descomposiciones, podemos concluir que:
(M.C.M: 9, 12, 15 y 21) = 2
2
3
2
5
1
7
1
= 4 9 5 7 = 1 260

Ejemplo 3. Hallar el mnimo comn mltiplo de 17, 23 y 29
Los tres nmeros son primos y estara de ms realizar descomposiciones
factoriales, ya que no poseen factores comunes. Por lo tanto
(M.C.M: 17, 23 y 29) = 17 23 29 = 7 429

7.1.2 Propiedades del mnimo comn mltiplo
7.1.2.1 Producto de un nmero por el M.C.M
a, b y n e Z (M.C.M: a y b) = k (M.C.M: an y b n) = n k

Interpretacin: Si varios nmeros se multiplican por otro, el mnimo comn
mltiplo de stos queda multiplicado por ese nmero.
Evidencias: (M.C.M: 8 y 14) = 2
3
7 = 56
8 2 14 2
4 2 7 7
2 2 1
1
multiplicados por 3 ambos nmeros
8 3 = 24; 14 3 = 42
Calculemos el M.C.M de 24 y 42
24 3 42 7
8 2 6 3
4 2 2 2
2 2 1
1
(M.C.M: 24 y 42) = 2
3
3 7 = 168. Lo cual sera equivalente a multiplicar
3 56 = 168

7.1.2.2 Cociente del M.C.M entre un nmero
a, b y n e Z (M.C.M: a y b) = k (M.C.M: a/n y b/n) = k/n
n = 0; n divisor de a y b
Interpretacin: Si varios nmeros se dividen por otro, el mnimo comn
mltiplo de stos queda dividido por ese nmero.
Evidencias: El mnimo comn mltiplo de 8 y 14 es 56, divididos por 2
ambos nmeros
8 2 = 4; 14 2 = 7
Obviamente el mnimo comn mltiplo de 4 y 7 es 28. Lo cual sera
equivalente a dividir 56 2 = 28.

7.1.2.3 Mltiplos del mnimo comn mltiplo
Todo mltiplo comn de varios nmeros es mltiplo de su mnimo
comn mltiplo.

7.1.2.4 Cociente del M.C.M por sus divisores
Si se divide el mnimo comn mltiplo de varios nmeros por cada
uno de ellos, los cocientes son primos entre s.

Le gustara encontrar las evidencias de dichas propiedades? No es muy
complicado, con un poco de esfuerzo, concentracin y deseo de
comprender las propiedades, le aseguro tendr xito.
7.2 Mximo comn divisor (M.C.D)
Es el mayor de los divisores comunes de dos o ms nmeros enteros.

Los divisores comunes del 30, 60 y 70 son 2, 5 y 10; el mayor de todos los
divisores comunes es el 10. Por lo tanto, el mximo comn divisor de 30,
60 y 70 es 10.

7.2.1 Forma de calcular el mximo comn divisor
1. Descomponer, en factores primos, los nmeros enteros.
2. Indicar el producto de los factores primos comunes.
3. A cada uno de los factores primos anteriores, se le asigna un exponente
igual al menor nmero de veces que aparezca el nmero primo en una
misma descomposicin.

Ejemplos para encontrar el mximo comn divisor
Ejemplo 1. Hallar el mximo comn divisor de 40, 120 y 140
Primero descompongamos los nmeros en factores primos
40 5 120 5 140 5
8 2 24 3 28 7
4 2 8 2 4 2
2 2 4 2 2 2
1 2 2 1
1
Los factores primos comunes son 2 y 5. El menor nmero de veces que el 2
se repite es dos. 5, en todas las descomposiciones, aparece una vez. Por lo
tanto
(M.C.D: 40, 120 y 140) = 2
2
5 = 20
De todos los divisores comunes de 40, 120 y 140 el 20 es el mayor de
todos.

Ejemplo 2. Hallar el mximo comn divisor de 976, 1750 y 4876.
976 2 1750 5 4876 2
488 2 350 5 2438 2
244 2 70 5 1219 23
122 2 14 7 53 53
61 61 2 2 1
1 1
El nico factor comn es 2, tal factor en 1750 aparece una vez. Concluimos
que (M.C.D: 976, 1750 y 4876) = 2.

Ejemplo 3. Cul es el mximo comn divisor de 7, 11, 13 y 17?
Todos los sealados son nmeros primos; sin poseer factores comunes, no
tienen divisores comunes.
7.2.2 Propiedades del mximo comn divisor
7.2.2.1 Producto de un nmero por el M.C.D
a, b y n e Z (M.C.D: a y b) = k (M.C.D: a n y b n) = k n
n = 0, n divisor de a y b

Interpretacin: Si varios nmeros se multiplican por otro, el mximo
comn divisor de stos queda multiplicado por ese nmero.
Evidencias: (M.C.D: 16 y 20) = 2
2
= 4
16 2 20 5
8 2 4 2
4 2 2 2
2 2 1
1
Multiplicando por 7 dichos nmeros: 16 7 = 112 y 20 7 = 140;
determinaremos su M.C.D.
112 2 140 7
56 2 20 5
28 7 4 2
4 2 2 2
2 2 1
1
(M.C.D: 112 y 140) = 2
2
7 = 4 7 = 28. Lo cual sera equivalente a
multiplicar el M.C.D de 16 y 20 por 7.

7.2.2.3 Cociente del M.C.D entre un nmero
a, b y n e Z (M.C.D: a y b) = k (M.C.M: a/n y b/n) = k/n
n = 0; n divisor de a y b

Interpretacin: Si se dividen varios nmeros por otro, su mximo comn
divisor queda dividido por ese nmero.
Evidencias: (M.C.D: 16 y 20) = 4. Dividamos 16 y 20 por 2. As 16 2 = 8
y 20 2 = 10
Encontremos el mximo comn divisor de 8 y 10
8 2 10 2
4 2 5 5
2 2 1
1
(M.C.D: 8 y 10) = 2. Lo cual es equivalente a dividir el mximo comn
divisor de 16 y 20 por 2.

7.2.2.4 Cociente de nmeros por su M.C.D
Si se dividen varios nmero por su mximo comn divisor, los
cocientes que resultan son primos entre si.
7.2.2.5 Divisores del mximo comn divisor
El mximo comn divisor de varios nmeros es mltiplo de todos
los divisores comunes a dichos nmeros.

7.2.2.6 Producto del M.C.M por el M.C.D
El producto de dos nmeros es igual al producto de su mximo
comn divisor y su mnimo comn mltiplo.
Le invito a encontrar las evidencias de la ltimas propiedades. Usted
puede lograrlo!

Problemas resueltos
Ejemplo 1. La extensin territorial de Panam excede en 3 037 km
2
al
mnimo comn mltiplo de las superficies de Liechtenstein (160 km
2
) y
Andorra (453 km
2
). Cul es la superficie de Panam?
Solucin: Debemos hallar el M.C.M de 160km
2
y 453km
2
160 = 5 2
5

453 = 3 151
(M.C.M: 160 y 453) = 5 3 151 2
5
= 72 480
Como la superficie de Panam tiene 3 037km
2
ms que el mltiplo
encontrado, concluimos que la superficie de sta nacin centroamericana es
72 480km + 3 037km
2
= 75 517km
2
.

Ejemplo 2. La longitud del ro San Juan que limita en cierta tramo a
Costa Rica y Nicaragua, excede en 30km al doble del M.C.D de las
longitudes de los ros Amazonas (6 480km) y Nger (4 160km). Cul es la
longitud del ro San Juan?
Solucin: Encontremos el M.C.D de 6 480km y 4 160km
6 480 = 2
4
3
4
5
4 160 = 2
6
5 13
(M.C.D: 6 480 y 4 160) = 2
4
5 = 80
El doble de 80km es 160km, ahora le agregaremos los 30km
160km + 30km = 190km
Respuesta: La longitud del ro San Juan es 190km.
Este ro es navegable por embarcaciones de poco calado y es un lugar de
exuberante riqueza biolgica y maravillosos paisajes.

Ejemplo 3. El ciego tiene una longitud equivalente al mximo comn
mltiplo de las longitudes del intestino grueso (165cm), duodeno (25cm) e
intestino delgado (600cm). Hallar la longitud del ciego.
Solucin: Primero calcularemos el mximo comn divisor de 165, 25 y 600
165 = 3 5 11
25 = 5
2
.
600 = 5
2
2
3
3
(M.C.D: 25, 165 y 600) = 5
Respuesta: La longitud del ciego es de unos 5cm.
El ciego y duodeno son las porciones iniciales del intestino grueso y
delgado, respectivamente.

Ejemplo 4. Se tienen tres masas de 24, 36 y 42kg, las cuales sern partidas
en la mayor cantidad de trozos iguales, sin que falte o sobre masa. Cul es
la mxima cantidad de masa que deber tener cada trozo?
Solucin: Deberemos calcular el mximo comn divisor de las masas,
dicho M.C.D ser la respuesta que buscamos
24 = 2
3
3
36 = 2
2
3
2

42 = 2 3 7
(M.C.D: 24, 36 y 42) = 2 3 = 6
Respuesta: La masa que debe tener cada trozo es de 6kg.

Ejemplo 5. Cunto dista Marte del Sol? Cuando su distancia es 72
millones de kilmetros menor que el mnimo comn mltiplo de las
distancias a las que se encuentran Mercurio (60 millones) y La Tierra (150
millones) del Sol.
Solucin: Sin necesidad de hacer las respectivas descomposiciones, es
evidente que 300 000 000 es el M.C.M de 60 000 000 y 150 000 000
Ahora restamos 300 000 000km 72 000 000km = 228 000 000km.
Concluimos que la distancia media a la cual se encuentra Marte, desde el
Sol, ronda los 228 000 000km.

Ejercicios: Halle el M.C.M y M.C.D de
i. 76, 34, 108 y 216
ii. 37, 74 y 111
iii. 100, 1000 y 5745
iv. 2, 3, 4, 5, 6 y 8

A para Todos

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

A para Todos

Uploaded by

Copyright:

Available Formats

CAPITULO I Lgica proposicional

C . Cierta persona con fiebre, le miden 2

C. Despus de ser medicada, observan que la

C. Por ltimo, contina con fiebre la

You might also like