En los retículos, x ⊔ (x ⊓ y) = x

Demostrar con Lean4 que en los retículos se verifica que
\[ x ⊔ (x ⊓ y) = x \]

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

Read More «En los retículos, x ⊔ (x ⊓ y) = x»

En los retículos, x ⊓ (x ⊔ y) = x

Demostrar con Lean4 que en los retículos se verifica que
\[ x ⊓ (x ⊔ y) = x \]

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

Read More «En los retículos, x ⊓ (x ⊔ y) = x»

En los retículos, (x ⊔ y) ⊔ z = x ⊔ (y ⊔ z)

Demostrar con Lean4 que en los retículos se verifica que
\[ (x ⊔ y) ⊔ z = x ⊔ (y ⊔ z) \]

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

Read More «En los retículos, (x ⊔ y) ⊔ z = x ⊔ (y ⊔ z)»

En los retículos, (x ⊓ y) ⊓ z = x ⊓ (y ⊓ z)

Demostrar con Lean4 que en los retículos se verifica que
\[(x ⊓ y) ⊓ z = x ⊓ (y ⊓ z)\]

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

Read More «En los retículos, (x ⊓ y) ⊓ z = x ⊓ (y ⊓ z)»

En los retículos, x ⊔ y = y ⊔ x

Demostrar con Lean4 que en los retículos se verifica que
\[x ⊔ y = y ⊔ x\]
para todo \(x\) e \(y\) en el retículo.

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

Read More «En los retículos, x ⊔ y = y ⊔ x»