Text this: Iniciación a la lógica simbólica