111
Reputación
Reputación
Nombre : CallMeLaNN
Miembro desde : 13 de Mayo, 2015
CallMeLaNN es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Cómo se pueden expresar los axiomas de la Teoría de Categorías en Lógica de Predicados?
el 29 de Abril, 2021 2 votos - 1 resp
¿Pueden utilizarse estas afirmaciones como axiomas de la teoría de categorías?
el 11 de Marzo, 2020 0 votos - 3 resp
¿Existen funciones no subjetivas en la teoría ZFC?
el 6 de Mayo, 2022 1 votos - 2 resp
¿En qué conjuntos además de $\mathbb{N}$ ¿podríamos utilizar la prueba por inducción?
el 23 de Enero, 2016 2 votos - 4 resp
¿Cuál es el valor de verdad, si lo hay, para $f(x)=y$ cuando $x$ está fuera del dominio de $f$ ?
el 13 de Diciembre, 2021 0 votos - 3 resp
Si$G$ es un grupo finito y$H \subset G$ está cerrado, ¿debe$H$ ser un subgrupo?
el 29 de Diciembre, 2018 3 votos - 2 resp
¿Se pueden representar los anillos en la teoría de categorías?
el 26 de Octubre, 2018 4 votos
Últimas Respuestas
- 2 votos
¿Las matemáticas requieren axiomas?
el 23 de Abril, 2013 2 votos - -2 votos
¿Permite una declaración falsa aceptada probar cualquier cosa?
el 6 de Diciembre, 2023 -2 votos - 0 votos
Aplicar verdades vacuas a las implicaciones del mundo real
el 18 de Octubre, 2017 0 votos - 1 votos
Demostrando $p\iff q$ cuando $p$ es verdadero.
el 8 de Febrero, 2020 1 votos - 0 votos
Ejemplo de lógica en la que una prueba por contradicción no implica una prueba directa.
el 3 de Abril, 2013 0 votos - 0 votos
¿Puede demostrarse una afirmación mostrando que conduce a una afirmación verdadera?
el 27 de Marzo, 2018 0 votos - 3 votos
¿Por qué el predicado "all" como en all(SET) es verdadero si el SET está vacío?
el 26 de Septiembre, 2012 3 votos
Etiquetas favoritas
- 64 x lógica
- 21 x elementary-conjunto-teórico
- 14 x pregunta-teórica
- 14 x logic
- 12 x lógica-proposicional
- 11 x conjunto-teórico
- 7 x elementary-set-theory
