user4568 es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Stephen Wolfram sobre los sistemas axiomáticos?
el 17 de Diciembre, 2018 5 votos
Últimas Respuestas
- 0 votos
Mostrar que $(p \to q) \lor (q \to p)$ es una tautología
el 28 de Enero, 2015 0 votos
Etiquetas favoritas
- 1 x lógica
- 1 x lógica-proposicional
- 1 x natural-deducción
- 1 x formal-pruebas
- 1 x axioma