Title: Iniciación a la lógica simbólica