A

ritmtica

 Dpto. Pedaggico TRILCE

Derechos de Edicin
Asociacin Educativa TRILCE
Tercera Edicin, 2007.
Todos los Derechos Reservados. Esta publicacin no
puede ser reproducida, ni en todo ni en parte, ni
registrada en, o transmitida por, un sistema de
recuperacin de informacin, en ninguna forma y por
ningn medio, sea mecnico, fotoqumico, electrnico,
magntico, electroptico, por fotocopia, o cualquier
otro, sin el permiso previo de la editorial.

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.

Proposicin Simple: Son proposiciones que no

tienen conjunciones gramaticales ni adverbio de
negacin.
Ejemplo:
* Cincuenta es mltiplo de diez.

2.

Proposicin Compuesta: Formada por dos o ms

proposiciones simples unidas por conectivos lgicos o
por el adverbio de negacin.
Ejemplo:
* 29 es un nmero primo y 5 es impar.

ENUNCIADO: Es cualquier frase u oracin que expresa

una idea.

CONECTIVOS LGICOS: Smbolos que enlazan dos o

ms proposiciones simples para formar una proposicin
compuesta.
Los conectores lgicos que usaremos son :
S MBO LO

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

ENUNCIADO ABIERTO: Son enunciados que pueden

tomar cualquiera de los 2 valores de verdad.

OBS: La negacin es un conector mondico, afecta solamente a una proposicin.

Ejemplo:

OPERACIONES LGICAS Y TABLAS DE VERDAD

Si : P(x) : x 6
Se cumple que:

La validez de una proposicin compuesta depende de los

valores de verdad de las proposiciones simples que la componen y se determina mediante una tabla de verdad.

P(9) : 9 6 es verdadero
P(2) : 2 6 es falso

El valor de verdad de P(x) depende del valor de x, tambin,

se le conoce como funcin proposicional.

1.

Conjuncin: Vincula dos proposiciones mediante el

conectivo lgico "y".
Tabla de Verdad
p q p q
V V
V
V F
F
F V
F
F F
F

Aritmtica

2.

Disyuncin: Vincula dos proposiciones mediante el

conectivo lgico "o".
Tabla de Verdad
p q p q

V
V
F
F
3.

V
F
V
F

V
V
V
F

Condicional: Vincula dos proposiciones mediante el

conectivo lgico :
"Si ............, entonces .............."
Tabla de Verdad
p q p q
V V
V
V F
F
F V
V
V
F F
F

5.

Cuando los valores del operador principal son todos

verdaderos se dice que el esquema molecular es
tautolgico.

Se dir que el esquema molecular es contradictorio

si los valores del operador principal son todos falsos.

Si los valores del operador principal tiene por lo menos

una verdad y una falsedad se dice que es contingente
o consistente.

Disyuncin Exclusiva: Vincula dos proposiciones

mediante el conectivo lgico: "o ..........., o ............."
Tabla de Verdad
p q p q
V V
F
V F
V
F V
V

4.

IMPORTANTE:

Bicondicional: Vincula dos proposiciones mediante

el conectivo lgico:
".............. si y slo si .............."

LEYES DE LGEBRA PROPOSICIONAL

Son equivalencias lgicas que nos permiten reducir esquemas moleculares complejos y expresarlos en forma ms sencilla. Las demostraciones de dichas leyes se hacen construyendo la tabla de verdad en cada caso.

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.

Negacin: Afecta a una sola proposicin. Es un

operador mondico que cambia el valor de verdad de
una proposicin:

d.

Ley Distributiva:

p (q r) (p q) (p r)
p (q r) (p q) (p r)
e.

Ley de la Doble Negacin:

~ (~ p) p

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

OBSERVACIN: La cantidad de filas en una tabla es:

# filas = 2 n

Donde n es la cantidad de proposiciones simples.

10

Leyes del Complemento:

h.

Ley del Condicional:

p q ~ p q

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.

Circuito Serie: Dos interruptores conectados en serie

representan una conjuncin.
p

2.

pq

Circuito Paralelo: Dos interruptores conectados en

paralelo representan una disyuncin.

CUANTIFICADORES:

pq

q
1.

Cuantificador Universal: Sea la funcin

proposicional f(x) sobre un conjunto A, el cuantificador
("para todo") indica que todos los valores del
conjunto A hacen que la funcin proposicional f(x)
sea verdadera.

se lee : "Para todo"

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:

Compuerta AND de dos entradas.

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.

Cuantificador existencial: Sea f(x) una funcin

proposicional sobre un conjunto A el cuantificador
(existe algn) indica que para algn valor del conjunto

Compuerta OR de dos entradas

p
q

Ejemplo:
Sea f : x 2 5 8 , donde : x Z , la proposicin:
(x )
x Z / x 2 5 8 es verdadera:

p
*

~p

Compuerta NAND de dos entradas

p
q
*

Compuerta NOT

A, la funcin proposicional f(x) es verdadera.

se lee : "Existe algn"

p q

~ (p q)

Compuerta NOR de dos entradas

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)

02. Cuntas de las siguientes expresiones son

proposiciones?
* Dios mo .... se muri!
* El calor es la energa en trnsito.
* Baila a menos que ests triste.
* Siempre que estudio, me siento feliz.
* El delfn es un cetceo, ya que es un mamfero marino.
b) 2
e) 5

c) 3

03. Dadas las siguientes expresiones:

* El tomo no se ve, pero existe.
* Los tigres no son paquidermos, tampoco las nutrias.
* Toma una decisin rpida.
* Hay 900 nmeros naturales que se representan con
tres cifras.
* La Matemtica es ciencia fctica.
* Es imposible que el ao no tenga 12 meses.
Cuntas no son proposiciones simples?
a) 0
d) 3

b) 1
e) 4

b) VVV
e) FFF

c) VFF

06. Si : (p ~ q) r ; es falsa, determinar los valores de

verdad de "p", "q" y "r".

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

04. Hallar el valor de verdad de las siguientes

proposiciones:
(3 2 5) (7 2 11)

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

08. Si la proposicin: (p ~ q) (~ r s) es falsa,

deducir el valor de verdad de :
(~ p ~ q) ~ p

a) V
c) V o F.
e) Es V si p es F.

b) F
d) No se puede determinar.

09. Si la proposicin compuesta:

(p q) (r t)
Es falsa. Indicar las proposiciones que son verdaderas:

a) p ; r
d) q ; t

b) p ; q
e) p ; r ; t

c) r ; t

10. Si "p" es una proposicin falsa, determina el valor de

verdad de la expresin:
{(p q) [r (~ q p)]} (r p q)

(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

05. Determinar el valor de verdad de cada una de la

siguientes proposiciones:
I. Si : 3 + 1 = 7, entonces : 4 + 4 = 8
II. No es verdad que :
2 + 2 = 5 si y solo si 4 + 4 = 10.
III. Madrid est en Espaa o Londres est en Francia.

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:

17. Sea : U = {1 , 2 , 3}, el conjunto universal.

Hallar el valor de verdad de:
2
I. x , y / x y 1

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

14. Si la proposicin compuesta:

~ [(p ~ r) (r ~ q)]
no es falsa. Hallar el valor de verdad de las
proposiciones r, p y q respectivamente.

a) FVV
d) FVF

b) VVF
e) VFF

c) VFV

15. De la falsedad de la proposicin :

(p ~ q) (~ r s) se deduce que el valor de verdad
de los esquemas:

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

19. Hallar los valores de verdad de las siguientes

proposiciones:
I. ( x R , x x) ( x R , x 1 x)
II. ( x R , x 2 x) ( x Z , x 1 x - 1)
III. ( x N , x 0) ( x Q , x 0)
IV. ( x N , x 3 x) ( x R , x 1 x)
a) FVVF
d) VFFF

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

21. Sealar la expresin equivalente a la proposicin:

(p ~ p) (~ q ~ p)

q(y) : y N / y 0

r(z) : z R , z 2 9 2 (z 3)(z 3)

Indique el valor de verdad de:

p q , p r , rq
b) FVV
e) FFF

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

16. Sean las proposiciones:

*

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

22. Indicar el valor de verdad de:

I. p (p q)

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

24. Simplificar el siguiente circuito:

~p

b) ~ p q
e) ~ p ~ q

c) p q

25. Hallar la proposicin equivalente al circuito lgico:

q
p
~q
~p

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

31. Indicar el valor de verdad de:

I. (~ p ~ q) (p q)
es una contradiccin.
II. [(p q) (q r)] (p r)
es una tautologa.
III. [p (p q)] (q r)
es una contingencia.
b) VVF
e) FVV

c) VFF

32. De los siguientes esquemas:

*

(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

33. Dado el siguiente enunciado:

27. Simplificar a su mnima expresin:

14

d) ~ (p q)

a) VVV
d) VFV

p
q

26. Simplificar la proposicin que corresponde al circuito:

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

30. De la veracidad de:

b) VVVF
e) FVVV

a) p q
d) ~ p q

29. Simplificar:

e) p q

III. (p q) (p q)

c) ~p

~ [(~ p q) ~ p] [q (p ~ q)]

23. Indicar el valor de verdad de:

I. ~ [(p q) p]

a) VFVF
d) VFFV

b) p
e) ~ p q

c) p q

~ [{~ ([p q] p) ~ (q r)} q]

Segn su tabla de verdad, podemos decir que dicha

proposicin es una:
a) Tautologa.
b) Contradiccin.
c) Contingencia.
d) Ley lgica.
e) Equivalencia lgica.

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:

[(p q) (p q)# (p q)]

Simplificar: ~ [(p ~ q) ~ q]
a) p q
d) ~p

b) p q
e) ~q

c) ~ p q

36. Se define el operador : (+), por la siguiente tabla:

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)

41. La proposicin equivalente ms simple del siguiente

circuito:

b) p q
e) V

c) ~ q q

37. Se definen los operadores # y por las siguientes

tablas:

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

42. El circuito lgico:

p

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

Cul o cules de las siguientes proposiciones son

verdaderas?
15

Aritmtica

43. El circuito lgico ms simple equivalente al siguiente

circuito:
p
q

~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

A [(p q) (p r)] [(p t) (p ~ t)]

~q

~q

~p

46. Sabiendo que la instalacin de cada llave cuesta S/. 20.

Cunto se ahorrara si hacemos una instalacin mnima;
pero equivalente a:

~p

El circuito simplificado de A B es:

~p

~r

~p
a)

~q

~r

b)

~q

~r

a) 80
d) 160

~p

c)

~q

d)

45. Si la proposicin x y es equivalente al circuito:

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

47. Para una proposicin cualquiera, "p" se define:

e)

a) p q

44. Si:

q
x
y
y
x
x
y

y
x
q

Simplificar el siguiente circuito:

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:

51. Si m y n son nmeros reales, adems se define:

3m
1 ; Si x es proposici n verdadera
n
f(x )
3n 1 ; Si x es proposici n falsa
m

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)

49. Sean las proposiciones:

p: Si N Z , entonces:
2

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

52. Sean r, s, t, p i , q i donde i = 1 ; 2 ; ..... ; n

proposiciones tales que p t es falsa para todo i = 1 ;
2 ; ......... ; n
s p1 p 2 p 3 .... p n es verdadera.

P(x;y) x y

r (p1 t) (p 2 t) .... (p n t)

Q(x;y) x y

q i pi t es falso para i par y es verdadera para i

impar.

1 ; si x es verdader o
F(x)
0 ; si x es falso
Calcule:

Hallar el valor de verdad de:

{(p5 t) (q 2 p1)} {~ (q1 q 2 ) (p3 t)}

F F(P(p;q)) F(Q(q;r)) F(P(r;s))

a) 0
d) 3

b) 1
e) 4

c) 2

50. Sea la funcin:

f :{p/p es proposicin} {0 , 1} definido

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.

53. Sea "S" una proposicin que corresponde a la siguiente

tabla:

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

57. Disee el circuito que cumple con la siguiente tabla:

a)
~q
p
p

b)

x
0
0
0
0
1
1
1
1

c)

q
d)

~p

e)

~p

~q

54. El equivalente de:

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

Utilice compuertas lgicas:

p
q

xy
z
F
a)

a) p
d) ~q

b) ~p
e) p q

c) q

x
b) yz

55. Dado el siguiente circuito:

c)

p
q

x
y
z

a) VV
d) FF

b) VF
e) Faltan datos

e) x

c) FV

58. Expresar la operacin lgica F; segn la tabla:

x
0
0
0
0
1
1
1
1

56. Los profesores de Aritmtica de la academia TRILCE

p yq
como entradas y s como salida.
n

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

60. El circuito lgico permite detectar el estado de 3 aviones

A, B, C de tal manera que la lmpara de alarma en la
base se enciende cuando los tres aviones estn
averiados o cuando slo el avin A est averiado.
Expresar F en funcin de las entradas A, B y C:
Avin sin averas: 0
Avin con averas: 1
Lmpara apagada: 0
Lmpara encendida: 1

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

que cumple con dicha tabla utilizando las compuertas:

INVERSOR, AND, OR.

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.