Stav dette: Lógica: el razonamiento deductivo formal