user400188 es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
-
Todavía no ha hecho preguntas
Últimas Respuestas
- 3 votos
Demuestre que el teorema de la compacidad no se aplica a la lógica infinita
el 19 de Abril, 2021 3 votos - 1 votos
¿Cuál es la justificación formal de la inducción finita?
el 18 de Junio, 2020 1 votos - 1 votos
¿Cómo puedo expresar el "cuantificador de unicidad" sin " $\exists!$ "?
el 4 de Mayo, 2020 1 votos - 4 votos
El significado del Material en implicación Material
el 1 de Enero, 2017 4 votos - 0 votos
Es $C \to \neg C$ una "declaración"?
el 12 de Febrero, 2017 0 votos
Etiquetas favoritas
- 2 x lógica
- 2 x logic
- 2 x first-order-logic
- 1 x lógica-proposicional
- 1 x terminología
- 1 x logic-translation
- 1 x induction