Archivo

También disponible en:

English

02-11-2026Reto 26: Producto de una sucesión de límite cero por una acotada
25-10-2026Reto 25: Si la mezcla de dos sucesiones converge a L, entonces ambas convergen a L
19-10-2026Reto 24: La sucesión 1, -1, 1, -1,... no es convergente (2ª versión)
12-10-2026Reto 23: La sucesión constante aₙ = L converge a L
10-10-2026Lean 4 para matemáticos: guía docente
05-10-2026Reto 22: Subsucesiones con límites distintos implican no convergencia
28-09-2026Reto 21: Las subsucesiones tienen el mismo límite que la sucesión
21-09-2026Reto 20: Si aₙ → L y M es una cota superior de aₙ, entonces L ≤ M
16-09-2026Reto 19: Las sucesiones convergentes son sucesiones de Cauchy
07-09-2026Reto 18: Convergencia del producto de sucesiones convergentes
30-08-2026Reto 17: Las sucesiones convergentes están acotadas
24-08-2026Reto 16: Para todo n ∈ N, n(n+1)(2n+1) es divisible por 6
18-08-2026Reto 15: Existe un k ∈ ℕ tal que, para todo n ∈ ℕ, (n + k)² ≤ 2ⁿ⁺ᵏ
09-08-2026Reto 14: Para todo n ∈ ℕ, 2n + 9 ≤ 2ⁿ⁺⁴
03-08-2026Reto 13: Desigualdad triangular inversa: ||x| - |y|| ≤ |x - y|
27-07-2026Reto 12: Si aₙ → L, bₙ → M y L < M, entonces eventualmente aₙ < bₙ
19-07-2026Reto 11: Si aₙ converge a L, entonces |aₙ| converge a |L|
13-07-2026Reto 10: Si aₙ → L con L ≠ 0, entonces |aₙ| ≥ |L|/2 eventualmente
06-07-2026Reto 9: Unicidad del límite
28-06-2026Reto 8: Sucesiones con infinitos términos grandes no convergen a límites pequeños
21-06-2026Reto 7: La composición de funciones inyectivas es inyectiva
14-06-2026Reto 6: Si aₙ y cₙ convergen a L y aₙ ≤ bₙ ≤ cₙ para todo n, entonces bₙ converge a L
07-06-2026Reto 5: 5²ⁿ - 2³ⁿ es divisible por 17
03-06-2026Si a converge a L, entonces (∃ N)(∀ n ≥ N)[aₙ ≥ L - 1]
01-06-2026Si aₙ converge a L y bₙ a M, entonces aₙ+bₙ converge a L+M.
31-05-2026Reto 4: Existen infinitos números primos
24-05-2026Reto 3: Si aₙ converge a L, entonces 2aₙ converge a 2L
17-05-2026Reto 2: La sucesión 1, -1, 1, -1,... no es convergente
10-05-2026Reto 1: La sucesión 1/n converge a 0
09-05-2026Retos de demostración en Lean 4
10-01-2026Propiedad arquimediana de los números reales
23-12-2025La sucesión constante aₙ = L converge a L
25-04-2025Demostraciones de "s ∪ f⁻¹[v] ⊆ f⁻¹[f[s] ∪ v]"
24-04-2025Demostraciones de "f[s] ∩ v = f[s ∩ f⁻¹[v]]"
23-04-2025Demostraciones de "f[s ∪ f⁻¹[v]] ⊆ f[s] ∪ v"
22-04-2025Demostraciones de "f[s] ∩ t = f[s ∩ f⁻¹[t]]"
21-04-2025Demostraciones de "f[s] \ f[t] ⊆ f[s \ t]"
20-04-2025Si f es inyectiva, entonces f[s] ∩ f[t] ⊆ f[s ∩ t]
19-04-2025Demostraciones de "f[s ∩ t] ⊆ f[s] ∩ f[t]"
18-04-2025Demostraciones de "f⁻¹[A ∪ B] = f⁻¹[A] ∪ f⁻¹[B]"
17-04-2025Monotonía de la imagen inversa
15-04-2025Monotonía de la imagen de conjuntos
13-04-2025Si f es suprayectiva, entonces u ⊆ f[f⁻¹[u]]
11-04-2025Demostraciones de "f[f⁻¹[u]] ⊆ u"
31-07-2024Asociatividad de la concatenación de listas
29-07-2024Pruebas de length (replicate n x) = n
27-07-2024Si u es una sucesión no decreciente y su límite es a, entonces u(n) ≤ a para todo n
26-07-2024Las sucesiones divergentes positivas no tienen límites finitos
25-07-2024Si a es un punto de acumulación de la sucesión de Cauchy u, entonces a es el límite de u
16-07-2024El punto de acumulación de las sucesiones convergente es su límite
15-07-2024Las subsucesiones tienen el mismo límite que la sucesión
14-07-2024Si a es un punto de acumulación de u, entonces (∀ε>0)(∀n∈ℕ)(∃k≥n)[u(k)−a| < ε]
11-07-2024Las funciones de extracción no están acotadas
10-07-2024Relación entre los índices de las subsucesiones y de la sucesión
09-07-2024Las particiones definen relaciones de equivalencia
08-07-2024Las particiones definen relaciones transitivas
05-07-2024Las familias de conjuntos definen relaciones simétricas
04-07-2024Las particiones definen relaciones reflexivas
03-07-2024El conjunto de las clases de equivalencia es una partición
02-07-2024Las clases de equivalencia de elementos no relacionados son disjuntas
01-07-2024Las clases de equivalencia de elementos relacionados son iguales
28-06-2024Las sucesiones convergentes son sucesiones de Cauchy
27-06-2024Si g es inyectiva y g ∘ f₁ = g ∘ f₂, entonces f₁ = f₂
26-06-2024La igualdad de valores es una relación de equivalencia
25-06-2024La equipotencia es una relación de equivalencia
24-06-2024La equipotencia es una relación transitiva
21-06-2024La composición de funciones biyectivas es biyectiva
20-06-2024La equipotencia es una relación simétrica
19-06-2024La inversa de una función es biyectiva
18-06-2024La equipotencia es una relación reflexiva
17-06-2024Las funciones biyectivas tienen inversa
14-06-2024Las funciones con inversa son biyectivas
13-06-2024Las funciones suprayectivas tienen inversa por la derecha
12-06-2024Las funciones con inversa por la derecha son suprayectivas
11-06-2024Las funciones inyectivas tienen inversa por la izquierda
10-06-2024Si g ∘ f es suprayectiva, entonces g es suprayectiva
07-06-2024Si g ∘ f es inyectiva, entonces f es inyectiva
06-06-2024Si el límite de la sucesión uₙ es a, entonces el límite de -uₙ es -a
05-06-2024Las funciones con inversa por la izquierda son inyectivas
04-06-2024La congruencia módulo 2 es una relación de equivalencia
03-06-2024Si uₙ está acotada y el límite de vₙ es 0, entonces el límite de uₙ·vₙ es 0
31-05-2024Si (∀n)[uₙ ≤ vₙ], entonces lim uₙ ≤ lim vₙ
30-05-2024Si x, y ∈ ℝ tales que (∀ z)[y < z → x ≤ z], entonces x ≤ y
29-05-2024La paradoja del barbero
28-05-2024Las sucesiones convergentes están acotadas
27-05-2024Un número es par si y solo si lo es su cuadrado
24-05-2024Los supremos de las sucesiones crecientes son sus límites
23-05-2024Si `f(x) ≤ f(y) → x ≤ y`, entonces f es inyectiva
22-05-2024Si una función es creciente e involutiva, entonces es la identidad
21-05-2024La composición de una función creciente y una decreciente es decreciente
20-05-2024Los monoides booleanos son conmutativos
17-05-2024Si M es un monoide, a ∈ M y m, n ∈ ℕ, entonces a^(m·n) = (a^m)^n
16-05-2024Si G es un grupo y a, b, c ∈ G tales que a·b = a·c, entonces b = c
15-05-2024Si G un grupo y a ∈ G, entonces (a⁻¹)⁻¹ = a
14-05-2024Si G es un grupo y a, b ∈ G, entonces (ab)⁻¹ = b⁻¹a⁻¹
13-05-2024Si G es un grupo y a, b ∈ G tales que ab = 1 entonces a⁻¹ = b
10-05-2024Unicidad del elemento neutro en los grupos
09-05-2024Caracterización de producto igual al primer factor
08-05-2024Unicidad de inversos en monoides
07-05-2024Equivalencia de inversos iguales al neutro
06-05-2024Producto de potencias de la misma base en monoides
03-05-2024En los monoides, los inversos a la izquierda y a la derecha son iguales
02-05-2024Teorema de Cantor
01-05-2024Imagen inversa de la intersección general
30-04-2024Imagen inversa de la unión general
29-04-2024Imagen de la intersección general mediante aplicaciones inyectivas
26-04-2024Imagen de la intersección general
25-04-2024Imagen de la unión general
24-04-2024Unión con la imagen inversa
23-04-2024Intersección con la imagen
22-04-2024Unión con la imagen
16-04-2024Imagen de la diferencia de conjuntos
15-04-2024Imagen de la intersección de aplicaciones inyectivas
12-04-2024Imagen de la intersección
06-04-2024Imagen inversa de la unión
04-04-2024Monotonía de la imagen inversa
03-04-2024Monotonía de la imagen de conjuntos
02-04-2024Imagen de imagen inversa de aplicaciones suprayectivas
19-03-2024Imagen de la imagen inversa
18-03-2024Imagen inversa de la imagen de aplicaciones inyectivas
15-03-2024Subconjunto de la imagen inversa
14-03-2024Imagen inversa de la imagen
13-03-2024Imagen de la unión
12-03-2024Imagen inversa de la intersección
11-03-2024Unión con intersección general
08-03-2024Intersección de intersecciones
07-03-2024Distributiva de la intersección respecto de la unión general
06-03-2024Los primos mayores que 2 son impares
05-03-2024La unión de los pares e impares es el conjunto de los naturales
04-03-2024Diferencia de unión e intersección
01-03-2024Unión con su diferencia
29-02-2024Unión con su intersección
27-02-2024Conmutatividad de la intersección
26-02-2024Diferencia de diferencia de conjuntos (2)
23-02-2024Demostraciones de "(s ∩ t) ∪ (s ∩ u) ⊆ s ∩ (t ∪ u)"
22-02-2024Diferencia de diferencia de conjuntos
21-02-2024Propiedad semidistributiva de la intersección sobre la unión
20-02-2024Propiedad de monotonía de la intersección
19-02-2024Teorema del emparedado
18-02-2024Intersección con su unión
17-02-2024Producto de sucesiones convergentes a cero
16-02-2024El límite de uₙ es a syss el de uₙ-a es 0
15-02-2024Si el límite de la sucesión uₙ es a y c ∈ ℝ, entonces el límite de cuₙ es ca
12-02-2024Si el límite de la sucesión uₙ es a y c ∈ ℝ, entonces el límite de uₙ+c es a+c
06-02-2024Unicidad del límite de las sucesiones convergentes
05-02-2024Si la sucesión u converge a a y la v a b, entonces u+v converge a a+b
02-02-2024La sucesión constante sₙ = c converge a c
01-02-2024En ℝ, si 1 < a entonces a < aa
31-01-2024En ℝ, |a| = |a - b + b|
30-01-2024Las funciones f(x,y) = (x + y)² y g(x,y) = x² + 2xy + y² son iguales
29-01-2024La raíz cuadrada de 2 es irracional
26-01-2024Si n² es par, entonces n es par
25-01-2024Existen infinitos números primos
24-01-2024Implicación mediante disyunción y negación
23-01-2024Eliminación de la doble negación
22-01-2024En ℝ, x² = y² → x = y ∨ x = -y
19-01-2024En ℝ, si x² = 1 entonces x = 1 ó x = -1
18-01-2024Si (∃ x, y ∈ ℝ)[z = x² + y² ∨ z = x² + y² + 1], entonces z ≥ 0
17-01-2024Si m divide a n o a k, entonces m divide a nk.
16-01-2024En ℝ, si x ≠ 0 entonces x < 0 ó x > 0
15-01-2024En ℝ, |x + y| ≤ |x| + |y|
12-01-2024En ℝ, -x ≤ |x|
11-01-2024En ℝ, x ≤ |x|
10-01-2024En ℝ, si x < |y|, entonces x < y ó x < -y
09-01-2024En ℝ, si -y > x² + 1 entonces y > 0 ó y < -1
08-01-2024En ℝ, si y > x² entonces y > 0 ó y < -1
05-01-2024Si ≤ es un preorden, entonces < es transitiva
04-01-2024Si ≤ es un preorden, entonces < es irreflexiva
03-01-2024En los órdenes parciales, a < b ↔ a ≤ b ∧ a ≠ b.
02-01-2024La función x ↦ -x no es monótona creciente
01-01-2024La función real f no es monótona syss existen x, y tales que x ≤ y y f(x) > f(y)
29-12-20233 divide al máximo común divisor de 6 y 15
28-12-2023Si |x + 3| < 5, entonces -8 < x < 2
27-12-2023En ℝ, x² + y² = 0 ↔ x = 0 ∧ y = 0
26-12-2023En ℝ, si x ≤ y, entonces y ≰ x ↔ x ≠ y
25-12-2023En ℝ, x ≤ y ∧ x ≠ y → x ≤ y ∧ y ≰ x
18-12-2023Existen números primos m y n tales que 4 < m < n < 10
15-12-2023Si (∃z ∈ ℝ)[x < z < y], entonces x < y.
14-12-2023Existe un número real entre 2 y 3
13-12-2023Si (m ∣ n ∧ m ≠ n), entonces (m ∣ n ∧ ¬(n ∣ m))
12-12-2023Si x ≤ y y x ≠ y, entonces y ≰ x
11-12-2023Si x ≤ y y y ≰ x, entonces x ≤ y ∧ x ≠ y
08-12-2023Si 0 < 0, entonces a > 37 para cualquier número a
07-12-2023Si f no es monótona, entonces ∃x∃y[x ≤ y ∧ f(y) < f(x)]
06-12-2023Si ¬(∀a)(∃x)[f(x) > a], entonces f está acotada superiormente
05-12-2023Si f no está acotada superiormente, entonces (∀a)(∃x)[f(x) > a]
04-12-2023Introducción de la doble negación
01-12-2023Eliminación de la doble negación
30-11-2023Si (∃x)¬P(x), entonces ¬(∀x)P(x)
29-11-2023Si ¬(∀x)P(x), entonces (∃x)¬P(x)
28-11-2023Si (∀x)¬P(x), entonces ¬(∃x)P(x).
27-11-2023Si ¬(∃x)P(x), entonces (∀x)¬P(x)
24-11-2023Si (∀ε > 0)[x ≤ ε], entonces x ≤ 0
23-11-2023No para toda f monótona, (∀a,b)[f(a) ≤ f(b) → a ≤ b]
22-11-2023Si a, b ∈ ℝ tales que a ≤ b y f(b) < f(a), entonces f no es monótona
21-11-2023Si f es monótona y f(a) < f(b), entonces a < b
20-11-2023La función identidad no está acotada superiormente
17-11-2023Si para cada a existe un x tal que f(x) < a, entonces f no tiene cota inferior
16-11-2023Si para cada a existe un x tal que f(x) > a, entonces f no tiene cota superior
15-11-2023En ℝ, a < b → ¬(b < a)
14-11-2023La composición de funciones suprayectivas es suprayectiva
13-11-2023Si f es una función real suprayectiva, entonces existe x ∈ ℝ tal que f(x)² = 9
10-11-2023Si c ≠ 0, entonces la función (x ↦ cx + d) es suprayectiva
09-11-2023Si c ≠ 0, entonces la función (x ↦ cx) es suprayectiva
08-11-2023La función (x ↦ x + c) es suprayectiva
07-11-2023Si a divide a b y a c, entonces divide a b+c
06-11-2023Transitividad de la divisibilidad
03-11-2023Si x e y son sumas de dos cuadrados, entonces xy también lo es
02-11-2023Si c ≥ 0 y f está acotada superiormente, entonces c·f también lo está
01-11-2023Si a es una cota superior de f y c ≥ 0, entonces ca es una cota superior de cf
31-10-2023La suma de dos funciones acotadas inferiormente también lo está
30-10-2023La suma de dos funciones acotadas superiormente también lo está
27-10-2023Hay algún número real entre 2 y 3
26-10-2023La composición de funciones inyectivas es inyectiva
25-10-2023Si c ≠ 0, entonces la función (x ↦ cx) es inyectiva
24-10-2023La función (x ↦ x + c) es inyectiva
23-10-2023Si a es una cota superior de s y a ≤ b, entonces b es una cota superior de s
20-10-2023Si r ⊆ s y s ⊆ t, entonces r ⊆ t
19-10-2023Para cualquier conjunto s, s ⊆ s
18-10-2023Si f es par y g es impar, entonces (f ∘ g) es par
17-10-2023El producto de una función par por una impar es impar
16-10-2023El producto de dos funciones impares es par
13-10-2023La suma de dos funciones pares es par
12-10-2023La composición de dos funciones monótonas es monótona
11-10-2023Si c es no negativo y f es monótona, entonces cf es monótona.
10-10-2023La suma de dos funciones monótonas es monótona
09-10-2023Si a es una cota superior no negativa de f y b es una cota superior de la función no negativa g, entonces ab es una cota superior de fg
06-10-2023El producto de funciones no negativas es no negativo
05-10-2023La suma de una cota inferior de f y una cota inferior de g es una cota inferior de f+g
04-10-2023La suma de una cota superior de f y una cota superior de g es una cota superior de f+g
03-10-2023En ℝ, {0 < ε, ε ≤ 1, |x| < ε, |y| < ε} ⊢ |xy| < ε
02-10-2023En los espacios métricos, d(x,y) ≥ 0
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²
31-08-2023En ℝ, si a ≤ b entonces c - e^b ≤ c - e^a
30-08-2023En ℝ, si a ≤ b, entonces log(1+e^a) ≤ log(1+e^b)
29-08-2023En ℝ, si d ≤ f, entonces c + e^(a + d) ≤ c + e^(a + f)
28-08-2023En ℝ, si a ≤ b y c < d, entonces a + eᶜ + f ≤ b + eᵈ + f.
25-08-2023En ℝ, si 1 ≤ a y b ≤ d, entonces 2 + a + eᵇ ≤ 3a + eᵈ
24-08-2023En ℝ, si 2a ≤ 3b, 1 ≤ a y c = 2, entonces c + a ≤ 5b
23-08-2023En ℝ, si a ≤ b, b < c, c ≤ d y d < e, entonces a < e
18-08-2023Si G es un grupo y a ∈ G, entonces a·1 = a
17-08-2023Si G es un grupo y a ∈ G, entonces aa⁻¹ = 1
16-08-2023Si R es un anillo y a ∈ R, entonces 2a = a+a
15-08-2023En los anillos, 1 + 1 = 2
14-08-2023Si R es un anillo y a ∈ R, entonces a - a = 0
11-08-2023Si R es un anillo y a, b ∈ R, entonces a - b = a + -b
10-08-2023Si R es un anillo y a ∈ R, entonces -(-a) = a
09-08-2023Si R es un anillo, entonces -0 = 0
08-08-2023Si R es un anillo y a, b ∈ R tales que a+b=0, entonces a=-b
07-08-2023Si R es un anillo y a, b ∈ R tales que a+b=0, entonces -a=b
04-08-2023Si R es un anillo y a ∈ R, entonces 0.a = 0
03-08-2023Si R es un anillo y a ∈ R, entonces a.0 = 0
02-08-2023Si R es un anillo y a, b, c ∈ R tales que a+b=c+b, entonces a=c
01-08-2023Si R es un anillo y a, b, c ∈ R tales que a+b=a+c, entonces b=c
31-07-2023Si R es un anillo y a, b ∈ R, entonces (a + b) + -b = a
28-07-2023Si R es un anillo y a, b ∈ R, entonces -a + (a + b) = b
27-07-2023Si R es un anillo y a ∈ R, entonces a + -a = 0
26-07-2023Si R es un anillo y a ∈ R, entonces a + 0 = a
25-07-2023Si a + b = c, entonces (a + b)(a + b) = ac + bc
24-07-2023Si c = da + b y b = ad, entonces c = 2ad
21-07-2023En ℝ, (a+b)(a-b) = a²-b²
20-07-2023En ℝ, (a + b)(c + d) = ac + ad + bc + bd
19-07-2023En ℝ, (a + b)(a + b) = aa + 2ab + bb
18-07-2023Si c = ba-d y d = ab, entonces c = 0
17-07-2023Si bc = ef, entonces ((ab)c)d = ((ae)f)d
14-07-2023Si ab = cd y e = f, entonces a(be) = c(df)
13-07-2023En ℝ, a(bc) = b(ac)
12-07-2023En ℝ, (cb)a = b(ac)
11-07-2023En ℝ, (ab)c = b(ac)
10-07-2023El producto por un par es par
22-06-2021Demostraciones de "s ∪ f⁻¹[v] ⊆ f⁻¹[f[s] ∪ v]"
21-06-2021Intersección con la imagen
19-06-2021Demostraciones de "f[s] ∩ t = f[s ∩ f⁻¹[t]]"
17-06-2021Demostraciones de "f[s] \ f[t] ⊆ f[s \ t]"
16-06-2021Si f es inyectiva, entonces f[s] ∩ f[t] ⊆ f[s ∩ t]
15-06-2021Demostraciones de "f[s ∩ t] ⊆ f[s] ∩ f[t]"
14-06-2021Demostraciones de "f⁻¹[A ∪ B] = f⁻¹[A] ∪ f⁻¹[B]"
13-06-2021Monotonía de la imagen inversa
12-06-2021Monotonía de la imagen de conjuntos
11-06-2021Si f es suprayectiva, entonces u ⊆ f[f⁻¹[u]]
10-06-2021Demostraciones de "f[f⁻¹[u]] ⊆ u"
09-06-2021Si f es inyectiva, entonces f⁻¹[f[s]] ⊆ s
08-06-2021Demostraciones de "f[s] ⊆ u ↔ s ⊆ f⁻¹[u]"
07-06-2021Demostraciones de "s ⊆ f⁻¹(f(s))"
06-06-2021Demostraciones de "f(s ∪ t) = f(s) ∪ f(t)"
05-06-2021Demostraciones de "f⁻¹(u ∩ v) = f⁻¹(u) ∩ f⁻¹(v)"
04-06-2021Demostraciones de "s ∪ (⋂_i A_i) = ⋂_i (A_i ∪ s)"
03-06-2021Demostraciones de "⋂_i, (A(i) ∩ B(i)) = (⋂_i, A(i)) ∩ (⋂_i, B(i))"
02-06-2021Demostraciones de "s ∩ ⋃_i A_i = ⋃_i (A_i ∩ s)"
01-06-2021Los primos mayores que 2 son impares
31-05-2021La unión del conjunto de los números naturales pares e impares es el conjunto de los naturales
28-05-2021Demostraciones de "(s \ t) ∪ (t \ s) = (s ∪ t) \ (s ∩ t)"
27-05-2021Demostraciones de "(s \ t) ∪ t = s ∪ t"
26-05-2021Demostraciones de "s ∪ (s ∩ t) = s"
25-05-2021Demostraciones de "s ∩ (s ∪ t) = s"
24-05-2021Demostraciones de "s ∩ t = t ∩ s"
21-05-2021Demostraciones de "s \ (t ∪ u) ⊆ (s \ t) \ u"
20-05-2021Demostraciones de "(s ∩ t) ∪ (s ∩ u) ⊆ s ∩ (t ∪ u)"
19-05-2021Demostraciones de "(s - t) - u ⊆ s - (t ∪ u)"
18-05-2021Demostraciones de "s ∩ (t ∪ u) ⊆ (s ∩ t) ∪ (s ∩ u)"
17-05-2021Demostraciones de "Si s ⊆ t, entonces s ∩ u ⊆ t ∩ u"
08-04-2020Las relaciones reflexivas y circulares son simétricas
31-03-2020El problema del barbero
19-03-2020El problema de los infectados
12-03-2020La dama o el tigre
05-03-2020El problema lógico del mal
24-02-2020Praeclarum theorema
30-01-2020Teorema de Nicómaco
24-01-2020Reto f(f(f(b))) = f(b)
14-01-2020Celebración del día mundial de la lógica
14-01-2020Día mundial de la lógica

Calculemus

Idiomas:

Archivo

También disponible en: