s ∩ (t ∪ u) ⊆ (s ∩ t) ∪ (s ∩ u)

Demostrar con Lean4 que \(s ∩ (t ∪ u) ⊆ (s ∩ t) ∪ (s ∩ u)\).

Para ello, completar la siguiente teoría de Lean4:

Read More «s ∩ (t ∪ u) ⊆ (s ∩ t) ∪ (s ∩ u)»

Si s ⊆ t, entonces s ∩ u ⊆ t ∩ u

Demostrar con Lean4 que «Si \(s ⊆ t\), entonces \(s ∩ u ⊆ t ∩ u\)».

Para ello, completar la siguiente teoría de Lean4:

Read More «Si s ⊆ t, entonces s ∩ u ⊆ t ∩ u»

Teorema del emparedado

Demostrar con Lean4 el teorema del emparedado.

Para ello, completar la siguiente teoría de Lean4:

Read More «Teorema del emparedado»

s ∩ (s ∪ t) = s

Demostrar con Lean4 que
\[ s ∩ (s ∪ t) = s \]

Para ello, completar la siguiente teoría de Lean4:

Read More «s ∩ (s ∪ t) = s»

Si uₙ y vₙ convergen a 0, entonces uₙvₙ converge a 0

Demostrar con Lean4 que si \(uₙ\) y \(vₙ\) convergen a \(0\), entonces \(uₙvₙ\) converge a \(0\).

Para ello, completar la siguiente teoría de Lean4:

Read More «Si uₙ y vₙ convergen a 0, entonces uₙvₙ converge a 0»