Stav dette: Iniciación a la lógica simbólica