You are on page 1of 12

TRILCE

Capítulo

1 LÓGICA PROPOSICIONAL

INTRODUCCIÓN CLASES DE PROPOSICIONES:

La lógica estudia la forma de razonamiento. Es una discipli- 1. Proposición Simple: Son proposiciones que no
na que se utiliza para determinar si un argumento es válido, tienen conjunciones gramaticales ni adverbio de
tiene aplicación en todos los campos del saber; en la filoso- negación.
fía, para determinar si un razonamiento es válido o no, ya Ejemplo:
que una frase puede tener diferentes interpretaciones; sin * Cincuenta es múltiplo de diez.
embargo la lógica permite saber el significado correcto. Los
matemáticos usan la lógica, para demostrar teoremas e infe- 2. Proposición Compuesta: Formada por dos o más
rir resultados que puedan ser aplicados en investigaciones . proposiciones simples unidas por conectivos lógicos o
En la computación, para revisar programas y crear sus por el adverbio de negación.
algoritmos, es utilizada en el diseño de computadoras. Exis- Ejemplo:
ten circuitos integrados que realizan operaciones lógicas con * 29 es un número primo y 5 es impar.
los bits, gracias a estos se ha desarrollado las telecomunica-
ciones (telefonía móvil, internet, ...) CONECTIVOS LÓGICOS: Símbolos que enlazan dos o
más proposiciones simples para formar una proposición
compuesta.
ENUNCIADO: Es cualquier frase u oración que expresa
Los conectores lógicos que usaremos son :
una idea.
OPERACIÓN
SÍMBOLO SIGNIFICADO
PROPOSICIÓN: Son oraciones aseverativas que se pue- LÓGICA
den calificar como verdaderas o falsas. Se representan con ~ Negación No p
las letras minúsculas del abecedario: p ; q ; r ; s.  Conjunción pyq
 Disyunción poq
Ejemplo:  Condicional Si p, entonces q
* Túpac Amaru murió decapitado.  Bicondicional p si y sólo si q
* 9 < 10 Disyunción
 "o ........ o ........"
* 45 = 3  2 Exclusiva

ENUNCIADO ABIERTO: Son enunciados que pueden OBS: La negación es un conector monádico, afecta sola-
tomar cualquiera de los 2 valores de verdad. mente a una proposición.

Ejemplo: OPERACIONES LÓGICAS Y TABLAS DE VERDAD

Si : P(x ) : x  6 La validez de una proposición compuesta depende de los


valores de verdad de las proposiciones simples que la com-
Se cumple que:
ponen y se determina mediante una tabla de verdad.
P(9) : 9  6 es verdadero
P(2) : 2  6 es falso 1. Conjunción: Vincula dos proposiciones mediante el
conectivo lógico "y".
El valor de verdad de P(x) depende del valor de x, también,
Tabla de Verdad
se le conoce como función proposicional.
p q p  q
V V V
V F F
F V F
F F F

9
Aritmética

2. Disyunción: Vincula dos proposiciones mediante el IMPORTANTE:


conectivo lógico "o".
* Cuando los valores del operador principal son todos
Tabla de Verdad
verdaderos se dice que el esquema molecular es
p q p  q tautológico.
V V V
V F V * Se dirá que el esquema molecular es contradictorio
F V V si los valores del operador principal son todos falsos.
F F F
* Si los valores del operador principal tiene por lo menos
3. Disyunción Exclusiva: Vincula dos proposiciones una verdad y una falsedad se dice que es contingente
mediante el conectivo lógico: "o ..........., o ............." o consistente.

Tabla de Verdad
p q p  q LEYES DE ÁLGEBRA PROPOSICIONAL
V V F
V F V Son equivalencias lógicas que nos permiten reducir esque-
F V V mas moleculares complejos y expresarlos en forma más sen-
F F F cilla. Las demostraciones de dichas leyes se hacen constru-
yendo la tabla de verdad en cada caso.
4. Condicional: Vincula dos proposiciones mediante el
conectivo lógico :
"Si ............, entonces .............." Principales Leyes:

Tabla de Verdad a. Ley de Idempotencia:


p q p  q pp  p
V V V pp p
V F F
F V V b. Ley Conmutativa:
F F V
F pq qp
pq qp
5. Bicondicional: Vincula dos proposiciones mediante
el conectivo lógico:
c. Ley Asociativa:
".............. si y sólo si .............."
(p  q)  r  p  (q  r)
Tabla de Verdad (p  q)  r  p  (q  r)
p q p  q
V V V d. Ley Distributiva:
V F F p  (q  r)  (p  q)  (p  r)
F V F p  (q  r)  (p  q)  (p  r)
F F V
e. Ley de la Doble Negación:
6. Negación: Afecta a una sola proposición. Es un
~ (~ p)  p
operador monádico que cambia el valor de verdad de
una proposición:
f. Leyes de Identidad:
Tabla de Verdad pV  V ; pF  p
p ~p pV  p ; pF  F
V F
F V g. Leyes del Complemento:
p~ p  V
OBSERVACIÓN: La cantidad de filas en una tabla es: p~ p  F
# filas = 2 n
h. Ley del Condicional:
Donde n es la cantidad de proposiciones simples. p  q ~ p  q

10
TRILCE

i. Ley de la Bicondicional: CIRCUITOS LÓGICOS

p  q  (p  q)  (q  p)
Un circuito conmutador puede estar solamente en dos esta-
p  q  (p  q)  (~ p  ~ q)
dos estables : cerrado o abierto, así como una proposición
p  q  ~ (p  q) puede ser verdadera o falsa, entonces podemos representar
una proposición utilizando un circuito lógico:
j. Ley de Absorción:
p  (p  q)  p 1. Circuito Serie: Dos interruptores conectados en serie
p  (p  q)  p representan una conjunción.
p  (~ p  q)  p  q
p q   p q
p  (~ p  q)  p  q

k. Leyes de "De Morgan":


2. Circuito Paralelo: Dos interruptores conectados en
~ (p  q)  ~ p  ~ q paralelo representan una disyunción.
~ (p  q) ~ p  ~ q
p

CUANTIFICADORES:   p q
q

1. Cuantificador Universal: Sea la función


proposicional f(x) sobre un conjunto A, el cuantificador LÓGICA BINARIA
 ("para todo") indica que todos los valores del
conjunto A hacen que la función proposicional f(x ) La lógica binaria trata con variables que toman 2 valores
discretos y con operaciones que asumen significado lógico,
sea verdadera. para este propósito es conveniente asignar los valores de 1
y 0.
 se lee : "Para todo"
PRINCIPALES COMPUERTAS LÓGICAS

* Compuerta AND de dos entradas.


Ejemplo:
p
Sea : f : x 3  2  5 donde x  N q p q
(x )
La proposición cuantificada es :

 x  N ; x 3  2  5 es falsa. * Compuerta OR de dos entradas

p p q
q
2. Cuantificador existencial: Sea f(x ) una función
proposicional sobre un conjunto A el cuantificador  * Compuerta NOT
(existe algún) indica que para algún valor del conjunto
A, la función proposicional f(x) es verdadera. p ~p

* Compuerta NAND de dos entradas


 se lee : "Existe algún"
p
q ~ (p  q)

Ejemplo:
* Compuerta NOR de dos entradas
Sea f : x 2  5  8 , donde : x  Z  , la proposición:
(x )
p
 x  Z  / x 2  5  8 es verdadera: q ~ (p q)

11
Aritmética

EJERCICIOS PROPUESTOS

01. De los siguientes enunciados: a) VFV b) VVV c) VFF


* Qué rico durazno. d) FVF e) FFF
* 7 + 15 > 50
2 2
* x  y  25 06. Si : (p  ~ q)  r ; es falsa, determinar los valores de
¿Qué alternativa es correcta? verdad de "p", "q" y "r".

a) Una es proposición. a) VVF b) VFF c) VVV


b) Dos son enunciados abiertos. d) VFV e) FFF
c) Dos son expresiones no proposicionales.
d) Dos son proposiciones. 07. Simbolizar:
e) Todas son proposiciones.
~p ~q
02. ¿Cuántas de las siguientes expresiones son
proposiciones?
* ¡Dios mío .... se murió! q
* El calor es la energía en tránsito.
* Baila a menos que estés triste. Si la proposición que se obtiene es falsa.
* Siempre que estudio, me siento feliz. ¿Cuáles son los valores de p y q respectivamente?
* El delfín es un cetáceo, ya que es un mamífero ma-
rino. a) VV b) VF c) FV
d) FF e) No se puede precisar
a) 1 b) 2 c) 3
d) 4 e) 5 08. Si la proposición: (p ~ q)  (~ r  s) es falsa,
deducir el valor de verdad de :
03. Dadas las siguientes expresiones:
* El átomo no se ve, pero existe. (~ p ~ q) ~ p
* Los tigres no son paquidermos, tampoco las nu-
trias. a) V b) F
* Toma una decisión rápida. c) V o F. d) No se puede determinar.
* Hay 900 números naturales que se representan con e) Es V si p es F.
tres cifras.
* La Matemática es ciencia fáctica. 09. Si la proposición compuesta:
* Es imposible que el año no tenga 12 meses. (p  q)  (r  t)
¿Cuántas no son proposiciones simples? Es falsa. Indicar las proposiciones que son verdaderas:

a) 0 b) 1 c) 2 a) p ; r b) p ; q c) r ; t
d) 3 e) 4
d) q ; t e) p ; r ; t
04. Hallar el valor de verdad de las siguientes
10. Si "p" es una proposición falsa, determina el valor de
proposiciones:
verdad de la expresión:
(3  2  5)  (7  2  11) {(p  q)  [r  (~ q  p)]}  (r  p  q)
(4  1  3)  (2  10  8)
a) Verdadero.
(3  7  10)  (12  5)
b) Falso.
 12  2    1  1  3  c) Verdadero o falso.
   2 2 d) Verdadero sólo si q es verdadero.
e) Falso sólo si r es falso.
a) VVFV b) VFVV c) VVVV
d) VVVF e) FVVV 11. Si la proposición:
(p  q)  (q  r)
05. Determinar el valor de verdad de cada una de la es falsa, hallar el valor de verdad de las siguientes
siguientes proposiciones: fórmulas:
I. Si : 3 + 1 = 7, entonces : 4 + 4 = 8 I. ~ (p  r)  (p  q)
II. No es verdad que : II. (p ~ q)  (~ r  q)
2 + 2 = 5 si y solo si 4 + 4 = 10. III. [(p  q)  (q  ~ r)]  (p ~ r)
III. Madrid está en España o Londres está en Francia.
a) VVF b) VFV c) VVV
d) VFF e) FVV

12
TRILCE

12. Los valores de verdad de las proposiciones "p" , "q" , "r" 17. Sea : U = {1 , 2 , 3}, el conjunto universal.
y "s" son respectivamente V, F, F y V. Hallar el valor de verdad de:
2
Obtener los valores de verdad de: I.  x ,  y / x  y  1
I. [(p  q)  r]  s II.  x ,  y / x 2  y 2  12
II. r  (s  p) 2 2
III.  x ,  y / x  y  12
III. (p  r)  (r  ~ s) 2 2
IV.  x ,  y / x  y  12

a) VFF b) FVV c) VVV


a) VFVF b) VVFF c) VVVF
d) VVF e) FFF
d) VVVV e) VVFV
13. Si la proposición:
18. Si : U = {1 ; 2 ; 3 ; 4 ; 5}
p  (r  s) ¿Cuál es el valor de verdad de las siguientes
Es falsa, ¿cuántas de las siguientes proposiciones son proposiciones?
verdaderas? I.  x U : x  3  x  4
I. (~ s  t)  ~ p II.  x  U : x  2  8  x  6
II. rp III.  x  U : x  2  5  x - 1  2
III. t ~ r
a) VVV b) FFV c) VFV
IV. (r  p)  (s  t) d) FVF e) FFF

a) Ninguna b) Una c) Dos 19. Hallar los valores de verdad de las siguientes
d) Tres e) Cuatro proposiciones:
I. ( x  R , x  x)  ( x  R , x  1  x)
14. Si la proposición compuesta:
II. ( x  R , x 2  x)  ( x  Z , x  1  x - 1)
~ [(p ~ r)  (r  ~ q)]
III. ( x  N , x  0)  ( x  Q , x  0)
no es falsa. Hallar el valor de verdad de las
proposiciones r, p y q respectivamente. IV. ( x  N , x  3  x)  ( x  R , x  1  x)

a) FVV b) VVF c) VFV a) FVVF b) FVVV c) VVFF


d) FVF e) VFF d) VFFF e) VVVF

15. De la falsedad de la proposición :


20. Sea : A = {1 , 2 , 3}
(p ~ q)  (~ r  s) se deduce que el valor de verdad
Determinar el valor de verdad de las siguientes
de los esquemas: expresiones:
I. (~ p  ~ q)  (~ q)
I.  x  A ,  y  A / x2  y  1
II. (~ r  q)  [(~ q  r)  s]
III. (p  q)  [(p  q) ~ q] II.  x  A ,  y  A / x2  y2  12
Son respectivamente :
III.  x  A ,  y  A ,  z  A/ x 2  y 2  2z 2
a) VFV b) FFF c) VVV IV.  x  A ,  y  A ,  z  A/ x 2  y 2  2z 2
d) VVF e) FFV
a) VFVV b) VVFV c) VVVF
16. Sean las proposiciones:
d) FVVV e) VVVV
* p(x ) : x  R , x 0  1
21. Señalar la expresión equivalente a la proposición:
2 (p ~ p)  (~ q ~ p)
* q (y ) :  y  N / y  0

r(z) :  z  R , z 2  9 2  (z  3)(z  3) a) q  p
*
b) p  q
Indique el valor de verdad de:
c) (p  q) ~ p
p  q , p  r , rq
d) ~ p  (p  q)
a) FFV b) FVV c) VFV e) (q  p) ~ p
d) VVV e) FFF

13
Aritmética

22. Indicar el valor de verdad de: 28. Simplificar:


I. p  (p  q) M  [(~ p  q)  (~ q  p)] ~ (p  q)
II. (p  q)  (p  q)
a) q b) p c) ~p
III. ~ [(p  q)  p] d) ~q e) ~ p  q

a) VVV b) VFV c) VVF 29. Simplificar:


d) FVF e) FVV
~ [(~ p  q) ~ p]  [q  (p ~ q)]
23. Indicar el valor de verdad de:
I. ~ [(p  q)  p] a) p ~ q b) ~ p  q
II. (p  q)  p c) ~ (p  q) d) ~ (p  q)
III. (p  q)  (p  q) e) p  q
IV. p  (p  q)
30. De la veracidad de:
a) VFVF b) VVVF c) FVFV ~ [(p ~ q)  (~ r ~ s)]
d) VFFV e) FVVV Deducir el valor de verdad de :
I. ~ (~ q  ~ s) ~ p
24. Simplificar el siguiente circuito:
II. ~ (~ r  s)  (~ p ~ q)
q
III. p ~ [q ~ (s  r)]
~p
A B
q ~p a) FVV b) VVF c) FFV
~q d) VFF e) FFF

p 31. Indicar el valor de verdad de:


I. (~ p  ~ q)  (p  q)
a) p  q b) ~ p  q c) p  q es una contradicción.
d) ~ p  q e) ~ p ~ q II. [(p  q)  (q  r)]  (p  r)
es una tautología.
25. Hallar la proposición equivalente al circuito lógico: III. [p  (p  q)]  (q  r)
p q es una contingencia.
~q
a) VVV b) VVF c) VFF
~p d) VFV e) FVV
p
q
32. De los siguientes esquemas:
a) p b) p ~ q c) p  q
* (q  r)  (~ p  r)
d) ~ p  q e) p  ~ q
* [p  (p  q)]  p
26. Simplificar la proposición que corresponde al circuito: * [(~ p  q) ~ r] ~ [r  ~ (p ~ q)]
q Indicar en el orden dado cuál es Tautología (T),
Contingencia (S) o Contradicción (C):
~p
a) T , C , S b) T , S , C c) C , T , S
q p d) S , T , C e) S , C , T
~q
p 33. Dado el siguiente enunciado:
~ [{~ ([p  q]  p) ~ (q  r)}  q]
a) p  q b) ~ p  q c) p  q
Según su tabla de verdad, podemos decir que dicha
d) ~ p  q e) ~ p ~ q proposición es una:

27. Simplificar a su mínima expresión: a) Tautología. b) Contradicción.


(p  q)  [(p ~ q)  (p  q)] c) Contingencia. d) Ley lógica.
e) Equivalencia lógica.
a) p b) q c) p  q
d) p  q e) p  q

14
TRILCE

34. Si: I. p ~ q ~ (p  ~ q)
a * b  (a  b)  [b ~ (a  b)]
II. ~ (p q)  (p  q)  p  q
a b  {a  [b  (a  b)]} ~ a
III. ~ p  q ~ (~ p q)
Reducir :
{[(p * q) r] * (~ p * q)} {q * (p ~ q)} a) Sólo I b) Sólo II c) I y II
d) I y III e) Todas
a) ~p b) V c) F
d) p e) q 39. Si: p  q  p ~ q

35. Si se define: p# ~ q  (p  q) ~ p
Simplificar:
p  q  (p ~ q)  (q ~ p)
[(p  q)  (p  q)# (p  q)]
Simplificar: ~ [(p  ~ q) ~ q]
a) ~ p  q b) p c) ~q
a) p  q b) p  q c) ~ p  q d) ~ p ~ q e) ~p
d) ~p e) ~q
40. Si: p * q ~ p  ~ q
36. Se define el operador : (+), por la siguiente tabla:
Expresar ~p usando únicamente el operador (*)
p q p  q
V V V a) (p * p) * p
b) (p * ~p) * p
V F V c) ~(p * q)
F V F d) p*q
F F V e) p * (q * q)

Simplificar: (p + q) + p 41. La proposición equivalente más simple del siguiente


circuito:
a) F b) p  q c) ~ q  q p ~q
d) p  q e) V
q ~p r
M N
37. Se definen los operadores # y  por las siguientes q
p r t
tablas:
~p ~q
p q p # q p q p  q
V V F V V F Es:

V F F V F V a) p b) q c) r
F V F F V V d) p e) ~q
F F V F F V
42. El circuito lógico:
Simplificar:
p ~q
[(p# ~ q)  p]  (q  ~ p)
~p ~q
a) q  p b) q  p c) p  q q
d) p  q e) q ~ p A r B
s ~p
r s t
t
38. Se definen los operadores "  " y "  " por las siguientes r
tablas: s
r s t
t
p q p  q p  q
V V F V Es equivalente a:
V F V F
F V F V a) p b) q c) ~p
F F F V d) ~q e) p  q

¿Cuál o cuáles de las siguientes proposiciones son


verdaderas?

15
Aritmética

43. El circuito lógico más simple equivalente al siguiente Simplificar el siguiente circuito:
circuito:
p ~p y q
p x
q ~q s t x
t s q
A B y
p q ~p p q r q y
~q p x
q x
~p ~q ~r y
p q y
x p
q x
y
a) A p q B
x q q
p y
b) A q B x
y q
c) A s
B

d) A t
B a) p  q
b) p  q  r  s  t
e) A s t
B c) r  s
d) s  t
44. Si: e) p  q  r  s  t
A  [(p  q)  (p  r)]  [(p  t)  (p  ~ t)]
46. Sabiendo que la instalación de cada llave cuesta S/. 20.
q ~q ~q Cuánto se ahorraría si hacemos una instalación mínima;
B pero equivalente a:
~p q q
~p r
El circuito simplificado de A  B es: ~p r
~r
~p
a) ~q p
~q ~r p
p p q
b)
~q ~r
a) 80 b) 100 c) 140
~p d) 160 e) 180
c)
q r 47. Para una proposición cualquiera, "p" se define:
~q r
1 si p es Verdadero
d) F(p)  
p 0 si p es Falso
p q Si:
e) F(m)  1 donde m  (p  r)  s
~r
F(n)  0 donde n  p  (r  p)
45. Si la proposición x  y es equivalente al circuito:
Halle:
q ~r F(p  r)  F(r  s)  F(p  s)  F(~ p)
p ~q p q
r ~r p q a) 1 b) 2 c) 3
d) 4 e) 0
q ~p ~s r s t
~t
~q r

16
TRILCE

48. La siguiente función: 51. Si m y n son números reales, además se define:


1 ; Si p es verdadera  3m
F(p)    n  1 ; Si x es proposici ón verdadera
0 ; Si p es falsa f(x )  
 3n  1 ; Si x es proposición falsa
Si : F  1  F  0  m
(x ) (y)
Donde : Hallar:
x  (p ~ r)  (s  w)
y  w ~ s M m  n
Hallar: n m

E  F[(s ~ w)  (~ p  r)]  Sabiendo que: f  f  21


(q) (r)
Siendo:
F[~ (~ r ~ p)  (t  (w  ~ p))]
q : 4  3  1  0
a) 0 b) 1 r : 1  0  (1)2  0
c) 2 d) No se puede determinar
e) Tautología
1 1
a) b)  3 c)
49. Sean las proposiciones: 3 7
p: Si N  Z  , entonces: d) 1 e) 3

MCD (N ; N 2  1 ) =1
52. Sean r, s, t, pi , q i donde i = 1 ; 2 ; ..... ; n
q: El conjunto vacío es subconjunto y elemento.
proposiciones tales que p  t es falsa para todo i = 1 ;
r: MCD (ab07 ; 7)  7
2 ; ......... ; n
s: MCM (a ; b) = a  b  MCD (a ; b) = 1
s  p1  p 2  p 3  ....  p n es verdadera.
Además sean las proposiciones x e y:
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 Hallar el valor de verdad de:
F(x)  
0 ; si x es falso {(p5  t)  (q 2  p1)}  {~ (q1  q 2 )  (p3  t)}
Calcule:
F  F(P(p;q))  F(Q(q;r ))  F(P(r;s))
a) Verdadero.
b) Falso.
a) 0 b) 1 c) 2 c) Faltan datos.
d) 3 e) 4 d) No se puede determinar.
e) Depende del valor de verdad de r.
50. Sea la función:
f :{p/p es proposición}  {0 , 1} definido 53. Sea "S" una proposición que corresponde a la siguiente
tabla:
1 , si p es verdadero
por f   p q s
(p )
0 , si p es falso V V F
Indicar si es verdad la siguiente igualdad: V F V
f (p  q)  1  f(q)  f (~ p) F V V
F F F
a) Verdadero
b) Falso Y "r" la proposición más simplificada, equivalente a:
c) Depende de q [(p  q) ~ q]  ~ q
d) Es contradictorio ¿Cuál es el circuito más sencillo, equivalente al que
e) Es un enunciado abierto
resulta de conectar en paralelo los circuitos
correspondientes a "~r" y a "s"?

17
Aritmética

p 57. Diseñe el circuito que cumple con la siguiente tabla:


a)
~q x y z F
b) p q 0 0 0 1
p 0 0 1 0
c) 0 1 0 0
q 0 1 1 0
1 0 0 0
d) ~p q 1 0 1 0
1 1 0 0
e) ~p ~q
1 1 1 1
54. El equivalente de:
Utilice compuertas lógicas:
p
q xy
z
F
a)

a) p b) ~p c) q
d) ~q e) p  q x
b) y
z F

55. Dado el siguiente circuito: x


c) y F
p z
q
x

s d) y F
z

Si s es falsa. e) x F
¿Cuáles son los valores de verdad de p y q
respectivamente? 58. Expresar la operación lógica F; según la tabla:

a) VV b) VF c) FV x y z F
d) FF e) Faltan datos
0 0 0 0
56. Los profesores de Aritmética de la academia TRILCE 0 0 1 1
han diseñado un circuito integrado que recibe p y q 0 1 0 0
como entradas y s como salida. 0 1 1 0
1 0 0 0
p 1 0 1 1
s 1 1 0 0
1 1 1 0

q
a) x y z  xyz b) (x + y)z
a) p b) q c) V c) x + y + z d) x y z  x y z
e) xyz
d) F e) p  q

18
TRILCE

59. Dada la siguiente tabla: 60. El circuito lógico permite detectar el estado de 3 aviones
A, B, C de tal manera que la lámpara de alarma en la
x y z F base se enciende cuando los tres aviones están
0 0 0 0 averiados o cuando sólo el avión A está averiado.
Expresar F en función de las entradas A, B y C:
0 0 1 1
Avión sin averías: 0
0 1 0 0 Avión con averías: 1
0 1 1 0 Lámpara apagada: 0
1 0 0 1 Lámpara encendida: 1
1 0 1 1
A B C
1 1 0 1
1 1 1 1

Diseñar el circuito:

x Lámpara
de alarma
y F A F
z B Circuito
C Lógico BASE
que cumple con dicha tabla utilizando las compuertas:
INVERSOR, AND, OR.
a) F  A(B C  BC)
x b) F = A + BC
F
a) y c) F = ABC
z d) F = A (B + C)

x e) F  A B C

b) y F
z
x

c) y F
z
x
d) y F
z
x F
e) y

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 población
trabajaba salvo él, grandísimo vago, que ejercía de enlace psicoastral. Cada día obligaba a algún desdichado ciudadano a
competir contra él en un extraño concurso. El aspirante debía formular al adivino una pregunta acerca de algún suceso
futuro cuya respuesta debía ser simplemente "sí" o "no". En caso de que el vago acertase la respuesta, el desafortunado
concursante se convertía en su esclavo y era obligado a trabajar para él de por vida. Si el adivino errase la respuesta, éste
sería depuesto, convertido en asno y condenado a rebuznar durante mil años. Por desgracia para los pobladores de Coz,
el vago poseía una esfera de cristal, que funcionaba mediante la magia capaz de anticipar el futuro con toda certeza. Si usted
fuera el próximo rival del malvado vago. ¿Qué pregunta le haría?".

19
Aritmética

Claves
01. a 31. a

02. b 32. d

03. e 33. b

04. d 34. c

05. a 35. a

06. b 36. e

07. b 37. a

08. b 38. e

09. b 39. a

10. b 40. b

11. c 41. c

12. d 42. c

13. d 43. e

14. a 44. a

15. b 45. b

16. b 46. d

17. e 47. c

18. c 48. c

19. d 49. c

20. e 50. b

21. c 51. e

22. c 52. a

23. e 53. c

24. d 54. b

25. d 55. b

26. c 56. e

27. d 57. a

28. d 58. d

29. c 59. c

30. e 60. a

20

You might also like