Solo para ingenieras

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/

Solo para ingenieras

P/2/

Solo para ingenieras

BREVE INTRODUCCION LOGICA MATEMATICA

CONECTIVOS LGICOS
DISYUNCIN ( ):

1.

(REUNIN) ; Dos proposiciones lgicas simples se

pueden enlazar por medio del conectivo o (en el sentido inclusivo y/o) para formar
una proposicin compuesta llamada DISYUNCIN de ambas proposiciones.
La disyuncin de las proposiciones p y q se denota as : p q

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.

CONJUNCIN ( ) : Y (INTERSECCIN) ; Un par de proposiciones simples

pueden enlazarse mediante el conectivo y para formar una proposicin compuesta
llamada CONJUNCIN de ambas proposiciones. La conjuncin de las
proposiciones p y q se denota : p q

Por ejemplo:
P : Edson es Ingeniero Elctrico
q : Edwin es Contador
p q : Edson es Ingeniero Elctrico y Edwin es Contador

* Su tabla de valores veritativos ser:

p
q
pq
V
V
V
V
F
F
F
V
F
F
F
F
* Obsrvese que:
p q solamente es verdadera (V) , cuando p y q son ambas verdaderas.

P/3/

Solo para ingenieras

Equivalencias: Pero, sin embargo, adems, no obstante, aunque , a la vez

RESUMIENDO:

LGICA MATEMTICA

y (conjuncin)
o (disyuncin)
no (negacin)
si
(condicional)
s
(implicacin)

entonces

s y solo s (doble condicin)

s y solo s (doble implicacin)
para todo (cuantificador universal)
existe
algn
(cuantificador
existencial)

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

Solo para ingenieras

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:

Propiedades Axiomas de Peano (Teora actual)

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/

Solo para ingenieras

NOTA: Estudiante, UNSAAC trabaja con la denominacin:

IN = { 0, 1 ,2 ,3 ,4 , 5....., + }, utilizando El cero como El 1er.

Numero Natural. As trabajara ud. Hasta que estos seores se actualicen (ellos plantean sus
Preguntas con esta denominacin)

PROPIEDADES DE LOS NMEROS NATURALES

Si a, b, c son nmeros naturales cualesquiera se cumple que:

1. Operaciones internas, de Clausura o de Cerradura

x + y IN
x y IN

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

5. Distributiva del producto respecto de la suma

Si a , b , c son nmeros naturales cualesquiera se cumple que:

a (b + c) = a b + a c

IGUALDAD DE NMEROS NATURALES

P/6/

Solo para ingenieras

Si a , b IN que representan una misma cantidad, entonces se escribe :

a = b, en caso contrario a b.

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

- La ordenacin IN se consigue, introduciendo la relacin menor que entre sus

elementos

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

PROPIEDADES DE RELACIN DE ORDEN EN IN

7. Reflexiva
aa

8. Antisimtrica
ab y ba a=b

9. Transitiva
a<b y b<c a<c

10. De la buena ordenacin

Sea A un subconjunto no vaco de IN, acotado inferiormente, entonces A tiene primer
elemento.

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
-

a ; b IN a ; b (cumple propiedad de clausura o cerradura )

P/7/

Solo para ingenieras

-

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)

LOS NMEROS CARDINALES : IN0 = { 0 , 1 , 2 , 3 , 4, .., +}

Fuente: www.cepre.uni.edu.pe (Universid. Nacional de Ingeniera Lima)

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)

C.- SISTEMA DE NMEROS ENTEROS : Z

P/8/

Solo para ingenieras

Z = {, , 3, 2, 1, 0, 1, 2, 3 , , + }

Entonces la definicin del Siguiente de un numero dada en los naturales IN se

puede extender a los enteros , con ello se tiene que el numero 1 es el sucesor
inmediato de cero y cero es el antecesor inmediato de 1.
* Por : 1 +0=1 (Elemento neutro Aditivo) ; 0+1=1 (prop.conmutativa)
* Entonces : 1+(-1)=0(opuesto aditivo) ; (-1)+1=0 (Prop.conmutativa) ; con ello se
tiene que cero es el sucesor inmediato de -1 y que -1 es el antecesor inmediato
de cero. Y asi sucesivamente la construccin de los numeros enteros Z
Donde:
Z = {, , 3, 2, 1, 0 , 1, 2, 3 , , + }
Z+ = Conjunto de los Nmeros Enteros Positivos: Z+ = {1, 2, 3, . , +}
Z =Conjunto de los Nmeros Enteros Negativos: Z- = {, , 3, 2, 1, 1, 2, 3, , +,}
Z* = Conjunto de los Nmeros Enteros sin cero: Z* = {, , 3, 2, 1, 1, 2, 3, , +,}

OBSERVA : -1 antecesor inmediato de cero es negativo en consecuencia no es

natural . Todo numero natural IN tiene su siguiente del que el es el precedente
(Peano) ; cero no tiene precedente. cero no es natural IN.

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.

*
*
*

Por ejemplo: Las ecuaciones: 1 + x = 1 y 2 + x = 1 no tienen solucin

en N.
El conjunto de los numeros Z provisto de tres operaciones totalmente definidas
En : + , . , + : Z x Z Z ; (a , b) a + b
. : Z x Z Z ; (a , b) a . b
- : Z x Z Z ; (a , b) a - b

a z ; ! (-a)

z / a + (-a) =

0 (existencia del opuesto aditivo)

PROPIEDADES:
P/9/

Solo para ingenieras

Para todo x , y , z Z

1. Operaciones internas o de cerradura

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

4. Existencia del elemento neutro aditivo 0 y neutro multiplicativo 1

Existe 0 Z tal que x + 0 = x Para todo x Z
Existe 1 Z tal que x 1 = x Para todo x Z

5. Existencia del inverso Aditivo

Existe x tal que x + (x) = 0

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 < b significa que

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

Solo para ingenieras

* a < b c < 0 a . c > b .c

a >-b
si : a ; b z se dice que a es menor que b y se denota :
a < b b - a Z+
*a < b

8. Reflexiva
x x
9. ANTISIMTRICA
x y y x x = y
10. TRANSITIVA
x<y y<z x < z

11. EL ORDEN ES TOTAL

Si x y entonces x < y x > y
12. DE LA BUENA ORDENACIN
Sea S un subconjunto no vaco de Z, acotado inferiormente, entonces S tiene
primer elemento.
13. INVARIANCIA BAJO LA SUMA Y EL PRODUCTO
x y x + z y + z para todo z Z
z 0 y x y x z y z
14. TRICOTOMA
Se cumple exactamente slo uno de los siguientes casos
x < y, x =y x>y

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

Donde: a1 inverso multiplicativo.

PROPIEDADES:
El conjunto de nmeros racionales es un conjunto completamente ordenado.
Q es un conjunto infinito. No tiene primero ni ltimo elemento.
P/11/

Solo para ingenieras

Entre dos nmeros racionales existen infinitos nmeros racionales (Prop. de la

Densidad o Arquimediana).
Toda fraccin racional siempre es un racional lo contrario no siempre se cumple.
Todo entero racional siempre es un racional lo contrario no siempre se cumple.

ORDENACIN EN LOS NMEROS RACIONALES

Para establecer la definicin de orden entre nmeros racionales en forma similar a la
expresada para nmeros enteros.

RELACIN DE ORDEN EN EL SISTEMA DE NMEROS RACIONALES

a c
a
c
y
con b > 0 y d > 0,
<
ad<bc
b d
b
d
a
c
a
c
Equivalentemente
< , existe un nmero racional r, tal que:
+r=
b
d
b
d
Nota: Las propiedades para la relacin de orden en IN y para Z se cumple en Q
Dados los nmeros racionales

PROPIEDAD DE LA DENSIDAD DE LOS NMEROS RACIONALES

Para dos nmeros racionales cualesquiera a y b, siempre existe un nmero racional c
a b
c
tal que : a < c < b ;
2

E. NMEROS IRRACIONALES : Q

Son expresiones decimales que no pueden expresarse como una razn de

nmeros enteros. Son nmeros de infinitas cifras decimales no peridicas.

PROPIEDAD. Si la raz de un Nmero entero no es un Nmero entero, tampoco es

un Nmero racional

F. NMEROS REALES : IR

Se considera como la Unin de los conjuntos de nmeros Racionales e

Irracionales.
R=QI
PROPIEDADES.
R es un conjunto infinito. No tiene primero ni ltimo elemento.
R es un conjunto totalmente ordenado por la relacin
Entre dos nmeros Reales existen infinitos nmeros Reales (Prop. de la

Densidad o Arquimediana).
P/12/

Solo para ingenieras

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)

VALOR ABSOLUTO: El valor absoluto de un nmero Real a denotado por | a |,

se define por la regla:
a, si a > 0

| 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|

|a|2 = a2 y tambin |a2| = a2

Si: |a| > b, entonces: a > b a < b

INTERVALOS EN R: En la recta numrica siguiente, x es un nmero Real,

cualquiera que esta entre otros dos Reales a y b (Prop. de la Densidad). Se
denomina intervalo al conjunto de nmeros Reales que estn entre otros dos
Reales dados.

F. NMEROS IMAGINARIOS: i

C
C

Se considera a todos los nmeros que presentan la caracterstica de que al ser

elevados al cuadrado dan como resultado un nmero negativo. Existe adems la
unidad imaginaria simbolizada por i y se define como: i = 1lR
ii
lR
Si
te
Si
te
NMEROS COMPLEJOS:
mencio
mencio
Se denomina al conjunto de todos los nmeros de la forma
a + bi, en que a b son
nan,
nan,
nmeros reales.
mayor
Q
Q mayor Q
Q
aa
ser
ser
Tienen una parte real y una parte
dividido
dividido
imaginaria: a + bi
(Divide
ZZ (Divide
ndo)
ndo)
generar
generar
P/13/

N
N residuo
residuo
mximo

G.

Solo para ingenieras

El conjunto de los nmeros complejos
es el universo de los nmeros, se divide
en dos grandes ramas:

a) El conjunto de los Nmeros Reales.

b) El conjunto de los Nmeros
Imaginarios.

BANCO DE PREGUNTAS CEPRU UNSAAC

SISTEMAS DE NMEROS IR, N, Z, Q

1) En el sistema de los nmeros

enteros, indicar la verdad (V) y
falsedad (F) de las siguientes
proposiciones:
I) a , ! a / a + (a) = 0
II) a < 0 b > 0 a b > 0
III) a < b a c < b c , c < 0
IV) La sustraccin cumple con la
propiedad de clausura.
A) FFVV
B) VFVF
C) VFFV
B) VFVF

D) FVFV

E) FVVF

C) VFFV
E) FVVF
B) VFVF

E) FVVF

2) De las siguientes proposiciones:

I) Los reales que no son racionales
son los nmeros irracionales.
II) Si al representar un nmero en su
notacin
decimal
tiene
una
cantidad infinita de cifras en su
parte decimal y sin periodo
alguno, entonces es un nmero
racional.
III) I Q = R; I Q = donde I, Q, R
y significan los conjuntos de los
nmeros irracionales, racionales,
reales y el conjunto vaco,
respectivamente.
IV)a2 > b a > b a < b
Cuntas proposiciones son falsas?
A) Slo II
B) I y II
C) Slo IV
D) II y IV
E) II, III, IV

3) Dados
C) VFFV
P/14/

los nmeros enteros

positivos a y b, para la relacin

Solo para ingenieras

a > b, existe un nico entero

positivo c, tal que:
I)
a+c=b
II)
ab=c
III)
ba=c
Son proposiciones verdaderas:
A) Slo I
B) I y II
C) I y III
D) Slo II
E) Slo III

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

5) Para todo a, b y c Z, de las

I) El nmero cero es un nmero

irracional.
II) La suma cumple con la propiedad
de
Clausura en IN.
III) La sustraccin no cumple la
propiedad de la cerradura, est
definida parcialmente en IN.
Cuntas
proposiciones
son
verdaderas?
A) Solo I
B) Solo II
C) II y III
D) Slo III
E) Todas

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

8) Determine la verdad o falsedad

de:

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)

De las siguientes proposiciones:

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/

Solo para ingenieras

D) VFF

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

II) Los nmeros Racionales son

Densos y
Continuos.
III) En el sistema de los nmeros
Naturales existen opuestos
aditivos e inversos
Multiplicativos.
Los respectivos valores de verdad
son:
A) FFF
B) VFV
C) VFF
D) FVV

E) FFV

12) De las siguientes proposiciones,

las verdaderas son:

I.- a 0 ,existe a1 / a.a1 1
II.- a,b ,si a<b entonces a.c>b.c,
c >0

10) De las siguientes proposiciones:

I) La operacin de la adicin est

totalmente definida en el sistema
de los nmeros enteros.
II) Entre los nmeros a y a+1,
existe otro entero.
III) En el sistema de los nmeros
enteros, la operacin de la
divisin cumple con la propiedad
de la clausura.
IV)En el sistema de los nmeros
enteros, el elemento neutro
aditivo es nico.
Son verdaderos:
A) I, II y III
B) I y IV
C) II y III
D) I y III
E) II y IV

11) De las siguientes proposiciones:

I) Los nmeros Reales son Densos
pero
No son continuos.
P/16/

III.- a,b ,se cumple: a=b a >b

a< b

IV.- a,b,c : si a<b entonces: a+c <

b+ c

A) I y III
D) II y III

B) I y II
C) II y IV
E) I y IV