Capt ul o
LGICA PROPOSICIONAL
1
INTRODUCCI N
La lgica estudia la forma de razonamiento. Es una discipli-
na que se utiliza para determinar si un argumento es vlido,
tiene aplicacin en todos los campos del saber; en la filoso-
fa, para determinar si un razonamiento es vlido o no, ya
que una frase puede tener di ferentes interpretaciones; sin
embargo la lgica permite saber el significado correcto. Los
matemticos usan la lgica, para demostrar teoremas e infe-
rir resultados que puedan ser aplicados en investigaciones .
En la computaci n, para revi sar programas y crear sus
algoritmos, es utilizada en el diseo de computadoras. Exis-
ten circuitos integrados que realizan operaciones lgicas con
los bits, gracias a estos se ha desarrollado las telecomunica-
ciones (telefona mvil, internet, ...)
ENUNCI ADO: Es cualquier frase u oracin que expresa
una idea.
PROPOSI CI N: Son oraciones aseverativas que se pue-
den 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
ENUNCI ADO ABI ERTO: Son enunci ados que pueden
tomar cualquiera de los 2 valores de verdad.
Ejemplo:
Si : 6 x : ) x ( P >
Se cumple que:
6 9 : ) 9 ( P > es verdadero
6 2 : ) 2 ( P > es falso
El valor de verdad de P(x) depende del valor de x, tambin,
se le conoce como funcin proposicional.
CLASES DE PROPOSI CI ONES:
1. Proposi cin Simple: Son pr oposi ci ones que no
t i enen conj unci ones gr amat i cal es ni adver bi o de
negaci n.
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.
CONECTI VOS LGI COS: Smbolos que enlazan dos o
ms proposi ci ones si mples para formar una proposici n
compuesta.
Los conectores lgicos que usaremos son :
S MBOLO
OPERACI N
LGI CA
SI GNI FI CADO
~ Negaci n No p
. Conjuncin p y q
v
Di syuncin p o q
\
|
= + |
.
|
\
|
=
2
3
2
1
1 2 1
2
a) VVFV b) VFVV c) VVVV
d) VVVF e) FVVV
05. Deter mi nar el valor de verdad de cada una de la
siguientes proposi ciones:
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.
a) VFV b) VVV c) VFF
d) FVF e) FFF
06. Si : r ) q ~ p ( . ; es falsa, determinar los valores de
verdad de "p", "q" y "r".
a) VVF b) VFF c) VVV
d) VFV e) FFF
07. Simbolizar:
~ p
q
~ q
Si la proposicin que se obtiene es falsa.
Cules son los valores de p y q respectivamente?
a) VV b) VF c) FV
d) FF e) No se puede precisar
08. Si l a pr o po si ci n: ) s r (~ ) q ~ p ( v es f al sa,
deducir el valor de verdad de :
p ~ ) q ~ p (~ v .
a) V b) F
c) V o F. d) No se puede determinar.
e) Es V si p es F.
09. Si la proposicin compuesta:
) t r ( ) q p ( v .
Es falsa. Indicar las proposiciones que son verdaderas:
a) p ; r b) p ; q c) r ; t
d) q ; t e) p ; r ; t
10. Si "p" es una proposicin falsa, determina el valor de
verdad de la expresin:
) q p r ( )] } p q (~ r [ ) q p { ( . . . v
a) Verdadero.
b) Falso.
c) Verdadero o falso.
d) Verdadero slo si q es verdadero.
e) Falso slo si r es falso.
11. Si la proposicin:
) r q ( ) q p ( .
es falsa, hallar el valor de verdad de las si gui entes
frmulas:
I. ) q p ( ) r p ( ~ v v
II. ) q r (~ ) q ~ p ( . v
III. ) r ~ p ( )] r ~ q ( ) q p [ ( v . v .
a) VVF b) VFV c) VVV
d) VFF e) FVV
5
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:
I. s ] r ) q p [ ( . v v
II. ) p s ( r .
III. ) s ~ r ( ) r p ( . v
a) VFF b) FVV c) VVV
d) VVF e) FFF
13. Si la proposicin:
) s r ( p v
Es falsa, cuntas de las sigui entes proposiciones son
verdaderas?
I. p ~ ) t s (~ v v
II. p r
III. r ~ t
IV. ) t s ( ) p r ( v
a) Ninguna b) Una c) Dos
d) Tres e) Cuatro
14. Si la proposicin compuesta:
] q) ~ r ( ) r ~ p [ ( ~ A .
no es f al sa. H al l ar el v al or d e ver d ad d e l as
proposiciones r, p y q respectivamente.
a) FVV b) VVF c) VFV
d) FVF e) VFF
15. De la falsedad de la proposicin :
) s r (~ ) q ~ p ( v se deduce que el valor de verdad
de los esquemas:
I. ) q (~ ) q ~ p (~ v .
II. ] s ) r q [ (~ ) q r (~ . v v
III. ] q ~ ) q p [ ( ) q p ( . v
Son respectivamente :
a) VFV b) FFF c) VVV
d) VVF e) FFV
16. Sean las proposiciones:
* 1 x , R x : p
0
) x (
= e
* 0 y / N y : q
2
) y (
s e -
* ) 3 z )( 3 z ( 9 z , R z : r
2 2
) z (
+ = e
Indique el valor de verdad de:
q p , r p , q r v
a) FFV b) FVV c) VFV
d) VVV e) FFF
17. Sea : U = { 1 , 2 , 3} , el conjunto universal.
Hallar el valor de verdad de:
I.
1 y x / y , x
2
+ < -
II.
12 y x / y , x
2 2
< + -
III. 12 y x / y , x
2 2
< +
IV. 12 y x / y , x
2 2
< + - -
a) VFVF b) VVFF c) VVVF
d) VVVV e) VVFV
18. Si : U = { 1 ; 2 ; 3 ; 4 ; 5}
Cul es el val o r de v er dad de l as si gui ent es
proposi ci ones?
I.
4 x 3 x : U x < v > e
II.
6 x 8 2 x : U x > < + e -
III.
2 1 - x 5 2 x : U x = = + e
a) VVV b) FFV c) VFV
d) FVF e) FFF
19. H al l ar l o s val o r es de v er dad de l as si gui ent es
proposi ci ones:
I. x) 1 x , R x ( x) x , R x ( > + e - . = e
II. 1) - x 1 x , Z x ( x) x , R x (
2
= + e - . = e
III. 0) x , Q x ( 0) x , N x ( = e = e -
IV. x) 1 x , R x ( x) 3 x , N x ( > e s e -
a) FVVF b) FVVV c) VVFF
d) VFFF e) VVVF
20. Sea : A = { 1 , 2 , 3}
Det er mi nar el val or de v er dad de l as si gui ent es
expresi ones:
I. 1 y x / A y , A x
2
+ < e e -
II. 12 y x / A y , A x
2 2
< + e - e
III.
2 2 2
z 2 y x A/ z , A y , A x < + e - e e -
IV.
2 2 2
z 2 y x A/ z , A y , A x s + e e - e -
a) VFVV b) VVFV c) VVVF
d) FVVV e) VVVV
21. Sealar la expresin equi valente a la proposicin:
) p ~ q (~ ) p ~ p ( v . v
a) p q
b) q p
c) p ~ ) q p (
d) ) q p ( p ~
e) p ~ ) p q (
6
22. Indicar el valor de verdad de:
I. ) q p ( p v
II. ) q p ( ) q p ( .
III. ] p ) q p [ ( ~ .
a) VVV b) VFV c) VVF
d) FVF e) FVV
23. Indicar el valor de verdad de:
I. ] p ) q p [ ( ~ .
II. p ) q p ( .
III. ) q p ( ) q p ( .
IV. ) q p ( p v
a) VFVF b) VVVF c) FVFV
d) VFFV e) FVVV
24. Simplificar el siguiente circuito:
~ p
q
q
~ p
~ q
p
A B
a) q p v b) q p ~ v c) q p .
d) q p ~ . e) q ~ p ~ v
25. Hallar la proposicin equivalente al circuito lgico:
p
q
~ q
~ p
p q
a) p b) q ~ pv c) q p v
d) q p ~ v e) q ~ p .
26. Simplificar la proposicin que corresponde al circuito:
q
~ p
p q
~ q
p
a) q p v b) q p ~ v c) q p .
d) q p ~ . e) q ~ p ~ v
27. Simplificar a su mnima expresin:
)] q p ( ) q ~ p [ ( ) q p ( v v .
a) p b) q c) q p .
d) q p v e) q p
28. Si mpli ficar:
) q p ( ~ )] p q (~ ) q p [ (~ M . . v v =
a) q b) p c) ~ p
d) ~ q e) q p ~ v
29. Si mpli ficar:
)] q ~ p ( q [ ] p ~ ) q p [ (~ ~
a) q ~ p. b) q p ~ v
c) ) q p ( ~ . d) ) q p ( ~ v
e) q p v
30. De la veracidad de:
)] s ~ r (~ ) q ~ p [ ( ~ v
Deducir el valor de verdad de :
I. p ~ ) s ~ q (~ ~ v
II. ) q ~ p (~ ) s r (~ ~ .
III. )] r s ( ~ q [ ~ p
a) FVV b) VVF c) FFV
d) VFF e) FFF
31. Indicar el valor de verdad de:
I. ) q p ( ) q ~ p (~ v .
es una contradiccin.
II. ) r p ( )] r q ( ) q p [ ( .
es una tautologa.
III. r) q ( )] q p ( p [ A .
es una contingencia.
a) VVV b) VVF c) VFF
d) VFV e) FVV
32. De los siguientes esquemas:
* ) r p (~ ) r q ( v
* p )] q p ( p [ .
* )] q ~ p ( ~ r [ ~ ] r ~ ) q p [ (~ v . .
I ndi car en el or den dado cul es Taut ol oga (T) ,
Contingencia (S) o Contradiccin (C):
a) T , C , S b) T , S , C c) C , T , S
d) S , T , C e) S , C , T
33. Dado el siguiente enunciado:
] q )} r q ( ~ ) p ] q p ([ [ { ~ ~ v . . v
Segn su tabla de verdad, podemos deci r que di cha
proposicin es una:
a) Tautologa. b) Contradiccin.
c) Contingencia. d) Ley lgica.
e) Equivalencia lgica.
7
34. Si:
)] b a ( ~ b [ ) b a ( b * a v v
a ~ )] } b a ( b [ a { b a v v
Reducir :
q)} ~ (p * { q q)} * p (~ * r] q) * { [ (p .
a) ~ p b) V c) F
d) p e) q
35. Si se define:
p) ~ (q q) ~ (p q p . v . A
Simplificar: ] q ~ q) ~ p [ ( ~ A
a) q p . b) q p v c) q p ~ .
d) ~ p e) ~ q
36. Se define el operador : (+ ), por la siguiente tabla:
V F F
F V F
V F V
V V V
q p q p +
Simplificar: (p + q) + p
a) F b) q p v c) q q ~ v
d) q p . e) V
37. Se defi nen los operadores # y
u
por las si gui entes
tablas:
V F F
F V F
F F V
F V V
q # p q p
V F F
V V F
V F V
F V V
q p q p u
Si mpli ficar:
p) ~ q ( ] p ) q ~ # p [ ( u . u
a) p q b) p q A c) q p v
d) q p . e) p ~ q
38. Se definen los operadores "
V
" y "
|
" por las siguientes
tablas:
V F F F
V F V F
F V F V
V F V V
q p q p q p | V
Cul o cules de las si gui entes proposi ci ones son
verdaderas?
I. ) q ~ p ( ~ q ~ p V
II. q p q) p ( ) q p ( ~ | v V
III. ) q p ~ ( ~ q p ~ V |
a) Slo I b) Slo II c) I y II
d) I y III e) Todas
39. Si: q ~ p q p -
p ~ ) q p ( q ~ # p
Si mpli ficar:
)] q p ( )# q p ( ) q p [ ( v - .
a) q p ~ v b) p c) ~ q
d) q ~ p ~ v e) ~ p
40. Si: q ~ p ~ q * p . =
Expresar ~ p usando nicamente el operador (* )
a) (p * p) * p
b) (p * ~ p) * p
c) ~ (p * q)
d) p * q
e) p * (q * q)
41. La proposi ci n equi valente ms simple del sigui ente
circuito:
N M
p
q
~ p
~ q
p q
~ q
~ p
r
r
t
Es:
a) p b) q c) r
d) p e) ~ q
42. El circuito lgico:
A
B
~ p
~ p
p ~ q
~ q
q
r s t
r
t
s
r
t
s
r s t
Es equivalente a:
a) p b) q c) ~ p
d) ~ q e) q p .
8
43. El circui to lgi co ms simple equi valente al siguiente
circuito:
q
~ p ~ q
p q
r
s t
p
q
~ p
~ q
p
s t
~ p
~ q
~ r
A
B
a)
A B
p q
b)
A B
q
c)
A B
s
d)
A B
t
e)
A B
t s
44. Si:
)] t ~ p ( ) t p [ ( )] r p ( ) q p [ ( A . v . . . v .
B
q ~ q
~ p q
~ q
q
El circuito simplificado de
B A
es:
a)
~ p
~ q ~ r
b)
~ q ~ r
p
c)
~ p
q r
d)
r ~ q
p
e)
~ r
p q
45. Si la proposicin y x v es equivalente al circuito:
p
q ~ r
~ q
r
q ~ p
~ q r
p q
~ r
~ s
~ t
p q
r s t
Simplificar el siguiente circuito:
p
y
x
y
x
q
q
p
y
x
y
x
q
q
p
y
x
y
x
q
q
p
p
q
q
y
x
y
x
q
a) q p .
b) t s r q p . . . .
c)
s r .
d)
t s .
e) t s r q p v v v v
46. Sabiendo que la instalacin de cada llave cuesta S/. 20.
Cunto se ahorrara si hacemos una instalacin mnima;
pero equivalente a:
p
~ p r
~ r
~ p r
~ q p
p q
a) 80 b) 100 c) 140
d) 160 e) 180
47. Para una proposicin cualquiera, "p" se define:
=
Falso es p si 0
Verdadero es p si 1
F
) p (
Si:
1 F
) m (
= donde s ) r p ( m v =
0 F
) n (
= donde ) p r ( p n v =
Halle:
) p (~ F ) s p ( F ) s r ( F ) r p ( F + + v + .
a) 1 b) 2 c) 3
d) 4 e) 0
9
48. La siguiente funcin:
=
falsa es p Si ; 0
verdadera es p Si ; 1
F
) p (
Si : 0 F 1 F
(y) ) x (
= . =
Donde :
) w s ( ) r ~ p ( x .
s ~ w y v
Hallar:
+ v = )] r p (~ ) w ~ s [ ( F E
))] p ~ w ( t ( ) p ~ r (~ [ ~ F .
a) 0 b) 1
c) 2 d) No se puede determinar
e) Tautologa
49. Sean las proposiciones:
p: Si
+
eZ N , entonces:
MCD (N ; 1 N
2
+ ) = 1
q: El conjunto vaco es subconjunto y elemento.
r: MCD 7 7) ; 0 ab ( 7 =
s: MCM (a ; b) =
b a
MCD (a ; b) = 1
Adems sean las proposiciones x e y:
y x P
) y ; x (
.
y x Q
) y ; x (
=
falso es x si ; 0
o verdader es x si ; 1
F
) x (
Calcule:
) P ( F ) Q ( F ) P ( F F
) s ; r ( ) r ; q ( ) q ; p (
+ + =
a) 0 b) 1 c) 2
d) 3 e) 4
50. Sea la funcin:
f :{ p/p es proposicin} { 0 , 1} definido
por
=
falso es p si , 0
verdadero es p si , 1
f
) p (
Indicar si es verdad la siguiente igualdad:
) q ( f 1 ) q p ( f = ) p (~ f
a) Verdadero
b) Falso
c) Depende de q
d) Es contradictorio
e) Es un enunciado abierto
51. Si m y n son nmeros reales, adems se define:
+
=
falsa n proposici es x Si ; 1
m
3n
verdadera n proposici es x Si ; 1
n
m 3
f
) x (
Hallar:
m
n
n
m
M + =
Sabiendo que: 21 f f
) r ( ) q (
= +
Siendo:
0 1 3 4 : q = <
0 ) 1 ( 0 1 : r
2
< <
a)
3
1
b) 3 c)
7
1
d) 1 e) 3
52. Sean r, s, t,
i
p
,
i
q
donde i = 1 ; 2 ; ..... ; n
proposiciones tales que t p . es falsa para todo i = 1 ;
2 ; ......... ; n
n 3 2 1
p .... p p p s v v v v
es verdadera.
) t p ( .... ) t p ( ) t p ( r
n 2 1
. v v . v .
t p q
i i
v
es falso para i par y es verdadera para i
impar.
Hallar el valor de verdad de:
t)} (p ) q (q ~ { } p q ( ) t p { (
3 2 1 ) 1 2 5
. v . A . v
a) Verdadero.
b) Falso.
c) Faltan datos.
d) No se puede determinar.
e) Depende del valor de verdad de r.
53. Sea "S" una proposicin que corresponde a la siguiente
tabla:
F F F
V V F
V F V
F V V
s q p
Y "r" la proposicin ms simplificada, equivalente a:
q ~ ] q ~ ) q p [ ( .
Cul es el ci rcui to ms senci llo, equivalente al que
r esul t a de conect ar en par al el o l o s ci r cui t o s
correspondientes a "~ r" y a "s"?
10
a)
p
~ q
b) p q
c)
p
q
d) q ~ p
e) ~ q ~ p
54. El equivalente de:
p
q
a) p b) ~ p c) q
d) ~ q e) q p .
55. Dado el siguiente circuito:
p
q
s
Si s es falsa.
Cul es son l os v al or es d e ver d ad d e p y q
respectivamente?
a) VV b) VF c) FV
d) FF e) Faltan datos
56. Los profesores de Aritmtica de la academia TRILCE
han diseado un ci rcuito integrado que recibe p y q
como entradas y s como salida.
s
p
q
a) p b) q c) V
d) F e) q p v
57. Disee el circuito que cumple con la siguiente tabla:
1 1 1 1
0 0 1 1
0 1 0 1
0 0 0 1
0 1 1 0
0 0 1 0
0 1 0 0
1 0 0 0
F z y x
Utili ce compuertas lgicas:
a)
x
y
z
F
b)
x
y
z
F
c)
x
y
z
F
d)
x
y
z
F
e) x
F
58. Expresar la operacin lgica F; segn la tabla:
0 1 1 1
0 0 1 1
1 1 0 1
0 0 0 1
0 1 1 0
0 0 1 0
1 1 0 0
0 0 0 0
F z y x
a) xyz z y x + b) (x + y)z
c) x + y + z d) z y x z y x +
e) xyz
11
59. Dada la siguiente tabla:
1 1 1 1
1 0 1 1
1 1 0 1
1 0 0 1
0 1 1 0
0 0 1 0
1 1 0 0
0 0 0 0
F z y x
Disear el circuito:
F
x
y
z
que cumple con dicha tabla utilizando las compuertas:
INVERSOR, AND, OR.
a)
x
y
z
F
b)
x
y
z
F
c)
x
y
z
F
d)
x
y
z
F
e)
x
y
F
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 enci ende cuando l os t r es avi ones est n
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
A
B
C
F
Circui to
Lgi co BASE
Lmpara
de alarma
A B C
a) BC) C B ( A F + =
b) F = A + BC
c) F = ABC
d) F = A (B + C)
e) C B A 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?".
12
Cl aves
Cl aves
01.
02.
03.
04.
05.
06.
07.
08.
09.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
a
b
e
d
a
b
b
b
b
b
c
d
d
a
b
b
e
c
d
e
c
c
e
d
d
c
d
d
c
e
31.
32.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
51.
52.
53.
54.
55.
56.
57.
58.
59.
60.
a
d
b
c
a
e
a
e
a
b
c
c
e
a
b
d
c
c
c
b
e
a
c
b
b
e
a
d
c
a