Universidad de Chile
Facultad de Ciencias Físicas y Matemáticas
Departamento de Ingeniería Matemática
MA1101-3 - Introducción al Álgebra
Auxiliar 1
Lógica y cuantificadores
Profesor: Marcos Kiwi
Auxiliar: Benjamín Jauregui
P1.-
1.- Considere las proposiciones p1 , p2 , p3 , p4 , p5 y p6 de tal modo que se cumple lo siguiente:
h i
(p1 ⇐⇒ p2 ) =⇒ (p4 =⇒ p3 ) ⇐⇒ F
Usando lo anterior, determine el valor de verdad de:
h i
(p6 ∨ p5 ) ∧ (p1 ∧ p2 ) ⇐⇒ (p3 =⇒ p4 )
2.- [PROPUESTO] Determine el valor de verdad de las proposiciones p, q, t y s si se sabe que
la siguiente proposición es verdadera:
h i
[s =⇒ (t ∨ t)] =⇒ (p =⇒ q) ∧ s ∧ t .
3.- [PROPUESTO] Determine los valores de verdad de las proposiciones p, q , r, s y t, si se
sabe que la siguiente proposición es falsa
h i
(p ⇐⇒ q) ∧ (r =⇒ s) ∧ t =⇒ [s ∨ (q =⇒ s)]
P2.-
1.- Sean p, q, t y s proposiciones. Sin usar tablas de verdad pruebe que
[(p =⇒ q) ∧ (s =⇒ t)] =⇒ [p ∨ t ∨ (q ∧ s)]
2.- Usando demostración simbólica, muestre que
h i
(p =⇒ q) =⇒ (q ∧ s) =⇒ (p ∧ s)
Auxiliar 1 1
P3.-
1.- (C1, Otoño 2008) Indique el valor de verdad de las siguientes proposiciones. Luego, escriba
sus negaciones.
a) ∃x ∈ R, ∀y ∈ R, x ≤ y,
b) ∀x ∈ R, ∃y ∈ R, x ≤ y.
2.- En las siguientes afirmaciones, identifique los predicados y cuantificadores presentes para
re-escribir la afirmación usando lógica proposicional y cuantificadores.
a) Para todo número natural n, existe un único número racional m, tal que m · n = 1.
b) Un conjunto de números reales A se dice que es acotado superiormente si existe un
número real M , tal que M ≥ n cualquiera sea n ∈ A.
3.- Muestre que las siguientes afirmaciones son falsas:
a) ∀x ∈ R, ∀y ∈ R, x2 ≥ y 2 ⇐⇒ x ≥ y.
b) ∃n ∈ N∗ , ∀m ∈ N, ∃k ∈ N, n = m · k.
P4.- (C1, Otoño 2017) Demuestre usando verificación exploratoria que la siguiente afir-
mación es tautología:
[(p ∨ q) ∨ (t ∧ p)] ⇐⇒ (p =⇒ q)
Auxiliar 1 2
