Intersección de los primos y los mayores que dos

Los conjuntos de los números primos, los mayores que 2 y los impares se definen por

Demostrar que

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

Soluciones

Read More «Intersección de los primos y los mayores que dos»

Unión de los conjuntos de los pares e impares

Los conjuntos de los números naturales, de los pares y de los impares se definen por

Demostrar que

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

Read More «Unión de los conjuntos de los pares e impares»

Diferencia de unión e intersección

Demostrar que

(s \ t) ∪ (t \ s) = (s ∪ t) \ (s ∩ t)

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

Soluciones

Read More «Diferencia de unión e intersección»

Unión con su diferencia

Demostrar que

(s \ t) ∪ t = s ∪ t

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

Read More «Unión con su diferencia»

Unión con su intersección

Demostrar que

s ∪ (s ∩ t) = s

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

Read More «Unión con su intersección»