Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Z Mat1
Z Mat1
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.
2.
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
ENUNCIADO ABIERTO: Son enunciados que pueden
OPERACIN
SIGNIFICADO
LGICA
Negacin
No p
Conjuncin
pyq
Disyuncin
poq
Condicional
Si p, entonces q
Bicondicional
Disyuncin
Exclusiva
p si y slo si q
"o ........ o ........"
Ejemplo:
Si : P(x ) : x > 6
Se cumple que:
1.
V
V
F
F
V
F
V
F
V
F
F
F
Aritmtica
2.
V
V
F
F
3.
V
F
V
F
V
V
V
F
IMPORTANTE:
*
V V
V F
F V
F F
4.
F
V
V
F
V V
V F
F V
F F
5.
V
F
V
V
F
Principales Leyes:
a.
pp p
b.
6.
c.
d.
Ley Distributiva:
p (q r) (p q) (p r)
p (q r) (p q) (p r)
e.
f.
Leyes de Identidad:
pV V ; pF p
pV p ; pF F
p ~p
V F
V
Ley Asociativa:
(p q) r p (q r)
(p q) r p (q r)
Tabla de Verdad
Ley Conmutativa:
pq qp
pq qp
Tabla de Verdad
p q p q
V V
Ley de Idempotencia:
pp p
g.
p~ p V
p~ p F
h.
Donde n es la cantidad de proposiciones simples.
i.
CIRCUITOS LGICOS
Ley de la Bicondicional:
p q (p q) (q p)
p q (p q) (~ p ~ q)
p q ~ (p q)
j.
Ley de Absorcin:
p (p q) p
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.
p (p q) p
p (~ p q) p q
p (~ p q) p q
k.
2.
~ (p q) ~ p ~ q
~ (p q) ~ p ~ q
< >
p q
< >
CUANTIFICADORES:
p q
q
1.
Cuantificador
Universal:
Sea la funcin
LGICA BINARIA
Ejemplo:
p
q
x N ; x 3 + 2 > 5 es falsa.
2.
p
*
~p
p
q
Compuerta NOT
Ejemplo:
p q
~ (p q)
x Z / x 5 < 8 es verdadera:
p
q
~ (p q)
Aritmtica
EJERCICIOS PROPUESTOS
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)
b) 1
e) 4
c) 2
12 = 2 1 + 1 = 3
2 2
b) VFVV
e) FVVV
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
a) V
c) V o F.
e) Es V si p es F.
b) F
d) No se puede determinar.
a) p ; r
d) q ; t
b) p ; q
e) p ; r ; t
c) r ; t
a) VVFV
d) VVVF
a) VVF
d) VFV
c) 3
c) VFF
Una es proposicin.
Dos son enunciados abiertos.
Dos son expresiones no proposicionales.
Dos son proposiciones.
Todas son proposiciones.
a) 1
d) 4
b) VVV
e) FFF
Verdadero.
Falso.
Verdadero o falso.
Verdadero slo si q es verdadero.
Falso slo si r es falso.
c) VVVV
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
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
b) FVV
e) FFF
2
2
IV. x , y / x + y < 12
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
a) FVV
d) FVF
b) VVF
e) VFF
c) VFV
I.
(~ p ~ q) (~ q)
c) VVV
b) FVVV
e) VVVF
c) VVFF
20. Sea : A = {1 , 2 , 3}
Determinar el valor de verdad de las siguientes
expresiones:
x A , y A / x2 < y + 1
IV. x A , y A , z A/ x 2 + y 2 2z 2
a) VFVV
d) FVVV
p(x ) : x R , x 0 = 1
q (y ) : y N / y 2 0
r(z) : z R , z 2 9 2 = (z + 3)(z 3)
b) VVFV
e) VVVV
c) VVVF
c) VFV
III. x A , y A , z A/ x 2 + y 2 < 2z 2
a) FFV
d) VVV
b) FFV
e) FFF
II. x A , y A / x2 + y2 < 12
III. (p q) [(p q) ~ q]
Son respectivamente :
b) FFF
e) FFV
c) VVVF
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
I.
II. (~ r q) [(~ q r) s]
a) VFV
d) VVF
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
Aritmtica
28. Simplificar:
M = [(~ p q) (~ q p)] ~ (p 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
29. Simplificar:
a) p ~ q
b) ~ p q
c) ~ (p q)
d) ~ (p q)
e) p q
III. (p q) (p q)
IV. p (p q)
c) FVFV
~ [(p ~ q) (~ r ~ s)]
Deducir el valor de verdad de :
I.
24. Simplificar el siguiente circuito:
III. p ~ [q ~ (s r)]
~p
q
~p
~q
p
a) FVV
d) VFF
b) VVF
e) FFF
c) FFV
a) p q
b) ~ p q
d) ~ p q
e) ~ p ~ q
c) p q
~q
~p
III. [p (p q)] (q r)
es una contingencia.
a) VVV
d) VFV
p
q
b) p ~ q
e) p ~ q
(~ p ~ q) (p q)
es una contradiccin.
a) p
d) ~ p q
~ (~ q ~ s) ~ p
II. ~ (~ r s) (~ p ~ q)
q
A
c) ~p
~ [(~ p q) ~ p] [q (p ~ q)]
a) VFVF
d) VFFV
b) p
e) ~ p q
c) p q
b) VVF
e) FVV
c) VFF
(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):
~p
q
p
~q
p
a) p q
b) ~ p q
d) ~ p q
e) ~ p ~ q
c) p q
(p q) [(p ~ q) (p q)]
b) q
e) p q
b) T , S , C
e) S , C , T
c) C , T , S
a) p
d) p q
a) T , C , S
d) S , T , C
c) p q
34. Si:
p ~ q ~ (p ~ q)
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)
r] * (~ p * q)} {q * (p ~ q)}
a) ~p
d) p
b) V
e) q
a) Slo I
d) I y III
b) Slo II
e) Todas
c) F
39. Si: p q p ~ q
p# ~ q (p q) ~ p
Simplificar:
35. Si se define:
p q (p ~ q) (q ~ p)
Simplificar: ~ [(p ~ q) ~ q]
a) p q
d) ~p
b) p q
e) ~q
c) ~ p q
+ q
V V
V F
F V
V
F
a) ~ p q
b) p
d) ~ p ~ q
e) ~p
(p * p) * p
(p * ~p) * p
~(p * q)
p*q
p * (q * q)
b) p q
e) V
c) ~ q q
M
37. Se definen los operadores # y por las siguientes
tablas:
p # q
V V
V V
Es:
V F
F V
F
F
V F
F V
V
V
a) p
d) p
c) ~q
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
~q
~p
~p
~q
b) q
e) ~q
N
t
c) r
~p
a) q p
b) q p
d) p q
e) q ~ p
~q
[(p# ~ q) p] (q ~ p)
~q
c) p 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
Cul o cules de las siguientes proposiciones son
verdaderas?
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
Aritmtica
p
q
~p
~q
A
q
~p
~q
~p ~q
~r
y
x
q
p
t
p q r
p
p
q
y
x
x
y
q
q
a) A
b) A
c) A
d) A
e) A
B
a) p q
b) p q r s t
c) r s
d) s t
e) p q r s t
44. Si:
A [(p q) (p r)] [(p t) (p ~ t)]
x
y
x
y
q
x
y
y
x
x
y
~q
~q
B
~p
~p
r
~p
~r
~p
a)
~q
~r
~q
p
b)
~q
~r
a) 80
d) 160
~p
c)
~q
d)
1 si p es Verdadero
F(p) =
0 si p es Falso
Si:
e)
F(m) = 1 donde m = (p r) s
~r
q ~r
~q
r
q
~q
~p
r
c) 140
b) 100
e) 180
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
3m
n + 1 ; Si x es proposici n verdadera
f(x ) =
3n 1 ; Si x es proposicin 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:
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
n
m
q : 4 < 3 1 = 0
b) 1
d) No se puede determinar
a)
b) 3
c)
1
7
e) 3
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
1 ; si x es verdader o
F(x) =
0 ; si x es falso
Calcule:
a) 0
d) 3
b) 1
e) 4
c) 2
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.
Faltan datos.
No se puede determinar.
Depende del valor de verdad de r.
V V
V F V
F V V
F
a)
b)
c)
d)
e)
Verdadero
Falso
Depende de q
Es contradictorio
Es un enunciado abierto
[(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"?
Aritmtica
~q
x y
a)
p
b)
z F
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
c)
q
d)
~p
e)
~p
~q
1 0 1 0
1 1 0 0
1 1 1 1
p
q
xy
z
F
a)
a) p
d) ~q
b) ~p
e) p q
c) q
x
b) y
z
p
q
x
y
z
F
F
s
Si s es falsa.
Cules son los valores de verdad de p y q
respectivamente?
a) VV
d) FF
b) VF
e) Faltan datos
d) y
z
e) x
c) FV
x y
z F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 0
a) p
d) F
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
x y
z F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
Disear el circuito:
x
y
z
Lmpara
de alarma
A
B
C
Circuito
Lgico
F
BASE
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
c)
y
z
x
d) y
z
x
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.
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.