Si R es un anillo, entonces -0 = 0

Demostrar con Lean4 que si R es un anillo, entonces

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

Read More «Si R es un anillo, entonces -0 = 0»

Si R es un anillo y a, b ∈ R tales que a+b=0, entonces a=-b

Demostrar con Lean4 que si R es un anillo y a, b ∈ R tales que

entonces

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

Read More «Si R es un anillo y a, b ∈ R tales que a+b=0, entonces a=-b»

Si R es un anillo y a, b ∈ R tales que a+b=0, entonces -a=b

Demostrar con Lean4 que si R es un anillo y a, b ∈ R tales que

entonces

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

Read More «Si R es un anillo y a, b ∈ R tales que a+b=0, entonces -a=b»

Si R es un anillo y a ∈ R, entonces 0.a = 0

Demostrar con Lean4 que si R es un anillo y a ∈ R, entonces

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

Read More «Si R es un anillo y a ∈ R, entonces 0.a = 0»

Si R es un anillo y a ∈ R, entonces a.0 = 0

Demostrar con Lean4 que si R es un anillo y a ∈ R, entonces

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

Read More «Si R es un anillo y a ∈ R, entonces a.0 = 0»