Lgica

1. Determine si cada una de las oraciones siguientes es una proposicin o un

enunciado.
a) 4 0 x + =
b) Soy el mejor!
c) Quin ganar las elecciones?
d) El sueldo mnimo es 1000 soles.
e) Dina Paucar es cantante.
f) GPS es un instrumento para la ubicacin geogrfica.
g) cierra la puerta!
h) 3+5>4x-7
i) Todos los nmeros enteros son positivos.
j) Prohibido fumar.
k) Cul es su nombre?
l) Cajamarca es capital del carnaval peruano.
m) Cero es el elemento neutro adictivo.
n) 3y+5x<20
o) Ayer so que me ganara un auto.
p) Ojal apruebe MB0.
q) Cristbal Colon descubri Amrica.
r) El Per es un mendigo sentado en un banco de oro
s) Hoy es martes 13, no te cases ni te embarques ni de tu casa te apartes
Solucin:
Son enunciados: (b), (c), (g), (h), (j), (k), (o), (p), (r), (s).
Son enunciados abiertos: (a), (n).
Son proposiciones: (d), (e), (f), (i), (l), (m), (q).

2. Indicar el valor de verdad de las proposiciones enunciadas en el ejercicio (1).
Solucin:
El sueldo mnimo es 1000 soles. Proposicin falsa.
Dina Paucar es cantante. Proposicin verdadera.
GPS es un instrumento para la ubicacin geogrfica. Proposicin verdadera.
Todos los nmeros enteros son positivos. Proposicin falsa.
Cajamarca es capital del carnaval peruano. Proposicin verdadera.
Cero es el elemento neutro adictivo. Proposicin verdadera.
Cristbal Colon descubri Amrica. Proposicin falsa.

3. Determine cul de las proposiciones siguientes son atmicas o compuestas.
a) Silvia y Juan son primos hermanos.
b) Silvia y Juan son muy buenos estudiantes.
c) No todos los alumnos son muy estudiosos.
d) Per y Brasil no son pases vecinos.
e) Los estudiantes cumplen con sus tareas.
f) El da tiene 24 horas y la hora 50 minutos.
g) Per y chile son pases vecinos.
h) Es falso que el aula es grande.
i) El nmero 5 no es impar.
j) O mi reloj est mal o llegar tarde.
k) No es cierto que Elas ama la msica.
l) El nmero 3 es impar.
m) Juan y Pedro son exitosos.
n) Fumar es daino para el desarrollo fsico.
o) Federico Villarreal fue un matemtico lambayecano.
Solucin:
Son proposiciones atmicas: (a), (e), (g), (l), (n), (o).
Son proposiciones compuestas: (b), (c), (d), (f), (h), (i), (j), (k), (m).

4. Determine los conectivos lgicos en las siguientes proposiciones compuestas.
a) O mi reloj est mal o llegar tarde.
b) No es cierto que Elas ama la msica.
c) El nmero 5 es impar o es un nmero primo.
d) Es falso que todos los nmeros pares son positivos.
e) El cero o es un nmero par o impar.
f) Si febrero tiene 30 das entonces marzo tiene 32 das.
g) Me gusta ir al cine, pero prefiero el concierto.
h) Rosa tiene 15 aos, tambin Mara.
i) 2 es un nmero primo a pesar de que es par.
j) Elas compra su departamento si y slo si obtiene un prstamo.
Solucin:
Conjuncin: (g), (h), (i).
Disyuncin inclusiva: (c).
Disyuncin exclusiva: (a), (e).
Condicional: (f).
Bicondicional: (j).
Negaciones: (b), (d).

5. Formalice cada una de las siguientes proposiciones:
a) Democracia significa un modo de vida en el que la libertad de opinin y la justicia
estn presentes.
Solucin:
p: Democracia significa un modo de vida en el que la libertad de opinin est
presente.
q: Democracia significa un modo de vida en el que la justicia est presente.
Formalizando la proposicin compuesta, se obtiene el siguiente esquema lgico.
Frmula: p A q

b) O est lloviendo y garuando, o est soplando el viento.
Solucin:
p: Est lloviendo.
q: Est garuando.
r : Est soplando el viento.
Formalizando la proposicin compuesta, se obtiene el siguiente esquema lgico.
Frmula: (p A q) r

c) Dos es un nmero primo porque slo es divisible por s mismo y por la unidad.
Solucin:
p: 2 es un nmero primo.
q: 2 es divisible por s mismo.
r: 2 es divisible por la unidad.
Formalizando la proposicin compuesta, se obtiene el siguiente esquema lgico.
Frmula: p (q A r)

d) Si Pedro es un buen estudiante, entonces tendra ms oportunidades de trabajo o
obtendr una beca para salir del pas.
Solucin:
p: Pedro es un buen estudiante.
q: Pedro tendr ms oportunidades de trabajo.
r: Pedro obtiene una beca para salir del pas.
Formalizando la proposicin compuesta, se obtiene el siguiente esquema lgico.
Frmula: p (q v r)

e) Si Cristina es experta en poltica financiera, entonces es falso que si cristina no
estudia Derecho o no es Arquitecto.
Solucin:
p: Cristiana es experta en poltica financiera.
q: Cristina estudia derecho.
r: Cristina es Arquitecta.
Formalizando la proposicin compuesta, se obtiene el siguiente esquema lgico.
Frmula: p ( q v r)

f) Si Juan es un Administrador o Ingeniero Industrial, entonces ser un buen un
gerente.
Solucin:
p: Juan es un Administrador.
q: Juan es un Ingeniero Industrial.
r: Juan ser un buen gerente.
Formalizando la proposicin compuesta, se obtiene el siguiente esquema lgico.
Frmula: (p v q) r

6. Con las siguientes proposiciones simples:
p: Luis recibi el mensaje.
q: Luis asistir a la reunin.
r: Juan presentar su renuncia.
Contextualizar cada una de los siguientes esquemas lgicos.
a) p (q A r)
Solucin:
Si Luis recibi el mensaje, entonces asistir a la reunin y presentar su renuncia.

b) {[p (q A r)] A r} ( q p)
Solucin:

Si Luis recibi el mensaje, entonces asistir a la reunin y presentar su renuncia.
Luis no presentar su renuncia. Luego, si Luis no asistir a la reunin no recibi el
mensaje.

7. Si es falsa la negacin de
[ ] ) ( ) ( ~ s r q p
. Hallar el valor de verdad de:
[ ] ) ( ~ ) ( ~ s q p x r
y
( ) ( ) [ ] { } ~ ~ w s r q

Solucin:
Si la negacin del esquema lgico es falsa entonces
[ ] ) ( ) ( ~ s r q p
es
verdadero.
Luego
( ) ( ) p q r s
es falso, entonces
( ) p q
es una vedad y
( ) r s
es
una falsedad.

De donde se obtiene que las proposiciones p y q son verdaderas, mientras que
las proposiciones r y s son falsas.
Por lo tanto:
( ) ( )
( ) ~( )
?
~

~ ~
F F
V
F
F V
V
r x p q s
F
q r s w

8. Construir su tabla de verdad de las siguientes proposiciones lgicas.
a) Siempre que se apruebe el crdito entonces comprar el departamento; sin
embargo se aprueba el crdito. Por tanto comprar el departamento.
Solucin:
Sean las proposiciones:
p: Se aprueba el crdito
q: Comprar el departamento
Se formaliza por: [(p q) p] q
La tabla de verdad para el esquema molecular, est dada por:







Luego como el resultado son todos valores de verdad es una tautologa.
p q [(p q ) p ]
q
V V V V V V V
V F F F V V F
F V V F F V V
F F V F F V F
b) Los virus son alternados no obstante son virulentos. Por tanto tienen una
clasificacin Tenemos las proposiciones:
p: Los virus son alternados
q: Los virus son virulentos
r: Tienen una clasificacin
Solucin:
Se formaliza por: (p q) r
Luego: como se puede observar el esquema molecular tiene 3 proposiciones
simples, es decir que para este caso se tiene: 2
3
= 8 asignaciones posibles para los
valores de verdad en total.
La tabla de verdad para el esquema molecular, est dada por:












Luego como el resultado de la tabla tiene valores de verdad y falsos es una
contingencia.

9. Verificar que los siguientes esquemas lgicos son equivalentes.
a) p q es equivalente a (q p).
Solucin:
p q p q q p
V V V V F V F
V F F V V F F
F V V V F V V
F F V V V V V

Como el resultado es una tautologa, se concluye que dichos esquemas son
equivalentes.


b) p ( p q) es equivalente a (p q).
Solucin:


p q r (p q) r
V V V V V V
V V F V F F
V F V F V V
V F F F V F
F V V F V V
F V F F V F
F F V F V V
F F F F V F
p q p ( p v q ) p q
V V V V V V V
V F V F F V F
F V F F V V F
F F F F V V F


Como el resultado no es una tautologa, se concluye que dichos esquemas no son
equivalentes.

10. Simplificar las siguientes proposiciones:
a) ( p q) (r v r )
( p q ) v ( r v r) Condicional
(p v q ) v V Morgan y tercio excluido
V Identidad.
b) [ ( p q ) v p ] [ q p ]
[ ( p v q ) v p ] [ ( q) v p ] Condicional
[ ( p v p) v q ] [ q v p ] Asociativa y doble negacin
[ p v q ] [ p v q ] Idempotencia y Conmutativa
q v [ p p ] Distributiva
q v F Contradiccin
q Identidad

c) [ ( p v q ) ( p q) ] p
{ [ ( p v q ) p ] q } p Asociativa
( p q ) p Absorcin
( p q ) v p Condicional
( p v q ) v p Morgan
( p v p ) v q Asociativa
V v q Tercio excluido
V Identidad
11. Disear circuitos lgicos de las siguientes proposiciones:
a) (p v p) r b) p q c) p q
Solucin:
(a) Primero se trabajamos el parntesis en serie con r.


(b) segn la equivalencia: p - q ~p v q




p
q
r
~ p
q
(c) Segn la condicional: p - q (p q) v (~p ~q)





12. Describir simblicamente el circuito:






Solucin:
a) i y ~q estn conectados en paralelo; se simboliza: i v ~q
b) p y (i v ~q) estn conectados en serie; se simboliza: p (i v ~q)
c) q y ~i estn conectados en serie; se simboliza: q ~i
d) p (i v ~q) o (q ~i) estn conectados en paralelo.
Con lo que el circuito se simboliza: |p (i v ~q)] v (q ~i)


13. Determinar el circuito equivalente al siguiente circuito:





Solucin:
El esquema molecular que representa al circuito dado es:
|(~p ~q) v (p v q)] {p v |q (q v ~p)]]
|~(p v q) v (p v q)] { p v q] Ley de Morgan y Absorcin
| v ] { p v q] Ley del Tercio Excluido
p v q Ley de Identidad
Por lo tanto el circuito equivalente es:





14. Hallar el circuito equivalente de p z q (Disyuncin exclusiva)
Solucin:

Sabemos que: p z q (p v q) A ~(p A q) Ley del Bicondicional





r
~ q
p
q ~ r
~p ~q
p
q
p
q
q
~p
p
q
~p
~q
p
q
~ ~q
p
q
15. El costo de cada llave de instalacin del siguiente circuito es S/.30. En cunto se
reducir el costo de la instalacin si se reemplaza dicho circuito por el ms simple
posible?






Solucin:
{ |(p v q) A (q v ~ q)] v |(p A q) v (~p A ~q)]]
A { |p A (p v q) A q] v |i A (q v ~i) A p]]
{ |(p v q) A v ] v |(p A q) v (~p A ~q)] ] A |(p A q) v (i A q A p)]
| (p v q) v |(p A q) v (~p A ~q)] A (p A q)
{ | (p v q) v (~p A ~q) ] A (p A q) ]

(p q)
El costo se reducir a 60 soles.

Conjuntos

1. Expresar el conjunto A= {x N / (x-5)(x-3) (x+4) (x-6)=0} por extensin.
Solucin
Los elementos del conjunto A son nmeros naturales con siguiente propiedad (x-
5)(x-3) (x+4) (x-6)=0 se tiene:
x=5, x=3, x=-4, x=6
Por lo tanto A= {3; 5; 6}

2. Expresar el conjunto A= {x
2
Z / x>-2, x<4} por extensin.
Solucin
Los elementos del conjunto A son nmeros enteros con siguiente propiedad x>-2,
x<4 se tiene:
-2<x<4 entonces se tiene: 1, 0, 4, 9 son elementos del conjunto A.
Por lo tanto A= {1; 0; 4; 9}

3. Expresar por compresin cada uno de los siguientes conjuntos:
a) A={-2; 1; 6; 13; 22; 33}
b) B={1; 9; 25; 49; 81}
c) C={lunes; martes; mircoles; jueves; viernes; sbado; domingo}
Solucin(a)
Los elementos de A tiene la forma cuadrtica x=an
2
+bn+c

-2 1 6 13 22 33

3 5 7 9 11
2 2 2 2 2
q
p
q p
~p
~q
~q
q
q
p
p q
~r
q
r
p
q
Si n=1 entonces -2=a + b + c
Si n=2 entonces 1=4a +2 b + c 3= 3a+b (i)
Si n=3 entonces 6=9a +3 b + c 4=4a+b (ii)
De las dos ecuaciones se obtiene a=1, b=0 y c=-3; por lo tanto x= n
2
-3.
A= {x / x= n
2
-3, n N, n<7}

Solucin (b)
Los elementos de B tiene la forma x=(2n-1)
2

B= {(2n-1)
2
/ n N, n<10}

Solucin (c)
C= {x / x es un da de la semana}

4. Dados los conjuntos unitarios: A = {a
2
+ 1; 3a - 1} y B = {3x + y; x - y + 8}
Calcular: S = a + x + y; si: a, x e y son nmeros enteros. Dar como respuesta la suma
de los valores de S
Solucin:
Si "A" es unitario * Si "B" es unitario
a
2
+ 1 = 3a - 1 3x + y = x - y + 8
a
2
- 3a + 2 = 0 2x + 2y = 8
(a - 1) (a - 2) = 0 x + y = 4
a = 1 a = 2
Luego:
Para a = 1 S = 1 + 4 = 5
Para a = 2 S = 2 + 4 = 6
La suma de los valores de S, es: 5 + 6 = 11


5. Dado el conjunto: A = {1; {b}; {a}; }. Indicar cul de las siguientes expresiones
son verdaderas o falsas.
i) { } A
ii) { b ; { b} } A
iii) { ; { a } } A
iv) { { } ; { 1 } } P (A)
v) { 1 ; { a } } P (A)
vi) { { a } ; { b } } P (A)
vii) { } P (A)
viii) { } P (A)
ix) A P (A)
Solucin:
i) Verdad, pues {} A entonces A.
ii) Falso, pues bA.
iii) Verdad, pues A, {a} A.
iv) Falso, pues {{ }; {1}} no es subconjunto de A.
v) Verdad, pues {1; {a}} es un subconjunto de A.
vi) Falso, {{a}; {b}} es un subconjunto de A.
vii) Falso, pues el vacio es un elemento de P(A).
viii) Verdad, pues el vacio es subconjunto de A.
ix) Verdad, pues l A es subconjunto de A.
6. D
So
7. Pa
ci
em
y
co
am
C
So
C
C
C
C
C
Con

Del diagrama

a) Halle: B
b) Halle:
c) Halle:
d) Halle: (
e) Halle:(B
f) Hallar
olucin:
a) B A=
b) CB=
c) (B - A)
d) (CB)'
e) (B - A)
f) (C

ara generar
ircuitos elc
miten color
rojo, 28 em
olores. Cu
marilla pero
Cuntos circ
olucin:
Card(Azul)=
Card(Azul
Card(Azul
Card(Amaril
Card(A B
la informac
a adjunto:
B - A
CB
(B - A)'
(CB)'
B - A)' (C
: (C A)'
=B={-3; 1; 8
{-3; 0; 2; 3;
)' ={-2; 0; 2
={-2; 1; 5
)' (CB)'=
A)' (A-B
r iluminacio
ctricos se en
rojo, 23 em
miten luz de
untos circu
o no azul?
cuitos no em
=49 focos,
Amarillo)=
Rojo)=18
llo Rojo)=
C)=8 foco
cin organiz
CB)'
(A-B)'
8}, pues A y
; 4; 8}
; 3; 4; 5; 7;
; 7; 9}
={-2; 5; 7;
B)'={ }
ones de dif
ncontr: 49
miten luz de
e color ama
uitos emiten
?, Cuntos
miten luz?,
Card(Amar
=23 focos
focos
=28 focos
os
zada llenar c

y B son con
9}
9}
ferentes col
9 emiten co
color azul
arillo y rojo
n solo luz
s circuitos
Cuntos c
rillo)=53 foc
cada uno de

njuntos disj
ores, se rea
olor azul, 55
y amarillo,
o. Adems