Joseph es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Cuantificadores en la declaración Set Builder
el 7 de Mayo, 2021 1 votos - 2 resp
¿Qué es lo que falla en esta lógica de la prueba?
el 7 de Mayo, 2021 1 votos - 1 resp
Si cada $A_i$ contiene algunos $B_j$ entonces $\cap B_j \subseteq \cap A_i$
el 15 de Diciembre, 2016 1 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 3 x elementary-set-theory
- 2 x logic
- 1 x proof-verification
- 1 x formal-proofs