SMS dit: Lógica para ciencia de la computación