Está en la página 1de 62

MATEMATICA I LOGICA.

Introduccin a la lgica

La lgica es el estudio de los mtodos e principios que ese usan para distinguir el
razonamiento: inductivo y deductivo.
El razonamiento inductivo es el medio por el cual una persona, decide aceptar como
valido un principio general.
El razonamiento deductivo es en cambio, segn el cual dicha persona utiliza el
principio general aceptado previamente para decidir la valides de una idea, que a
su vez habr de determinar el curso de su accin.

LA LGICA
La lgica es el estudio o la ciencia de las leyes del pensamiento, pero tambin puede
decir que la ciencia del razonamiento y adems nos da un mtodo y unos principios
para distinguir el razonamiento correcto del incorrecto, el bueno el malo.
La lgica se ocupa de los productos mentales considerados en s mismos, de las
correctas relaciones entre conceptos, juicios y razonamientos. Se interesa por la
estructura o forma del pensamiento, sin tomar en cuenta su contenido, por eso la
lgica es una ciencia formal adems , como el pensamiento se expresa en un
lenguaje en este sentido tambin la lgica estudia el lenguaje.
La lgica tambin se clasifica en lenguaje natural y la lgica formal matemtica, el
lenguaje formalizado. Dentro de la lgica matemtica, lgica proposicional estudia
las proposiciones y los razonamientos y la lgica de clases los conceptos, trminos
o palabras.
PROPOSICIN:
Una proposicin es un enunciado cuya propiedad fundamental es la de ser
verdadera (v) o falsa (f) pero no ambas simultanea mente.
PROPOSICIONES SIMPLES Y COMPUESTAS:
Las proposiciones simples, llamadas tambin atmicas o elementales, son aquellos
enunciados que tienen un solo sujeto y un solo predicado. El valor de (v) o (f) de
estas proposiciones se obtienen de la disciplina o suceso de donde proviene.
OPERACIONES CON PROPOSICIONES:
LA CONJUCION: Dada las proposiciones p y q, la conjuncin es el resultado de
componer estas proposiciones con el conectivo lgico y. Se denota por el smbolo
^

LA DISYUNCION: las preposiciones p y q, dada en ese orden a la proposicin que


se obtiene anunciando q a continuacin p unidas ambas por el conectivo v.

Matemtica Bsica I
MATEMATICA I LOGICA.

Ejercicios: Grupo 01
1.- De los enunciados siguientes:
(1) Hola que tal!
(2) x + 1 < 10
(3) 2 + 5 > 6
(4) Todos los hombres son inmortales.
(5) Scrates naci en Atenas.
(6) x + 5 8
Cul de las alternativas siguientes es correcta:
a)3 son enunciados abiertos c)3 no son proposiciones
b)2 son proposiciones d)4 son proposiciones

Solucin:
(1) Hola que tal!; es una exclamacin que no tiene un valor de verdad,
entonces es una proposicin.
(2) x + 1 < 10; es un enunciado abierto.
(3) 2 + 5 > 6; es una proposicin cuyo valor de verdad es V.
(4) Todos los hombres son inmortales; es una proposicin cuyo valor de
verdad es F.
(5) Scrates naci en Atenas; es una proposicin cuyo valor es F.
(6) x + 5 8; es un enunciado abierto.
En consecuencia 1,2 y 3 satisfacen la alternativa C.

2.- Si p: Carlos vendr, q:Carlos a recibido la carta y r:Carlos est


interesado todava en el asunto. Simbolizar los siguientes enunciados:

a) Carlos vendr, si ha recibido la carta, siempre que est interesado


todava en el asunto
b) O Carlos vendr porque ha recibido la carta o no est interesado todava
en el asunto
c) Carlos vendr si solo si ha recibido la carta o vendr porque est
interesado todava en el asunto
Solucin:
a)Carlos vendr, si ha recibido la carta, siempre que est interesado todava
pqr
En el asunto (p q) r
b)O Carlos vendr porque ha recibido la carta o no est interesado todava
p q ~r

En el asunto (p q) ~ r

c)Carlos vendr si y slo si ha recibido la carta o vendr porque est


pqvr
MATEMATICA I LOGICA.

Interesado todava en el asunto (p q) v r

3.- Determinar los valores de verdad de las siguientes proposiciones:


(1) (3 + 5 = 8) v (5 - 3 = 4) (2) (5 - 3 = 8) (1 - 7 = 6)
(3) (3 + 8 = 11) ^ (7 - 4 > 1) (4) (4 + 6 = 9) (5 - 2 = 4)

Solucin:
(1) (3 + 5 = 8) v (5 - 3 = 4) (2) (5 - 3 = 8) (1 - 7 = 6)
(8 = 8) (2 = 4) (2 = 8) (-6 = 6)
V v F F F
V V
(3) (3 + 8 = 11) ^ (7 - 4 > 1) (4) (4 + 6 = 9) (5 - 2 = 4)
(11= 11) (3 > 1) (10 = 9) (3 = 4)
V ^ V F F
V V
4.- ~ [(~p v q) v (r q)] ^ [(~p v q) (q ^ ~ p)], es verdadera. Hallar los valores
de verdad de p, q y r.

Solucin:
~ [(~p v q) v (r q)] ^ [(~p v q) (q ^ ~ p)] = V
F F V F F F F F
F F F F
V V
V
V (p) = V
V (q) = F
V (r) = V

5.- De la falsedad de (p ~ q) v (~ r ~ s), se deduce que el valor de verdad


de los esquemas: A = ~ (~ q v ~ s) ~ p; B = ~ (~ r ^s) (~ p ~ q) y
C = p ~ [q ~(s r)], son respectivamente:
a) FFV b) FFF c) FVF d) FVV
Solucin:
(p ~ q) v (~ r ~ s) = F V (p) = V
F F V (q) = V
(V F) (V F) V (r) = F
F v F V (s) = V
F
A = ~ (~ q v ~ s) ~ p B = ~ (~ r v s) (~ p ~ q)
(F v F) F (V v V) (F F)
~F F ~V V
(V F) (F V)
V F

C = p ~ [q ~(s r)]
MATEMATICA I LOGICA.

V [V (V F)]
V [V V]
V F
F

6.- Se sabe que p ^ q y q t son falsas. De los esquemas moleculares


siguientes, cuales son verdaderos: A = (~ p v t) v ~ q; B = ~ [p ^ (~ q v ~ p);
C = [(p q) ^ ~ (q ^ t)] [~ p v (q ^ ~ t)]

Solucin:
p^q=F qt=F
F V V F

V (p) = F
V (q) = V
V (t) = F

A = (~ p v t) v ~ q B = ~ [p ^ (~ q v ~ p)]
V F F F F V
V v F F v V
V [F]
V
C = [(p q) ^ ~ (q ^ t)] [~ p v (q ^ ~ t)]
F V V F V V V
V ~F Vv V
V ^ V V
V V
V
7.- La proposicin (p ^ q) (q r) es falsa y se tienen los esquemas
moleculares: A = ~ (q v r) v (p v q); B = (p v ~ q) (~ r ^ q) y
C = [(p ^ q) v (q ^ ~ r)] (p v ~ r) Cules son falsos.

Solucin:

(p ^ q) (q r) = F
V F
V V V F

V (p) = V
V (q) = V
V (r) = F

A = ~ (q v r) v (p v q) B = (p v ~ q) (~ r ^ q)
V F V V V F V V
~V V V V
MATEMATICA I LOGICA.

F v V V
V

C = [(p ^ q) v (q ^ ~ r)] (p v ~ r)
V V V V V V
V v V V
V V
V
Repta: Ninguno

8.- Si la proposicin A = (p ~ q) (r ~ s) es falsa, hallar el valor de


verdad de las proposiciones q, p, r, s (en este orden)

Solucin:

A = (p ~ q) (r ~ s) = F
V F
V V V F
V F
F
V (q) = F
V (p) = V
V (r) = V
V (s) = V
9. - Dadas las proposiciones: A = (p q) r; V (r) = V.
B = (p v q) (~ p ^ ~ q); V (q) = V. C = (p ^ q) (p ^ r); V (p) = V y V (r) = F. D
= p ^ (q r); V (r) = V. En que casos la informacin que se da es suficiente
para determinar el valor de verdad de cada proposicin.

Solucin:

V (q) = V
V (r) = V
En A: Si el V(r) = V; entonces (pq) V
Cualquiera sea el valor de verdad de (pq), la condicin es verdad, por tanto
es suficiente la informacin dada.

En B: Si el V(q)= V; entonces V(B)=(p v q)( p^F) pero; V(p v q)=V y


V( p^F)=F, cualquiera sea el valor de verdad de p, luego valor de
V(b)=(V), (F)= F, por tanto es suficiente la informacin.

En C: si V(p)=V y V(r)=F, entonces V(b)=(Vq)(V F)=V(b)=(Vq)V, segn


la tabla de la conjuncin es verdadera, inicialmente cuando las dos
proposiciones son V.

En D: V(r)=V, entonces V(p)=p(qV)=pV.


MATEMATICA I LOGICA.

Rpta: Solo A y B

10.- (p v q) (r ^ s) es una proposicin verdadera, teniendo r y s valores de


verdad opuestos. De las afirmaciones siguientes cules son verdad.
A = [(~ p ^ ~ q) v (r ^ s)] ^ p, es verdadera
B = [~ (p v q) ^ (r v s)] v (~ p ^ q), es falsa
C = [(~ r ^ ~ s) (p v r)] ^ ~ (r ^ s), es verdadera

Solucin:

(p v q) (r ^ s) = V V (p) = V
V V V (q) = V
V V V V V (r) = V
V(s) = V

A = [(~ p ^ ~ q) v (r ^ s)] ^ p B = [~ (p v q) ^ (r v s)] v (~ p ^ q)


F F V V F V V V V F V
V V V V F
V F F F
F F

C = [(~ r ^ ~ s) (p v r)] ^ ~ (r ^ s)
F F V V V F
F V F
V V
V
Rpta: Solo C

11.- Si la proposicin (~ p ^ q) (~ s v r) es falsa, de las proposiciones


siguientes, cules son verdaderas?: A = ~[(p q) r];
B = ~ (~ p ^ q) ^ (~ r v r) ^ s; C = [(p v ~ q) ^ p] v (~ q)

Solucin:

(~ p ^ q) (~ s v r) = F V (p) = F
V F V (q) =V
V V F F V (r) = F
V (s) =V

A = ~ [(p q) r]
F V F
V F
F
V
MATEMATICA I LOGICA.

B = ~ (~ p ^ q) ^ (~ r v r) ^ s C = [(p v ~ q) ^ p] v (~ q)
V V V F V F F F F
F V V F F F
F V F F
F F
Rpta: Solo A

12. - Si las proposiciones A = (p s) ~ s y B = [(p s) ~ p] s, son


verdaderas, hallar los valores de verdad de p, s y p s, en ese orden.

Solucin:
A = (p s) ~ s = V B = [(p s) ~ p] s = V
F F F V V V
F V F V V
V F V
V
ps
V (p) = F F V
V (s) = V V

13.- Dada la siguiente informacin: V (r q) = V; V (n ^ r) = F; V (m v n) = V y


V (p v m) = F. Determinar el valor de verdad del esquema molecular:
A = [(m v ~ n) (p ^ ~ r)] (m ^ q)
Solucin:

(r q) = V (n ^ r) = F (m v n) = V (p v m) = F
F V V F F V F F

V (m) =F
V (n) = V
V (p) = F
V (q) = V
A = [(m v ~ n) (p ^ ~ r)] (m ^ q)
F F F V F V
F F F
V F
F

14.- Si A = (p r) ^ ~ (~ p v ~ q), es verdadera, hallar el valor de verdad de la


proposicin B= (p q) (p r).

Solucin:

A = (p r) ^ ~ (~ p v ~ q) = V V (p) = V
V V V (q) = V
MATEMATICA I LOGICA.

V V F F V (r) = V

B= (p q) (p r)
V V V V
V V
V

15.- Si V [(q p) (r v p)] = F; hallar el valor de verdad de cada una de las


siguientes proposiciones:

A = (p ^ x) (m y) C = (r p) (s ^ q)
B = (q n) v (x ^ y) D = [(s p) v (n r)] (x v ~ x)
Solucin:

[(q p) (r v p)] = F V (p) = F


V F V (q) = F
F F F F V (r) = F

A = (p ^ x) (m y) B = (q n) v (x ^ y)
F VF VF VF F VF VF VF
F VF V VF
V V

C = (r p) (s ^ q) D = [(s p) v (n r)] (x v ~ x)
F F VF F V F F F V F
V F F V V
F V V
V
16.- Si V (m n) = F, V [~ (s r)] = F y V (~ p ^ ~ q) = F; hallar el valor de
verdad de esquema A = [(p v q) (s ^ ~ r)] (n m)

Solucin:
(m n) = F [~ (s r)] = F (~ p ^ ~ q) = F
V F F V V F
V F
V (m) =V
V (n) =F
V (p) =F
V (q) =V
V (r) =V
V (s) =F

A = [(p v q) (s ^ ~ r)] (n m)
F V F F F V
[V F] F
F F
MATEMATICA I LOGICA.

17.- Sabiendo que el valor de verdad de la proposicin compuesta:


A = {~ [(p ^ r) q] ^ [(p v q) s]} {(s p) t}, es siempre falso. Determinar
el valor de verdad de las siguientes proposiciones:
a) B = {[(~ p q) r] [~ (q (s p))]} (p q)
b) C = {~ (p q) [(r ^ p) ~ (r v s)]} t
Solucin:

A = {~ [(p ^ r) q] ^ [(p v q) s]} {(s p) t} = F V (p) = V


V F V (q) = F
V V F V F F F V F V (r) = V
V F V F V F V (s) = F
F V F V (t) = F
F F
V F
F

a) B = {[(~ p q) r] [~ (q (s p))]} (p q)
F F V F F V V F
F V (F V) V
V F
F V
V

b) C = {~ (p q) [(r ^ p) ~ (r v s)]} t
V F V V V F F
~F V ~V
V V F F
F F
V

18.- Si p, q, r, s, t, w son proposiciones cualesquiera tales que: V (~ w ~ s)=F


y V [(p ^ ~ r) (s u)] = V; hallar el valor de verdad de los siguientes
esquemas: A = [(p ^ q) v r] ^ s; B = (s ~ w) (r v ~ p) y
C = [t (w v ~ p)] v ~ (p r)
Solucin:
V (p) = V
(~ w ~ s)=F [(p ^ ~ r) (s u)] = V V (q) = V
V F V V V (r) = F
V V V V V (s) =V
V (t) = V
V (w) =F
A = [(p ^ q) v r] ^ s B = (s ~ w) (r v ~ p)
V V F V V V F F
V F V V F
MATEMATICA I LOGICA.

V V F
V
C = [t (w v ~ p)] v ~ (p r)
V F F V F
V F F
F V
V
19.- Dadas las proposiciones:
p: Los nmeros m y n son mltiplos enteros de 5.
q: El producto de los nmeros m y n es un mltiplo entero de 5.
Analizar cules de las siguientes proposiciones son verdaderas:
a) p es condicin suficiente para q. b) p slo si q.
c) p es condicin necesaria para q.
Solucin:
La proposicin p dice:
m es mltiplo entero de 5 m=5
n es mltiplo entero de 5 n =5

.. La proposicin que dice:


m x n = 5
5 x 5= 5
.. La alternativa a es verdadero.
20.- Si la proposicin P = (~ p q) v (s ~ r) es falsa; cules de los siguientes
esquemas moleculares son falsos: A = [(r q) ^ q] [(~ q v r) ^ s]; B = ~ (p v
q) v ~ q y C = ~ [(p v q) ^ ~ q] ~ (p q).
Solucin:
P = (~ p q) v (s ~ r) = F V (p) = F
F F V (q) = F
V F V F V (r) = V
V (s) = V

A = [(r q) ^ q] [(~ q v r) ^ s] B = ~ (p v q) v ~ q
V F F V V V F F V
F F V V V V
F V V
F

C = ~ [(p v q) ^ ~ q] ~ (p q)
F F V F F
F V F
V F
F

Repta: Solo A y C

Ejercicios: Grupo 2
MATEMATICA I LOGICA.

En los ejercicios del 1 al 12 establecer, por medio de una tabla de valores, si


cada uno de los siguientes esquemas moleculares es contingente, tautolgico
o contradiccin.
1.- ~ [~ p ~ (~ q ^ ~ p)] v ~ (~ p v ~ q)

p q ~ [~ p ~ (~ q ^ ~ p)] v ~ (~ p v ~ q)
V V F F V V F V V F
V F F F V V F F F V
F V F V V V F F F V
F F V V F F V V F V
pasos 5 3 4 2 1 8 7 6

Rpta:Contingencia

2.- [(p v ~ q) ^ ~ p] ~ (~ q p)

p q [(p v ~ q) ^ ~ p] ~ (~ q p)
V V V F F F F V
V F V F F F F V
F V F F V F F V
F F V V V F V F
pasos 1 3 2 6 5 4

Rpta:Contradiccin

3.- ~ (p q) ~ (~ q ~ p)

p q ~ (p q) ~ (~ q ~ p)
V V F V V F V
V F V F V V F
F V F V V F V
F F F V V F V
pasos 2 1 5 4 3

Rpta:Tautologa

4.- [p (q r)] [(p ^ ~ r) ~ q]


MATEMATICA I LOGICA.

P q r [p (q r)] [(p ^ ~ r) ~ q]
V V V V V V V F V F
V V F V F F V V F F
V F V V V V V F V V
V F F V V V V V V V
F V V F V V V F V F
F V F F V F V F V F
F F V F V V V F V V
F F F F V V V F V V
Pasos 1 3 2 7 5 6 4

Rpta:Tautologa

5.- [(p ^ ~ q) ^ (~ p r)] (p v ~ q)

p Q R [(p ^ ~ q) ^ (~ p r)] (p v ~ q)
V V V F F F V V
V V F F F V V V
V F V V F F V V
V F F V V V V V
F V V F F V V F
F V F F F F V F
F F V F F V V V
F F F F F F V V
Pasos 1 3 2 5 4

Rpta:Tautologa

6.- [p v (q ~ r)] ^ [(~ p v r) ~ q]

p q R [p v (q ~ r)] ^ [(~ p v r) ~ q]
V V V V F F V F F
V V V V V V F V F
V F V V V V V V V
V F V V V F F F V
F V F F F F V F F
F V F V V F V F F
F F F V V V V V V
F F F V V V V V V
Pasos 1 3 2 7 5 6 4
Rpta:Contingencia
7.- [(~ p ^ q) ~ r] [r ^ ~ (p v ~ q)]
MATEMATICA I LOGICA.

p q R [(~ p ^ q) ~ r] [r ^ ~ (p v ~ q)]
V V V F V F F V F F V
V V F F V V F F F F V
V F V F V F F V F F V
V F F F V V F F F F V
F V V V F F F V V V F
F V F V V V F F F V F
F F V F V F F V F F V
F F F F V V F F F F V
Pasos 2 3 1 8 4 7 6 5

Rpta:Contradiccin

8.- ~ {(p ^ q) v [p ^ (~ p v q)]} (p ~ q)

p Q ~ {(p ^ q) v [p ^ (~ p v q)]} (p ~ q)
V V F V V V V V V F
V F V F F V F F V V
F V V F F F F V V V
F F V F F F F V V V
Pasos 6 4 5 2 3 1 8 7

Rpta:Tautologa

9.- [p ^ (~ q p)] ^ ~ [(p ~ q) (q v ~ p)]

p Q [p ^ (~ q p)] ^ ~ [(p ~ q) (q v ~ p)]


V V V V V F F F V V
V F V V V V V V F F
F V F F V F F V V V
F F F F F F F F V V
Pasos 2 3 1 8 7 4 6 5

Rpta:Contingencia

10.- [~ p ^ (q v ~ r)] [(~ p ^ q) v ~ (p v r)]


MATEMATICA I LOGICA.

p q R [~ p ^ (q v ~ r)] [(~ p ^ q) v ~ (p v r)]


V V V F F V V F F F V
V V F F F V V F F F V
V F V F F F V F F F V
V F F F F V V F F F V
F V V V V V V V V F V
F V F V V V V V V V F
F F V V F F V F F F V
F F F V V V V F V V F
Pasos 2 3 1 8 4 7 6 5
Rpta:Tautologa

11.- [(p ~ q) ^ ~ (r ^ q)] ~ [(p ~ q) (q ^ r)]

p Q r [(p ~ q) ^ ~ (r ^ q)] ~ [(p ~ q) (q ^ r)]


V V V V F F V V F V V
V V F V V V F V V V F
V F V F F V F V F F F
V F F F F V F V F F F
F V V F F F V V F F V
F V F F F V F V F F F
F F V V V V F V V V F
F F F V V V F V V V F
pasos 1 4 3 2 9 8 5 7 6
Rpta:Tautologa

12.- {[(~ p ^ r) q] [~ q (p v r)]} {(p q) (q v ~ r)}

p q r {[(~ p ^ r) q] [~ q (p v r)]} {(p q) (q v ~


r)}
V V V F V V F F F V F V F V
V V F F V V F F F V F V F V
V F V F V F V V V V V F F F
V F F F V F V V V V F F V V
F V V V V V F F F V V F V V
F V F F V V V F V F F F V V
F F V V F F F V V V V V V F
F F F F V F F V F F F V F Vz
pasos 1 3 2 7 4 6 5 11 8 10 9

Rpta:Contingencia
MATEMATICA I LOGICA.

13.-Afirmamos que:

A: Hoy es lunes pero no martes, entonces hoy no es feriado Hoy es


feriado, entonces no es verdad que hoy es lunes y no es martes. V

B: Hoy es lunes o martes, si y slo si, hoy no es lunes Hoy no es


lunes y hoy es martes. V

C: Hoy es feriado y no es martes, entonces hoy es martes Hoy no es


martes, entonces hoy es feriado. V

Cules son verdaderas?


Rpta: Todas.

14.- (1) Es necesario y suficiente que p y q sean falsos para que:


~ (p ^ r) (q v ~ r) sea falsa.

pyq=F ~ (p ^ r) (q v ~ r) = F
F V F F
V F
F

(2) Es necesario que q sea falsa y r verdadera para que:


(p ^ ~ q) (~ r v ~ p) sea falsa.

v (q) = F (p ^ ~ q) (~ r v ~ p) = F
v (r) = v F V F V
F V
V
(3) No es necesario que p y q sean verdaderas para que:
~ (p q) v (~ p ~ q) sea verdadera.

pyq=F ~ (p q) v (~ p ~ q) = V
F F V V
V F
V

Cules de estas afirmaciones son verdaderas?

Rpta: (1) y (3)


15.- Dados los esquemas lgicos: P = (p q) ^ ~ (~ p ^ q); R = ~ (~ p q);
MATEMATICA I LOGICA.

a) P R b) R Q c) P R d) Ninguno

P R Q
p q (p q) ^ ~ (~ p ^ q) ~ (~ p q) ~ (p v ~ q)
V V V V V F V V F F F V
V F F F V F V F V V F V
F V V F F V V F V V V F
F F V V V F V V F F F V
Tautologa
Rpta: P R (P si equivale a R)

16.- Si se sabe que: p * q (p ~ q) y p # q ~ p ^ ~ q, evaluar el esquema


molecular: A = (p r) # (q * r)
p * q (p ~ q)

p q (p ~ q)
V V V F F
V F V V V
F V F V F
F F F V V

p#q~p^~q

p q ~p ^~q
V V F F F
V F F F V
F V V F F
F F V V V

A = (p r) # (q * r)

P q R (p r) # (q * r)
V V V V F F
V V F F F V
V F V V F V
V F F F F V
F V V V F F
F V F V F V
F F V V F V
F F F V F V
Contradiccin
MATEMATICA I LOGICA.

17.- Si definimos el conectivo como: p q (p ^ ~ q) v [(p ^ r) ^ ~ q], donde


r es una proposicin cualquiera. Analizar cuales de las siguientes
afirmaciones son correctas.

a) p p es una contradiccin c) q t q ^ ~ t
b) p q q p d) p ~ q p ^ (~ p v q)

a) p p es una contradiccin

p r (p ^ ~ p) v [(p ^ r) ^ ~ p]
V V F F V F F
V F F F F F F
F V F F F F V
F F F F F F V
paso 1 5 2 4 3
s

b) p q q p

p q r (p ^ ~ q) v [(p ^ r) ^ ~ q] (q ^ ~ p) v [(q ^ r) ^ ~ p]
V V V F F V F F V F F V F F
V V F F F F F F V F F F F F
V F V V V V V V F F F F F F
V F F V V F F V F F F F F F
F V V F F F F F F V V V V V
F V F F F F F F F V V F F V
F F V F F F F V V F F F F V
F F F F F F F V V F F F F V
pasos 1 5 3 4 2 11 6 10 8 9 7

c) q t q ^ ~ t

q t (q ^ ~ t) v [(q ^ r) ^ ~ t] (q ^ ~ t)
V V F F V F F V F
V F V V F F V V V
F V F F F F F V F
F F F F F F V V F
paso 1 5 2 4 3 7 6
s
Tautologa
MATEMATICA I LOGICA.

d) p ~ q p ^ (~ p v q)

p q r [p ^ ~ (~ q)] v [(p ^ r) ^ ~ (~ q)] p ^ (~ p v q)


V V V V V V V V V V V V
V V F V V F F V V V V V
V F V F F V F F V V F F
V F F F F F F F V V F F
F V V F F F F V V F F V
F V F F F F F V V F F V
F F V F F F F F V F F V
F F F F F F F F V F F V
pasos 1 5 2 4 3 9 6 8 7

Tautologa
Rpta: SOLO a, b y c

18.- Dada la siguiente informacin: p * q (~ p q) ^ (~ q p)


p # q (~ p q) v (~ q p)

Evaluar la formula: [(p * q) ^ (q v r)] (~ p # q)

p*q

p q (~ p q) ^ (~ q p)
V V V F F
V F V V V
F V V V V
F F F F F

p#q

p q (~ p q) v (~ q p)
V V F V V
V F V V F
F V V V V
F F F F F
[(p * q) ^ (q v r)] (~ p # q
MATEMATICA I LOGICA.

p q r [(p * q) ^ (q v r)] (~ p # q)
V V V F F V V F V V
V V F F F V V F V V
V F V V V V F F F F
V F F V F F V F F F
F V V V V V V V V V
F V F V V V V V V V
F F V F F V V V V F
F F F F F F V V V F
pasos 1 3 2 7 5 6 4

Rtpa: Contingente

19.- Dado los siguientes esquemas moleculares: A = p (~ q), B = p ~ r y


C = ~ (q ^ ~ r). Determinar: a) Si la conjuncin de A y C implica a B. b) Si la
disyuncin de A y B implica a C.
A = p (~ q) ; B = p ~ r ; C = ~ (q ^ ~ r)

a) Si la conjuncin de A y C implica a B.

(A ^ C) B

b) Si la disyuncin de A y B implica a C.
(A v B) C

a) P q R {[p (~ q)] ^ [ ~ (q ^ ~ r)]} (p ~ r)


V V V V V V F F F
V V F V F F V V V
V F V F F V F V F
V F F F F V F V V
F V V F F V F V V
F V F F F F V V V
F F V V V V F V V
F F F V V V F V V
Pasos 1 4 3 2 6 5

(A ^ C) B
MATEMATICA I LOGICA.

b) p q R {[p (~ q)] v (p ~ r)} [ ~ (q ^ ~ r)]


V V V V V F V V F
V V F V V V F F V
V F V F F F V V F
V F F F V V V V F
F V V F V V V V F
F V F F V V F F V
F F V V V V V V F
F F F V V V V V F
Pasos 1 3 2 6 5 4

(A v B) C
20.- Determinar si cada una de las proposiciones que aparecen a
continuacin implica a K = ~ (p ^ q) v ~ r

A = p ~ (q ^ r) ; B = (q ^ ~ r) ; C = (~ p) (~ r)

p q r [p ~ (q ^ r)] [~ (p ^ q) v ~ r]
V V V V F F V V F V F F
V V F V V V F V F V V V
V F V V V V F V V F V F
V F F V V V F V V F V V AK
F V V F V F V V V F V F
F V F F F V F V V F V V
F F V F F V F V V F V F
F F F F F V F V V F V V
pasos 1 4 3 2 9 7 6 8 5

B = (q ^ ~ r)

p q r (q ^ ~ r) [~ (p ^ q) v ~ r]
V V V V F F V F V F F
V V F V V V V F V V V
V F V F F F V V F V F
V F F F F V V V F V V BK
F V V V F F V V F V F
F V F V V V V V F V V
F F V F F F V V F V F
F F F F F V V V F V V
pasos 1 3 2 8 6 5 7 4
p q R [(~ p) (~ r)] [ ~ (p ^ q) v ~ r]
V V V F F F V F V F F
MATEMATICA I LOGICA.

V V F F V V V F V V V
V F V F F F V V F V F
V F F F V V V V F V V
F V V V V F V V F V F
F V F V F V V V F V V CK
F F V V V F V V F V F
F F F V F V V V F V V
Pasos 1 3 2 8 6 5 7 4

21.- Sean las siguientes proposiciones: M = (p ~ q) ^ (r p) ;


S = [~ (~ p v q)] ^ q; L = q ~ r. Analizar: a) M implica L y b) M implica S.
a) M implica L: M L

p q r [(p ~ q) ^ (r p)] (q ~ r)
V V V F F V V F
V V F F F V V V
V F V V V V V V
V F F V V V V V
F V V V F F V F ML
F V F V V V V V
F F V V F F V V
F F F V V V V V
pasos 1 3 2 5 4
b) M implica S: M S

p q R [(p ~ q) ^ (r p)] {[~ (~ p v q)] ^ q}


V V V F F V V F V F V
V V F F F V V F V F V
V F V V V V F V F F F
V F F V V V F V F F F
F V V V F F V F V F V
F V F V V V F F V F V
F F V V F F V F V F F
F F F V V V F F V F F
Pasos 1 3 2 8 6 5 7 4

MS
MATEMATICA I LOGICA.

22.- Dada la siguiente tabla:

Evaluar las frmulas:


P Q p*q p#q pq a) (p q) (q # r)
V V F F F b) (q ^ r) # (r ^ q)
V F V F V c) (m n) * (n #q)
F V V F V
d) (~ n ~ q) # (q * n)
F F V V F
a)

p q r (p q) (q # r)
V V V V V F
V V F V V F
V F V F F F
V F F F V V
F V V V V F
F V F V V F
F F V V V F
F F F V F V

b)

Q r (q ^ r) # (r ^ q)
V V V F V
V F F V F
F V F V F
F F F V F

c)
m n q (m n) * (n #q)
V V V V V
V V F V V
V F V F V
V F F F V
F V V F V
F V F F V
F F V V V
F F F V F
d)
R q (~ n ~ q) # (q * n)
V V F V F
V F V F V
F V V F V
F F F F V
MATEMATICA I LOGICA.

EJERCICIOS: GRUPO 3
Demostrar por la tabla de valores o por el MTODO ABREVIADO, si los
esquemas representan o no reglas de inferencias vlidas.

1.- p (~ q)
p v (~ q)

.. ~ q
Solucin:

[p (~ q)] ^ [p v (~ q)] (~ q)
V V ~F
V
v (p) = V
v (q) = V
p~q=V pv~q=V
V F=F Vv F=V

.. Inferencia Lgica

2.- p q
qp
.. p q
Solucin:

(p q) ^ (q p) (p q)
V V F
V F
v (p) = V
v (q) = F
pq=V qp=V
VF=F FV=V
.. Inferencia Lgica

3.- (p q) ^ (r s)
pvr
.. q v s
MATEMATICA I LOGICA.

Solucin:

[(p q) ^ (r s)] ^ (p v r) q v s
_____ V _____ V F
V V V V F F
v (p) = V
v (q) = F
pq=V rs=V v (r) = V
VF=F V F = F v (s) = F

.. Inferencia Lgica

4.- p q
~q~r
.. p r
Solucin:

(p q) ^ (~ q ~ r) (p r)
V V F
F V
v (p) = F
v (q) = V
pq=V ~q~r=V v (r) = V
VV=V FF =V
.. Falacia

5.- p q
rvq
~r
.. q
Solucin:
(p q) ^ (r v q) ^ (~ r) (q)
V V ~V F
F
v (p) = V
v (q) = F
pq=V rvq=V v (r) = F
VF=F FvF=F
.. Inferencia Lgica
6.- p q
qr
MATEMATICA I LOGICA.

rs
.. p s
Solucin:
(p q) ^ (q r) ^ (r s) (p s)
V V V F
v (p) = V
v (q) = F
v (r) = F
v (s) = F
pq=V qr=V rs=V ps=F V
F = F F F = V FF = V V F = F
.. Inferencia Lgica

7.- q (~ p v r)
rvs
~pr
.. q v r
Solucin:

[q (~ p v r)] ^ (r v s) ^ (~ p r) (q v r)
V V V F
v (p) = V
v (q) = F
v (r) = F
v (s) = V
q (~ p v r) = V r v s = V ~ p r = V q v r = F
F (F v F) F v V = V F F= V F v F = F
FF=V

.. Falacia
8.- q p
q (r v s)
~ (~ q v ~ s)
.. r (s p)
Solucin:

(q p) ^ [q (r v s)] ^ [~ (~ q v ~ s)] [r (s p)]


V V V F
v (p) = F
v (q) = F
v (r) = V
v (s) = V
q p = V q (r v s) = V ~ (~ q v ~ s)=V r (s p)= F
MATEMATICA I LOGICA.

FF=V F (VvV) ~ (~ F v ~ V) V F
FV=V ~ (V v F) = F V (V F)

.. Inferencia Lgica
9.- p v ~ q
r~p
sp
.. p v (q ~ r)

Solucin:

(p v ~ q) ^ (r ~ p) ^ (s p) [p v (q ~ r)]
V V V F
v (p) = F
v (q) = V
v (r) = V
v (s) = F
pv~q=V r~p=V sp=V p v (q ~ r) = F
FvF=F VV=V FF=V Fv( F )
F v (V ~ F
.. Inferencia Lgica

10.- p ~ q
~ps
rs
.. p (r ^ ~ q)
(p ~ q) ^ (~ p s) ^ (r s) [p (r ^ ~ q)]
V V V F

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

p~q=V ~ps=V rs=V p (r ^ ~ q) = F


VV=V FV=V FV=V V( F )
V (F ^ V) = F
.. Falacia
MATEMATICA I LOGICA.

EJERCICIOS: GRUPO 4
1.- Sean: p= *Juan estudia ingls*
, q=* Pedro esta en casa*.

Simplificar y expresar oralmente la proposicin: p= [ (p q)p]q.

p= [ (p q) p] q
[ ( (p q)] q
[ ( p q) ( q p)] q
[ p ( q p)] q
[ p ( q p)] q
[ p ( q p)] q
pq
Rpta: pq

2.- Determinar el equivalente a la afirmacin *x* no es divisor de tres es


condicin necesaria para que *x* sea primo y no sea mayor que cuatro.

p = x, no es divisor de tres
r = necesaria para que x sea primo
q= x, no sea mayor que cuatro

( p r) q
( p q) r
Rpta: (p q) r

3.- Determinar los esquemas ms simples equivalentes a las proposiciones:

a) ~[~( p q ) ~q ] v p
~[( p q ) v ~q ] v p ------------------condicional
[(~p v ~q ) q ] v p------------------Morgan
( q ~p ) v p--------------------------absorcin
p v q---------------------------------absorcin

b) [( p q ) v ~p ] ( ~q p )
[(~p v q ) v ~p ] ( q v ~p ) ------------------condicional
( ~p v q ) ( q v ~p ) -------------------------absorcin
( ~p v q ) ----------------------------------idempotencia

c) [( p q ) v ( p ~q )] v (~p ~q )
[ p v ( q v p )] v (~p ~q ) ------------------absorcin
( p v q ) v (~p ~q ) ------------------------idempotencia
MATEMATICA I LOGICA.

p v ( q v ~p) ----------------------------------absorcin
( p v ~p ) q---------------------------------asociativa
T q ------------------------------------ley del tercio
T--------------------------------------F.N para yv

d) ( p ~r ) v [~q ~( p r )]
( p ~r ) v [ q v ~( p r )] ------------------condicional
( p ~r ) v (~p v ~r ) v q---------------------Morgan y conmutativa
[(~p v ~r ) v ~r ) v q---------------------------absorcin
(~p v ~r ) v q----------------------------------idempotencia

e) [(~q ~p ) (~p ~q )] ~( p q )
[~( q v ~p ) v ( p v ~q )] ~( p q ) ------------------condicional
[~( q v ~p ) v ( p v ~q )] ~( p q ) ------------------Morgan
( p v ~q ) ~( p q ) -----------------------------------absorcin
( p v ~q ) (~p v ~q ) ----------------------------------Morgan
p v ~q-------------------------------------------------absorcin

f) ~{[(~p ~q ) v ( p (~p v q ))] ~( p v q )


~{~[(~p ~q ) v ( p (~p v q ))] v ~( p v q ) ----------------condicional
[(~p ~q ) v ( p (~p v q ))] v (~p ~q) ---------------Morgan
(~p ~q ) v ( p v q ) --------------------------------------absorcin
( p v ~q ) v q-------------------------------------------------absorcin
p v (~q v q ) -----------------------------------------------asociativa
p v T --------------------------------------------------------ley del tercio
T----------------------------------------------------- F.N para y v

g) ~{~[~(~p q )v ~q ] [~( p v ~q )]}


~{[~(~p q ) v ~q] v [~( p v ~q )]} --------------condicional
~{[( p v ~q ) v ~q ] v (~p q )} ------------------doble negacin
~[( p v ~q ) ~(~p q )] ---------------------absorcin
(~p q ) ( p v ~q ) -------------------------Morgan
~p ( q v p ) ----------------------------------absorcin
(~p v p ) q---------------------------------asociativa
T q------------------------------------ley del tercio
q--------------------------------------F.N para y v

3.- Demostrar que la proposicin P = ~ (p q) [q (~ r)] es equivalente a


las proposiciones: A = [p (p v ~ r)] (~ q); B = [p (~ q)] [~ (q r)]; y C =
[p (~ q)] v [(p ~ r) (~ q)]
MATEMATICA I LOGICA.

PA

p Q r {~ (p q) [q (~ r)]} {[p (p v ~ r)] (~q)}


V V V F V F V F F V V V V V F F F
V V F F V F V V V V V V V V V F F
V F V V F V F V F V V V V V F V V
V F F V F V F V V V V V V V V V V
F V V F V F V F F V F F F F F F F
F V F F V F V V V V F F F V V F F
F F V F V F F V F V F F F F F F V
F F F F V F F V V V F F F V V F V
pasos 2 1 6 4 5 3 14 10 11 7 9 8 13 12

PB

p Q r {~ (p q) [q (~ r)]} { [p (~ q)] [~ (q r)]}


V V V F V F V F F V V F F F F V
V V F F V F V V V V V F F F V F
V F V V F V F V F V V V V V V F
V F F V F V F V V V V V V V V F
F V V F V F V F F V F F F F F V
F V F F V F V V V V F F F F V F
F F V F V F F V F V F F V F V F
F F F F V F F V V V F F V F V F
pasos 2 1 6 4 5 3 13 8 9 7 12 11 10

PC
MATEMATICA I LOGICA.

p Q r {~ (p q) [q (~ r)]} {[p (~ q)] v [(p ~ r) (~ q)]}


V V V F V F V F F V V F F F F F F
V V F F V F V V V V V F F F V F F
V F V V F V F V F V V V V V F F V
V F F V F V F V V V V V V V V V V
F V V F V F V F F V F F F F F F F
F V F F V F V V V V F F F F F F F
F F V F V F F V F V F F V F F F V
F F F F V F F V V V F F V F F F V
pasos 2 1 6 4 5 3 14 8 9 7 13 10 12 11

4.- Simplificar la proposicin:

{[(~ p ~ q) v p v q] [(p q) v (~ p ~ q) v p]} (~ q)


{[~ (p v q) v (p v q)] [(p q) v (~ p ~ q) v p]} (~ q)
{[~ (p v q) v (p v q)] [(p q) v (~ p ~ q) v p]} (~ q)
{ V [(p q) v (~ p ~ q) v p]} (~ q)
{[(p q) v (~ p ~ q) v p]} (~ q)
{(p q) v [(p v ~ p) (p v ~ q)]} (~ q)
{(p q) v [ V (p v ~ q)]} (~ q)
{(p q) v (p v ~ q)} (~ q)
[~ q (p q)] v [~ q (p v ~ q)]
[(~ q q) p] v [(~ q ~ q) v p]
[ F p] v [~ q v p]
F v [~ q v p]
(~ q v p)

5.- Usando equivalencias lgicas simplificar:

[~ (~ p ~ q) ~ (p v q)] v [p (~ p q r)]
A B
En A:
[~ (~ p ~ q) ~ (p v q)]
[~ (~ p ~ q) ~ (p v q)] v [(~ p ~ q) (p v q)]
[~ (p v ~ q) ~ (p v q)] v [(p v ~ q) (p v q)]
~ [(p v ~ q) v (p v q)] v [p v (~ q q)]
~ [p v (~ q v q)] v (p v F)
~ [p v V] v p
~ (V) v p
MATEMATICA I LOGICA.

F v p
p
En A y B:
p v [p (~ p q r)]
p v [~ p v (~ p q r)]
p v {~ p v [~ p (q r)]}
p v {(~ p v ~ p) [~ p v (q r)]}
pv{ ~p [~ p v (q r)]}
(p v ~ p) {p v [~ p v (q r)]}
V {p v [~ p v (q r)]}
{p v [~ p v (q r)]}
{p v [(~ p v q) (~ p v r)]}
[p v (~ p v q)] [p v (~ p v r)]
[(p v ~ p) v q] [(p v ~ p) v r]
[ V v q] [ V v r] = V V =V

6.- Simplificar aplicando equivalencias lgicas la proposicin:

{[p q (p v q)] v [r (~ r v q) p]} {[~ p v q v ~ q v ~ (p v q)]


A B
[r p (~ r v q)]}
C

En A:
{[p q (p v q)] v [r (~ r v q) p]}
{[(p q) p] v [(p v q) q]}
{[(p v q)] v [(r q) p]}
{(p v q) v (r q) p}
{(p v q) p v (r q)}
{(p (r q)}
En B: En C:
[~ p v q v ~ q v ~ (p v q)] [r p (~ r v q)]
~ [(~ p v q) v ~ q v ~ (p v q)] v [p r (~ r v q)]
[~ (~ p v q) q (p v q)] v [p (r v q)]
[(p q) q (p v q)]
[(q p) (p v q)]
(p q)

En A, B y C:
MATEMATICA I LOGICA.

{(p (r q)} (p q) v [p (r v q)]


(p q) v (p r) (p q) v [(p q) r]
pq

LA PROPOSICIN:

{ [ ( ~ p ~ q ) p q] [ (p q) ( ~ p ~ q) p] } ~ q
{ [ ( p ~q) q] [ ( p q ) (p ~ q) ] } ~ q
{ [ p q q] [(pq) p~q]}~q
{ ( p V) ( p ~ q) } ~ q
{ V ( p ~ q) } ~ q
(p ~ q) ~ q

Repta: ~q

8.- Usando equivalencia lgica simplificar:

[~( ~ p~ q) ~( p q)] [ p( ~p q r)]


[ ~ (p ~ q) ~ ( p q)] ~p
[ (~p q) ~ (p q)] ~ p
{ [ ( ~p q) ~(p q)] [ ~ ( ~p q) (p q) ] } ~p
{ [ ~p q (~q ~p)] [ ( p ~q) ( p q)] } ~p
{ ( ~p ~p q ~q) [ p ( ~q q) ] } ~p
{ ( ~p F) ( p F)} ~p
{ F p} ~p
p ~p
V

TAUTOLOGIA
MATEMATICA I LOGICA.

EJERCICIOS: GRUPO 5
1. Determinar la menor expresin que representa al circuito dado:
a)

p
p
q

q p

Solucin:
p q q p p
p q p p
p p q p
T q p
T p
p

b)

p q

p
p
q

Solucin:
p q p p q
p q p q
pq
MATEMATICA I LOGICA.

c)
p q
p
p q

Solucin:
p q p q q p
p q p V p
p q p p
p q p
pq

d)
p
p q
q

p q

Solucin:

p p q p q q
p p q p q
p p p q q
p T q q
p T q
p q
pq

e)

q p q

p q q
MATEMATICA I LOGICA.

Solucin:

q p p q q q
p q p q T
p q T
pq

f)
p
p q
q

r
r p
q

Solucin:
p p q q r r q p

p q p r q p

p q r q p
p q p q r
p q

g)

q
q
P
r
q
P q

Solucin:
MATEMATICA I LOGICA.

p q q r
q p q r

p q q p q r

p q q p r

p q q r
pF r
pr

h)

p q P q

P p q P

q P

Solucin:
p p q p q p q p p
p q p q p q p q p
V p q q q p
V p q p
p q p
p

2. Determinar los crculos lgicos que representa a los siguientes esquemas


moleculares:
a) p q r
Solucin:
p q r
p q r
p q r
q
MATEMATICA I LOGICA.

b) p p q

Solucin:
p p q p p q
p p q
pq

c) p q p q p q

p q p q p q
p q p q p q
p q p q p
p q p q q
p q p
p q p
p q
p

q
d) p q q p

e) r q p
r q
Solucin: p r p q r q
r q p r q
q r q r q p
MATEMATICA I LOGICA.

q
r q r q p
q r q p
q r p
r

3. Simplificar y hallar el equivalente a los circuitos dados:

a) r

s
r s

s
P
r
r
Solucin:

r s r s s r p r

r r s s s r p
T T s r p
T s r p
s r p

r p

b)
p q P q

P p q p

q P
MATEMATICA I LOGICA.

Solucin:
p q p q p q p q p p
p q p q p q p q p

T p q p q p
T p q p
p q p
p q
p q

c)
P q

q p P

P q q

q p

Solucin:

p q q p p q q
p

p q q p p q q
p p q

p q q p p q q
p p q
T p q
p q
p

d)

P
MATEMATICA I LOGICA.

p
q P
q
q p
Solucin:
p q q p p q p
p q q p p q p
V p q p
p q p
p p p q
F p q
p q
p q

e)
p q P

P r q
q
q p
Solucin:
p
q p q p q r
p q

p q p q p q r q p q r
p q
V p q r q p q

p q r q p q
q p q q r q p
q p q q r q q p
q p F F
q p F
q p
p q

4. A un electricista se le da el diagrama del circuito siguiente:


El quiere hacer una instalacin lo ms econmica posible y que sea
equivalente al circuito original. Si cada interruptor cuesta $ 1.20 y no
MATEMATICA I LOGICA.

teniendo en cuenta el alambre, cunto le cost la instalacin y cunto


se ahorr?

P q r

r q

Solucin:
1.20 X
___7_
$ 8.40

p r p q r r q

p r r p r q r q

p
q r

p r p r r q
p r p r r q
p r
p

r
1.20
1.20
$ 2.40 Instalacin
$ 6.00 Ahorro

5. Demostrar que son equivalentes los circuitos A, B y C.

P q r

r q
A
Solucin:
MATEMATICA I LOGICA.

q r p q r r q
q r r p r q r q
q r r q r p r q
q r

q p

r p
B
Solucin:
q r q p r p
q r p q r
q r
r

q
r

q q
r
r

C
Solucin:

q r r q q r r r
q T C T r
q T r
q r
Si son equivalentes.
MATEMATICA I LOGICA.

6. Demostrar que los siguientes circuitos son equivalentes a p q

p q q p q p q
p
q p p q p
p
Solucin:
p q p p q p p q q p p q p p
p q T q p p q q p p p
p q q p p q q p T
p q q p q q p

pC p q
p
No es equivalente Si es equivalente

7. Construir el circuito ms simple correspondiente el circuito:

q r
p q r s
A r s B

p r
p q
q r s

8) Hallar el resultado de conectar en paralelo los siguientes circuitos:

p q p q
q p p p q p
q q
p p
9) El costo de cada llave en la instalacin del circuito siguiente es de $ 15.
En cuanto se deducir el costo de instalacin si se reemplaza de ocho
circuitos por el ms posible?

p p p
p q
p q q
MATEMATICA I LOGICA.

p q p
p p
p q p

EJERCICIOS: GRUPO 6
1. -Determinar por extensin cada uno de los siguientes conjuntos:

A = { x Z / x - x - 10x 8 = 0}

POR RUFINI

1 -1 -10 -8

-2 -2 16 +8 LUEGO
X(1) = 2
1 -3 -9 0 x(2) = - 1
x(3) = 4

x - x - 4 = 0
(x 4) (x +1) = 0

B = { x |N / 6x - 3x +3x+10 = 0}

POR RUFINI

6 -31 -13 -10


MATEMATICA I LOGICA.

5 30 -5 -10
6 -1 -2 0

x _ 1 x + 1 _ 1 _ 1
6 12 12 3

X_ 1 _ = 1 + 1
12 144 3

X _ 1 _ =147
12 144.3
___
X _ 1 _ = 49 . 3 = 49
12 144.3 144

X -1 = 7
12 12

X 7 + 1
12 12

X(1) |N x=5

13 = {5}

X= 5 6x+x+2 = 0

6x _ x _ 2 = 0 x _ 1 x _ 1 = 0
6 6 6 6 6 3

Hallando la mita
8
6

1 completamos
12

n
C = { {-1} (n-1)/n |N, n = 3<13}

Sabiendo que n = 3 n ={3;6;9;12}
MATEMATICA I LOGICA.

n
Para que (-1) (n-1) |N n= # Par luego

C= {6;12}

D = { x Z/x>0 y x<20}

D = {1;4;9;16}

0 1 4 9 16 23

2) Determinar por comprensin los siguientes conjuntos:

A = {-2;1;4;7;10} P(n) = an + b

-2 ; 1 ; 4 ; 7 ; 10 a+b = 2
2a+b = 1
3 3 3 3 a= 3 b = -5

A = { 3n-5/n |N ; - 1 n 5 }

B = {-7;-3;1; 5 ; 9....}

7 ; -3 ; 1 ; 5 ; 9 a =4 a=4
a+b= -7 b =-11
4 4 4 4 4+b= -7
B = 11

B = { n Z/ 4n ;-7n9}
MATEMATICA I LOGICA.

C= {1; 3 ; 3; 1 ; 3 }
5 7 3 11

C={ 3; 3 ; 3; 3 ; 3 }
3 5 7 9 11

C={ 3 / n |N ;1n5 }
2n+1

D= {1; 2 ; 1; 2 ; 1. . . . }
5 4 11 7

D= { 2 ; 2; 2 ; 2 2 . . . . } a3
2 5 8 11 14 a+b = 2
b=1
3 3 3 3
D={ 2 / n |N ; 1n5}
3n-1

E = {-1, ;2,7/2,5....}

E= { 2 ; 4 ; 4 ; 7 ;10 } a+b=-2
2 2 2 2 5 a+b= -2
b = -5
E = {-1, 1 ;4,7,10....}

E= { 3n 5 / n |N; 1 = n 5}
2

F = { 11 ; 9 ;24 ;14 ;51 }


3 2 5 5 7 ={a+n+b1+c1 n |N;1 n 5}
a2n+b2

F = { 11 ;18 ;29;32 ;51 }


3 4 5 6 7
MATEMATICA I LOGICA.

F = { n+4n+6 n |N;1 n 5}
n

3) Determinar por comprensin los siguientes conjuntos :

A = {0, 3 ;10,21,36....}
a=2
-1 , 0, 3 ; 10, 21,36 b= -5
c=1
-1 3 7 11 15

7 7 7 7

A= {2n-3n+1/ n |N;1 n 5}

B = {2, 3 ;6,11,18....}
2 , 3 ; 6, 11, 18 a=2/2 = 1
b= -1 -1
1 3 5 7 b = -2
c=3
2 2 2

B= {n-2n+3/ n |N;1 n 5}

C = {-2, 7 ;22,43,70...}

-5, -2, 7 ;22, 43,70


a=3
3 9 15 21 27 -2 -3 = -5
b=0 c=5
6 6 6 6

C= {3n-5/ n |N;1 n 5} 3n+0-5 -> 3n-5

D = {10, 15 ;22,31,42,55}
MATEMATICA I LOGICA.

10, 15 ;22,31,42,55 a= 0
b= 2
5 7 9 11 13 c= 7

2 2 2 2

D= {n+2n+7/ |N;1 n 5}

F={ 5,95,995,9995,99995,9999995,99999995}
1 2 3 4 5
5 = 10 5 95 = 10 5 995 = 10 5 9995 = 10 5 99995 = 10 5
6 7 8
999995 = 10 5 9999995 = 10 5 99999995 = 10 5
n
F= {x/x = ( 10 5 ) n |N ;1 n8}

4.-Dado El conjunto A={4; 7 ; 12 ; 19 ; 23 ; 39 ; 52 ; 67} Determinar por


comprensin un. subconjunto de A cuyos elementos Sean elementos del
conjunto A que ocupen el lugar par.

Solucin

3 ; 4 ; 7 ;12 ;19;23;39;52;67

1 3 5 7 9 11 13 15

2 2 2 2 2 2 2

Hallando

___
a= 4
2
a=2/2= 1
b=m-a
b=1 1 = 0
c= 3

A= {n+3/ n |N ;1 n8}

Hallando el subconjunto de A cuyo lugar sea par lugar par 2n 3 n 1


MATEMATICA I LOGICA.

2(1)+3 = 5 A
2(2)+3 = 4 A
Luego con 2 no cumplen

=> 4n +3 => n =1 = 4 (1) + 3 = 7 A


n= 2 = 4(2)+3=19 A

Cumple La Formula

=> S(A) = {4n+3/ n |N ;1 n4}


__

5) Dado U={, 3,6,-2/3,-1/5} determinar por extensin los conjuntos:

A B C D
U
X+5nx-2>0 X 30vx =4 X+4=5x-1=2 X-1=0 X+1=0

F F V V V F F V V F V F
__
3 F F V V V F F V V F V F

6 F F V V V F V F F F V F

-2 F F F V V F F V F F V F
3
-1 F F F V V F F V F F V F
5

A ={} __
B ={, 3,6,-2/3,-1/5}
C ={, 3,-2/3,-1/5}
D ={, 3,6,-2/3,-1/5}

EJERCICIOS: GRUPO 7

1.- Sean U={1,2,3,4,5,6,7,8,9}, A={2,4,6,8}, B={1,3,5,7,9} y C={3,4,5}.al hallar un


subconjunto X de U tal que XcC, Xc/ A y Xc/B, cuantas soluciones existe.

Solucin:
MATEMATICA I LOGICA.

1.- U={1,2,3,4,5,6,7,8,9}
A={2,4,6,8}
B={1,3,5,7,9}
C={3,4,5}

XC
XA
XB

X={3,4,5}C

X A
X={1,3,5,7,9}
A={2,4,6,8}

X A

X B

B={1,3,5,7,9}
X={2,4,6,8}

X B

2.- dado el conjunto A={a,{a},{},},analizar el valor de V, de ls siguientes


afirmaciones:

Solucin:

1.- {a}A{a}A
V V
V
2.- {a}A{(a)} A
V V
V

3.- { }A{( )}
V F
F

4.- A A
V V
MATEMATICA I LOGICA.

5.- {a, }A{(a),( )} A


V V
V

Rpta: VVFVV

3.- dado los conjuntos A={2,3,5,6,8} y B={0,1,2,4,5,7,9}; si m es el numero de


subconjuntos no vacios de A que son disjuntos com B y n el numero de
subconjuntos no vacios de B que son disjuntos com A, hallar m+n.

Solucin:

A={2,3,5,6,8} 2n , n=5, 25 =32


B={0,1,2,4,5,7,9}

m= A-B={3,6,8} 2n-1=23-1=7
n=B-A={0,1,4,7,9}2n-1=25 -1=31

Rpta: m+n=38

4.- Dado los siguientes conjuntos. A={7n+2nZ},B={7n-26nZ },C={4n+1nZ }y


D={2n+1nZ }.analizar y justificar debidamente su conclucin en los
siguientes casos: a)A=B b)C=D.

Solucin:

A={7n+2nZ}

B={7n-26nZ }

C={4n+1nZ }

D={2n+1nZ }

a)A=B b)C=D

SI: A=7n+2 A=B


MATEMATICA I LOGICA.

B=7n+2-28
CD
C=4n+1

D=2n+1

5.-Sean los conjuntos A={{0,1},{2,4,8}, },B={0,1,4,8} y C={ , {


},{0},{1},2,{4},{8}}. Indicar La verdad o falsedad, justificando su respuesta,de
cada uma de ls afirmaciones siguientes:

Solucin:

A={{0,1},{2,4,8}, }

B={0,1,4,8}

C={ , { },{0},{1},2,{4},{8}}

a) A V

A V

CB F

BA F

{1}A F

b) {1,8}B F

{{ },{1}}C V

{0,1}C F

{ ,{ },{1}}C V

C) { }B F

{ ,1,2,{8}}B F
MATEMATICA I LOGICA.

= { } F

{0,1}A V

{0,1}C F

d) {0,1}B F

{0,1}B F

{1}{0,1} V

{1}{{1}} V

6.-sea A={{0,1},{2,4,8}, } analizar los valores de verdad o falsedad de ls


siguientes afirmaciones:

A={{0,1},{2,4,8}, }

B={0,1,4,8}

C={ , { },{0},{1},2,{4},{8}}

a)xP(A) /4X........................................F

b)xP(A) /{6}X.......................................... V

c)xP(A) /{5}X...............................................V

d)xP(A) /{3,4}X ....................................... F

EJERCICIOS: GRUPO 8

1. Sea U={X N / 0 <x10} y los subconjuntos: A={ XN/X es primo},


B={XU/X es un cuadrado perfecto, C={XU/ X es impar}. Hallar:

U={1,2,3,4,5,6,7,8,9,10}
A={1,3,5,7,2}
B={1,4,9}
MATEMATICA I LOGICA.

C={1,3,5,7,9}

a) (A U B)-C

(1,3,4,5,7,9,2)-C
(6,8,10)-(1,3,5,7,9)
{6,8,10}

b) (A U C)-B

(2) B
{1,3,4,5,6,7,8,9,10}
{1,4,9}

c) (A B) (A C)

{(A-B)(B-A)} -{(A-C) (C-A)}


{3,5,7,2}(4,9)- {(2) (9)}
{2,3,7,9,4}-{2,9}
{4,3,7}

d) (A C)- (B U C)
{1,3,5,7}-{1}
{2,4,6,8,9}-{2,3,4,5,6,7,8,9,10}

2.-Dado los conjuntos A={xZ/~[x-2x>3]}, B={xN/~(-1<x3x=5]} y


C={xZ/(x<-2x2) x>1}. Hallar el resultado de (BC)(AB)

A={ XZ/ {x5-2x>3}}

B={XN/ {-1<x3x=5}}

C={ XZ/ (X<-2x2)x>1}

Sol:
MATEMATICA I LOGICA.

A= C (x-2x>3)

X<2,3)

B= (-1<X3X=5)

( (-1<X3) X=5)

-1<X3X5

X<-1,3) X5

(X<-2 X2) X>1

-(X<-2 X2) X>1

X(-2,2>X>1

X(-2,>

(B C) (A B)
{(B C)( A B)}- {( A B)( B C)}

A<-2,3)
B<-1,3) X5
C(-2, >

B C=<-1,3)
A B=<-1,3) X=5

3.-sea el conjunto

E={ ,a{a},{a,}}

B={XE/X X{a, }}
X={a,{a},{a, } ,a{a}}
X={a,{a}}
MATEMATICA I LOGICA.

B={a,{a}}

C={XE/X aX{a, }}
X={a,{a}, {a,}}
X={a,{a}, , { a, }}

C={a,{a}, , { a, }}

D={XE/X es una letra del alfabeto}


D={a}

a) P(B-C)=0
b) (CD)-B
{a}-{,{a }}
{a}

C=(C-B) U(BD)
C=( ,{a,}) U({a,{a}}{a})
C=(a,{a}) U{a}

4.-SEAN LOS CONJUNTOS

A={XN/7-X=3 X<3}
X=4 X<3

A={1,2,4}

B={XN/5-X>21/5(6X-2) 2}
3>X6X-210
X<3 X2

B={2}

C={XN/X es un cuadrado perfecto x10}


C={1,4,9}

a) (A UB) (C-A)
{1,2,4} {9}

b) (A -B) U (BC)
{1,4} U{ }
MATEMATICA I LOGICA.

{1,4}

c) (AB)-(A-C)
{2}-{2}
0

d) (A B) (BC)
{(A-B) U (B-A) (BC)}
{{1,4}, U,, }

5.- dado los conjuntos A={xN/7-x=3<x4}, B={z/z=n,nN,n5},C={xN/x es


divisor de 30}. Hallar La suma de los elementos de conjunto (AB)U(BUC).

A={4}
B={1,4,9,16,25}
C={1,2,3,5,6,15,20,30}

(A B) U (B U C)
{1} U {1,2,3,4,5,6,9,15,16,20,25,30}
{1,2,3,4,5,6,9,15,16,20,25,30}

1+2+3+4+5+6+9+15+16+20+25+30

3.- A={2,3,5,6,8} 2n , n=5, 25 =32


B={0,1,2,4,5,7,9}

m= A-B={3,6,8} 2n-1=23-1=7
n=B-A={0,1,4,7,9}2n-1=25 -1=31

M+N=38

4.- A={7n+2nZ}

B={7n-26nZ }
MATEMATICA I LOGICA.

C={4n+1nZ }

D={2n+1nZ }

a)A=B b)C=D

SI: A=7n+2 A=B

B=7n+2-28
CD
C=4n+1

D=2n+1

5) A={{0,1},{2,4,8}, }

B={0,1,4,8}

C={ , { },{0},{1},2,{4},{8}}

a) A V

A V

CB F

BA F

{1}A F

b) {1,8}B F

{{ },{1}}C V

{0,1}C F

{ ,{ },{1}}C V
MATEMATICA I LOGICA.

C) { }B F

{ ,1,2,{8}}B F

= { } F

{0,1}A V

{0,1}C F

d) {0,1}B F

{0,1}B F

{1}{0,1} V

{1}{{1}} V

6) A={2,{3,4},{5},6}

a)xP(A) /4X F

b)xP(A) /{6}X V

c)xP(A) /{5}X V

d)xP(A) /{3,4}X F
6.-De las siguientes afirmaciones, cuales son verdaderas

a) A (A U B) =A..V
b) B C- A = B (C- A)..V
c) A (B U C U D)=(A B) U(A C) U(A D)V

7.-si A B y C A= , simplificar [AU (B C)] [DU (C A)]

Si A B y C A =
[A U (B- C)] [B U(C A)]
[A U (B C)] [B U (C (C A))]
CA
MATEMATICA I LOGICA.

8.- Cuantos de las siguientes afirmaciones son verdaderas

a) ( A A) U A = AV
b) (AU B) = A B...V
c) A B = A B .F
d) A B A B..V
e) A ( BUC) = ( AU C) (B U C)..F
f) (AU B )- ( B A ) = (A-B) U ( B-A).V

9.- Si U= {xN / O<<11}, A = { 1,2,3,4,5 }, B={x U /X= 2K , K U} , cuales de


las afirmaciones siguientes son falsas

U = {1, 2, 3, 4, 5, 6, 7, 8,9}
A = {1, 2, 3, 4,5}
B = {2, 4, 6, 8, 10, 12, 14, 16,18}

a) ( A B) U -{ 9} ..F
b) (AUB)= { U/ -16x 63 = 0}V
c) (A- B) A U (A B)..V
d) B A {8,10}V

10.-Sean los conjuntos A= {X N/ X= K -1, KN}, B= {XN/ X= 8X}, C=


{XN/ X 32X192=0}, hallar el resultado B - A C

A=B {X N/ X=K-1/2, KN}


A = {0, 4, 12, 24, 40,60..}

B = {XN/X = 8X}
B= {0,8}

C = {XN /X 32X 192= 0}


C= {8,24}

B - A C
8 8,24

Rpta: 8

11.- si A ={a, ,{ }}, B ={{ ,}{{ }}}; cuales de las siguientes


afirmaciones siguientes son verdaderos ?

A= {a, , {}}
MATEMATICA I LOGICA.

B= {{}, {}}

a) (AUB) (A B)={a. ,{ }}..V


b) El numero de elementos de P(A) =8
PA=2=8V
c) PA PB={}..F

Rpta: VVF

12.- Cuantas de las afirmaciones siguientes son verdaderas?

a) (A- B)- C= A- (BUC)V


b) ((A))=U-A..V
c) (A B)UA=AV
d) (A UB) A=B.F

[(A)UB] C=(AUC)U(B-C)..V