Académique Documents
Professionnel Documents
Culture Documents
ritmtica
Aritmtica
INTRODUCCIN
El presente libro tiene como objetivo incentivar e incrementar el estudio de la Aritmtica, la cual forma parte de la Matemtica.
Pero, amigo lector , Qu es la Matemtica?...... es una expresin de la mente humana que refleja la voluntad activa, la razn
contemplativa y el deseo de la perfeccin esttica, sus elementos bsicos son: la lgica e intuicin, anlisis y construccin,
generalidad y particularidad y lo que podra ser ms importante, la dosificacin de cada uno de sus temas.
Las primeras referencias de la Matemtica datan del tercer milenio a.C. en Babilonia y Egipto, que apuntan a la prevalencia
de la Aritmtica que, literalmente, significa el arte de contar. La palabra deriva del griego aritmetike , que combina dos palabras:
arithmos, que significa "nmero", y techne , que se refiere a un arte o habilidad.
La Aritmtica se remonta a los primeros albores de la vida humana, las tribus ms primitivas apenas podan distinguir entre
uno y muchos. Ms adelante, utilizaron un lenguaje corporal (dedos, manos, codos, pies) y con ayuda de ramas y piedras
consiguieron contar nmeros cada vez ms grandes. No hay forma de establecer, a ciencia cierta, cuando el hombre comenz a
utilizar la Aritmtica; aunque sospechamos que el hombre primitivo pudo conocer cuntos animales posea, haciendo corresponder a cada animal una pequea piedra; si tiempo despus tenia ms piedras que animales, era porque haba perdido alguno de
ellos. Este primitivo concepto de cardinalidad fue el origen del concepto del nmero como un ente abstracto y dio comienzo al difcil
y prolongado parto de una de las ramas ms antiguas de la Matemtica, como es la Aritmtica, llamada despus por Gauss : " La
reina de la Matemtica".
Los babilnicos fueron los primeros que utilizaron el cero para los clculos matemticos. Los signos que representan los
nmeros no han sido siempre los mismos, por ejemplo, en Mesopotamia se representaban en forma de cua; en Egipto, mediante
jeroglficos; en Grecia, con las letras de su alfabeto; en Roma, con los smbolos: I, V, X, y, en la actualidad, utilizamos los smbolos
indo-arbigos: 0, 1, 2, 3, ,9
La numeracin posee un significado muy profundo puesto que es la aplicacin del conjunto de los nmeros en el conjunto
de los objetos numerados y contribuye a poner orden a los objetos que componen el conjunto. Cuando los pueblos comenzaron
a utilizar los nmeros, slo conocan una forma de operar con ellos: contar. Poco a poco, fueron descubriendo las cuatro operaciones: adicin, sustraccin, multiplicacin y divisin; pero ello fue un proceso lento hasta llegar a la creacin de la teora de nmeros,
creada en su forma primitiva por Euclides, con su famoso algoritmo hasta la llegada de Fermat con la construccin de la nueva teora
de nmeros en el siglo XVII, adems de los importantes aportes de matemticos de la talla de Euler, Gauss, Cantor, Dedekind,
Boltzano, entre otros.
Cmo utilizar el texto?
Cada captulo del libro est compuesto por un breve marco terico y 60 ejercicios que han sido ordenados en forma
creciente segn su nivel de dificultad y cubren la totalidad de cada tema; pero ello no significa que tenga que ser estudiado problema
por problema; captulo por captulo, ya que puede ser utilizado en forma independiente y de acuerdo al nivel de cada estudiante.
Los problemas estn seleccionados como bsicos los 20 primeros, como nivel intermedio los 20 siguientes que contienen
exmenes de admisin de las diversas universidades nacionales y particulares y finalmente los 20 ltimos problemas de alto nivel
acadmico; muchos de ellos, creados recientemente, en forma especial, para el presente texto.
Pero amigo lector, no se alarme ni se impaciente si no puede resolver algn problema. Consulte a su profesor, deje que l
sea su gua en el uso del presente texto.
Asimismo, queremos agradecer a todos los profesores de la plana de Aritmtica de la Organizacin Trilce por sus aportes y
colaboraciones para la elaboracin del presente texto.
Nuestro trabajo ha sido realizado bajo riguroso cuidado y dedicacin volcando en l los aos de experiencia en la docencia
Pre - Universitaria.
Finalmente mucho agradecemos a los alumnos y colegas nos hagan llegar sus observaciones y sugerencias con respecto al
contenido de nuestro humilde trabajo.
TRILCE
C apt ulo
LGICA PROPOSICIONAL
INTRODUCCIN
CLASES DE PROPOSICIONES:
La lgica estudia la forma de razonamiento. Es una disciplina que se utiliza para determinar si un argumento es vlido,
tiene aplicacin en todos los campos del saber; en la filosofa, para determinar si un razonamiento es vlido o no, ya
que una frase puede tener diferentes interpretaciones; sin
embargo la lgica permite saber el significado correcto. Los
matemticos usan la lgica, para demostrar teoremas e inferir resultados que puedan ser aplicados en investigaciones .
En la computacin, para revisar programas y crear sus
algoritmos, es utilizada en el diseo de computadoras. Existen circuitos integrados que realizan operaciones lgicas con
los bits, gracias a estos se ha desarrollado las telecomunicaciones (telefona mvil, internet, ...)
1.
2.
PROPOSICIN: Son oraciones aseverativas que se pueden calificar como verdaderas o falsas. Se representan con
las letras minsculas del abecedario: p ; q ; r ; s.
Ejemplo:
* Tpac Amaru muri decapitado.
* 9 < 10
* 45 = 3 2
O P ERA CI N
SI GNI FI CA D O
L GI CA
Negacin
No p
Conjuncin
pyq
Disyuncin
poq
Condicional
Si p, entonces q
Bicondicional
Disyuncin
Exclusiva
p si y slo si q
"o ........ o ........"
Ejemplo:
Si : P(x) : x 6
Se cumple que:
P(9) : 9 6 es verdadero
P(2) : 2 6 es falso
1.
Aritmtica
2.
V
V
F
F
3.
V
F
V
F
V
V
V
F
5.
4.
IMPORTANTE:
Principales Leyes:
a.
Ley de Idempotencia:
p p p
pp p
b.
Ley Conmutativa:
pq q p
pq qp
c.
Ley Asociativa:
(p q) r p (q r)
(p q) r p (q r)
Tabla de Verdad
p q p q
6.
d.
Ley Distributiva:
p (q r) (p q) (p r)
p (q r) (p q) (p r)
e.
f.
Leyes de Identidad:
p V V ; pF p
pV p ; pF F
Tabla de Verdad
p ~p
V F
F
g.
p~ p V
p~ p F
10
h.
TRILCE
i.
Ley de la Bicondicional:
p q (p q) (q p)
p q (p q) (~ p ~ q)
p q ~ (p q)
j.
k.
Ley de Absorcin:
p (p q ) p
p (p q ) p
p (~ p q) p q
p (~ p q) p q
Leyes de "De Morgan":
~ (p q ) ~ p ~ q
~ (p q) ~ p ~ q
CIRCUITOS LGICOS
Un circuito conmutador puede estar solamente en dos estados estables : cerrado o abierto, as como una proposicin
puede ser verdadera o falsa, entonces podemos representar
una proposicin utilizando un circuito lgico:
1.
2.
pq
CUANTIFICADORES:
pq
q
1.
LGICA BINARIA
La lgica binaria trata con variables que toman 2 valores
discretos y con operaciones que asumen significado lgico,
para este propsito es conveniente asignar los valores de 1
y 0.
PRINCIPALES COMPUERTAS LGICAS
*
Ejemplo:
p
q
Sea : f : x 3 2 5 donde x N
(x )
La proposicin cuantificada es :
x N ; x 3 2 5 es falsa.
2.
Ejemplo:
Sea f : x 2 5 8 , donde : x Z , la proposicin:
(x )
x Z / x 2 5 8 es verdadera:
p
*
~p
p
q
*
Compuerta NOT
p q
~ (p q)
~ (p q)
11
Aritmtica
EJERCICIOS
01. De los siguientes enunciados:
* Qu rico durazno.
* 7 + 15 > 50
a) VFV
d) FVF
2
2
* x y 25
Qu alternativa es correcta?
a)
b)
c)
d)
e)
c) 3
b) 1
e) 4
b) VVV
e) FFF
c) VFF
Una es proposicin.
Dos son enunciados abiertos.
Dos son expresiones no proposicionales.
Dos son proposiciones.
Todas son proposiciones.
a) 1
d) 4
PROPUESTOS
c) 2
a) VVF
d) VFV
b) VFF
e) FFF
c) VVV
07. Simbolizar:
~p
~q
q
Si la proposicin que se obtiene es falsa.
Cules son los valores de p y q respectivamente?
a) VV
d) FF
b) VF
c) FV
e) No se puede precisar
a) V
c) V o F.
e) Es V si p es F.
b) F
d) No se puede determinar.
a) p ; r
d) q ; t
b) p ; q
e) p ; r ; t
c) r ; t
(4 1 3) (2 10 8)
a)
b)
c)
d)
e)
(3 7 10) (12 5)
12 2 1 1 3
2 2
a) VVFV
d) VVVF
b) VFVV
e) FVVV
c) VVVV
12
Verdadero.
Falso.
Verdadero o falso.
Verdadero slo si q es verdadero.
Falso slo si r es falso.
11. Si la proposicin:
(p q) (q r)
es falsa, hallar el valor de verdad de las siguientes
frmulas:
I. ~ (p r) (p q)
II. (p ~ q) (~ r q)
III. [(p q) (q ~ r)] (p ~ r)
a) VVF
d) VFF
b) VFV
e) FVV
c) VVV
TRILCE
12. Los valores de verdad de las proposiciones "p" , "q" , "r"
y "s" son respectivamente V, F, F y V.
Obtener los valores de verdad de:
x , y / x 2 y 2 12
I.
[(p q) r] s
II.
II.
r (s p)
2
2
III. x , y / x y 12
III. (p r) (r ~ s)
a) VFF
d) VVF
2
2
IV. x , y / x y 12
b) FVV
e) FFF
c) VVV
13. Si la proposicin:
p (r s)
Es falsa, cuntas de las siguientes proposiciones son
verdaderas?
I.
(~ s t) ~ p
II.
rp
III. t ~ r
b) Una
e) Cuatro
c) Dos
a) FVV
d) FVF
b) VVF
e) VFF
c) VFV
I.
(~ p ~ q) (~ q)
II. (~ r q) [(~ q r) s]
III. (p q) [(p q) ~ q]
Son respectivamente :
a) VFV
d) VVF
b) FFF
e) FFV
c) VVV
18. Si : U = {1 ; 2 ; 3 ; 4 ; 5}
Cul es el valor de verdad de las siguientes
proposiciones?
I. x U : x 3 x 4
II. x U : x 2 8 x 6
III. x U : x 2 5 x - 1 2
c) VFV
b) FVVV
e) VVVF
c) VVFF
20. Sea : A = {1 , 2 , 3}
Determinar el valor de verdad de las siguientes
expresiones:
I.
x A , y A / x2 y 1
II.
x A , y A / x 2 y2 12
IV. x A , y A , z A/ x 2 y 2 2z 2
b) VVFV
e) VVVV
c) VVVF
q(y) : y N / y 0
r(z) : z R , z 2 9 2 (z 3)(z 3)
b) FFV
e) FFF
a) VFVV
d) FVVV
p(x) : x R , x 0 1
a) FFV
d) VVV
c) VVVF
III. x A , y A , z A/ x 2 y 2 2z 2
b) VVFF
e) VVFV
a) VVV
d) FVF
IV. (r p) (s t)
a) Ninguna
d) Tres
a) VFVF
d) VVVV
a) q p
b) p q
c) (p q) ~ p
d) ~ p (p q)
c) VFV
e) (q p) ~ p
13
Aritmtica
28. Simplificar:
M [(~ p q) (~ q p)] ~ (p q)
II. (p q) (p q)
a) q
d) ~q
III. ~ [(p q) p]
a) VVV
d) FVF
b) VFV
e) FVV
c) VVF
II. (p q) p
IV. p (p q)
c) FVFV
~p
b) ~ p q
e) ~ p ~ q
c) p q
b) p ~ q
e) p ~ q
c) p q
q
~p
q
p
~q
p
~ [(p ~ q) (~ r ~ s)]
Deducir el valor de verdad de :
I. ~ (~ q ~ s) ~ p
b) ~ p q
e) ~ p ~ q
c) p q
(p q) [(p ~ q) (p q)]
b) q
e) p q
a) FVV
d) VFF
b) VVF
e) FFF
c) FFV
c) VFF
(q r) (~ p r)
[p (p q)] p
* [(~ p q) ~ r] ~ [r ~ (p ~ q)]
Indicar en el orden dado cul es Tautologa (T),
Contingencia (S) o Contradiccin (C):
a) T , C , S
d) S , T , C
b) T , S , C
e) S , C , T
c) C , T , S
14
d) ~ (p q)
a) VVV
d) VFV
p
q
a) p
d) p q
c) ~ (p q)
III. p ~ [q ~ (s r)]
~p
~q
a) p q
d) ~ p q
b) ~ p q
II. ~ (~ r s) (~ p ~ q)
a) p
d) ~ p q
a) p ~ q
a) p q
d) ~ p q
29. Simplificar:
e) p q
III. (p q) (p q)
c) ~p
~ [(~ p q) ~ p] [q (p ~ q)]
a) VFVF
d) VFFV
b) p
e) ~ p q
c) p q
TRILCE
34. Si:
I.
a * b (a b) [b ~ (a b)]
II. ~ (p q) (p q) p q
b {a [b (a b)]} ~ a
III. ~ p q ~ (~ p q)
Reducir :
{[(p * q)
a) ~p
d) p
r] * (~ p * q)} {q * (p ~ q)}
b) V
e) q
p ~ q ~ (p ~ q)
c) F
a) Slo I
d) I y III
b) Slo II
e) Todas
39. Si: p q p ~ q
35. Si se define:
p q (p ~ q) (q ~ p)
p# ~ q (p q) ~ p
Simplificar:
Simplificar: ~ [(p ~ q) ~ q]
a) p q
d) ~p
b) p q
e) ~q
c) ~ p q
p q p q
V V
V
V F
V
F V
F
F F
V
a) ~ p q
d) ~ p ~ q
c) ~q
e) ~p
(p * p) * p
(p * ~p) * p
~(p * q)
p*q
p * (q * q)
b) p q
e) V
c) ~ q q
p q p # q
V V
F
V F
F
F V
F
F F
V
b) p
40. Si: p * q ~ p ~ q
Expresar ~p usando nicamente el operador (*)
a)
b)
c)
d)
e)
Simplificar: (p + q) + p
a) F
d) p q
c) I y II
p q p q
V V
F
V F
V
F V
V
F F
V
Simplificar:
b) q p
d) p q
e) q ~ p
~q
~p
~p
~q
a) p
d) p
b) q
e) ~q
~p
c) r
~q
~q
q
A
r
38. Se definen los operadores " " y " " por las siguientes
tablas:
p q p q p q
V V
F
V
V F
V
F
F V
F
V
F F
F
V
c) p q
Es:
[(p# ~ q) p] (q ~ p)
a) q p
r
s
t
s t
r
s
t
~p
s t
Es equivalente a:
a) p
b) q
d) ~q
e) p q
c) ~p
Aritmtica
~p
~q
~p
~q
~p ~q
~r
a) A
b) A
c) A
d) A
e) A
p q r
y
x
x
y
q
q
p
q
x
y
x
y
b) p q r s t
c) r s
d) s t
e) p q r s t
~q
~q
~p
~p
~p
~r
~p
a)
~q
~r
b)
~q
~r
a) 80
d) 160
~p
c)
~q
d)
p
q
~q
16
~p
r
b) 100
e) 180
c) 140
F(m) 1 donde m (p r) s
~r
q ~r
~q
r
1 si p es Verdadero
F(p)
0 si p es Falso
Si:
~q
e)
a) p q
44. Si:
q
x
y
y
x
x
y
y
x
q
F(n) 0 donde n p (r p)
Halle:
F(p r) F(r s) F(p s) F(~ p)
p q
~r
~s
~t
r s t
a) 1
d) 4
b) 2
e) 0
c) 3
TRILCE
48. La siguiente funcin:
1 ; Si p es verdadera
F(p)
0 ; Si p es falsa
Si : F 1 F 0
(x)
(y)
Donde :
Hallar:
x (p ~ r) (s w)
y w ~ s
Hallar:
n
m
Sabiendo que: f f 21
(q) (r)
Siendo:
E F[(s ~ w) (~ p r)]
F[~ (~ r ~ p) (t (w ~ p))]
a) 0
c) 2
e) Tautologa
m
n
q : 4 3 1 0
b) 1
d) No se puede determinar
r : 1 0 (1)2 0
1
3
d) 1
a)
MCD (N ; N 1 ) =1
q: El conjunto vaco es subconjunto y elemento.
r: MCD (ab07 ; 7) 7
s: MCM (a ; b) = a b MCD (a ; b) = 1
Adems sean las proposiciones x e y:
b) 3
c)
1
7
e) 3
P(x;y) x y
r (p1 t) (p 2 t) .... (p n t)
Q(x;y) x y
1 ; si x es verdader o
F(x)
0 ; si x es falso
Calcule:
a) 0
d) 3
b) 1
e) 4
c) 2
1 , si p es verdadero
por f
(p)
0 , si p es falso
Indicar si es verdad la siguiente igualdad:
f (p q ) 1 f (q ) f (~ p)
a)
b)
c)
d)
e)
Verdadero
Falso
Depende de q
Es contradictorio
Es un enunciado abierto
a)
b)
c)
d)
e)
Verdadero.
Falso.
Faltan datos.
No se puede determinar.
Depende del valor de verdad de r.
p q s
V V F
V F V
F V V
F F F
Y "r" la proposicin ms simplificada, equivalente a:
[(p q) ~ q] ~ q
Cul es el circuito ms sencillo, equivalente al que
resulta de conectar en paralelo los circuitos
correspondientes a "~r" y a "s"?
17
Aritmtica
a)
~q
p
p
b)
x
0
0
0
0
1
1
1
1
c)
q
d)
~p
e)
~p
~q
y
0
0
1
1
0
0
1
1
z
0
1
0
1
0
1
0
1
F
1
0
0
0
0
0
0
1
p
q
xy
z
F
a)
a) p
d) ~q
b) ~p
e) p q
c) q
x
b) yz
c)
p
q
x
y
z
a) VV
d) FF
b) VF
e) Faltan datos
e) x
c) FV
x
0
0
0
0
1
1
1
1
d) y
z
Si s es falsa.
Cules son los valores de verdad de p y q
respectivamente?
x
s
p
s
y
0
0
1
1
0
0
1
1
z
0
1
0
1
0
1
0
1
F
0
1
0
0
0
1
0
0
q
a) p
d) F
18
b) q
e) p q
c) V
a) x y z xyz
c) x + y + z
e) xyz
b) (x + y)z
d) x y z x y z
TRILCE
59. Dada la siguiente tabla:
x
0
0
0
0
1
y
0
0
1
1
0
z
0
1
0
1
0
F
0
1
0
0
1
1 0 1 1
1 1 0 1
1 1 1 1
Disear el circuito:
x
y
z
A
B
C
Circuito
Lgico
Lmpara
de alarma
BASE
x
a) y
z
a)
b)
c)
d)
F A(B C BC)
F = A + BC
F = ABC
F = A (B + C)
e) F A B C
x
F
b) y
z
x
y
z
x
d) y
z
c)
x
e) y
F
F
EL VAGO DE COZ
"En la antigua ciudad de Coz, de la que ya no queda un solo recuerdo, gobernaba un adivino muy astuto. Toda la poblacin
trabajaba salvo l, grandsimo vago, que ejerca de enlace psicoastral. Cada da obligaba a algn desdichado ciudadano a
competir contra l en un extrao concurso. El aspirante deba formular al adivino una pregunta acerca de algn suceso
futuro cuya respuesta deba ser simplemente "s" o "no". En caso de que el vago acertase la respuesta, el desafortunado
concursante se converta en su esclavo y era obligado a trabajar para l de por vida. Si el adivino errase la respuesta, ste
sera depuesto, convertido en asno y condenado a rebuznar durante mil aos. Por desgracia para los pobladores de Coz,
el vago posea una esfera de cristal, que funcionaba mediante la magia capaz de anticipar el futuro con toda certeza. Si usted
fuera el prximo rival del malvado vago. Qu pregunta le hara?".
19
Aritmtica
Claves
20
01.
31.
02.
32.
03.
33.
04.
34.
05.
35.
06.
36.
07.
37.
08.
38.
09.
39.
10.
40.
11.
41.
12.
42.
13.
43.
14.
44.
15.
45.
16.
46.
17.
47.
18.
48.
19.
49.
20.
50.
21.
51.
22.
52.
23.
53.
24.
54.
25.
55.
26.
56.
27.
57.
28.
58.
29.
59.
30.
60.