Professional Documents
Culture Documents
Capítulo
1 LÓGICA PROPOSICIONAL
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.
9
Aritmética
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:
10
TRILCE
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
CUANTIFICADORES: p q
q
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
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
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) 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)
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
13
Aritmética
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)
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
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
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)
17
Aritmética
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
¿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