Stav dette: Formale Logik