Ten O'Four es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Cómo puedo hacer que las demostraciones con fórmulas largas sean más legibles sin sacrificar la claridad?
el 29 de Septiembre, 2021 42 votos
Últimas Respuestas
- 7 votos
¿Cómo es posible tener un axioma en lógica que defina Y?
el 11 de Marzo, 2022 7 votos - 1 votos
Demostración de una vinculación tautológica en la Introducción a la Lógica Formal de Peter Smith
el 1 de Noviembre, 2021 1 votos
Etiquetas favoritas
- 3 x logic
- 2 x proof-writing
- 1 x notation
- 1 x propositional-calculus