Ir al contenido principal
-
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
-
Si n² es par, entonces n es par
-
Existen infinitos números primos
-
Implicación mediante disyunción y negación
-
Eliminación de la doble negación
-
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
-
Si m divide a n o a k, entonces m divide a nk.
-
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 ≤ es un preorden, entonces < es transitiva
-
Si ≤ es un preorden, entonces < es irreflexiva
-
En los órdenes parciales, a < b ↔ a ≤ b ∧ a ≠ b.
-
La función x ↦ -x no es monótona creciente
-
La función real f no es monótona syss existen x, y tales que x ≤ y y f(x) > f(y)