Stav dette: Análisis lógico I :