Professional Documents
Culture Documents
Contiene:
Sistemas numricos
Lgica matemtica
Sistemas en IR, IN, Z, Q
Operaciones y
propiedades en IR, IN, Z,
Q.
Problemas del Banco de
preguntas:
CEPRU UNSAAC.
PRIMERA
OPCION
P/1/
P/2/
1.
Por ejemplo :
p: Manuel es Limeo
q: Reyner es Cusqueo
p q : Manuel es Limeo o Reyner es Cusqueo
* Su tabla de valores veritativos ser:
p
q
pq
V
V
V
V
F
V
F
V
V
F
F
F
* Ntese que:
p q es falsa (F), nicamente cuando p y q son ambas falsas.
2.
Por ejemplo:
P : Edson es Ingeniero Elctrico
q : Edwin es Contador
p q : Edson es Ingeniero Elctrico y Edwin es Contador
P/3/
LGICA MATEMTICA
y (conjuncin)
o (disyuncin)
no (negacin)
si
(condicional)
s
(implicacin)
entonces
entonces
LOS CUANTIFICADORES:
RELACIN ENTRE : x y x
TEOREMAS DE MORGAN
y . Si p es una proposicin y A es el
conjunto de elementos que poseen dicha propiedad puede ocurrir :
1) Todos los elementos de A poseen la propiedad : ( (x) P(x) ), cuantificador
universal
2) Existe algn elemento que posee la propiedad : ( (x) P(x) ), cuantificador
existencial.
x P x x [ P x ]
LOS TEOREMAS DE DE MORGAN : dicen que para pasar de una proposicin con
un cuantificador a otra con el otro, se debe negar la proposicin:
Si p es proposicin : ( p) p
x P x x [ P x ]
LEY DE MORGAN
1)
( pq )
pq
2)
( pq )
p q
P/4/
[ x P x] x P x
SISTEMAS NUMRICOS
A. NMEROS NATURALES : IN = { 1 ,2 ,3 ,4 , 5....., + }
Fuente: www.cepre.uni.edu.pe (Universid. Nacional de Ingeniera Lima)
Las investigaciones al respecto se han acentuado durante el siglo XVII, junto con el
nacimiento de las matemticas modernas. Fueron diferentes los intentos, como el de
Isaac Newton, en La aritmtica universal: Por nmero entendemos no tanto como un
conjuntos de unidades, si no, como la relacin abstracta entre una magnitud cualquiera
y otra del mismo gnero tomada por nosotros como unidad. Esta definicin parece
abarcar hasta el nmero racional como irracional, pero la definicin del cero, no queda
muy claro. El lgico matemtico italiano Peano (1857 1932), establece un conjunto
de axiomas que definen el conjunto IN de todos los nmeros naturales, como
sigue:
1 es un nmero natural.
Todo nmero natural tiene su siguiente del que l es el precedente.
1 no tiene precedente
Dos nmeros naturales si tiene el mismo siguiente son iguales
Todo conjunto de nmeros naturales que contenga a 1 y al siguiente de cada
uno de sus miembros, coincide con IN.
Este mtodo ordinal, desconoce el cero estableciendo que 1, es el primer
nmero natural: 1 + 1 = 2, es el segundo: 2 + 1 = 3, es el tercero : etc.
En realidad los axiomas de Peano, eran nueve, porque entre ellos incluy
cuatro propiedades de tipo general sobre la igualdad.
DEFINICIONES DE ORDEN :
Sean : a y b IN se dir que :
a < b si existe c IN tal que a + c = b y se representar por a < b.
a es mayor que b si existe c IN tal que a = b + c y se representar por: a > b
a es menor o igual que b si (a < b) (a = b) y se representar por a b
a es mayor o igual que b si (a > b) (a = b) y se representar por a b
* Sea A un subconjunto no vaco de IN, se dira que :
A es acotado inferiormente si existe c IN talque c x x A
a A es primer elemento de A si a x x A
P/5/
Una operacin de un nmero natural con otro nmero natural es otro nmero
natural.
Las operaciones de suma, multiplicacin, estn totalmente definidas en el
sistema de los nmeros naturales.
Las operaciones de sustraccin, divisin; no estn totalmente definidas en
el sistema de los nmeros naturales, se dice que estn parcialmente
definidas en el sistema de los nmero naturales.
2. Asociativa
(a + b) + c = a + (b + c)
(a b ) c = a (b c)
3. Conmutativa
a+b = b+a
a b = b a
4. Elemento neutro multiplicativo
a natural
a 1 = a
PROPIEDADES DE LA IGUALDAD:
1.
2.
3.
4.
5.
6.
Dicotoma : si a , b IN a = b a b
Reflexiva :
a = a , a IN
Simetra :
a = b b=a
transitiva :
si a = b y b = c a = c
Adicin
: si a = b a + c = b + c ; c IN
Multiplicacin: si a = b a c = b c , c IN
ORDENACIN EN EL SISTEMA IN
RELACIN DE ORDEN EN IN
Definicin: Sean a y b N, a < b si slo si existe un nmero natural n 0, tal que:
a+n=b
8. Antisimtrica
ab y ba a=b
9. Transitiva
a<b y b<c a<c
11. Tricotoma
Se cumple exactamente slo uno de los siguientes casos
a<b , a=b a>b
12. Invariancia bajo la suma y el producto
Si : a < b a + c < b +c c IN
Si : a < b a c < b c c IN
Propiedades de multiplicacion
-
B.-
a. b = b.a
(conmutativa)
(a . b ). c = a . ( b . c) (asociativa)
a .(b + c) = a . b + a . c (distributiva )
a IN ; ! 1 IN / a 1 = 1 x a = a (Elemento neutro : 1 y es unico)
El lgico matemtico Alemn Frege (1848 1925), utiliza los conceptos propios
de la teora de conjuntos cantoriana, para definir el nmero natural como el
cardinal de un conjunto, que a continuacin explicamos.
De alguna forma los seres humanos debemos dar nombre a las cantidades, ejemplos:
Cmo representamos a la cantidad de elementos del conjunto vaco? { }. Para ello
se ha establecido como estndar el nmero 0.
1. Cmo representamos a la cantidad de elementos del conjunto? {a}. Para ello se
ha establecido como estndar el nmero 1.
2. Cmo representamos a la cantidad de lementos del conjunto {a, b}? Por va
natural se establece que es el siguiente al nmero 1 ( el sucesor inmediato de 1)
y se le denota por 2.
Consideremos los conjunto A = {2, 3 } y B = {a, b}, con los elementos de estos
conjuntos se puede establecer una correspondencia biunvoca.
En este caso se dice que estos dos conjuntos son )equivalentes o equipotentes.
(Hasta el momento no se habla an de nmero). Recalcando: cuando se puede
establecer una correspondencia biunvoca a una biyeccin entre los elementos
de dos conjuntos, stos son equivalentes o equipotentes.
NOTA: Seores del CEPRU utilice Ud. La nomenclatura correcta En la
denominacin de los Nmeros Naturales, si desea Ud. Trabajar Ud con el cero la
denominacin correcta es: IN0 = {0, 1, 2, 3, 4,} (nmeros naturales
considerando el cero).
*Para efectos de trabajar en teora de conjuntos
donde se utiliza cardinalidad.
* Hacer Una lectura correcta de los conectivos lgicos y cuantificadores
Atte. : Ing. Manuel Jess Reyes Gamboa : P.A.I.M.E. 813062 E
Ing. MecanicElectric. (UNIVERSIDAD NACION. DE INGENIERIA LIMA)
P/8/
Z = {, , 3, 2, 1, 0, 1, 2, 3 , , + }
OBSERVA :
SI: a, b, c / a < b a c < b c ; si c , si c=0 a 0 < b 0 ;
(Absurdo)
0<0
Para que cumpla debe ser C 0, cero no es natural IN. (No cumple).
Los nmeros enteros son del tipo: -59, -3, 0, 1, 5, 78, 34567, etc., es decir,
naturales , sus opuestos (negativos) y el cero.
los
* La razn principal para introducir los nmeros negativos y el cero sobre los
nmeros naturales es la posibilidad de resolver ecuaciones del tipo:
a + x = b para la incgnita x.
*
*
*
a z ; ! (-a)
z / a + (-a) =
PROPIEDADES:
P/9/
Para todo x , y , z Z
x+yZ
xyZ
2. Asociativa
(x + y) + z = z + (y + z)
(x y) z = x (y z)
3. Conmutativa
x+y = y+x
xy = yx
6. Cancelativa
xy = xz x0 y=z
7. Distributiva
x (y + z) = x y + x z
AXIOMAS DE ORDEN
Definiciones de orden:
Sean x, y Z. se dir que:
x es menor o igual que y si (x < y) (x = y) y se representar por x y
x es mayor o igual que y si (x > y) (x = y) y se representar por x y
Sea A un subconjunto no vaco de Z, se dir que:
A es acotado inferiormente si existe c Z tal que c x x A
a A es primer elemento de A si a x x A
RESUMIENDO:
Si : a , b Z
a;b;cZ
*a b
*a < b
*a b
*a < b
*a b
P/10/
a+c b+c
a+c< b+c
c 0 a . c b .c
c > 0 a . c < b .c
c < 0 a . c b .c
un C 0 / a+c = b
8. Reflexiva
x x
9. ANTISIMTRICA
x y y x x = y
10. TRANSITIVA
x<y y<z x < z
D. NMEROS RACIONALES : Q
Se llama sistema de los nmeros racionales al conjunto:
a
0
Q = { / a , b Z, b 0 } , a b
b
Provisto de 3 operaciones totalmente definidos:
+ : Q Q Q ;
: Q Q Q ;
: Q Q
a 0 Q , ! a1 Q
Tal que : a a1 = 1
PROPIEDADES:
El conjunto de nmeros racionales es un conjunto completamente ordenado.
Q es un conjunto infinito. No tiene primero ni ltimo elemento.
P/11/
E. NMEROS IRRACIONALES : Q
F. NMEROS REALES : IR
Densidad o Arquimediana).
P/12/
El conjunto de los nmeros Reales completa la recta numrica. Esto significa que a
cada nmero Real corresponde un punto de la recta y a cada punto de la recta
corresponde un nmero Real. (Biyeccin)
| a| 0, si a = 0
-a, si a < 0
El valor absoluto de cualquier nmero Real es cero o positivo, pero nunca negativo.
El valor absoluto de un nmero negativo es el nmero positivo correspondiente. Esto
significa que para un nmero Real a, hay un nmero a, cuyo valor absoluto
representa su distancia al origen, el positivo a la derecha y el negativo a la izquierda.
PROPIEDADES :
|a| = |b| a = b a = b
|a b| = |a| |b|
|a| = b b 0 a = b a = b
Si: |a| < k; k > 0, entonces k < a < k
a | a|
b | b|
F. NMEROS IMAGINARIOS: i
C
C
N
N residuo
residuo
mximo
G.
D) FVFV
E) FVVF
C) VFFV
E) FVVF
B) VFVF
E) FVVF
3) Dados
C) VFFV
P/14/
4) De las proposiciones:
I) a , ! 0 / a + 0 = 0 + a
= a ; admite la existencia del
elemento del elemento identidad
o neutro aditivo.
II) Se cumple exactamente solo uno
de los siguientes casos: x < y; x
= y x > y; y lo define la
propiedad de tricotoma.
III)
Todo racional siempre es una
fraccin racional.
IV)La operacin de la sustraccin
est totalmente definida en el
sistema de los nmeros enteros.
Cuntas
proposiciones
son
verdaderas?
A) I y II
B) II y III
C)
III y IV
D) Slo II
E) I, II y IV
7)
De las siguientes
proposiciones:
I) El elemento neutro en la
multiplicacin es
La unidad.
II) El elemento neutro para la adicin
es
nico.
III) La
divisin
no
cumple
la
propiedad de cerradura en .
Indique la alternativa(s) falsa(s).
A) Solo I
B) Solo II
C) II y III
D) I y II
E) Ninguna
siguientes proposiciones:
I)
a<bac<bc
II)
a<bc<0ac>bc
III)
ac<bca<b
IV)
ac<bcc>0a<b
Son siempre verdaderas:
A) Slo I
B) I y II
C) I y III
D) II y IV
E) Slo III
6)
I) a Z, se tiene a = a
a
II)
a, b, c Z, si a b = a c,
entonces b = c
III)
a Z, existe un nico b Z
Donde: a b = a
A) FFV
VVF
B) FFF
C)
P/15/
E) VVV
9) Cuntas
de las expresiones
siguientes son falsas?
I)
Todo nmero natural es
racional
II) El nmero 11 no es un nmero
ra
cional
III) 15 es un nmero racional
IV) No existe una fraccin con
deno
minador cero.
V) Entre 2 nmeros racionales
existe otro racional.
A) 1
B) 2
C) 3
D) 4
E) 5
E) FFV
A) I y III
D) II y III
B) I y II
C) II y IV
E) I y IV