s \ (t ∪ u) ⊆ (s \ t) \ u

Demostrar con Lean4 que
\[ s \setminus (t ∪ u) ⊆ (s \setminus t) \setminus u \]

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

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

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

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

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

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

(s \ t) \ u ⊆ s \ (t ∪ u)

Demostrar con Lean4 que
\[ (s \setminus t) \setminus u ⊆ s \setminus (t ∪ u) \]

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

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

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»