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