Sibi es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 3 resp
Enunciado idiomático del inglés matemático para ∃x[P(x) ∧ ∀y(P(y) → y ≤ x)].
el 26 de Diciembre, 2015 3 votos - 2 resp
Demostrar si $x$ es el mayor límite inferior de $U$ entonces $x$ es el límite superior mínimo de $B$
el 8 de Enero, 2016 1 votos - 1 resp
Decidir entre implicación y conjunción
el 26 de Diciembre, 2015 4 votos - 2 resp
Encontrar fallas en prueba
el 29 de Octubre, 2018 4 votos - 3 resp
Demostración de la propiedad transitiva
el 1 de Agosto, 2018 4 votos
Últimas Respuestas
- 1 votos
¿Por qué es esto una prueba para una función arbitraria limitada a un constante?
el 21 de Septiembre, 2015 1 votos
Etiquetas favoritas
- 3 x logic
- 2 x quantifiers
- 2 x predicate-logic
- 1 x order-theory
- 1 x prueba-de-escritura
- 1 x la-función-de-la-composición
- 1 x relaciones