user537069 es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Demuestra que la suma es conmutativa usando axiomas, definiciones e inducción
el 3 de Julio, 2018 4 votos - 5 resp
¿Hay que demostrar cómo funcionan los paréntesis en los axiomas de Peano?
el 13 de Marzo, 2018 22 votos - 5 resp
¿Por qué necesitamos la transitividad?
el 12 de Marzo, 2018 8 votos - 2 resp
¿Cómo sé lo que ya sabemos en una prueba cuando las suposiciones que podemos usar son aún más complejas?
el 11 de Marzo, 2018 10 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 3 x lógica
- 2 x definición
- 2 x axioma
- 2 x axiomas-de-peano
- 1 x prueba-de-escritura
- 1 x pregunta-teórica
- 1 x first-order-lógica