James es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Demostrar que $\beta \rightarrow \neg \neg \beta$ es un teorema que utiliza los axiomas estándar 1,2,3 y MP
el 6 de Diciembre, 2016 9 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x lógica