Stav dette: Deductive logic/