Stav dette: Lógica simbólica