Ao resolver um problema de organização combinatória, um estudante experimenta diferentes casos sem dispor de um procedimento previamente definido que assegure a solução, representa possibilidades e elimina configurações incompatíveis com as condições dadas. Depois, conclui que determinada configuração deve ocorrer porque todas as demais possibilidades restantes contradizem pelo menos uma das premissas. Ao final, retorna ao enunciado, confronta cada restrição com sua solução e percebe que havia interpretado inadequadamente uma condição, refazendo parte do percurso. Complete as lacunas: a exploração inicial caracteriza uma estratégia _______________; a conclusão obtida pela eliminação necessária das demais possibilidades caracteriza uma inferência _______________; e a revisão consciente do próprio percurso caracteriza controle _______________.

Assinale a alternativa que preenche CORRETAMENTE as lacunas do texto.