Professional Documents
Culture Documents
La lgica estudia la forma de razonamiento. Es una 1. Proposicin Simple: Son proposiciones que no
discipli-na que se utiliza para determinar si un argumento tienen conjunciones gramaticales ni adverbio de
es vlido, tiene aplicacin en todos los campos del saber; negacin.
en la filoso-fa, para determinar si un razonamiento es Ejemplo:
vlido o no, ya que una frase puede tener diferentes * Cincuenta es mltiplo de diez.
interpretaciones; sin embargo la lgica permite saber el
significado correcto. Los matemticos usan la lgica, para 2. Proposicin Compuesta: Formada por dos o ms
demostrar teoremas e infe-rir resultados que puedan ser proposiciones simples unidas por conectivos lgicos o
aplicados en investigaciones . En la computacin, para por el adverbio de negacin.
revisar programas y crear sus algoritmos, es utilizada en Ejemplo:
el diseo de computadoras. Exis-ten circuitos integrados * 29 es un nmero primo y 5 es impar.
que realizan operaciones lgicas con los bits, gracias a
estos se ha desarrollado las telecomunica-ciones (telefona CONECTIVOS LGICOS: Smbolos que enlazan dos o
ms proposiciones simples para formar una proposicin
mvil, internet, ...)
compuesta.
Los conectores lgicos que usaremos son :
ENUNCIADO: Es cualquier frase u oracin que
expresa una idea. OPERACIN
SMBOLO SIGNIFICADO
LGICA
PROPOSICIN: Son oraciones aseverativas que se ~ Negacin No p
pue-den calificar como verdaderas o falsas. Se Conjuncin pyq
representan con las letras minsculas del abecedario: p ; Disyuncin poq
q ; r ; s. Condicional Si p, entonces q
* Tpac Amaru muri decapitado. Bicondicional p si y slo si q
*Ejemplo:
9 < 10 Disyuncin
Exclusiva
"o ........ o ........"
* 45 = 3 2
ENUNCIADO ABIERTO: Son enunciados que pueden OBS: La negacin es un conector mondico, afecta sola-
tomar cualquiera de los 2 valores de verdad. mente a una proposicin.
Tabla de Verdad
p q p q LEYES DE LGEBRA PROPOSICIONAL
V V F
V F V Son equivalencias lgicas que nos permiten reducir esque-
F V V mas moleculares complejos y expresarlos en forma ms 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 lgico :
"Si ............, entonces .............." Principales Leyes:
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 proposicin
p q ~ (p q) puede ser verdadera o falsa, entonces podemos representar
una proposicin utilizando un circuito lgico:
j. Ley de Absorcin:
p (p q) p 1. Circuito Serie: Dos interruptores conectados en serie
p (p q) p representan una conjuncin.
p (~ p q) p q
p q < > p q
p (~ p q) p q
Ejemplo:
p p q
Sea : f : x 3 + 2 > 5 donde x N q
(x )
La proposicin cuantificada es :
p p q
q
2. Cuantificador existencial: Sea f(x ) una funcin
Ejemplo:
* Compuerta NOR de dos entradas
Sea f : x 5 < 8 , donde : x Z + , la proposicin:
2
(x )
p
+ 2
x Z / x 5 < 8 es verdadera: q ~ (p q)
Aritmtica
EJERCICIOS PROPUESTOS
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 proposicin 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)
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 , rq
d) ~ p (p q)
a) FFV b) FVV c) VFV e) (q p) ~ p
d) VVV e) FFF
Aritmtica
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)
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 instalacin de cada llave cuesta S/. 20.
q ~q ~q Cunto se ahorrara si hacemos una instalacin mnima;
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 proposicin 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 proposicin 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
48. La siguiente funcin: 51. Si m y n son nmeros reales, adems 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 proposicin 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
MCD (N ; N 2 + 1 ) =1
52. Sean r, s, t, pi , q i donde i = 1 ; 2 ; ..... ; n
q: El conjunto vaco 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.
Adems sean las proposiciones x e y:
P(x ;y ) x y r (p1 t) (p 2 t) .... (p n t)
a) p b) ~p c) q
d) ~q e) p q x
b) y
z F
s d) y F
z
Si s es falsa. e) x F
Cules son los valores de verdad de p y q
respectivamente? 58. Expresar la operacin lgica F; segn 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 Aritmtica de la academia TRILCE 0 0 1 1
han diseado 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
59. Dada la siguiente tabla: 60. El circuito lgico permite detectar el estado de 3 aviones
A, B, C de tal manera que la lmpara de alarma en la
x y z F base se enciende cuando los tres aviones estn
0 0 0 0 averiados o cuando slo el avin A est averiado.
Expresar F en funcin de las entradas A, B y C:
0 0 1 1
Avin sin averas: 0
0 1 0 0 Avin con averas: 1
0 1 1 0 Lmpara apagada: 0
1 0 0 1 Lmpara encendida: 1
1 0 1 1
A B C
1 1 0 1
1 1 1 1
Disear el circuito:
x Lmpara
de alarma
y F A F
z B Circuito
C Lgico 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 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?".
Aritmtica
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