Prof. Karina Malla B. Álgebra I Miguel Barrera G.

Lógica, Proposiciones y Cuantificadores

—–Ayudantı́a—–

1. Responda si las siguientes proposiciones y equivalencias son verdaderas (V ) o falsas

(F ). En cualquiera de los casos justificar debidamente su respuesta.

(a) (p =⇒ q) ∨ (p∧ ∼ q) es una tautologı́a.

(b) ∀x ∈ R, ∃!y ∈ R : x − 2y = 3.
(c) Si A = {0, 1, 2, 3, 4}, entonces ({1, 2} ⊆ A ∧ 2 ∈ A) =⇒ {3} ⊆ A ∨ {0, 3, 4} ∈ A.
(d) (p =⇒ q) ⇐⇒ (∼ p ∨ q) es una tautologı́a.
(e) [p ∧ (p ∨ q)] ⇐⇒ q es una contingencia.
(f) [p ∧ (∼ p ∨ q) ⇐⇒ (p ∨ q)] es una contradicción.
(g) [(p ∨ q) =⇒ r] ⇐⇒ [(p ∧ r) ∨ (q =⇒ r)] es una tautologı́a.
(h) (p =⇒ q) ⇐⇒ (∼ q =⇒∼ p) es una contingencia.
(i) [p =⇒ (q ∨ r)] ⇐⇒ [(p =⇒ q) ∨ (p =⇒ r)] es una contradicción.

2. Dadas las siguientes proposiciones

p : (∀x, ∀y, x ∈ R, y ∈ R)(x2 + y = 3)

q : (∃x, x ∈ Z)(x ≥ 1)
Establecer el valor de verdad de

∼ [(∼ p ∧ q) =⇒ r] ⇐⇒ [p ∧ (r =⇒∼ q)]

sabiendo que r es una proposición verdadera. Justificar.

3. Considere los conjuntos A = {−1, 0, 1} y B = R . Definiremos la función proposicional

√
p(x, y) : x + xy 6= 0 =⇒ xy + y > 2

donde x ∈ A e y ∈ B. ¿Cuál es el valor de verdad de la proposición

(∀x ∈ A)(∃y ∈ B)(∼ p(x, y))

4. Exprese usando sı́mbolos lógicos y matemáticos.

(a) Si el doble de cuatro es cinco, entonces e cuadrado de cuatro es uno.

(b) El cuadrado de tres es nueve y es menor que dos.
(c) Cinco es mayor que cero o menor que cero.

Álgebra I 1 23 de agosto de 2017

Prof. Karina Malla B. Álgebra I

5. Si A = {1, 2, 3} determine el valor de verdad de la proposición

(∀x ∈ A)(∃y ∈ A)(x − y ∈ A =⇒ x − y ≥ 1)

y obtener su negación.

6. Usando tablas de verdad muestre o refute que

[p ∨ (p ∧ q)] ∧ q ⇐⇒ (p ∧ q)

7. Simplificar usando propiedades.

(a) [∼ p ∨ (p ∧ q)] =⇒∼ [p ∨ q]

(b) [(∼ p ∧ q) =⇒ q] ⇐⇒ p

8. Si (p ∧ q) =⇒ r es una proposición F alsa, determine el valor de verdad de

(∼ p∨ ∼ q) ⇐⇒∼ (r ∨ p)

9. Si se sabe que (∼ p ∧ q) es V erdadera y que (q ∧ r) es F alsa. Determine el valor de

verdad de la proposición
∼ [(r ∨ q) =⇒ (r ∧ q)]

10. Se define el conectivo ⊗ como: p ⊗ q es F alsa sólo para p F alsa y q V erdadera.

Determine si las siguentes equivalencias son verdaderas mediante tablas de verdad.

(a) (p ⊗ q)⊗ ⇐⇒ p ⊗ q
(b) p⊗ ∼ p ⇐⇒ p
(c) ∼ (p ⊗ q) ⇐⇒∼ (∼ p⊗ ∼ q)

11. Sean p y q proposiciones lógicas. Se define p × q como p × q es F alsa sólo si p es

V erdadera y q es V erdadera. Demuestre que se cumple que

(a) ∼ p ⇐⇒ p × p
(b) p ∨ q ⇐⇒ (p × q) × (p × q)
(c) p ∧ q ⇐⇒ (p × q) × (q × q)

12. Sean p, q, r y s proposiciones lógicas. Se definen los conectivos  y M de la siguiente

forma:
pq ⇐⇒ p =⇒∼ q
r M s ⇐⇒∼ r ∨ s
Encuentre el valor de verdad de la siguiente proposición

[p∧ ∼ (∼ p M r)] ∨ [∼ (∼ p M q)∨ ∼ (∼ sp)]

Álgebra I 2 23 de agosto de 2017