FACULTAD DE DERECHO Y CIENCIA POLTICA

Escuela Acadmico Profesional De Derecho

PROPOSICIONES SIMPLES Y COMPUESTAS, FORMULAS

LOGICAS, TEORIA DE CONJUNTOS, RELACION DE PERTENECIA,
DETERMINACION DE UN CONJUNTO, CONJUNTOS ESPECIALES,
CONJUNTOS NUMERICOS

PRESENTADO POR:

CURSO:

DOCENTE:

CICLO: I

LIMA, PERU
2017
DEDICATORIA

Deseo dedicar el presente trabajo de

investigacin a Dios por darme las
fuerzas que necesito para poder realizar
mis metas, y en especial a mis familiares
que siempre me apoyan y acompaan en
todo lo que realizo, esperando poder
llenar las expectativas y llenarlos de
orgullo a base de mi esfuerzo y
dedicacin.

2
 INDICE

DEDICATORIA ............................................................................................................ 2

INTRODUCCIN ........................................................................................................ 4

CAPITULO I ................................................................................................................ 5

PROPOSICIONES SIMPLES Y COMPUESTAS ........................................................ 5

1.1. DEFINICION DE EPISTEMOLOGA ................................................................... 5

1.2. FORMULAS LGICAS ....................................................................................... 7

1.3. TEORIA DE CONJUNTOS ................................................................................. 8

REPASO SOBRE LA TEORA DE CONJUNTOS. ...................................................... 8

1.4. DIAGRAMAS DE VENN. .................................................................................. 13

1.5. Lgica proposicional y su relacin con la teora de conjuntos. ......................... 14

CAPITULO II ............................................................................................................. 18

RELACION DE PERTENENCIA, DETERMINACION DE UN CONJUNTO,

CONJUNTOS ESPECIALES, CONJUNTOS NUMERICOS ............................. 18

2.1. RELACION DE PERTENENCIA ....................................................................... 18

2.2. DETERMINACION DE UN CONJUNTO ........................................................... 19

2.3. CONJUNTOS ESPECIALES ............................................................................ 21

2.4. CONJUNTOS NUMERICOS............................................................................. 23

CONCLUSIONES...................................................................................................... 26

REFERENCIAS BIBLIOGRFICAS .......................................................................... 27

3
 INTRODUCCIN

Este trabajo de investigacin de Matemticas, pretende darnos alcances de diversos

temas que son muy importantes para todo estudiante, ya que son necesarios para

poder cursar nuestra carrera y nos servuira para la vida misma pues todo esta

relacionado con la matemticas, y en la actualidad es muy necesario al mneos tener

conocimientos moderados en matemticas.

Veremos algunos casos prcticos de solucin de problemas con conjuntos, pues

vemos que para poder aprender ms de estos temas debemos de practicar bastante

para poder adquirir ms conocimientos pues la matemtica est presente en

nuestras vidas en casi todo lo relacionado a la vida acadmica, si no aprendemos

estos problemas se nos har ms difcil en el futuro entender lo bello que es la

matemtica.

4
 CAPITULO I

PROPOSICIONES SIMPLES Y COMPUESTAS

1.1. DEFINICION DE EPISTEMOLOGA

Antes de iniciar el tratamiento de estos dos tipos de proposiciones, se dar la

definicin de los que es una proposicin:

Proposicin es la oracin afirmativa que puede ser verdadera o falsa, pero no

ambas.

En la lgica se distinguen dos tipos de proposiciones, siendo estas:

Proposiciones Simples o atmicas. Las proposiciones simples o

atmicas son proposiciones que ya no pueden descomponerse en dos
expresiones que sean proposiciones.

Proposiciones Compuestas o Moleculares. A las proposiciones en

las que aparecen las partculas gramaticales como: No, o, y,
sientonces, si y solo s. Se les llama Proposiciones Compuestas o
Moleculares.

Ejemplos

Como ejemplos de proposiciones se dan los siguientes:

1. 4 es menor que ocho

2. Carlos es alto
3. Mxico es un pas de Amrica
4. El nmero 6 es mayor que 10
5. Mara es inteligente
6. El sbado no hay clases.

5
7. 5 ms 11 es 16
8. El uno es el primer nmero natural
Ahora se dan algunas expresiones que no son proposiciones:

1. Cmo te llamas?
2. Qu hora es?
3. El rbol
4. 5. Levanta esa pluma!

Estas expresiones no son proposiciones porque no afirman nada que sea

verdadero o falso, es decir, la 1 y 2 son preguntas, la 3 y 4 son frases y la 5 es
una orden.

Ejemplos de proposiciones simples o atmicas:

1. La ballena es roja
2. La raz cuadrada de 16 es 4
3. Gustavo es alto
4. Teresa va a la escuela

Ejemplos de proposiciones compuestas:

1. La ballena no es roja
2. Gustavo no es alto
3. Teresa va a la escuela o Mara es inteligente.
4. 4 es menor que 8 o 6 es mayor que 10
5. El 1 es el primer nmero primo y es mayor que cero
6. El 7 es mayor que 5 y 7 es menor que 10
7. Si Yolanda es estudiosa entonces pasar el examen
8. Si corro rpido entonces llegar temprano
9. Terminar rpido si y slo si me doy prisa
10. Aprender Matemticas si y slo si estudio mucho

Observacin. Se les llama trminos de enlace o conectivos lgicos a las

partculas: No, o, y, sientonces, si y solo si observemos que los conectivos:

6
 o, y, sientonces, si y solo si, se usan para enlazar dos proposiciones, pero el
conectivo no acta sobre una sola proposicin.

1.2. FORMULAS LGICAS

Conectivos lgicos: negacin, disyuncin, conjuncin, condicional y

bicondicional.

A continuacin se da una tabla en la que se da la expresin gramatical y el

nombre del conectivo que representa:

Conectivo Nombre
No Negacin
o Disyuncin
y Conjuncin
Sientonces Condicional
Si y slo Bicondicional

Simbolizacin de proposiciones Para simbolizar cualquier proposicin es

necesario saber cmo se simbolizarn las proposiciones simples y los
conectivos.

A las proposiciones simples las simbolizaremos con letras maysculas: A, B,

C, , X, Y, Z El nombre y smbolo de los conectivos se da en la tabla
siguiente:

Conectivo Smbolo Nombres

No o Negacin
o Disyuncin
y Conjuncin
Sientonces Condicional
Si y slo Bicondicional

7
 Ejemplo:

Simbolizar las proposiciones que se dan:

1. La ballena no se roja

En este ejemplo la proposicin simple es: la ballena es roja, luego podemos

proceder de la forma siguiente:

A=la ballena es roja

Y la simbolizacin para la proposicin compuesta, al utilizar el smbolo

correspondiente para el conectivo no, es: A

Es importante tener presente que la negacin siempre antecede a la

proposicin simple al dar la simbolizacin.

2. Gustavo no es alto B=Gustavo es alto

Luego la simbolizacin es: B

3. Teresa va a la escuela o Mara es inteligente

C=Gustavo es alto D=Mara es inteligente

Luego la simbolizacin es: C D

1.3. TEORIA DE CONJUNTOS

REPASO SOBRE LA TEORA DE CONJUNTOS.

Denotaremos por IN al conjunto de los nmeros naturales y por Z al de los

enteros.

Dados dos conjuntos A y B decimos que A esta contenido en B o tambin que

A es un subconjunto de B si cada elemento de A es tambin un elemento de B,
es decir, si
x A = x B. En tal caso escribimos A B.

8
Decimos que los conjuntos A y B son iguales si A B y B A. En tal caso
escribimos

A = B. Decimos que A esta contenido estrictamente en B si A B y B 6 A, es

decir, si

A B y A 6= B. En ese caso escribimos A B.

Ejemplos.

i) A = {1, 2, 3, 5, 7}, B = {1, 2, 3, 4, 5, 6, 7, 8}

En este caso A B pero no vale que B A pues 4 B y 4 / A. Luego, A esta

contenido estrictamente en B.

ii) A = {a, b, {3}, 2}, B = {a, b, 3, 2}

En este caso A 6 B pues {3} A y {3} / B. Adems, B 6 A pues 3 B y 3

/ A.

iii) A cualquiera sea el conjunto A, donde denota el conjunto vaco.

iv) A = {a, b, c, d}, B = {b, d, c, a}. En este caso A = B.

Operaciones con conjuntos. Sean A y B dos subconjuntos de un conjunto

dado V, al que llamaremos conjunto referencial. Definimos la unin,
interseccin, complemento, diferencia y diferencia simtrica de la siguiente
manera:

A B = {x V / x A o x B} (unin)
A B = {x V / x A y x B} (interseccin)
A = {x V / x / A} (complemento respecto del conjunto referencial V)
A B = {x V / x A y x / B} (diferencia)
AB = (A B) (A B) (diferencia simtrica)

9
Grafiquemos estos conjuntos en un diagrama de Venn:

Observemos que, de estos conjuntos, el nico que realmente depende del

conjunto referencial V es A. En general, cuando trabajemos con conjuntos,
siempre supondremos que todos los conjuntos considerados son subconjuntos
de un conjunto referencial y solo aclararemos cul es ese conjunto referencial
cuando sea necesario.

Ejercicio. Probar que A B = A B = {x A/ x / B}.

Diremos que los conjuntos A y B son disjuntos si A B = .

Ejemplo.

Dado el conjunto referencial V = {a, b, c, d, 2, {2}, 3, {3}, 7} sean A, B y C los

subconjuntos de V definidos por:

A = {a, b, 2, {3}} B = {a, b, 2, 3} C = {2, 3, 7}

Se tiene que

10
A B = {a, b, 2, 3, {3}}, A B = {a, b, 2}, B C = {a, b}

AC = {a, b, {3}, 3, 7}, (A B) (AC) = {2}, (A B) = {c, d, {2}, {3}, 3, 7}

Adems, B C y (A B) son disjuntos.

Ejercicio. Sean A = {1, , a, 7} y B = {{1}, a, b, 4}, C = {3, 6, b, a}. Cules de

las siguientes afirmaciones son verdaderas?

i) A B

ii) A B

iii) A
iv) C
v) 7 (A C) (AB)

Propiedades de las operaciones.

Sean A, B y C subconjuntos de un conjunto referencial V.

Entonces valen:
i) A B = B A, A B = B A y AB = BA
ii) A (B C) = (A B) C, A (B C) = (A B) C y A(BC) =
(AB)C
iii) A B y B C = A C
iv) A B y A C = A B C
v) A B A y A B B
vi) A C y B C = A B C
vii) A A B y B A B
viii) (A) = A, A A = y A A = V
ix) AB = (A B) (B A)
x) (A B) C = (A C) (B C)
xi) (A B) C = (A C) (B C)
xii) (A B) = A B
xiii) (A B) = A B

11
Demostracin:

Solo demostraremos iv), vi), viii) y xi) y dejamos como ejercicio la demostracin
de las restantes propiedades.

Demostracin de iv): Sabemos que A B y que A C. Debemos probar que A

B C:

Sea x A. Como A B y x A entonces x B y como A C y x A entonces

x C.

Luego resulta que x B y x C, es decir, x B C.

Demostracin de vi): Sabemos que A C y que B C. Debemos probar que

AB C:

Sea x A B. Entonces x A o x B.

Si x A entonces, como A C resulta que x C. Si x B entonces, como B

C resulta que x C.

Hemos probado entonces que x C.

Demostracin de viii): Solo probaremos que A A = y dejamos el resto

como ejercicio.

Queremos ver que 6 x / x AA. Supondremos que si y llegaremos a una

contradiccin.

Supongamos que existe x A A. Entonces x A y x A = {x / x / A}.

Luego resultara que x A y x / A, lo que es una contradiccin.

Demostracin de xi): Debemos probar que (AB) C = (AC) (B C), es

decir, que

(A B) C (A C) (B C) y (A C) (B C) (A B) C

Primero probemos que (A B) C (A C) (B C). Sea x (A B) C.

Entonces

12
 x A B y x C. Luego, x A o x B, y adems x C. Entonces debemos
examinar dos casos:

Si x A entonces x A y x C de donde x AC y por lo tanto x (AC)(B

C).

Si x B entonces x B y x C de donde x BC y por lo tanto x

(AC)(BC).

Luego, cualquiera sea el caso, x (A C) (B C) como queramos probar.

Ahora probemos que (A C) (B C) (A B) C. Por la propiedad v), A

C A y, por vii), A A B. Luego, usando iii) resulta que A C A B.
Por otra parte, por v), A C C. Por lo tanto se tiene que A C AB y A C
C.
Ahora, usando iv) se tiene que A C (A B) C.
Anlogamente se demuestra que B C (A B) C. Luego, usando ahora
la propiedad
vi) resulta que (A C) (B C) (A B) C.

1.4. DIAGRAMAS DE VENN.

Supongamos que queremos determinar si la siguiente afirmacin es cierta:

Cualesquiera sean los conjuntos A, B y C se verifica que A (B C) = (A B)
C.
Graficamos ambos miembros de esa igualdad en un diagrama de Venn

13
 Como se ve, los conjuntos no parecen ser iguales: el primero contiene los
elementos que pertenecen a AC y el segundo no.

Probemos entonces que la afirmacin es falsa: debemos mostrar conjuntos A,

B y C tales que A (B C) 6= (A B) C. Notar que de los diagramas se
deduce que para lograr eso debemos elegir A, B y C de tal manera que AC
no sea vaci.

Por ejemplo, elegimos A = {1, 2, 3}, B = {2, 5, 9, 0} y C = {1, 4, 5}. Entonces

A(BC) = {1, 2, 3}{2, 9, 0} = {1, 2, 3, 9, 0} y (AB)C = {1, 2, 3, 5, 9, 0}{1,
4, 5} = {2, 3, 9, 0}, y por lo tanto no son iguales.

Los diagramas de Venn nos ayudan a intuir si la afirmacin es verdadera o no.

Luego, si pensamos que es verdadera debemos dar una demostracin y si
sospechamos que es falsa exhibir un contraejemplo.

Conjunto de partes. Dado un conjunto A definimos el conjunto de partes de A

como el conjunto

P(A) = {B /B A} es decir, el conjunto formado por todos los subconjuntos de

A.

Ejemplo. Si A = {a, b, c} entonces su conjunto de partes es

P(A) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}

1.5. Lgica proposicional y su relacin con la teora de conjuntos.

Una proposicin es una afirmacin que solo puede tomar dos valores de
verdad: VERDADERA o FALSA. Por ejemplo, la afirmacin 18 es divisible por
3 es una proposicin.

Tambin lo son la afirmaciones todos los nmeros naturales son pares yno
existe en el plano ninguna recta que pase por el origen. La primera
proposicin es verdadera, la segunda y la tercera son falsas.

14
Si p y q son proposiciones, podemos construir nuevas proposiciones a partir de
ellas usando los conectivos lgicos , y , donde p es la negacin de p.

La proposicin p q es verdadera si y solo si p y q lo son, la proposicin p q

es verdadera si y solo si p es verdadera o q lo es y la proposicin p es
verdadera si y solo si p es falsa.

Por ejemplo, dadas las proposiciones p: 18 es divisible por 3, q: todos los

nmeros naturales son mayores que 7 y r: un nmero entero menor que 8
nunca es divisible por 11, entonces p q es la proposicin 18 es divisible por
3 y todos los nmeros naturales son mayores que 7, p r es la proposicin
18 es divisible por 3 o un nmero entero menor que 8 nunca es divisible por
11 y r es la proposicin existe un nmero entero menor que 8 que es
divisible por 11.

Adems p q es falsa pues q es falsa, p r es verdadera pues p es verdadera

y r es verdadera pues r es falsa.

En resumen, los valores de verdad de pq, pq y p estn dados por las tablas
de verdad

Donde 1 significa VERDADERO y 0 significa FALSO

Una proposicin importante es p q, veamos su tabla de verdad

15
Observemos que p q es verdadera cuando la validez de p implica la validez
de q: para que sea verdadera p q debe ocurrir que cuando p es verdadera
entonces q tambin debe serlo (en cambio, cuando p es falsa, no importa si q
es verdadera o no).

Debido a esto decimos que p implica q cuando p q es verdadera. En tal

caso escribimos p = q.

Otra proposicin importante es (p q) (q p), que es verdadera cuando p

= q y q = p. En tal caso decimos que p y q son equivalentes y escribimos p
q. Dejamos como ejercicio verificar que su tabla de verdad es

Luego, dos proposiciones son equivalentes cuando ambas son verdaderas o

ambas son falsas. Dejamos como ejercicio demostrar que las proposiciones p
= q y q = p son equivalentes.

Sea X un conjunto. Si para cada x X tenemos una proposicin p(x) decimos

que p es una funcin proposicional predicable sobre X. Por ejemplo, p(n) : n(n
+ 1) 2n es una funcin proposicional predicable sobre IN.

Si p y q son funciones proposicionales predicables sobre un conjunto V

podemos considerar el subconjunto A de V cuyos elementos son los x V
tales que p(x) es verdadera y el subconjunto B de V formado por los x V tales
que q(x) es verdadera. Por ejemplo,

Si V = IR, dadas las funciones proposicionales p(x) : x 2 y q(x) : x2 = x 7

entonces A = {x IR/ x 2} y B = {x IR/ x2 = x 7}. En general se tiene que

A = {x V / p(x)} y B = {x V / q(x)}. Es fcil ver que:

16
i) A B si y solo si p(x) = q(x) para todo x V

ii) A = B si y solo si p(x) q(x) para todo x V

iii) A B = {x V / p(x) q(x)}

iv) A B = {x V / p(x) q(x)}

v) A = {x V / p(x)}

Veamos ahora como podemos probar que (AB) = AB, donde A y B son
subconjuntos de un conjunto referencial V . Para cada x V definimos las
proposiciones p(x) : x A y q(x) : x B. Entonces se tiene que A = {x V /
p(x)} y B = {x V / q(x)}.

Ahora, (A B) = {x V / (p(x) q(x))} y A B = {x V / p(x) q(x)}. Por lo

tanto, para probar la igualdad de conjuntos nos basta mostrar que las
proposiciones (p(x) q(x)) y p(x) q(x) son equivalentes.

Como dos proposiciones son equivalentes si tienen la misma tabla de verdad

(cada una es verdadera si y solo si la otra lo es), basta entonces hallar las
tablas de verdad de cada una de estas proposiciones y ver que son iguales.

Esta es otra manera de probar las igualdades de conjuntos.

17
 CAPITULO II

RELACION DE PERTENENCIA, DETERMINACION DE UN CONJUNTO,

CONJUNTOS ESPECIALES, CONJUNTOS NUMERICOS

2.1. RELACION DE PERTENENCIA

La relacin es un elemento de, tambin llamada miembro del conjunto, se

denota mediante el smbolo , y al escribir

Estamos diciendo que es un elemento de . Equivalentemente, podemos

decir o escribir es un miembro de , pertenece a , es en ,
reside en , incluye , o contiene . La negacin de este

smbolo se denota .

No obstante lo anterior, los trminos incluye y contiene son

ambiguos, porque algunos autores tambin los usan para referirse a que es
un subconjunto de .1 El lgico George Boolos es enftico al aclarar que la
palabra contiene debe usarse slo para pertenencia de elementos, e
incluye slo para relaciones de subconjuntos.

18
 Sean un elemento y conjuntos:

Relacin Notacin Se lee

pertenencia x pertenece a A

inclusin A est contenido en B

A est contenido en B o
es igual que B

inclusin A contiene a B

A contiene a B o es igual
que B

Una barra cruzada sobre el smbolo niega el enunciado; por ejemplo es

x no pertenece a A.

2.2. DETERMINACION DE UN CONJUNTO

Por Extensin

Un conjunto "D" est determinado por extensin cuando se mencionan uno por
uno todos sus elementos o cuando, si son nmeros, se mencionan los
primeros de ellos (y se coloca puntos suspensivos)

Ejemplos:

D = {lunes, martes, mircoles, jueves, viernes, sbado,domingo}

C = {0, 1, 2, 3, 4, 5,}

Sin embargo, no todos los conjuntos pueden ser determinados de esta sobre
todo cuando el nmero de elementos que constituyen el conjunto es muy
elevado.

19
Imagine los casos de aquellos conjuntos que tienen infinitos elementos como el
conjunto de estrellas del universo.

Es por ello, que necesariamente, se debe emplear otro procedimiento para

determinar los conjuntos que tienen muchos elementos. A esta otra forma de
determinar a un conjunto se le denomina comprensin que tambin se puede
utilizar para cualquier conjunto.

Por Comprensin

Un conjunto "D" est determinado por comprensin cuando se enuncia

una ley o una funcin que permite conocer que elementos la cumplen y por
tanto, van a pertenecer al conjunto D.

Para diferenciar cada forma de determinar un conjunto veamos los siguientes

ejemplos:

Ejemplo 1

Por extensin:

D = {lunes, martes, mircoles, jueves, viernes, sbado, domingo}

Por comprensin: (una posible respuesta sera)

D = {x/"x" es un da de la semana}

Se lee:

"El conjunto D est formado por todos los elementos "x" que satisfacen la
condicin de ser un da de la semana".

Otra posible respuesta sera:

"D es el conjunto constituido por todos los elementos "x" tal que X es un da de
la semana"

20
 Ejemplo 2

Por extensin:

C = {0, 1, 2, 3, 4, 5,}

Por comprensin: (una posible respuesta sera)

C = {x/x = (2n 1) ^ x(N}

Se lee:

"C es un conjunto formado por los elementos "x" tal que "x" es un nmero
impar y "x" pertenece al conjunto de los nmeros naturales.

Ejemplo 3

Determinar por comprensin el conjunto "S" formado por los elementos dos y
tres.

Por extensin:

S = {2,3}

Por comprensin:

S = {x/x2 - 5x + 6 = 0}

Se lee.

"S es un conjunto formado por los elementos "x" tal que x al cuadrado menos
cinco x ms seis es igual a cero.

2.3. CONJUNTOS ESPECIALES

Uno de ellos, es el sper conocido por casi todo el mundo, que es el conjunto
vaco, denotado por .

Otro de ellos, el conjunto particiones de un conjunto, se ver despus de

las Operaciones entre conjuntos.

21
Conjunto universal

Es el conjunto de TODOS los elementos posibles y lo denotamos con X.

(Como hemos dicho antes, de momento vamos a considerar conjuntos de
cardinalidad finita).

Para su representacin grfica con diagramas de Venn, lo vamos a denotar

con un rectngulo que contiene los subconjuntos de X y que etiquetaremos
con el nombre X

Continuando con el ejemplo de la academia, X representa el conjunto de todos

los alumnos, luego se le puede considerar como el conjunto universal de
alumnos.

Contendr al conjunto A de los que reciben clases de matemticas (A es un

subconjunto de X) y al resto de elementos, los alumnos que no reciben clases
de matemticas (en nuestro ejemplo, el elemento b)

X = {j, m, p, s, e, c, a, b}

Conjunto partes de un conjunto o conjunto potencia

Sea X el conjunto universal, el conjunto partes de un conjunto (o conjunto de

las partes de X) es otro conjunto donde cada elemento es cada uno de los
subconjuntos que se pueden formar con los elementos de X (todos los
subconjuntos posibles).

Tambin se le denomina como conjunto potencia de X, y se denota por P (X).

Por comprensin se define como P (X) = { A / A X}

22
 En extensin este conjunto contiene

Todos los subconjuntos de cardinalidad 0. En este caso es el conjunto vaco

Todos los subconjuntos de cardinalidad 1

Todos los subconjuntos de cardinalidad 2

Todos los subconjuntos de cardinalidad |X|. En este caso es uno,

precisamente el conjunto X.

Continuando con el ejemplo, X = { x / alumnos de la academia X}

P (X) = { , { j }, .. ,{j,m}, , {j,m,p}, . , X }

Se hace hincapi en este detalle: y X tambin pertenecen al conjunto

potencia de X, ya que ambas cumplen con alguna de las condiciones para la
inclusin de conjuntos.

El cardinal del conjunto potencia, dado que X es finito, ser la suma del
nmero de combinaciones (ver combinatoria, captulo 2 punto 2.5) posibles de
cardinalidad 1, ms el nmero de combinaciones de cardinalidad 2, ms.,
ms el nmero de combinaciones de cardinalidad X. As nos queda el
sumatorio:

Donde m = |X| y n la cardinalidad de cada grupo de combinaciones. Operando

este sumatorio (no se demostrar aqu) se llega a la conclusin de que | P (X) |
= 2 |X|

2.4. CONJUNTOS NUMERICOS

Nmeros naturales: Son aquellos que utilizamos para contar y se simbolizan

con la letra

23
 = {1, 2, 3, 4, .......... }

Nmeros enteros: A este conjunto pertenecen los enteros negativos, los

enteros positivos y el cero, que no es ni positivo ni negativo, sino neutro. Se
simboliza con la letra

= {-, .......... -3, -2, -1, 0, 1, 2, 3, 4, ........... }

Nmeros racionales: Son aquellos que se pueden expresar como cuociente

entre nmeros enteros. Tambin podemos referirnos a ellos como el conjunto
de todos los nmeros decimales finitos, peridicos y semiperidicos y, por lo
tanto, todo cuociente entre nmeros enteros tiene su equivalente decimal. Este
conjunto se simboliza con la letra

Ejemplos de nmeros racionales son:

Cualquier nmero natural (1, 7, 29, 1.357, etc.)

Cualquier nmero entero (-12, -1.024, 0, 27, etc.)

Cualquier nmero decimal finito ( , etc.)

Cualquier nmero decimal peridico ( , etc)

Cualquier nmero decimal semiperidico ( , etc)

Nmeros irracionales: Nmeros irracionales. Son todos aquellos que no se

pueden expresar como cuociente entre dos nmeros enteros y se caracterizan
por tener infinitas cifras decimales sin perodo. Este conjunto se designa con el
smbolo *. Ejemplos de nmeros irracionales son:

; etc.

24
Nmeros reales: Es el conjunto formado por la unin de los nmeros
racionales y los nmeros irracionales y se designa con la

letra

OPERATORIA EN

a) Adicin. Sean a, b, c, y d nmeros enteros, con b 0 y d 0.

Entonces,

Ejemplo:

b) Multiplicacin: Sean a, b, c, y d nmeros enteros, con b0 y d0. Entonces,

Ejemplo:

c) Divisin: Para dividir nmeros racionales, se debe aplicar la propiedad

del inverso multiplicativo o recproco: Para todo nmero racional p, distinto
de 0, su inverso multiplicativo o recproco es el racional p-1 =
. As, la divisin en se define:

Ejemplo:

25
 CONCLUSIONES

Los ejercicios que hemos visto son de mucha importancia parta poder practicar y
tener mayor conocimiento sobre el tema, que es tan elemental en las matemticas,
y en los tiempos actuales vemos que la matemtica est presente en todos los
aspectos de nuestra vida sea de diferentes maneras, igualmente en nuestra vida
acadmica vemos la matemtica especialmente los problemas de conjuntos, en casi
todas las carreras profesionales pues son cursos bsicos y que deben ser
aprobados para poder continuar el proceso acadmico.

26
 REFERENCIAS BIBLIOGRFICAS

1. Bujalance et al, 1993 Bujalance, E., Bujalance, J.A., Costa, A.F., Martnez. E.
Elementos de Matemtica Discreta. 1 edicin. Madrid (Espaa): Editorial Sanz
y Torres, S.L, 2003. ISBN 84-88667-00-0
2. Devore, 2005] Devore, J. L. Probabilidad y estadstica para ingeniera y
ciencias. 6 edicin. Mexico: Thomson Learning, 2005. ISBN 970-686-457-1
3. de la Fuente 2010] de la Fuente Lpez, R.,J. Inteligencia Artificial. Introduccin
y tareas de bsqueda.[en lnea]. [consulta 21-6-2010] disponible en:
http://www.innova.uned.es/webpages/aconute/index.html.
4. Etayo et al, 1983] Etayo, J., Colera, J., Ruiz, A. Matemticas 1 BUP. Aprobado
por OM de 5-3-1976. Madrid (Espaa): Editorial Anaya, impresin en 1983.
ISBN 84- 207-1703-7
5. Fernndez, 2003] Fernndez Laguna, V. Teora bsica de conjuntos. 1
edicin. Madrid (Espaa): Grupo Anaya, 2003. ISBN 8466726144
6. Grassmann et al, 1998] Grassman, W., Tremblay, J.P.. Matemtica discreta y
lgica.1 edicion. Madrid (Espaa): Editorial Prentice Hall 1998. Impresin
2010. ISBN 978- 84-89660-04-5.
7. Libro Valdor
8. Biblioteca Nacional

27