Conjunto de nmeros (reales, enteros,

racionales, naturales, irracionales)

Dificultad:

En esta unidad vamos a dar una pequea introduccin a las nociones de conjuntos de
nmeros ms significativas, siendo la ms importante, el conjunto de los nmeros reales,
que se denota por R. En todo este tema, vamos a suponer que el conjunto universal es R.
Adems, el conjunto de los nmeros reales con sus propiedades se llama sistema de los
nmeros reales.

Nmeros reales R
Una de las propiedades ms importantes de los nmeros reales es poderlos representar por
puntos de una lnea recta. Se elige un punto llamado origen, para representar el 0, y otro
punto, por comn a la derecha, para representar el 1.
Resulta as de manera natural una correspondencia entre los puntos de la recta y los
nmeros reales, es decir, que cada punto de la recta representa a un nico nmero real.
Llamamos a esta recta la recta real. En la siguiente imagen se puede ver un ejemplo de recta
real:

Nmeros enteros Z

Los enteros son los nmeros reales ,3,2,1,0,1,2,3,

Se denotan por el smbolo Z y se pueden escribir como Z={,2,1,0,1,2,}

Una propiedad importante de los nmeros enteros es que son cerrados respecto a las
operaciones de adicin, multiplicacin y sustraccin, es decir, la suma, la resta y la
multiplicacin de dos nmeros enteros da otro nmero entero. Ntese que el cociente de

dos enteros, por ejemplo 3 y 7, no necesariamente es un entero. As, la operacin divisin

no es cerrada respecto a los nmeros enteros.

Nmeros racionales Q
Los nmeros racionales son los reales que pueden ser expresados como razn de dos
enteros. Se denota el conjunto de los nmeros racionales por Q, as que

Q={pq | p,qZ}
Obsrvese que todo entero es un nmero racional, ya que, por ejemplo, 5=51; por
tanto, Z es un subconjunto de Q.
Los nmeros racionales son cerrados no solo respecto de las operaciones de adicin,
multiplicacin y sustraccin, sino tambin de la divisin (excepto por el 0).

Nmeros naturales N

Operaciones entre conjuntos

Conocida tambien con Algebra de conjuntos, las operaciones entre conjuntos
son: unin, interseccin, diferencia, diferencia simtrica y complemento.
Unin de conjuntos:
Al realizar esta operacin estamos conformando un nuevo conjunto, que se
llamaconjunto solucin, que contiene todos los elementos o miembros de los
conjuntos que se estn uniendo, sin que ninguno de sus miembros se repita en el
conjunto solucin. Por ejemplo:
Dados: A = {-1, 1, 2, 3}
B = {2, 4, 6}
C= {4, 5, 7, 8}
A u B = {-1, 1, 2, 3, 4, 6}

Observe que el resultado A u B no contiene elementos repetidos

A u B u C = {-1, 1, 2, 3, 4, 5, 6, 7, 8}
Interseccin de conjuntos:
Esta operacin entre conjuntos conforma un nuevo conjunto que contenga los
elementos o miembros comunes a los conjuntos que hagan parte de esta
operacin. Por ejemplo si consideramos los conjuntos A, B y C arriba
mencionados, al operar; se obtiene:
A n B = {2}

B n C = {4}
A n B n C = { } Puesto que no hay ningn elemento que est en los tres
conjuntos.
(A u B) n C Observe que en este ejemplo se est aplicando la propiedad asociativa
para la operacin de unin entre A y B y a su resultado hacer la interseccin con C.
(A u B) n C = {4}
Diferencia de conjuntos:
Cuando se analiza la diferencia entre A y B, se obtiene como
respuestaexclusivamente los elementos del conjunto A. Por ejemplo si
consideramos los conjuntos A, B, C que aparecen arriba:
A - B = {1, 1, 3}
B - C ={2, 6}
B - A = {4, 6}
C - B = {5, 7, 8}
Diferencia simtrica de conjuntos:
Se presenta cuando se consideran todos los elementos que slo pertenecen los
conjuntos, sin tener en cuenta lo que tienen en comn. En otras palabras, en la
diferencia simtrica no se tiene en cuenta ningn elemento de la
interseccin entre los conjuntos, los dems s. Por ejemplo, dados los conjuntos
A = {-1, 1, 2, 3,}
B = {2, 4, 6} C = {4, 5, 7, 8}
y U = {-1, 1, 2, 3, 4, 5, 6, 7, 8} (Conjunto Universal o referencial)
Complemento de un conjunto:
Se buscan todos lo elementos que le hagan falta a un conjunto para convertirse o
ser el conjunto universal o referencial. Por ejemplo:
A= {4, 5, 6, 7}
B= {-1, 1, 3, 5, 7, 8}
C= {-1, 1, 2, 3, 6,}
(A u B)={5, 7, 8}

Tabla de verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de
verdad de una proposicin compuesta, para cada combinacin de verdad que se pueda
asignar.1
Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato ms popular
es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en
1921.

Definiciones en el clculo lgico[editar]

Artculo principal: Clculo lgico

Para establecer un Sistema formal se establecen las definiciones de los operadores. Las
definiciones se harn en funcin del fin que se pretenda al construir el sistema que haga
posible la formalizacin de argumentos:

Como razonamientos deductivos lgico-lingsticos

Como construccin de un sistema matemtico puro

Como una aplicacin lgica en

un Circuito de conmutacin.

Verdadero[editar]
El valor verdadero se representa con la letra V; si
se emplea notacin numrica se expresa con un
uno: 1; en un circuito elctrico, el circuito est
cerrado.

Falso[editar]
El valor falso se representa con la letra F; si se
emplea notacin numrica se expresa con un
cero: 0; en un circuito elctrico, el circuito est
abierto.
Variable[editar]
Para una variable lgica A, B, C, ... que pueden
ser verdaderas V, o falsas F, los operadores
fundamentales se definen as:

Negacin[editar]
La negacin es un operador que se ejecuta,
sobre un nico valor de verdad, devolviendo
el valor contradictorio de la proposicin
considerada.

Conjuncin[editar]
La conjuncin es un
operador que opera sobre
dos valores de verdad,
tpicamente los valores de
verdad de dos
proposiciones, devolviendo
el valor de
verdad verdadero cuando
ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es
verdadera cuando ambas son verdaderas
La tabla de verdad de la conjuncin es la siguiente:

Que se corresponde con

la columna 8 del
algoritmo fundamental.

Disyuncin[editar]
La disyuncin es un
operador que opera

sobre dos valores de verdad, tpicamente los valores de verdad de dos

proposiciones, devolviendo el valor de verdad verdadero cuando una de las
proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son
falsas.
La tabla de verdad de la disyuncin es la siguiente:

Que se corresponde
con la columna 2 del
algoritmo
fundamental.

Implicacin o
Condicional[editar]
El condicional
material es un
operador que opera
sobre dos valores
de verdad,
tpicamente los
valores de verdad de dos proposiciones, devolviendo el valor de falso slo
cuando la primera proposicin es verdadera y la segunda falsa,
y verdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente:

Que se corresponde con la columna 5 del algoritmo fundamental.

Equivalencia,
doble
implicacin o
Bicondicional[e

ditar]
El bicondicional
o doble
implicacin es
un operador que
funciona sobre
dos valores de
verdad, tpicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdaderocuando ambas proposiciones
tienen el mismo valor de verdad, y falso cuando sus valores de verdad
son diferentes.
La tabla de verdad del bicondicional es la siguiente:

Que se corresponde con la columna 7 del algoritmo fundamental.