Escolar Documentos
Profissional Documentos
Cultura Documentos
INTRODUCCIN
APELAMOS A TU ENTUSIASMO E
INICIATIVA DE SUPERVICION al
iniciar
El presente captulo te brindar los
conocimientos bsicos para el
aprendizaje de Lgica - Matemtica.
Si
CONCLUYES
SATISFACTORIAMENTE Espera
la convocacin a la sesin de
refuerzo y evaluacin directa que
te ser comunicada por el
Coordinador responsable de la
Educacin a Distancia.
Tarea cumplida!
3.
AUTOEVALUACIN
INSTRUCCIONES
La EDUCACION A DISTANCIA
significa
APRENDER
temas
supeditados A TU PROPIO RITMO E
INTERES, mediante manuales auto
instructivos que reemplazan al
profesor, TE COMUNICAMOS LAS
REGLAS que debers tener en
cuenta para tu autoeducacin.
1. CONDICIONES DE ESTUDIO
1.1 Cultiva hbitos de ESTUDIO,
es decir estudia en un LUGAR
adecuado.
1.2 EL LUGAR que elijas debe ser
TRANQUILO,
cmodo
e
iluminado.
Christopher Lawrence ARONI YANGALI
Pgina | 5
2.
ESTUDIO
DEL
AUTOINSTRUCTIVO
MANUAL
3ro Ejecuta
una
SEGUNDA
LECTURA fijando tu inters y
entendimiento en:
La IDEA CENTRAL resaltada con
MAYUSCULAS.
1.1
1.2
PROPOSICIN
Ejemplos:
PROPOSICIN
1) p : Albert Einstein naci en EE.UU
2) q: 5! = 2
3) r: El nmero 8 es divisible por 2
4) s: El tringulo tiene 4 lados
VALOR DE VERDAD
V(p) = F
V(q) = F
V(r) = V
V(s) = F
2. Arriba Alianza
3. Cllate
2.
CLASES DE PROPOSICIONES
2.1
Ejemplos:
p : El Basic es un lenguaje de
programacin.
r: 3 es un nmero impar.
La conjuncin
La disyuntiva inclusiva
La disyuntiva exclusiva
La condicional
La bicondicional
La negacin alterna
OPERADOR
Negacin
No ...
Conjuncin
...y.
Disyuncin
inclusiva
...o...
No hace fri
~p
pq
Leemos o copiamos
pq
Disyuncin
exclusiva
o...o...
0 voy al Instituto o a
la discoteca
p q
Condicional
si... entonces
Si estudias entonces
pq
apruebas
matemtica
Aprueba
matemtica
Bicondicional
...si y slo si
Negacin
conjunta
Negacin
alterna
Ni... ni...
Si y slo si estudian
p q
pq
p|q
N = 2n
TABLA DE
FILAS
N =21
N =22
N =23
N =24
16
3.4.1 LA NEGACIN
"p es la proposicin ~p", que se lee: "no p", cuya tabla de verdad es:
~P
~ p : 5 no es un nmero par.
~ p : 5 es un nmero impar.
El valor de verdad de ~q es F.
3.4.2 LA CONJUNCION
La conjuncin de las proposiciones "p" y "q" es "p a q", que se lee: "p y q",
cuya tabla de verdad es:
pq
pq
VV
VF
FV
FF
p : El 10% de 50 es 5.......(V)
q : El 30% de 20 es 6.......(V)
pq
Pq
VV
VF
FV
FF
"Convendremos, a partir del significado cotidiano del conectivo "o", que "p v q" es
verdadera si por lo menos una de las proposiciones componentes es verdadera y
falsa slo si ambas son falsas. Ejemplos
1. 5 es un nmero natural o -7 es un nmero racional. Es del tipo de la
Disyuncin Inclusiva, donde
p : 5 es un nmero natural........(V)
q : -7 es un nmero racional......(V)
Luego, p q es verdad, segn la tabla de verdad.
2. La suma de los ngulos internos de un tringulo es 360 o es 90, entonces
se tiene:
p : La suma de los ngulos Internos de un tringulo es 360
(F)
(F)
Luego, p v q = F
3.4.4 DISYUNCION EXCLUSIVA
El conectivo "O ... o ...", nos da la carga de separacin total; de
'disyuncin definitiva. La disyuncin exclusiva de las proposiciones simples
p y q es p y q y se lee: ,"0 p o q", cuya tabla de verdad es:
Pq
V
V
F
V
F
V
F
V
V
3.4.5 LA CONDICIONAL
Dadas las proposiciones p v q, se denomina proposicin
condicional a la que resulta de unir p y q por el conectivo "si ... entonces",
que se denota por e! smbolo "", se lee: "si p, entonces q". La
proposicin p se denomina antecedente y la proposicin q, consecuente.
P
V
V
F
F
q
V
F
V
F
Pq
V
F
V
V
p solo si q
p es consecuencia para q
p luego q
p por lo tanto q
p de modo que q
Ejemplos:
1. Si p : 2 es un nmero impar......(V)
q : 2 es un nmero primo............(F)
Luego:
p q : 2 es un nmero impar, por consiguiente 2 es primo.
p q : 2 es un nmero par, entonces 2 es primo.
p : 2 es un nmero par, es suficiente para que 2 sea primo.
El valor de verdad de p => q es falso.
Si a=b, entonces a2=b2 donde:
p : a=b
q : a2=b2
pq
qp
~p~q
~qp
3.4.6 LA BICONDICIONAL
Se simboliza por p q y se lee: "p si y solo si q". Es
aquella proposicin compuesta que es verdadera en los casos que
p y q tengan valores de verdad. (Ambas verdaderas o ambas
falsas) y es falsa en los casos que p y q tengan valores de verdad
opuestas; siendo su tabla de verdad:
P
pq
p es equivalente a q
p es exactamente q cuando q
Ejemplos:
q
2. Si p: log 100 =2............(V)
q : 100 = 102.........(V)
Entonces:
(V)
Luego
p : x2 +1 =0 es una ecuacin
(V)
Finalmente p q es falso.
3.4.7 NEGACIN CONJUNTA O NICOD
VV
VF
FV
FF
Ejemplo:
1. Ni - 2 es un nmero natural ni es un nmero primo, es
del tipo p | q, donde:
p : -2 es un nmeral...................(F)
q : -2 es un nmero primo..........(F)
Finalmente: p q es una proposicin verdadera (observa la tabla de verdad.
pq
V V
V F
F V
F F
EJERCICIOS DE APLICACIN
c. La computadora.
e. Psame el disquette!.
I.
II.
III.
IV.
q: soy matemtico.
Simblicamente se tiene.
q q=~q v p
I.
II.
~(~q v p)=q v p
III.
p ~q=~q p
Sea:
p: Fumo demasiado,
q: Me duele la garganta.
Si fumo demasiado entonces me duele la garganta y
c)
p
~p
~p q
~p
p
d)
~p
~p
p
~q
~r
~q q
~p
~q
~q
q
c)
b)
d)
p
p
~p
p
~p
r
~r
~p
p
~q
A
A
B
B
a'
b'
a'
a
Solucin:
a) [p(pp)]~q
b) [(pq)~p][(~pp)(r~r)]
c) [A(AB][B(BA)]
d) [(aa)(bb)]a[(aa)b]
q
p
q
p
Solucin:
{[(p(pq)]p}{p[(pq)p]}
= (pp){p[p(pq)]}
Absorcin
= p[p(pq)]
Idemp. Absorc.
= p(pq)
Absorcin
= pq
Absorcin
a
b
p
q
~q
~p
~q
{[p~q)(qp)][(p~q)(~q~p)]}~q =
= {[p~q)(pq)][(~qp)(~q~p)]}~q
Conmutat.
= {[p(~qq)][~q(p~p)]} ~q
Distributiva
= [(pC)(~qT)]~q
Complemento
= (p~q)~q
Elemento Neutro
= ~q(~qp)
Conmutativa
El circuito simplificado es
~q
r
~s
~r
s
r
Solucin:
[(q~r)r]{~s[(~s~r)(sr)]
= [rq)(~s(TT)
= (rq)(~sT)
= (rq)~s
El circuito simplificado es:
q
~r
p
p
q
r
[p(qr)][(pq)(qr)][r(pq)] =
= (pq)(pr)[(pq)(qr)](rp)(rq)
= (pq)(pr)[(pr)[(qp)(qr)](rq)
= (pq)(pr)[(q(pr)](rp)
= (pq)q(pr)(pr)(rq)
= q(pr)(rq)
= (pr)(rq)q
= (pr)q
El circuito simplificado es :
p
r
q
g) s(s~t)
7. LEYES DEL COMPLEMENTO
a. r r
b. ~(s~s)
c. t~t
d. (~p~p)
e. ~(~(~p))
f. ~(~(~(~p)...))/2n veces
8. LEYES DE MORGAN
a. ~(~r~s)
b. ~(~q~s)
c. ~[p(~qr)]
d. ~[p(~qr)]
9. LEY DE LA CONDICIONAL
a. ~q~s
b. (~qr)p
c. (pq)(q~s)
10. LEY DE LA DOBLE APLICACIN
a. ~q~r
b. ~s ~t
c. q p
d. ~r s
~rs
a.
b. p~t
c. q r
SIMPLIFICACIN DE FORMULAS
Mediante las leyes del lgebra de Proposiciones. Se pueden efectuar
simplificaciones de modo que una proposicin compleja. Se puede reducir una
proposicin simple:
1. Simplificar: (~pq)p
Solucin:
(~pq)p =p(~pq)
= (p~p)(pq)
= F(pq)
= pq
(~pq)p = pq
2. Simplificar la proposicin: ~p~(pq)
Solucin:
~p ~(pq) = ~p(~p~q)
= (~p~p)~q
= ~p~q
= ~(pq)
~p~(pq) = ~(pq)
conmutativa
distributiva
complemento
identidad
Morgan
Asociativa
Idempotencia
Morgan
Idempotencia
Idempotencia
Condicional y Morgan
Involucin
Conmutativa
Indepotencia
Morgan
Idempotencia
4. Simplificar:
~{~[(pq)p]~[(~q~q)(~p~p)]}(~p~q)
Solucin:
= [(~q~p) (~p~q)]~(pq)
= [(q~p)(p~q)]~(pq)
= [~(q~p)(p~q)]~(pq)
= [(~q~p)(p~q)]~(pq)
= [(~qp)p~q]~(pq)
= [~q(~qp)p]~(pq)
= (~qp)~(pq)
= (~qp)(~q~p)
= (~qp)(~p~q)
= ~q(p~p)
= ~qC
= ~q
Condicional
Idempotencia
Condicional
Morgan
Involucin
Conmutativa
Absorcin
Morgan
Conmutativa
Distributiva
Complemento
p
V
V
F
F
q
V
F
V
F
~(pq)(p~q)
F V F V
V F V V
V F F F
V F V V
~(pq)(~pq]
p
V
V
F
F
q
V
F
V
F
~(pq)(~pq)
F
V
F V
V
F
F F
F
V
F V
F
V
F V
III.
~(pq)(~p~q)
p
V
V
F
F
q
V
F
V
F
~(pq)(~p~q)
F
V
F V
V
F
F F
F
F
F F
F
V
F V
OTRO MTODO
~(pq)(~p~q)
= ~[(pq)(qp)](~p~q)
= ~[(~pq)(~qp)][(p~q)(q~p)
= ~[(~pq)(~qp)][(~pq)(~qp)
~b
b
= C, contradiccin.
C es una contradiccin porque "a" y "b" no son incompatibles.
Finalmente son contradicciones II y III.
6. La frmula lgica:
[(pq) r][p(qr)], representada UNA:
a) tautologa
b) Contradiccin
c) Contingencia
Solucin:
Mediante tablas de verdad:
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r [(pq)r] [p(qr)]
V V V V V V V V
F V F F V V F F
V F V V V V V V
F F V F V V V V
V F V V V F V V
F F V F V F V F
V F V V V F V V
F F V F V F V V
d) N.A.
(~*s)(*~s) = (~~s)(~s)
= ~(~~s)(s)
= s(s)
= s
Definicin
Condicional, Involucin.
Conmutativa
Absorcin
Bicondcional
Condiconal
Conmutador
Cerrado
Foco prendido
Conmutador
Abierto
Foco apagado
CIRCUITOS EN SERIE:
Es un circuito con dos conmutadores, uno tras otro.
Ejemplo:
b)
p
q
p
p
qw
p
~p
p
q
~q
~q
b) F
c) VVF
d) FVV
e) N.A
3. Si la proposicin:
[(pq)~q]q
Es falsa. Cules son los valores de verdad de las proposiciones p y q,
respectivamente?
a ) VyV
b) VyF
c)FyV
d) F y F
e) N.A
4. La proposicin equivalente a:
[(~qp )(~p~ q)][~(pq)]
Es:
a) ~q
b) ~p
c) p~q
d) ~pq
e) N.A
b)
c)
d)
e) N.A
q
~q
~p
a)
b)
c)
d)
e)
p
q
(pq)[~p(~qp q ) ]
(pq)[~p(~qp q ) ]
(pq)[~p(~qp q ) ]
(pq)[~p(~qp q ) ]
(pq)[~p(~qp q ) ]
x A,X + 3 < 10
a) xA, x + 3<10
c) ~(xA),x + 3<10
e) xA,~( x + 3<10)
b) xA, x + 310
d) xA, x + 310
b) Todas
CLAVE DE RESPUESTAS
01.
02.
03.
04.
05.
06.
(A)
(A)
(B)
(A)
(C)
(A)
c) Ninguna
d) I y II
e) II y III
07.
08.
09
10.
(B)
P)
(C)
(E)
EXCELENTE! Felicitaciones.
BIEN! Debe sentirse satisfecho.
REGULAR! Ud. Podra hacerlo mejor, intntelo.
MAL! Debe revisar nuevamente la unidad con la
finalidad de aprender y nuevamente evaluase.
SIN COMENTARIO! No cabe duda que no hubo
inters de su parte o la unidad no fue suficientemente
clara y eficaz, se le pide sugerencias para mejorarla
A) Tautologa.
B) Contradiccin.
C) Contingencia.
D) Equivalencia.
10. De la falsedad de: (p~q)(~r~s)
Se deduce que:
I. ~(~q~s)~p
II. ~(~rs)(~pq)
III. p~[q~(sr)]
q
V
F
V
F
p*q
V
V
F
V
Simplificar: (p*q)*q
22. La proposicin ms simple equivalente a: ([(~q) (~p)] (~q)]~(pq) es:
A) ~p
B) ~q
C) p(~q)
D) ~(pq)
E) pq
23. La siguiente proposicin: [(~pq)~(p~q)][p~r] Es equivalente a:
A) [pq]~[pr]
B) (pq)~(pr)
C) (pq)(pr)
D) ~(pq)r
E) (pq)(pr)
20. De las proposiciones siguientes:
I. Es necesario que Juan no estudie en la UNI para que Luis viva en el
Rimac.
II. No es cierto que Luis viva en el Rimac y que Juan estudie en la UNI.
III. Luis no vive en el Rimac y Juan no estudia en la UNI. Cules son
equivalentes entre si?
A) Solo I y II.
B) Solo I y III.
C) Solo II y III.
D) 1,11 y III.
E) No existe equivalente alguna.
25. Cul(es) de las siguientes proposiciones es equivalente a: "Es
necesario pagar 100 nuevos soles y ser mas joven para ingresar
al baile".
I. No ingresar al baile o pagar 100 nuevos soles y ser joven.
II. Pagar 100 nuevos soles o ser joven, y no ingresar al baile.
III. Pagar 100 nuevos soles y ser joven, o no ingresar al baile.
A) Solo I.
B) Solo II.
C) Solo III.
D) Solo I y II.
E) Solo II y III.
26. "Si este es un buen curso entonces vale la pena
llevarlo, o bien la matemtica es fcil o este curso no
vale la pena llevarlo. Pero la matemtica no es fcil. Por
lo tanto este es un buen curso".
A) Razonamiento vlido, es una tautologa.
B) Razonamiento invlido, es una contingencia.
27. Diga si el siguiente razonamiento: "Si un hombre es
casado, tiene problemas personales, este hombre no
tiene problemas. Por lo tanto este hombre es casado y
no .tiene familia". Es vlido o no.
A) Si, porque no es una tautologa.
B) No, porque es una contingencia.
28. Si se levanta aire hmedo entonces refrescar. Si refresca
entonces se formaran nubes. Se levanta aire hmedo por
lo tanto se formarn nubes.
A) Razonamiento vlido, es una tautologa.
B) razonamiento invlido, es una contingencia.
29. Llueve o el campo est seco. Si llueve entonces
jugaremos dentro. Si el campo est seco entonces
jugaremos bsquet por lo tanto jugaremos dentro o
jugaremos bsquet.
b'
a'
a
p
p
~q
q
q
p
q
p
~p
p
p
~p
r
q
q
~q
r
r
q
~q
Simplifica
p
q
r
p
q
q
r
p
q
~p
q
~p
~p
r
~r
B
B
B
35.
D)
p
~p
p
~q
p
q
q
r
r
q
p
q
~r
32.
d) pq = (p)q
~p
p
e)
p
~p
b'
a'
a
E)
F)
a'
q
~q
a
b
r
f) pq = (pq)[(~p)(~q)]
p
q
~p
~q
33.
g) pq[~pq]
h) (pq)[(~pr)q]
i) (pqr)[(~pr)q]
34. pq(~p~q)
35.
r
p
q
36.
p
q
~p
3. E.
4. [(~pq)q]p
5. B.
6. B
7. Tautologa
13. C.
14. pq
15. q
16. pqr
17. (pr)q
18. ~(s)
19. (pq)(pq)
20. [~pq][~qp]
21. p*q
22. ~q
23. (pq) (pr)
24. Solo I y II
25. Solo III
26. A
27. B
28. A
29. A
30. A
31.
a)
p
q
r