3 divide al máximo común divisor de 6 y 15

Demostrar con Lean4 que 3 divide al máximo común divisor de 6 y 15.

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

Read More «3 divide al máximo común divisor de 6 y 15»

En ℝ, x² + y² = 0 ↔ x = 0 ∧ y = 0

Demostrar con Lean4 que si \(x, y ∈ ℝ\), entonces
\[ x^2 + y^2 = 0 ↔ x = 0 ∧ y = 0 \]

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

Read More «En ℝ, x² + y² = 0 ↔ x = 0 ∧ y = 0»

En ℝ, si x ≤ y, entonces y ≰ x ↔ x ≠ y

Demostrar con Lean4 que si \(x\) e \(y\) son números reales tales que \(x ≤ y\), entonces \(y ≰ x ↔ x ≠ y\).

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

Read More «En ℝ, si x ≤ y, entonces y ≰ x ↔ x ≠ y»

En ℝ, x ≤ y ∧ x ≠ y → x ≤ y ∧ y ≰ x

Demostrar con Lean4 que. en \(ℝ\), \(x ≤ y ∧ x ≠ y → x ≤ y ∧ y ≰ x\).

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

Read More «En ℝ, x ≤ y ∧ x ≠ y → x ≤ y ∧ y ≰ x»