Posts de septiembre de 2023

También disponible en:

29-09-2023En los anillos ordenados, {a ≤ b, 0 ≤ c} ⊢ ac ≤ bc
28-09-2023En los anillos ordenados, 0 ≤ b - a → a ≤ b
27-09-2023En los anillos ordenados, a ≤ b → 0 ≤ b - a
26-09-2023En los retículos, una distributiva del supremos implica la otra
25-09-2023En los retículos, una distributiva del ínfimo implica la otra
22-09-2023En los retículos, x ⊔ (x ⊓ y) = x
21-09-2023En los retículos, x ⊓ (x ⊔ y) = x
20-09-2023En los retículos, (x ⊔ y) ⊔ z = x ⊔ (y ⊔ z)
19-09-2023En los retículos, (x ⊓ y) ⊓ z = x ⊓ (y ⊓ z)
18-09-2023En los retículos, x ⊔ y = y ⊔ x
15-09-2023En los retículos, x ⊓ y = y ⊓ x
14-09-2023Conmutatividad del máximo común divisor
13-09-2023Si x divide a w, entonces también divide a y(xz)+x²+w²
12-09-2023Si x, y, z ∈ ℕ, entonces x divide a yxz
11-09-2023En ℝ, |a| - |b| ≤ |a - b|
08-09-2023En ℝ, min(a,b)+c = min(a+c,b+c)
07-09-2023En ℝ, min(min(a,b),c) = min(a,min(b,c))
06-09-2023En ℝ, max(a,b) = max(b,a)
05-09-2023En ℝ, min(a,b) = min(b,a)
04-09-2023En ℝ, |ab| ≤ (a²+b²)/2
01-09-2023En ℝ, 2ab ≤ a² + b²