lemontree es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 5 resp
¿Es adecuada esta concepción del infinito contable frente al incontable?
el 8 de Enero, 2017 13 votos - 1 resp
Hay un no-estándar de la teoría de conjuntos que hace uso de un elemento null?
el 17 de Diciembre, 2016 15 votos
Últimas Respuestas
- 2 votos
No puedo entender la derivación con el falsum involucrado como suposición (estudiando los fundamentos de la lógica).
el 25 de Octubre, 2019 2 votos - 2 votos
Aplicaciones de la función de secuenciación en la reducción beta
el 29 de Septiembre, 2021 2 votos - 1 votos
Lógica de primer orden: ¿es ésta una interpretación válida de una frase?
el 13 de Marzo, 2019 1 votos - 1 votos
¿Cómo puedo eliminar dos subfórmulas conflictivas en dos premisas en una prueba formal?
el 12 de Septiembre, 2019 1 votos - 1 votos
¿Cuáles son las reglas del árbol semántico para la disyunción exclusiva?
el 23 de Octubre, 2020 1 votos - 2 votos
Cuantificación vacía
el 17 de Noviembre, 2020 2 votos - 3 votos
¿Qué es precisamente una verdad vacía?
el 21 de Diciembre, 2020 3 votos
Etiquetas favoritas
- 7 x logic
- 5 x lógica
- 2 x propositional-calculus
- 2 x predicate-logic
- 2 x lógica-proposicional
- 1 x definición
- 1 x conjunto-teórico