Publicaciones sobre Números reales
- Propiedad arquimediana de los números reales
- Si x, y ∈ ℝ tales que (∀ z)[y < z → x ≤ z], entonces x ≤ y
- En ℝ, |a| = |a - b + b|
- Las funciones f(x,y) = (x + y)² y g(x,y) = x² + 2xy + y² son iguales
- La raíz cuadrada de 2 es irracional
- En ℝ, x² = y² → x = y ∨ x = -y
- En ℝ, si x² = 1 entonces x = 1 ó x = -1
- Si (∃ x, y ∈ ℝ)[z = x² + y² ∨ z = x² + y² + 1], entonces z ≥ 0
- En ℝ, si x ≠ 0 entonces x < 0 ó x > 0
- En ℝ, |x + y| ≤ |x| + |y|
- En ℝ, -x ≤ |x|
- En ℝ, x ≤ |x|
- En ℝ, si x < |y|, entonces x < y ó x < -y
- En ℝ, si -y > x² + 1 entonces y > 0 ó y < -1
- En ℝ, si y > x² entonces y > 0 ó y < -1
- Si |x + 3| < 5, entonces -8 < x < 2
- En ℝ, x² + y² = 0 ↔ x = 0 ∧ y = 0
- En ℝ, si x ≤ y, entonces y ≰ x ↔ x ≠ y
- En ℝ, x ≤ y ∧ x ≠ y → x ≤ y ∧ y ≰ x
- Si (∃z ∈ ℝ)[x < z < y], entonces x < y.
- Existe un número real entre 2 y 3
- Si x ≤ y y x ≠ y, entonces y ≰ x
- Si x ≤ y y y ≰ x, entonces x ≤ y ∧ x ≠ y
- Si 0 < 0, entonces a > 37 para cualquier número a
- En ℝ, a < b → ¬(b < a)
- Hay algún número real entre 2 y 3
- En ℝ, |a| - |b| ≤ |a - b|
- En ℝ, min(a,b)+c = min(a+c,b+c)
- En ℝ, min(min(a,b),c) = min(a,min(b,c))
- En ℝ, max(a,b) = max(b,a)
- En ℝ, min(a,b) = min(b,a)
- En ℝ, |ab| ≤ (a²+b²)/2
- En ℝ, 2ab ≤ a² + b²
- En ℝ, si a ≤ b entonces c - e^b ≤ c - e^a
- En ℝ, si a ≤ b, entonces log(1+e^a) ≤ log(1+e^b)
- En ℝ, si d ≤ f, entonces c + e^(a + d) ≤ c + e^(a + f)
- En ℝ, si a ≤ b y c < d, entonces a + eᶜ + f ≤ b + eᵈ + f.
- En ℝ, si 1 ≤ a y b ≤ d, entonces 2 + a + eᵇ ≤ 3a + eᵈ
- En ℝ, si 2a ≤ 3b, 1 ≤ a y c = 2, entonces c + a ≤ 5b
- En ℝ, si a ≤ b, b < c, c ≤ d y d < e, entonces a < e
- Si a + b = c, entonces (a + b)(a + b) = ac + bc
- Si c = da + b y b = ad, entonces c = 2ad
- En ℝ, (a+b)(a-b) = a²-b²
- En ℝ, (a + b)(c + d) = ac + ad + bc + bd
- En ℝ, (a + b)(a + b) = aa + 2ab + bb
- Si c = ba-d y d = ab, entonces c = 0
- Si bc = ef, entonces ((ab)c)d = ((ae)f)d
- Si ab = cd y e = f, entonces a(be) = c(df)
- En ℝ, a(bc) = b(ac)
- En ℝ, (cb)a = b(ac)
- En ℝ, (ab)c = b(ac)