Tutorial de lógica

Esta sección proporciona una descripción general de qué es la lógica y por qué un desarrollador podría querer usarla.

También debe mencionar cualquier tema importante dentro de la lógica y vincular a los temas relacionados. Dado que la documentación de la lógica es nueva, es posible que deba crear versiones iniciales de esos temas relacionados.