O tipo de raciocínio lógico cujo objetivo é se determinar a premissa a partir da regra e conclusão é chamado de: