Stav dette: Razonamiento lógico inductivo-proposicional