abstractnonsense 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
- 0 votos
¿Cómo hace uno para saber si $A \implies B$ (implicación) es verdadera sin saber si $B$ (el consecuente es verdadero) es verdadera?
el 21 de Diciembre, 2017 0 votos
Etiquetas favoritas
- 1 x lógica
- 1 x prueba-de-escritura
- 1 x lógica-proposicional
- 1 x first-order-lógica