1

UNIVERSIDAD DEL BÍO-BÍO

FACULTAD DE CIENCIAS
DEPARTAMENTO DE MATEMÁTICA

Guı́a de Logı́ca - Álgebra I (220118)- Módulo I Rep

P.1 Determinar el valor de verdad de cada una de las siguientes proposiciones:

a) Si 5 + 4 = 11, entonces 6 + 6 = 12

b) No es verdad que 3 + 3 = 7 si y solo si 5 + 5 = 12

c) Lima está en Chile o La Paz está en Ecuador.

d) No es verdad que 2 + 2 = 5 o que 3 + 1 = 4

P.2 Evaluar la tabla de verdad de la proposición compuesta ∼ (p ∧ q) ↔ (∼ p∧ ∼ q)

P.3 Determinar la proposición {[(∼ p) ∨ q]∧ ∼ q} → (∼ p)

P.4 Verificar que las siguientes proposiciones son contradicciones:

a) (p ∧ q)∧ ∼ (p ∨ q)

b) ∼ [p ∨ (∼ p∨ ∼ q)]

P.5 Verificar que la proposición dada es una contingencia: [∼ p ∧ (q ∨ r)] ↔ [(p ∨ r) ∧ q]

P.6 Si la proposición (∼ p ∧ q) → (∼ s ∨ r) es falsa. Determinar cuál de las proposiciones son verdaderas:

a) ∼ [(p → q) → r]

b) ∼ (∼∼ p ∧ q) ∧ [(∼ r ∨ r) ∧ s]

c) [(p∨ ∼ q) ∧ p]∨ ∼ q

P.7 Sea: A = {1, 2, 3} Determinar el valor de verdad de las siguientes expresiones:

a) ∃x ∈ A ↔ ∀y ∈ A/x2 < y + 1

b) ∀x ∈ A, ∃y ∈ A, ∃z ∈ A/x2 + x2 < 12

c) ∃x ∈ A ↔ y ∈ A, ∃z ∈ A/x2 + y 2 < 2z 2

d) ∃x ∈ A, ∃y ∈ A ↔ ∀z ∈ A/x2 + y 2 < 2z 2

P.8 Negar los siguientes enunciados:

a) ∃x, ∀y : [p(x, y) → q(x, y)]

b) ∀y, ∃x, ∀z : p(x, y, z)

P.9 Determinar por comprensión los siguientes conjuntos:

a) A = {5, 10, 15, 20, 25, ....}

b) B = {−2, 1,4,7,10}

c) C = {−1, 12 , 2, 72 , 5, ...}

d) A = {3, 8, 15, 24, 35, 48}

 2

P.10 Cuantos de los conjuntos dados a continuación son vacı́os.

a) A = {x ∈ U/x = x, x 6= x}

b) B = {x ∈ N/x2 + 3x + 2 = 0}

c) C = {x ∈ Q/3 < x < 5}

d) D = {x ∈ N/x2 − 1 = 0}

e) E = {x ∈ R/x2 = 4 ∧ 2x − 3 = 0}

f) F = {x ∈ R − {0}/ − x = x−1 }

P.11 Dada la proposición. “Si todos los números primos son impares, entonces los números positivos son mayores a −1”

a) Expresarlo simbólicamente

b) Negar la proposición

P.12 Sea el conjunto A = {1, 2, 3, 4, 5} y las porposiciones:

p : ∃x ∈ A/(x + 2 = 6) ↔ (x − 5 = 8)
q : ∀x ∈ A/(x + 2 > 2) ∨ (x + 2 < 2)
r : ∀x ∈ A, ∃y ∈ A/x + y > 2
Hallar el valor de verdad de: ∼ [(p → q) ∧ (q∨ ∼ r)]

P.13 Negar la proposición: “Para todo número racional r existe un número entero n tal que n ≤ r < n + 1 ”

P.14 sean A = {x ∈ N/0 < x < 8}, B = {y ∈ N/0 ≤ y ≤ 7}- Hallar los valores de verdad de las siguientes
proposiciones:

a) p : ∃x ∈ A/∀y ∈ B, x + y 6= 8

b) q : ∀x ∈ A, ∃y ∈ B/x + y = 5

c) r : ∃x ∈ A/∀y ∈ B, x + y > 6

d) s : ∀x ∈ A, ∃y ∈ B/xy 6= 0

P.15 Simbolizar usando cuantificadores y negar la proposición cuantificada: “Para todo número x perteneciente al conjunto
de los números reales, existe unúnico número y pertenecientes a los números reales, tal que la diferencia de x menos y
es positiva.

P.16 Expresar simbólicamente las siguientes proposiciones y luego negarlas:

a) Para todos los números enteros a y b, si a < b entonces b 6= a

b) Para todo número real a, existe un número natural n, tal que si n > n0 entonces n > a

c) Para todo número real a y b, a multiplicado con b da como resultado 0 si y solo si, a es igual a 0 o b es igual a 0

d) Para todo entero r, existe un número b tal que, si br es par, entonces (b + 1)r es par

e) Para todo ε > 0, hay un y > 0 tal que para todo número x, si x está entre los números a − y y a + y entonces f (a)
está entre los números L − ε y L + ε

Profesor Angel Pizarro Primer Semestre - 2019.