Documentos de Académico
Documentos de Profesional
Documentos de Cultura
FACULTAD DE CIENCIAS
FÍSICAS Y MATEMÁTICAS
UNIVERSIDAD DE CHILE
Álgebra 08-1
Control 1
P1. (a) (4 ptos.) Sean p, q, r y s proposi
iones. Pruebe, sin usar tablas de verdad, que
[(p ⇒ q) ∧ (s ⇒ r)] ⇒ [p ∨ r ∨ (q ∧ s)]
es una tautología.
(b) (2 ptos.) Considere las proposi
iones siguientes:
p : (∃x ∈ R)(∀y ∈ R)(x ≤ y)
q: (∀y ∈ R)(∃x ∈ R)(x ≤ y).
Indique el valor de verdad de
ada una de ellas justi
ando su respuesta. Finalmente es
riba sus
nega
iones.
P2. (a) (3 ptos.) Sea A un sub
onjunto jo del
onjunto universo U . Probar que ∀X, Y ⊆ U se tiene que
(X ∪ A = Y ∪ A) ∧ (X ∩ A = Y ∩ A) ⇒ X = Y
1
Universidad de Chile
Departamento de Ingenierı́a Matemática
MA1101 - Introducción al Álgebra 08 -1
Solución Control 1
Diego Benavides - Blaz Korecic - Daniel Lobos
P1. (a) (4 ptos.) Sean p, q, r y s proposiciones. Pruebe, sin usar tablas de verdad, que:
[(p ⇒ q) ∧ (s ⇒ r)] ⇒ [p ∨ r ∨ (q ∧ s)]
es una tautologı́a.
Solución:
Primera Forma: Usando definiciones y tautologı́as conocidas.
1
Universidad de Chile
Departamento de Ingenierı́a Matemática
MA1101 - Introducción al Álgebra 08 -1
Dado que que la parte derecha de la implicancia tiene disjunciones lógicas (∨), es mas
conveniente analizar que es lo que pasa cuando esta es falsa, dado que solo en este caso se
puede decir con seguridad el valor de verdad de cada componente, no asi, si analizamos
cuando fuese verdadera, puesto que basta con que una preposición verdadera para ab-
sorber las demás preposiciones, razón por la cual no es conveniente analizar directamente
que V ⇒ V . Con lo anterior en mente, probaremos que si el lado derecho del implica es
falso, entonces el lado izquierdo también debe serlo (demostración por contrarecı́proca).
[(V ⇒ q) ∧ (s ⇒ F )] (1)
2
Universidad de Chile
Departamento de Ingenierı́a Matemática
MA1101 - Introducción al Álgebra 08 -1
La proposición q equivale a decir que para cualquier número real, existe al menos otro real
que es menor o igual a este, lo cual es V , tal y cual se ha explicado anteriormente.
Finalmete, recordando que (∀x)(P (x)) ⇔ (∃x)(P (x)) y (∃x)(P (x) ⇔ (∀x)(P (x)), tenemos
que las negaciones de p y q son:
p : (∀x ∈ R)(∃y ∈ R)(x > y)
q : (∃y ∈ R)(∀x ∈ R)(x > y)
3
Universidad de Chile
Departamento de Ingenierı́a Matemática
MA1101 - Introducción al Álgebra 08 -1
P2. (a) (3 ptos.). Sea A un subconjunto fijo del conjunto universo U . Probar que ∀X, Y ⊆ U se
tiene que:
(X ∪ A = Y ∪ A) ∧ (X ∩ A = Y ∩ A) ⇒ X = Y
Solución:
Primera Forma: Por elementos.
Sea un elemento x ∈ X, entonces, x ∈ (X ∪ A), puesto que la union de X con A son todos
aquellos elementos que ya estan en X (en particular x) mas los que están en A. Luego, se
tiene que x ∈ (Y ∪ A), pues (X ∪ A) = (Y ∪ A) (hipótesis del enunciado).
X ∪A=Y ∪A
⇔ (X ∪ A) ∩ X = (Y ∪ A) ∩ X Al hacer / ∩ X a ambos lados.
⇒ X = (Y ∪ A) ∩ X Al hacer (X ∪ A) ∩ X = X.
⇒ X = X ∩ (Y ∪ A) Al conmutar.
⇒ X = (X ∩ Y ) ∪ (X ∩ A) Al distribuir.
⇒ X = (X ∩ Y ) ∪ (Y ∩ A) Al usar (X ∩ A) = (Y ∩ A).
⇒ X = (X ∪ A) ∩ Y Al usar distributividad.
⇒ X = (Y ∪ A) ∩ Y Al usar (X ∪ A) = (Y ∪ A).
⇒ X=Y Al hacer (Y ∪ A) ∩ Y = Y .
4
Universidad de Chile
Departamento de Ingenierı́a Matemática
MA1101 - Introducción al Álgebra 08 -1
2. Notemos que A/B son todos aquellos elementos que estan en A quitándole aquellos
que estan en B, es decir A ∩ B c , luego, usando que A/B 6= φ (por hipótesis del enun-
ciado), se tiene que A ∩ B c 6= φ, y conmutando obtenemos que B c ∩ A 6= φ. Además,
B c = B ∩ U , pero (B ∩ U ) ⊆ U , pues todos los elementos que estan en (B ∩ U ), es-
tan en B y también en U , esto significa que B c ⊆ U . Finalmente, sigue que B c ∈ FA .
3. Primero, notemos que B ⊆ U ∧ C ⊆ U , por lo que todos aquellos elementos que estan
en B mas los que estan en C siempre estarán en U , es decir, (B ∪ C) ⊆ U . Luego,
basta probar que (B ∪ C) ∩ A 6= φ.
Nota: Antes que todo, presta atención a las condiciones que se necesitan para pertenecer
a FA esto facilita la lectura de lo que se quiere demostrar.
5
Universidad de Chile
Departamento de Ingenierı́a Matemática
MA1101 - Introducción al Álgebra 08-1
Rúbrica Control 1
Diego Benavides - Blaz Korecic - Daniel Lobos
Segunda Forma:
• Notar que si [p ∨ r ∨ (q ∧ s)] es F entonces [(p ⇒ q) ∧ (s ⇒ r)] debe ser F , para
probar la tautologı́a por contrarecı́proca. Luego, mediante esta hipótesis, concluir
los valores de p, r, y que q y s pueden ser ambos F , o de signo contrario (2.0 ptos.).
• Dado lo anterior, ganarse en todos los casos posibles, y concluir como se comportan
las implicancias para corroborar la hipótesis propuesta (2.0 ptos.).
Segunda Forma:
• Intersectar la igualdad X ∪ A = Y ∪ A a ambos lados, desarrollando en el lado
izquierdo, que X = (X ∪ A) ∩ X; y en el derecho, distribuir la expresión (Y ∪ A) ∩ X
(1.0 pto.).
• Usar la hipótesis del enunciado (Y ∪ A) = (X ∪ A), volver a distribuir y concluir el
problema (1.0 pto.).
1
Universidad de Chile
Departamento de Ingenierı́a Matemática
MA1101 - Introducción al Álgebra 08-1
Este proyecto es una reelaboración de la pauta original, pensada para poder facilitar el estudio,
por favor no dudes en notificar cualquier errata presente en este documento. ¡Mucho éxito en el
control !