J Marcos 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
- 7 votos
¿Es posible derivar todas las demás funciones booleanas tomando otras primitivas diferentes de $NAND$ ?
el 9 de Junio, 2013 7 votos - 0 votos
Pregunta sobre Implicación lógica
el 3 de Septiembre, 2013 0 votos - 1 votos
Es Paraconsistent Negación Realmente Negación?
el 8 de Febrero, 2014 1 votos - 1 votos
¿Cómo probar un conjunto de conectivos sentenciales es incompleta?
el 24 de Diciembre, 2012 1 votos - 4 votos
¿Qué es la "correcta" lectura de $\bot$?
el 9 de Febrero, 2014 4 votos
Etiquetas favoritas
- 3 x lógica
- 2 x filosofía
- 2 x boolean-algebra
- 2 x logic
- 1 x proof-teoría
- 1 x propositional-calculus
- 1 x reference-request