Unión con su intersección
Demostrar que
s ∪ (s ∩ t) = s
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 7 8 |
import data.set.basic open set variable {α : Type} variables s t : set α example : s ∪ (s ∩ t) = s := sorry |
Demostrar que
s ∪ (s ∩ t) = s
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 7 8 |
import data.set.basic open set variable {α : Type} variables s t : set α example : s ∪ (s ∩ t) = s := sorry |
Demostrar que
s ∩ t = t ∩ s
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 7 8 |
import data.set.basic open set variable {α : Type} variables s t u : set α example : s ∩ t = t ∩ s := sorry |
Notas
Demostrar que
s \ (t ∪ u) ⊆ (s \ t) \ u
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 7 8 |
import data.set.basic open set variable {α : Type} variables s t u : set α example : s \ (t ∪ u) ⊆ (s \ t) \ u := sorry |
Notas
Demostrar que
(s ∩ t) ∪ (s ∩ u) ⊆ s ∩ (t ∪ u)
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 7 8 |
import data.set.basic open set variable {α : Type} variables s t u : set α example : (s ∩ t) ∪ (s ∩ u) ⊆ s ∩ (t ∪ u):= sorry |
Notas
Read More «2ª propiedad semidistributiva de la intersección sobre la unión»
Demostrar que
s ∩ (t ∪ u) ⊆ (s ∩ t) ∪ (s ∩ u)
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 7 8 9 |
import data.set.basic open set variable {α : Type} variables s t u : set α example : s ∩ (t ∪ u) ⊆ (s ∩ t) ∪ (s ∩ u) := sorry |
Notas
Read More «Propiedad semidistributiva de la intersección sobre la unión»