0% encontró este documento útil (0 votos)
323 vistas20 páginas

Ejercicios de Lógica Proposicional

Este documento contiene 13 problemas de lógica formal resueltos. Los problemas cubren temas como tablas de verdad, equivalencias lógicas, simplificación de fórmulas y determinación de valores de verdad. Cada problema presenta una fórmula o conjunto de fórmulas lógicas y pide determinar valores de verdad, equivalencias o simplificaciones. Las soluciones se proveen mediante tablas de verdad, aplicación de definiciones o propiedades lógicas como absorción y Morgan.
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
323 vistas20 páginas

Ejercicios de Lógica Proposicional

Este documento contiene 13 problemas de lógica formal resueltos. Los problemas cubren temas como tablas de verdad, equivalencias lógicas, simplificación de fórmulas y determinación de valores de verdad. Cada problema presenta una fórmula o conjunto de fórmulas lógicas y pide determinar valores de verdad, equivalencias o simplificaciones. Las soluciones se proveen mediante tablas de verdad, aplicación de definiciones o propiedades lógicas como absorción y Morgan.
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Índice general

1. LÓGICA 2

2. CONJUNTOS 6

3. CUANTIFICADORES 10

4. NÚMEROS REALES 13

5. ECUACIONES DE PRIMER GRADO 16

NOTA: AL HACER CLICK DONDE ESTÁ ESCRITO “ Vı́deo solución ”


TE LLEVARÁ A LA VÍDEO SOLUCIÓN ALOJADA EN YOUTUBE.

1
Capı́tulo 1

LÓGICA

№ 1 CepreUNI 2019-II. D) q → p E) p → q
Determine el valor de verdad de cada una
Solución: Observe que los valores de ver-
de las siguientes proposiciones:
dad que están debajo de p ∗ q son iguales
I. p∧ ∼ p es una tautologı́a. a la negación de los valores que están de-
bajo de q, con esta observación podemos
II. ∼ q ∧ (p ∨ q) es equivalente a ∼ p ∨ q.
decir que p ∗ q ≡∼ q, tenga en cuenta que
III. Si p → (∼ q ∨ r) es falsa, entonces q el orden es importante, esto quiere decir
es verdadera. que q ∗ p ≡∼ p. Luego
∼ (p ∗ q) → (q ∗ p) ≡∼ (∼ q) → (∼ p)
A) FFV B) VFV C) FFF
≡ q →∼ p ≡∼ q∨ ∼ p
D) VFF E) FVV
≡∼ (q ∧ p) ≡∼ (p ∧ q)
Solución: Rpt.- FFV  
№ 2 CepreUNI 2019-II. № 3 CepreUNI 2019-I.
Si ∗ es un operador lógico definido me- Dadas las proposiciones lógicas p, q, t y s,
diante la siguiente tabla se sabe que
[s ∧ (p4q)] → (∼ p ∨ t)
p p p∇q es falsa. Indique los valores de verdad de
V V F p, q y t ( en ese orden).
V F F
A) VFV B) VFF C) VVV
F V V
F F V D) FFF E) FVF
Solución: Dado que el conector lógico
p q p∗q
principal es una condicional, sólo hay un
V V F caso en que este es falso y es cuando el
V F V antecedente es verdadero y el consecuente
F V F es falso, entonces se debe cumplir que

F F V [s ∧ (p4q)] ≡ V y (∼ p ∨ t) ≡ F
Luego como (∼ p∨t) ≡ F , entonces t ≡ F
Simplifique la expresión ∼ (p ∗ q) → (q ∗ p)
y ∼ p ≡ F , es decir p ≡ V .
A) p ∧ q B) p ∨ q C) ∼ (p ∧ q) Por otra parte de la conjunción [s ∧

2
(p4q)] ≡ V tenemos que (p4q) ≡ V , co- D) VVV E) VVF
mo p ≡ V , entonces q ≡ F .
Por lo tanto la respuesta es V F F  Vı́deo solución.
№ 4 CepreUNI 2019-I. № 6 CepreUNI 2018-II.
Simplifique la siguiente fórmula lógica Halle una fórmula lógica equivalente para

(q → p)∨ ∼ (p → q) (p → (p ∨ q))4(q ∧ p)

A) ∼ p B) ∼ q C) p ∧ q
A) p B) q C) p ∨ q D) q → p E) p → q
D) p∨ ∼ q E) q →∼ p
Solución: 2 Recuerde que q → p ≡∼ q ∨p
y también p → q ≡∼ p ∨ q, reemplazando Vı́deo solución.
en la proposición a simplificar tenemos № 7 CepreUNI 2018-I.
Sean p, q y r tres proposiciones lógicas
(∼ q ∨ p)∨ ∼ (∼ p ∨ q) simples. La proposición

por Morgan [(p ∧ (∼ q)) ∧ (q → p) ∧ r] ∨ p


es equivalente a
(∼ q ∨ p) ∨ (p∧ ∼ q)
∼ q ∨ [p ∨ (p∧ ∼ q)] A) p B) q C) p ∨ q
D) p → r E) (p ∨ q) ∧ r
aplicando absorción dentro de los corche-
tes Vı́deo solución.
№ 8 CepreUNI 2017-II.
∼q∨p≡q →p Definimos el operador lógico ∗ mediante
la siguiente tabla

№ 5 CepreUNI 2018-II. p q p∗q
Definimos el operador lógico ∗ mediante
V V F
la siguiente tabla
V F F
p q p∗q
F V F
V V F F F V
V F F
Simplifique ∼ p ∗ (p ∗ (∼ q)).
F V F
F F V A) p ∨ q B) p ∧ q C) ∼ p∧ ∼ q
D) p E) q
Indique el valor de verdad de las siguientes
proposiciones: Solución: Observe que
I. p∗ ∼ p es una contingencia. p q p ∗ q ∼ (p ∨ q)
II. ∗ es conmutativa. V V F V
V F F V
III. p ∗ q ≡∼ p∧ ∼ q.
F V F V
A) FFF B) FFV C) FVV F F V F

3
luego p∗q ≡∼ (p∨q) ≡∼ p∧ ∼ q, entonces Solución: Rpt.- (q → t) ∧ (p → r) 
Vı́deo solución.
∼ p ∗ (p ∗ (∼ q)) ≡ № 11 CepreUNI 2015-II.
∼ (∼ p)∧ ∼ (∼ p∧ ∼ (∼ q)) ≡ La proposición
p∧ ∼ (∼ p ∧ q) ≡ {[∼ q →∼ p] → [∼ p →∼ q]} ∧ ∼ (p ∧ q)
aplicando morgan es equivalente a
A) p B) ∼ p C) q
p ∧ (p∨ ∼ q) ≡ p
D) ∼ q E) ∼ (p ∧ q)
esto último es por absorción. 
№ 9 CepreUNI 2016-I. Vı́deo solución. Solución: Rpt.- ∼ q 
Si p, q, r, t y s son proposiciones lógicas y № 12 CepreUNI 2015-II.
se cumple que Dadas las fórmulas lógicas
[(∼ t ∧ r) → (t ∨ s)] ≡ [(∼ p ∨ q) ↔ (p∧ ∼ q)] . I. ((p ∨ q) ∧ (p ∧ q)) → p.
Indique el valor de verdad de r, t y s (en II. ∼ (p ∧ q) → (∼ p ∨ q).
ese orden) III. (p4q)4(p ↔ q).
A) FFF B) FFV C) FVF Se puede afirmar que
D) VFF E) VVF A) Dos son contradicciones.

Vı́deo solución. B) Dos son contingencias.


№ 10 CepreUNI 2016-I. C) Dos son contradicciones y una es tau-
Dadas las proposiciones: tologı́a.
t: Juan hará una fiesta. D) Dos son tautologı́as y una es contra-
q: Juan aprueba lógica. dicción.

r: Juan apruebe programación. E) Dos son tautologı́as y una es contin-


gencia.
p: Juan estudiará durante el verano.
Solución:
Mediante el diccionario anterior traduz- I. Aplicando absorción
ca la siguiente proposición en el lenguaje
lógico formal: ((p ∨ q) ∧ (p ∧q)) → p ≡ (p∧q) → p
| {z }
“Para que Juan haga una fiesta es su- p
ficiente que el apruebe lógica y para que ≡∼ (p ∧ q) ∨ p ≡ (∼ p∨ ∼ q) ∨ p
Juan estudie durante el verano es necesa- ≡ (∼ q∨ ∼ p) ∨ p ≡∼ q ∨ (∼ p ∨ p)
rio que Juan apruebe programación”. ≡∼ q ∨ V ≡ V
por lo tanto es una tuatologı́a.
A) (t → q) ∧ (p → r)
II. ∼ (p ∧ q) → (∼ p ∨ q) ≡
B) (q → t) ∧ (r → p) (p ∧ q) ∨ (∼ p ∨q) ≡ (q∨ ∼ p) ∨ q
| {z }
C) (q → t) ∧ (p → r) q∨ ∼ p
D) (t → q) ∧ (r → p) ≡ q∨ ∼ p
E) (q ↔ t) ∧ (r → p) vemos que es una contingencia.

4
III. (p4q)4(p ↔ q) ≡ Indique cuáles son tautologı́as.
∼ (p ↔ q)4(p ↔ q) A) Solo I B) Solo II C) I y III
solo hay dos opciones para (p ↔ q), D) I y II E) I, II y III
o es V o es F, luego. Sugerencia: El conector de mayor jerar-
Si (p ↔ q) ≡ V, entonces quı́a es el →, siempre que no esté entre
∼ (p ↔ q)4(p ↔ q) ≡ V signos de agrupación.
№ 16 CepreUNI 2014-II.
Si (p ↔ q) ≡ F, entonces Sean p, q y r proposiciones lógicas. Si p →
(q → r) es falsa, determine el valor de ver-
∼ (p ↔ q)4(p ↔ q) ≡ V
dad de:
por lo tanto ∼ (p ↔ q)4(p ↔ I. (r ∧ q) → p.
q) es una tutologı́a, en consecuencia
(p4q)4(p ↔ q) también lo es. II. r → (∼ p ∨ q).
III. (∼ p∧ ∼ q) →∼ r.
Rpt.- Dos son tautologı́as y una es contin-
gencia. 
A) VVV B) VVF C) FVV
№ 13 CepreUNI 2015-I.
Sean p, q, r y t proposiciones lógicas. Si D) FFV E) FFF
p4q es verdadero, halle el valor de verdad № 17 CepreUNI 2014-II.
de: Sean p y q proposiciones lógicas. Si (p →
I. r → p ∨ q. q) → p es verdadera, hallar los valores de
verdad de:
II. p ∧ q → t.
I. (p ↔ q) → p
III. (p ↔ q) →∼ r
II. ∼ (p ∨ p) → (p ∧ r).

A) VVV B) VFV C) VFF III. ∼ p ∧ (q → r).


D) FVV E) FFF
A) VVV B) FVV C) VFV
№ 14 CepreUNI 2015-I. D) VVF E) FFV
Simplifique el siguiente esquema molecu-
№ 18 CepreUNI 2014-II.
lar
Si ∗ es un operador lógico definido me-
[(∼ p ∧ q) → (∼ q ∨ p)] ∧ (p ∨ q) diante la siguiente tabla de verdad:
p q p∗q
A) p B) q C) ∼ p D) ∼ q E) V
V V V
№ 15 CepreUNI 2015-I. V F F
Dadas las siguientes proposiciones:
F V V
I. (p → q)∧ ∼ q →∼ p. F F F
II. (p → q)∧ ∼ p →∼ q. Simplifique la proposición:
III. p ∧ (q∧ ∼ p) → (p ∧ q). (∼ p∗ ∼ q) → (q ∗ p)

5
A) ∼ q B) p C) q ∨ p D) V E) F Si la proposición (p →∼ r) ↔ (s → w) es
verdadera y (∼ w →∼ s) es falsa, deter-
№ 19 CepreUNI 2011-I.
mine el valor de verdad de las siguientes
Si p, q, r y s son proposiciones lógicas y
proposiciones:
(q → s) → (p → r) es falsa, determine el
valor de verdad de las siguientes proposi- I. (w → q) ↔ (p∨ ∼ t)
ciones. II. (r →∼ s) → (q ∨ t)
I. ∼ (∼ s ∧ q) → r III. ∼ p → (q ↔ t)
II. (r → s)4(q ∧ r)
A) VVF B) FVV C) VVV
III. [(p ∧ q) ∧ (r ∧ s)] ∨ (∼ s →∼ q) D) FVF E) VFV
A) FVV B) FFV C) VFV Solución: Rpt.- VVV 
D) VVV E) VVF № 23 CepreUNI 2010-I.
Determine la verdad (V) o falsedad (F) de
№ 20 CepreUNI 2011-I. las siguientes afirmaciones:
Si S es una proposición cuya tabla de va-
I. “2 > 4” es una proposición lógica
lores de verdad es
simple.
p q S
II. Si una fórmula lógica no es una tauto-
V V F logı́a, entonces siempre será una con-
V F V tradicción.
F V V III. Si p y q son proposiciones lógicas, en-
F F F tonces p ↔ q ≡∼ q ↔∼ p
∼ t es una proposición equivalente a [(p → A) VVV B) FVV C) VVF
r) ↔∼ r]∧ ∼ q. Determine una proposi-
D) VFF E) VFV
ción equivalente a (t ∨ S).
Solución: Rpt.- VFV 
A) ∼ (p ∨ q) ∨ r B) p ∨ q ∨ r № 24 CepreUNI 2010-I.
C) p ∨ q∨ ∼ r D) ∼ (p ∧ q) ∨ r En el siguiente cuadro se muestran ope-
E) ∼ (p ∧ q) ∧ r raciones lógicas con las proposiciones sim-
ples p, q, r.
Vı́deo solución.
№ 21 CepreUNI 2010-II. ↔ p ∧ q r∨ ∼ r
La proposición lógica compuesta p4q x
[(p →∼ q) ∧ (q → p)] ∧ [p ∧ (p∨ ∼ r)] ∼p→q y F
es equivalente a ∼p z

A) p → q B) ∼ q → p C) p ∧ q Determine el valor de verdad (V) o false-


dad (F) que corresponde a los casilleros
D) ∼ (p → q) E) ∼ p ∧ r
x, y, z respectivamente.
Solución: Rpt.- ∼ (p → q)  A) FFV B) VVV C) FVV
№ 22 CepreUNI 2010-II.
Sean p, q, r, s, t y w proposiciones lógicas. D) VFV E) FVF

6
Solución: Rpt.- FVV  II. s ∨ (p ↔ r).
№ 25 CepreUNI 2009-II. III. (p4 ∼ s) ∨ t.
Sean p, r, s, t proposiciones lógicas, tal que
p →∼ (r∨ ∼ s) es falsa y (p ∨ s)4 ∼ t es
A) FFF B) FVF C) VVF
verdadera. Halle el valor de verdad de:
D) VFF E) FVV
I. r ↔ (t ∧ p). Solución: Rpt.- FVF 

7
Capı́tulo 2

CONJUNTOS

№ 1 CepreUNI 2019-II. despejando N tenemos que


En una ciudad del Perú, el 60 % de los ha- 1
bitantes consumen pescado; el 50 % con- N= x = 10 %x .
10
sumen carne; el 40 % de los que consumen
Por lo tanto el porcentaje de los habitan-
carne también consumen pescado. ¿Qué
tes que no consumen pescado ni carne es
porcentaje de los habitantes que no con-
el 10 %. 
sumen pescado ni carne?
№ 2 CepreUNI 2019-II.
A) 9 % B) 10 % C) 15 % Sean A, B y C subconjuntos de U tales
que
D) 20 % E) 30 %
I. A está contenido en B, y C contiene
Solución: Denotemos por x en número a B.
de habitantes de la ciudad, P el número
de habitantes que consumen pescado, C el II. Si x no es elemento de A, entonces x
número de habitantes que consumen car- no es elemento de C.
ne y N el número de habitantes que no Sobre estos conjuntos, indique la alterna-
consumen pescado ni carne. Luego según tiva verdadera.
3
el enunciado, P = 60 %x = x, C =
5 A) A B B) B C C) A 6⊂ C
x 2 x x
50 %x = , C ∩ P = 40 %C = × = , 6 C
D) B = E) A = C
2 5 2 5
gráficamente
Solución: De la parte I tenemos simbóli-
camente que:
A⊂B⊂C . (1)
De la parte II simbólicamente tenemos
que:
Si x ∈
/A→x∈ /C (2)
recuerde por lógica que
luego N más la parte sombreada y C debe
ser igual a x, es decir ∼ q →∼ p ≡ p → q (3)

2 x luego haciendo ∼ q ≡ x ∈ / A y ∼ p ≡
N + x+ =x x∈/ C, entonces q ≡ x ∈ A y p ≡ x ∈ C,
5 2
8
luego considerando (3) tenemos que (2) es casos:
equivalente a El primer caso, si A = ∅ y B = ∅, es
claro que se cumple que P (A4B) =
Si x ∈ C → x ∈ A
∅ entonces A = B.
esto por definición quiere decir que C ⊂ A, Segundo caso, si alguno de los con-
juntando esto con (1) podemos concluir juntos es diferente de vacı́o, por ejem-
que plo A 6= ∅, A ∪ B 6= ∅, luego como
A⊂B⊂C⊂A
A4B = (A ∪ B) \ (A ∩ B) = ∅
de esto tenemos que A = B = C, por lo
tanto podemos afirmar que A = C es la entonces A ∪ B = A ∩ B, luego tene-
alternativa verdadera.  mos que
№ 3 CepreUNI 2019-II. A⊂A∪B =A∩B ⊂B
Siendo A y B conjuntos de un universo U ,
donde n(P (A ∩ B)) = 16, n(P (B)) = 32 y y también
n(P (A \ B)) = 1, el número de elementos
del conjunto B \ A es B ⊂A∪B =A∩B ⊂B

A) 0 B) 1 C) 2 D) 3 E) 4 de esto podemos concluir que A ⊂ B


y B ⊂ A, para finalmente decir que
Solución: Rpt.- 1  A = B.
№ 4 CepreUNI 2019-I.
Indique el valor de verdad de las siguien- III. (Falso) Para este caso la igualdad se
tes afirmaciones considerando que A y B cumple. Sea
son subconjuntos del universo U . X ∈ P (A ∩ B) ↔ X ⊂ A ∩ B
I. Existe A ⊂ U , tal que A ⊂ AC . ↔X ⊂A∧X ⊂B
II. Si P (A4B) = {∅}, entonces A = B. ↔ X ∈ P (A) ∧ X ∈ P (B)
↔ X ∈ P (A) ∩ P (B)
III. P (A ∩ B) 6= P (A) ∩ P (B).
Esto nos dice que cualquier elemen-
A) VVV B) FVV C) VVF to de P (A ∩ B) también pertenece
D) FFV E) FFF a P (A) ∩ P (B) y viceversa. Por lo
tanto P (A ∩ B) = P (A) ∩ P (B).
Solución:
I. (Verdadero) Haciendo A = ∅, note 
que Ac = (∅)c = U , luego tenemos № 5 CepreUNI 2019-I.
que para la elección de A se cumple Sean A, B y C subconjuntos de un conjun-
A ⊂ U ⇒ A ⊂ Ac to universal U , tal que A ⊂ B y B ⊂ C.
Simplifique:
II. (Verdadero) Recuerde que si
[(A ∪ B) ∩ C] ∩ [(A ∩ B) ∪ C C ]
P (A) = P (B) si y solo si A = B.
Luego P (A4B) = {∅} = P (∅), en-
A) ∅ B) A C) B D) C E) D
tonces A4B = ∅.
Ahora para el enunciado tenemos dos Solución: Rpt.- A, clave (B) 

9
№ 6 Dado el conjunto Halle el número de subconjuntos propios
de T .
A = {x | x ∈ R4x ∈ N} .
A) 31 B) 63 C) 127 D) 255 E) 511
Indique el valor de verdad de las siguientes
№ 10 CepreUNI 2018-I.
proposiciones: De un total de 100 personas, se sabe los
I. Q ⊂ A. siguiente: 40 son hombres que saben nadar
y 36 son mujeres que no saben nadar. Las
II. I ⊂ A. mujeres que saben nadar son el triple de
22 los hombres que no saben nadar. ¿Cuántos
III. ∈ A.
7 hombres hay en total?

A) VVF B) FFF C) FFV A) 20 B) 35 C) 46 D) 54 E) 60


D) FVV E) VVV № 11 CepreUNI 2018-I.
Sea U = N ∪ {−8, −7} y los conjuntos
Vı́deo solución.
A = {x ∈ U | x ≥ −6 → x > 7}
№7 CepreUNI 2018-II.
x
Dados los conjuntos A, B, M y N conte- B = {10 − x ∈ N | x ∈ A ∧ ∈ Z}
2
nidos en un universo U , tales que
Halle la suma de los elementos de B. ( Z:
C
M = A ∪ B C ∩ (B C \ A) \ AC conjunto de los números enteros ).
 

N = AC ∪ B ∩ (AC ∪ B C )

A) 14 B) 16 C) 18 D) 20 E) 22

Determine M 4N . № 12 CepreUNI 2018-I.


Sean A, B y C subconjuntos de un conjun-
A) A B) AC C) B D) ∅ E) U to universal U . Si A ⊂ B y A ∩ C = ∅, el
conjunto T = [A ∪ (B \ C)] ∩ [B ∪ (C \ A)]
Vı́deo solución.
es igual a
№ 8 CepreUNI 2018-II.
Indique el valor de verdad de las siguientes A) A B) B \ C C) A ∩ B
proposiciones: D) B ∪ C E) ∅
I. Si P (A4B) = P (B C 4C), entonces № 13 CepreUNI 2017-II.
A ∩ C = ∅. Considerando M y N dos subconjuntos
del universo U , simplifique
II. Si A \ B = ∅, entonces A ⊂ B.
{[M ∪ (N ∪ M )c ] ∩ (M ∩ N )c } ∪ N
III. Si P (A4B) = {∅}, entonces A∩B =
A. A) M B) N C) M c D) N c E) U
№ 14 CepreUNI 2017-II.
A) FVF B) FVV C) VFV Sean A, B yC conjuntos no vacı́os conte-
D) VVV E) VVF nidos en el universo U . Determine el valor
de verdad de las siguientes proposiciones:
Vı́deo solución. Solución: Rpt.- VVV 
№ 9 CepreUNI 2018-II. I. Si A4(B ∪ C) = A \ B, entonces
Dado el conjunto C ⊂ B.
T = {x ∈ Z | (−2 + 3x > 4)4(4x + 6 > −14)} II. ∅ ∈ P (∅).

10
III. Si x ∈
/ (A∩B), entonces (x ∈
/ A∧x ∈
/ A) VVV B) FVV C) VFF
B). D) FVF E) FFF

A) VFV B) VVF C) VVV № 18 CepreUNI 2016-I.


Considere los conjuntos A, B y C de un
D) VFF E) FFF cierto universo U tal que A ⊂ B y C ∩B =
Vı́deo solución. Solución: Rpt.- VVF  ∅, simplifique
№ 15 CepreUNI 2017-II.
[(A ∪ B) ∩ C] ∪ [C \ (A4B)]
Sean A y B dos conjuntos de un univer-
so U . Indique el valor de verdad de las
A) A ∪ B B) C C) ∅ D) A ∩ B E) U
siguientes afirmaciones:
№ 19 CepreUNI 2015-II.
I. Si A ∈ P (B), entonces P (A) ⊂ Dado A = {∅; {∅} ; 1}. Indique el valor de
P (B). verdad de las siguientes afirmaciones
II. Si P (A) = P (B), entonces A = B. I. P (∅) ∈ A.
III. P (A ∩ B) ⊂ P (A) ∪ P (B). II. P (P (∅)) ⊂ A.

A) VFF B) FFF C) VVV III. P (A) \ ∅ = P (A).


D) FVV E) VVF A) VVV B) VFF C) VVF
№ 16 CepreUNI 2017-II. D) FVF E) FFF
Si T = {x ∈ N | x ≥ 2 ↔ x < 4}. In-
№ 20 CepreUNI 2015-II.
dique el valor de verdad de las siguientes
Sean A, B, C subconjuntos de un conjunto
proposiciones:
universal U tal que A ∩ B = ∅ y A ⊂ C.
I. {4} ⊂ T . Simplificar A \ B C ∪ (C \ A) ∪ (A \ B).
II. n(T ) = 2. A) A B) B C) C D) AC E) B C
III. Si {a, b} = T , entonces a + b = 4. № 21 CepreUNI 2015-I.
Sean A y B dos conjuntos de U . Simplifi-
A) FFV B) FVF C) VFF que
D) FFF E) VVF A ∪ (B ∪ A)C ∩ (A ∩ B)C


№ 17 CepreUNI 2016-I.
Dado el conjunto A) B C ∪ AC B) B C ∩ A C) U
D) A ∪ B C E) B C
A = {∅; {∅}; {{∅}}} .
№ 22 CepreUNI 2015-I.
Indique el valor de verdad de las siguientes Dado A = P ({∅}). Indique el valor de ver-
afirmaciones. dad de las siguientes afirmaciones:
I. P (A) \ A = P (A) I. n(P (P (A))) = 16.
II. P (∅) ∩ P (A) = {∅} II. A \ ∅ = {{∅}} ⊂ A
III. P (A) ∪ A = P (A) III. {{∅}} ⊂ A

11
A) VVV B) FFV C) FVV № 26 CepreUNI 2010-II.
D) VFF E) VFV Los siguientes conjuntos A = {1; 2}, B =
{2; 3; 4} y X satisfacen: A ∩ X = {1},
№ 23 CepreUNI 2014-II. B ∩ X = {3} y A ∪ B ∪ X = {1; 2; 3; 4; 5}.
De un grupo de 120 personas se sabe que: Determine la suma de los elementos de X.
I. Los dos tercios de ellas no beben. A) 7 B) 8 C) 9 D) 10 E) 11
4
II. Los de ellas no fuman. Solución: Rpt.- 9 
5
№ 27 CepreUNI 2010-II.
III. 72 no fuman ni beben. Si A, B y C son subconjuntos de un con-
¿Cuántas personas fuman y beben, o no junto U , determine el valor de cerdad de
fuman ni beben? las siguientes afirmaciones
A) 8 B) 24 C) 72 D) 88 E) 96 I. (A \ B) ∩ (A \ C) = A \ (B ∪ C)

№ 24 CepreUNI 2014-II. II. A ∩ (B \ C) = (A ∩ B) \ (A ∩ C)


Determine la verdad (V) o falsedad (F) de III. Si A ∪ B ⊂ [B C \ (A \ B)] entonces A
las siguientes afirmaciones: y B son disjuntos.
I. P (∅) = {∅} \ ∅.
A) VFV B) FVF C) VVF
II. ∅ ∈ P (∅). D) VVV E) VVF
III. ∅ ⊂ P (∅) Solución: Rpt.- VVV 
Donde ∅ representa el conjunto vacı́o. № 28 CepreUNI 2010-II.
Dados los conjuntos A = {∅; a} y B =
A) VVV B) FVF C) FVV {m; n; p}, determine el valor de verdad de
D) VVF E) FFF las siguientes afirmaciones:

№ 25 CepreUNI 2011-I. I. P (∅ ∪ {∅}) ∈ P (A)


Dados los conjuntos A; B y C contenidos II. Si a = m = ∅ entonces n[P (A∪B)] =
en el conjunto universal U = {1; 2; 3; 4} 8
tal que se cumple:
III. n[P (A \ P (∅))] ∈ {0; 1; 2}, donde
•A⊂B n(A) = número de elementos del con-
• A ∩ C = {1} junto A.

• B \ (A ∩ C) = {3} A) FVV B) VVV C) FVF


• C ∩ B C = {4} D) FFV E) VVF

• A ∩ B ∩ C = {1; 2; 3; 4} Solución: Rpt.- FVV 


№ 29 CepreUNI 2010-I.
• B ∩ C = {1; 2} Con respecto a los conjuntos A, B y C,
Determine A \ C determine la verdad (V) o falsedad (F) de
las siguientes afirmaciones:
A) {1} B) ∅ C) {1; 2}
I. Si A∩B = ∅, entonces P (A)∩P (B) 6=
D) {1; 3} E) {2; 3} ∅.

12
II. Sean A, B y C conjuntos no vacı́os. I. P (∅) \ ∅ = ∅.
Si A ∩ C = B ∩ C, entonces A = B.
II. Si A = {{1} ; {{1}}}, entonces
III. P (A ∩ B) ⊂ P (A). {{{1}}} ⊂ P (A).
P (A) =conjuntos potencia de A
III. (h1; 5] \ h2; 3]) ∩ Z = {2; 4; 5}.
A) VFV B) FFV C) VVV P (A) : Conjunto potencia de A.
D) VFF E) VVF Z : Conjunto de los números enteros.
Solución: Rpt.- VFV  A) VVV B) FFV C) VFV
№ 30 CepreUNI 2009-II. D) FVV E) VVF
Determine la veracidad (V) o falsedad (F)
de las siguientes afirmaciones: Solución: Rpt.- FVV 

13
Capı́tulo 3

CUANTIFICADORES

№ 1 CepreUNI 2019-II. III. Este enunciado quiere decir que: Si


Dados los conjuntos A = {1; 3; 5} y B = para cada uno de los elementos x ∈ B
{2; 4}, indique el valor de verdad de las existe al menos un elemento y ∈ A de
siguientes proposiciones: tal manera que x + y = 7 es verda-
I. ∃x ∈ A | ∀y ∈ B, y ≤ x dero, entonces podemos decir que el
enunciado es verdadero. Vemos que
II. ∀x ∈ A, ∀y ∈ B, xy < 21 para x = 2 ∈ B existe y = 5 ∈ A
III. ∀x ∈ B, ∃y ∈ A | x + y = 7 tal que x + y = 7, análogamente para
x = 4 ∈ B existe y = 3 ∈ A. Por lo
A) VVF B) VFV C) VVV tanto el enunciado es verdadero.
D) FFV E) FFF 
№ 2 CepreUNI 2019-I.
Solución:
Sea A un conjunto tal que
I. Este enunciado quiere decir: Si existe AC = {x ∈ N | x > 2 → x > 6} .
al menos un elemento x ∈ A de tal
manera que para cada uno de los ele- Respecto a este conjunto, indique la alter-
mentos y ∈ B se cumple que y ≤ x nativa verdadera.
es verdadero, entonces podemos decir A) A = N B) n(A) = 3
que el enunciado es verdadero. Obser- C) ∃x ∈ A | x < 3 D) ∃x ∈ A | x > 6
vando los elementos de A y B tene-
E) ∃x ∈ A | 2x ∈ A
mos que para x = 5 el enunciado es
verdadero. Solución: Rpt.- ∃x ∈ A | 2x ∈ A 
№3 CepreUNI 2019-I.
II. Este enunciado quiere decir que: Si Dado el conjunto A = {1; 2; 3}, determine
para cada uno de los elementos x ∈ A el valor de verdad de las siguientes propo-
y para cada uno de los elementos siciones:
y ∈ B se cumple que xy < 21 es ver-
I. ∀x ∈ A, ∃y ∈ A | x2 + 3y < 12.
dadero, entonces podemos decir que
el enunciado es verdadero. Reempla- II. ∀x ∈ A, ∀y ∈ A, x2 y 2 > 10.
zando cada uno de los elementos de III. ∃x ∈ A | ∃y ∈ A | 2y = 3x.
A y B en xy < 21 vemos que esto es
verdadero. Por lo tanto el enunciado A) FFV B) VFV C) VVF
es verdadero. D) VVV E) FFF

14
Solución: Rpt.- FFV  I. ∃x ∈ A | x2 = 4.
№4 CepreUNI 2018-II.
Dado el conjunto A = {2, 3, 5, 7}, indique II. ∀x ∈ A, x + 1 > 3 ∧ x2 ≤ 9.
el valor de verdad de las siguientes propo- III. ∀x ∈ A, x + 2 = 5 ∨ x ≤ 2.
siciones:
I. ∀x ∈ A, x es un número primo. A) VFV B) VVV C) VFF
D) FFF E) FFV
II. ∃x ∈ A | y ∈ A, x + y ≥ 9.
№ 8 CepreUNI 2016-I.
III. ∀x ∈ A, ∃y ∈ A | x + y ∈ {3n | n ∈ Sean A = {1, 2, 3, 4, 5} y B = {2, 3, 5, 7}.
N} Indique el valor de verdad de los siguientes
A) VFF B) VVV C) VFV enunciados.
D) VVF E) FVV I. ∃k ∈ A tal que 
n x ∈ R : x2 − 2x + k = 2 = 1.
№ 5 CepreUNI 2018-I.
Se definen los conjuntos: II. ∀x ∈ A, ∀y ∈ B, x2 + y 2 ≥ 5.
A = {x ∈ N | x ≤ 6} y III. ∀x ∈ A, ∃y ∈ B | x + y es impar.
B = {x ∈ A | 3x ≥ 10} .
A) FVV B) VVV C) FVF
Determine el valor de verdad de las si-
D) FFV E) VVF
guientes proposiciones:
(N: conjunto de los números naturales) № 9 CepreUNI 2015-II.
Sea T el conjunto determinado por
I. ∃x ∈ A | ∀y ∈ B : x + y ≤ 10.
II. ∃x ∈ A, ∃y ∈ B | x2 + y 2 = 25. T = {x ∈ N | x ≥ 2 → x < 5} .

III. ∀x ∈ (A4B), x2 < 10. Indique el valor de verdad de las siguientes


proposiciones:
A) VFF B) VFV C) VVV I. n(T ) ∈ T .
D) FFV E) FFF
II. ∀x ∈ T, x ≤ 6.
№ 6 CepreUNI 2018-I.
Sea A = {1, 2, 3} y B = {1, 2} indique el III. ∀x ∈ T, ∃y ∈ T | x < y.
valor de verdad de las siguientes proposi-
ciones: A) FVV B) VFF C) VVV
D) VVF E) FFF
I. ∀x ∈ A, ∃y ∈ B | x + y > 5.
№ 10 CepreUNI 2015-II.
II. ∃x ∈ A | ∀y ∈ B, x2 ≤ y. 
3

Dado los conjuntos A = − , 1 ∩ Z y
III. ∃x ∈ A, ∃y ∈ B | x + y = xy. 2
2
B = {x ∈ N | x ≤ 1}. Indique el valor de
A) FFF B) VFF C) FVF verdad de las siguientes proposiciones:
D) FVV E) VVF
I. ∀X ⊂ B, X ∩ A 6= ∅.
№ 7 CepreUNI 2017-II.
II. ∀X ⊂ B, ∃Y ⊂ A | n(X4Y ) = 2.
Indique el valor de verdad de las siguientes
proposiciones, siendo A = {1, 2, 3}. III. ∃e ∈ A | ∀a ∈ A, a − e = a.

15
A) FFF B) FVV C) FFV I. ∀x ∈ A, ∃y ∈ B | x + y = 9
D) VFV E) VVF II. ∃M ⊂ A | ∃N ⊂ B | M 4N = ∅
№ 11 CepreUNI 2015-I.
Si A = {−1; 0; 2; 3} y B = {x ∈ A | III. ∃M ⊂ A | ∀N ⊂ B : M \ N 6= ∅
(x + 1) ∈ A}, determine el valor de verdad
de las siguientes afirmaciones: A) VVV B) FVF C) FFF
I. ∀x ∈ A; ∃y ∈ B | x + y ∈ B. D) FVV E) FFV
II. ∃x ∈ B | ∀y ∈ A : x + y ∈ A. Solución: Rpt.- FVV 
III. ∃x ∈ A | ∃y ∈ B : x + y ∈ A. № 15 CepreUNI 2010-I.
Determine la verdad (V) o falsedad (F) de
A) FVV B) VFV C) FFV las siguientes afirmaciones:
D) FFF E) VFF
I. Si x2 = 16 entonces, x ≤ −4 ∨ x ≥ 4.
№ 12 CepreUNI 2014-II.
Determine el valor de verdad de las si- II. ∀a, b ∈ R. Si ab > 0, entonces (a >
guientes afirmaciones: 0 ∧ b > 0) ∨ (a < 0 ∧ b < 0) es un
I. ∀x ∈ Z; ∃y ∈ Z | x − y < 1. axioma de los números reales.
II. ∃y ∈ Z | ∀x ∈ Z : x − y < 1. III. ∃x ∈ A | ∀y ∈ B; (x + y) ∈ A.
III. ∀x ∈ Z; ∀y ∈ Z : (x ≥ y ∨ x < y). A = {−2 : 0 : 1}, B = {−1; 1; 2}
Donde Z representa el conjunto de los
números enteros. A) FFF B) VVF C) VFV
A) FFV B) FVF C) VFF D) VFF E) FVF
D) VVV E) VFV Solución: Rpt.- VFF 
№ 13 CepreUNI 2011-I. № 16 CepreUNI 2009-II.
Si A = {−2; −1; 0; 1; 2}, indique el valor Determine la veracidad (V) o falsedad (F)
de verdad de las siguientes proposiciones: de las siguientes afirmaciones:
p: ∀x ∈ A, ∃y ∈ A | xy = x. √
I. ∃x ∈ R+ | x < x.
q: ∃x ∈ A | ∃y ∈ A | −1 < x + y ≤ 0.
II. El conjunto A = {n ∈ R | nx+nx2 =
r: ∃x ∈ A | ∀y ∈ A : x(y − 2) > 0. n3 , ∀x ∈ R} es igual al conjunto ∅.
A) VVV B) VVF C) VFV III. ∀a, b ∈ R, −ab = (−a)b = a(−b) es
D) FVV E) FFF un axioma.
№ 14 CepreUNI 2010-II.
Sea U = {1; 2; 3; 4; 5; 7} y los subconjun- A) VFF B) FFV C) VVF
tos A = {1; 3; 5; 7}, B = {2; 4; 5; 7}. De- D) VFV E) FFF
termine el valor de verdad de las siguientes
proposiciones: Solución: Rpt.- VFF 

16
Capı́tulo 4

NÚMEROS REALES

№ 1 CepreUNI 2019-II. I. Si a < b, entonces a ≤ b.


Indique el valor de verdad de las siguientes a a
II. Si b < 0 < a, entonces < .
proposiciones: b b−a
I. Si x ∈ R y −2 < x < 4, entonces III. La unión de intervalos es un interva-
4 < x2 < 16. lo.

II. Existe x ∈ R tal que x2 = −x. A) FVF B) VVV C) FVV
D) VVF E) FFF
III. Si A = {x ∈ R | x3 > x} y B =
h−∞; 3] entonces A ∩ B es un inter- Solución: Rpt.- VVF 
valo. № 4 CepreUNI 2016-I.
Hallar el valor de verdad de las siguientes
A) VFV B) FVF C) FFF afirmaciones:
D) VVF E) FVV I. ∀a, b ∈ R, la operación sobre R a∗b =
2a − b posee elemento neutro.
№ 2 CepreUNI 2018-I.
Indique el valor de verdad de las siguientes II. 3,1415∈ (I \ Z).
proporciones: Z conjunto de los enteros,
1 I el conjunto de los irracionales.
I. ∀x ∈ R− , x + ≤ −2.
x III. Sean a, b ∈ R: Si a + b > 1 y a4 b < 0,
II. Si x < 0 < y, entonces entonces a · b > 0.
2 2
x − xy + y
< 0. A) VVV B) VFF C) VVF
xy
  D) FVF E) FFF
1
III. El conjunto A = | n ∈ N es un
n Solución: Rpt.- FFF  Vı́deo solución.
intervalo. № 5 CepreUNI 2015-II.
Indique el valor de verdad de las proposi-
A) VFF B) VVF C) VFV ciones:
D) VVV E) FVF I. Sean a, b ∈ R tal que a ≥ b, entonces
a2 + 1 ≥ 2b.
№ 3 CepreUNI 2017-II.
Sean a, b ∈ R. Indique el valor de verdad II. Sean a, b ∈ R tal que a > b, entonces
de las siguientes proposiciones: a3 + a > a2 b + b.

17
III. Sean a, b ∈ R tal que a2 + b2 = 1, A) FVV B) FFF C) FFV
entonces ab ≤ 1. D) VFF E) VVV
Solución: Rpt.- FFF 
A) FFF B) VFV C) FVV
№9 CepreUNI 2014-I.
D) VVV E) VVF Indique verdadero (V) o falso (F) según
corresponda.
Solución: Rpt.- VVV  Vı́deo solución.
№ 6 CepreUNI 2015-I. 1 1
I. ∀a, b ∈ R− : b > a → − < − .
1 b a
Sean a y b números reales tales que <
a II. ∀a > 0, ∀b ≥ 0 : (a + b) > a + b2 .
2 2
1
< −1, indique el valor de verdad de las a
b III. ∃a ∈ R | ∀b ∈ R+ : = a.
siguientes proposiciones. b−1
I. a2 > b3 . A) FVF B) FFV C) FVV
D) VFF E) FFF
II. a2 < b2 .
Solución: Rpt.-FFF 
III. (a + 1)2 > (b + 1)2 . № 10 CepreUNI 2013-II.
Determine el mayor valor de k, tal que:
A) VVV B) VFV C) VFF
∀a, b ∈ R+ : a4 + b4 ≥ k
D) FVV E) FVF
si a + b = 1
Solución: Rpt.- VVV  1 1 1 1 3
№ 7 CepreUNI 2015-I. A)
16
B)
8
C)
4
D)
2
E)
4
¿Cuántas de las siguientes afirmaciones 1
son axiomas de los números reales? Vı́deo solución. Solución: Rpt.- 
8
№ 11 CepreUNI 2013-I.
I. ∀r, p ∈ R : r + p = p + r.
Sean a, b ∈ R+ , señale la secuencia correc-
II. Si 0 < x y z < w, entonces zx < wx. ta del valor de verdad, verdadero (V) o
falso (F) de la siguientes afirmaciones:
III. ∀x, y ∈ R : xy = 0 → (x = 0∨y = 0).
a b
I. + ≥ 2.
IV. Si a < b y b ≤ c, entonces a < c. b a
II. a2 + b2 ≥ ab + 1.
A) 0 B) 1 C) 2 D) 3 E) 4
III. Si a ≤ b, entonces a < b + 1.
Solución: Rpt.- 2 
A) VVV B) VVF C) VFV
№ 8 CepreUNI 2014-II.
Indique el valor de verdad de las siguientes D) FVV E) VFF
proposiciones: Solución: Rpt.- VFV 
I. Si a < b < 0, entonces a2 < b2 № 12 CepreUNI 2013-I.
Entre qué valores varı́a “ k ” si se sabe
(a, b ∈ R). x x
que: >3yk=
II. Si a < 0, b > 0, entonces a2 − ab < 0. x−1 x+1
b+1 1 A) 0, 3 y 0, 5 B) 0, 4 y 0, 555
III. Si a > 0, b < 0, entonces > . C) 0, 5 y 0, 55 D) 0, 55 y 0, 75
a a
18
E) 0, 5 y 0, 6 II. El conjunto

Solución: Rpt.- 0,5 y 0,6  A = {n ∈ R | nx+nx2 = n3 , ∀x ∈ R}


№ 13 CepreUNI 2012-II.
es igual al conjunto ∅.
Si m2 + 2n2 = 1 y 2p2 + q 2 = 1 tal que
m, n, p y q son números reales y diferen- III. ∀a, b ∈ R, −ab = (−a)b = a(−b) es
tes, entonces x = mp + nq verifica: un axioma.
√ 1
A) x > 2 B) x ≤ √ C) x > 2 A) VFF B) FFV C) VVF
2
1 √ D) VFV E) FFF
D) 0 < x < E) x ≤ − 2
2 Solución: Rpt.- VFF 
Vı́deo solución. № 17 CepreUNI 2008-II.
№ 14 CepreUNI 2011-I. Halle el valor de verdad de las siguientes
w+m proposiciones:
Si w > 0, m > n > 0 tal que t = ,
w+n √
entonces t admite solo valores en el inter- p: ∃ ∈ R | x3 < x.
valo:
D n mE D mE q: Si a < b < 0, entonces (a+b)(a−b) <
A) ; B) 1; C) h1; +∞i 0.
m n n
m2 r: ∀x ∈ A; ∀y ∈ A : y 2 ≤ 4(x + 1), con-
  Dn E
D) 1; 2 E) ;1
n m sidere A = {0, 1, 2}.
D mE
Solución: Rpt.- 1;  A) VFV B) FFV C) VFF
n
№ 15 CepreUNI 2010-I. D) FFF E) VVF
Determinar la verdad (V) o falsedad (F)
de las siguientes afirmaciones: Solución: Rpt.- VFV 
№ 18 CepreUNI 2007-I.
I. Si x2 = 16 entonces, x ≤ 4 ∨ x ≥ 4. Para dos números reales a y b que cum-
II. ∀a, b ∈ R. Si ab > 0, entonces (a > plen: a < 0 y a2 − ab − 1 < 0, se tiene las
0 ∧ b > 0) ∨ (a < 0 ∧ b < 0) es un siguientes afirmaciones:
axioma de los números reales. 1
I. a < .
a−b
III. ∃x ∈ A | ∀y ∈ B; (x + y) ∈ A.
1
A = {−2, 0, 1}, B = {−1, 1, 2} II. a > b + .
a
A) FFF B) VVF C) VFV ab − a + 1
III. a > .
a−1
D) VFF E) FVF
¿Cuáles de estas afirmaciones son siempre
Solución: Rpt.- VFF  ciertas?
№ 16 CepreUNI 2009-II.
Determine la verdad (V) o falsedad (F) de A) Solo I B) Solo II C) Solo III
la siguientes afirmaciones: D) Solo I y III E) Solo II y III

I. ∃x ∈ R+ | x < x. Solución: Rpt.- Solo II y III 

19
Capı́tulo 5

ECUACIONES DE PRIMER GRADO

№ 1 CepreUNI 2019-II. a−1 + b−1 c−1


Hallar la suma de las soluciones de la ecua- Determine el valor de verdad de las si-
ción guientes afirmaciones:
1 1 1 1
+ +√ = √ I. S ⊂ h2; 5].
x 3 2 x+3+ 2
II. S ∩ h0; 3i =
6 ∅.
√ √
A) 3 + 2 B) − 3 − 2 C) 0 III. S \ {−1; 1; 3; 5} = S.
√ √
D) 3 + 2 E) 2 3
A) VVV B) FVV C) VFV

Solución: Rpt.- −3 − 2  D) FVF E) FFV
№ 2 CepreUNI 2011-I.
Determine x, al resolver la ecuación Solución: Rpt.- FVV 
№5 CepreUNI 2007-II.
a+x b+x x−a x−b Halle el conjunto solución de la ecuación:
+ = +
1+a+c 1+b+c 1−a+c 1−b+c      
1 4x 2x 1 3x 2 1
3 − +7 − −5 + + =0
sabiendo que c + 1 > a > b > 0. b a a b a b b

A) 1 − c B) 2c + 1 C) c − 1 ab 6= 0.
 
D) − c − 1 E) 1 + c b
A) {a} B) {b} C) −
a
Solución: Rpt.- 1 + c  n ao  
1
№ 3 CepreUNI 2009-II. D) − E)
Si a 6= b, a 6= −b, halle el conjunto solu- b ab
a
ción de la ecuación cuya variable es x Solución: Rpt.- − 
b
x + a x − a x + b 2(x − b) № 6 CepreUNI 2007-I.
+ = + Halle el conjunto solución de la siguiente
a−b a+b a+b a−b
ecuación:
A) {2b} B) {2a} C) {3b} (a + b)x ax a − b ax (a + b)2
+ − = + ,
D) {3a} E) {4a} a−b a + b a + b a − b a2 − b 2
donde a y b son constantes reales no nulas
Vı́deo solución. tal que a 6= ±b.
№ 4 CepreUNI 2008-II.
Si abc 6= 0, ab + ac + bc = 1 y S es el A) {1} B) {2a} C) {2b}
conjunto solución de la ecuación en x:
      D) {2} E) {4}
1 1 1 1 1 1
x− + x− + x+ =
a bc b ac c ab Solución: Rpt.- 2 

20

También podría gustarte