Lógica

Cristina Fuenzalida

Álgebra 2023

1 Lógica
1. Si ¬[(¬p ∨ q) ∨ (r → q)] ∧ [(¬p ∨ q) → (q ∧ ¬p)] es verdadera, determina
los valores de verdad de p, q y r.
2. Si se sabe que (p → ¬q)∨(¬r → ¬s) es falsa , determina el valor de verdad
de los siguientes esquemas:

• A = ¬(¬q ∨ ¬s) → ¬p
• B = ¬(¬r ∧ s) ↔ (¬p → ¬q)
• C = p → ¬(q → ¬(s → r)]

3. Si se sabe que p ∧ q y q → t son falsas , determina el valor de verdad de

los siguientes esquemas:

• A = (¬p ∨ t) ∨ ¬q
• B = ¬[p ∧ (¬q ∨ ¬p)]
• C = [(p → q) ∧ ¬(q ∧ t)] ↔ [¬p ∨ (q ∧ ¬t)]

4. Si se sabe que los esquemas A y B, que se muestran a continuación, son

verdaderos, determina el valor de verdad p, q, p ⊻ q

• A = (p ↔ s) ↔ ¬s
• B = [(p → s) ⊻ ¬p] ⊻ s

5. Si se sabe que:

• Si Luis estudia Matemática I, Carolina también

• Pueden estar estudiando Matemática, Felipe o Carolina
• O Luis o Carolina Estudian Matemática I, pero no ambos
• Carolina estudia Matemática I,si y solo si, estudia Felipe

Determina, mediante lógica proposicional, quién o quiénes estudian Matemática

I

1
 6. Determine, mediante tablas de verdad, si los siguientes esquemas son Tau-
tologı́as, Contradicción o Contingencia:

(a) ¬[¬p ∧ (¬q ∨ p)) → q] (b) [(p ∧ ¬q) ∧ (q → r) ∧ ¬r] → p

7. Determine si las proposiciones A y B, que se definen a continuación, son

lógicamente equivalentes:

• A = (p → q) ∧ (p → r) • B = p → (q ∧ r)

Respuestas

1. p: verdadero, q: falso, r: verdadero

2. A: falso, B: falso, C: falso

3. A: verdadero, B: verdadero, C: verdadero
4. p: falso, s: falso, p ⊻ s: falso
5. Carolina y Felipe

6. (a) Contingencia
(b) Tautologı́a
7. A ≡ B

2 Cuantificadores
1. Simbolizar, usando cuantificadores y negar la proposición cuantificada:

(a) Para todo número racional r existe un número entero n tal que n ≤
r <n+1
(b) Para todo número x perteneciente a los números reales, existe un
número y pertenenciente a los reales, tal que la diferencia de x e y es
positiva

2. Sean A = {x ∈ N| − 14 < x < 27}

Determinar el valor de verdad de s = [(¬p ∧ ¬q) → (¬q ∧ r)] ↔ (¬p ∨ r)
si:

• p : (∀x ∈ A, ∃y ∈ A, ∀z ∈ A)[x2 − z 2 > y 2 ]

• q : (∃y ∈ A, ∀z ∈ A, ∃x ∈ A)[2x − 4y < −z]
• r : (∀z ∈ A, ∃x ∈ A, ∀y ∈ A)[3x2 − z 2 > y]

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

(a) (∀x ∈ R, |x| = x) ∧ (∃x ∈ R, x ≤ x + 1)

(b) (¬∀x ∈ N, |x| =
̸ 0) → (¬∃x ∈ Q, |x| =
̸ 0)
2
(c) (¬∃x ∈ R, x ̸= x) ∨ (¬∀x ∈ Z, x + 1 ̸= x − 1)
(d) (∃x ∈ R, x − 3 ≥ |x|) ↔ (∀x ∈ R, x − 3 ≥ |x|)

4. Si A = {1, 2, 3, 4, 5} y B = {−2, −1, 0, 5, 6}, determina los valores de

verdad de las siguientes proposiciones:
(a) ∀x ∈ A, ∃y ∈ B : x+y <3
(b) ∃!y ∈ B, ∀x ∈ A : x−y >1
(c) ∀x ∈ B, ∀y ∈ A : x < y → x2 < y 2
(d) ∃x ∈ A, ∃y ∈ B : x−y ∈A
5. Dada las proposiciones

• p : ∀x ∈ A | x > 3 ∨ x < 2
• q : ∃x ∈ A | x2 = 2 → x > 1
• r : ∀x ∈ A | x2 − 4x + 2 = x − 2

donde A = {−2, −1, 0, 1, 2} determinar el valor de s, t y v si se sabe que

[(p ∨ s) ∧ (t → r)] → (q ∧ v) es falsa

Respuestas

1. (a) p : ∀r ∈ Q, ∃x ∈ Z | n ≤ r < n + 1
¬p : ∃r ∈ Q, ∀x ∈ Z | r < n ∨ r ≥ n + 1
(b) p : ∀x ∈ R, ∃y ∈ R | x − y > 0
¬p : ∃x ∈ R, ∀y ∈ R | x − y ≤ 0
2. Verdadera

3. (a) Falsa (b) Falsa (c) Verdadera (d) Verdadera

4. (a) Falsa (b) Falsa (c) Falsa (d) Verdadera

5. s es verdadera, t es falsa y v es falsa