Stav dette: Razonamiento lógico inductivo-proposicional :