Stav dette: Elements of symbolic logic