SMS: Razonamiento lógico inductivo-proposicional :