Stav dette: Теория логического вывода