SMS: Razonamiento lógico inductivo-proposicional