Si X es un espacio métrico y x, y ∈ X, entonces dist(x,y) ≥ 0

Demostrar que si X es un espacio métrico y x, y ∈ X, entonces

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

Read More «Si X es un espacio métrico y x, y ∈ X, entonces dist(x,y) ≥ 0»

Si R es un anillo ordenado y a, b, c ∈ R tales que a ≤ b y 0 ≤ c, entonces ac ≤ bc

Demostrar que si R es un anillo ordenado y a, b, c ∈ R tales que

entonces

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

Soluciones con Lean

Se puede interactuar con la prueba anterior en esta sesión con Lean.

Referencias

Si R es un anillo ordenado y a, b ∈ R, entonces 0 ≤ b – a → a ≤ b

Demostrar que si R es un anillo ordenado y a, b ∈ R, entonces

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

Read More «Si R es un anillo ordenado y a, b ∈ R, entonces 0 ≤ b – a → a ≤ b»

Si R es un anillo ordenado, entonces ∀ a b ∈ R, a ≤ b → 0 ≤ b – a

Demostrar que si R es un anillo ordenado y a b ∈ R, entonces

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

Read More «Si R es un anillo ordenado, entonces ∀ a b ∈ R, a ≤ b → 0 ≤ b – a»

Si R es un retículo tal que x ⊔ (y ⊓ z) = (x ⊔ y) ⊓ (x ⊔ z), entonces (a ⊓ b) ⊔ c = (a ⊔ c) ⊓ (b ⊔ c)

Demostrar que Si R es un retículo tal que

entonces

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

Read More «Si R es un retículo tal que x ⊔ (y ⊓ z) = (x ⊔ y) ⊓ (x ⊔ z), entonces (a ⊓ b) ⊔ c = (a ⊔ c) ⊓ (b ⊔ c)»