Este documento presenta la historia de Omar Ivan Trejos y su búsqueda para definir lógica. Trejos le preguntó a varias personas acerca de su definición de lógica y recibió respuestas complejas o que no cumplían con sus expectativas. Finalmente, cuando le preguntó a su padre, este dio la definición más simple y obvia: que la lógica es "la forma más OBVIA y más FACIL de hacer algo". El autor concluye que el objetivo de la lógica computacional es poder vislumbrar