SMS: Fundamentos de lógica simbólica