///
A fim de minimizar o risco de desvios de recursos públicos por meio da segregação de funções, uma repartição estabeleceu as seguintes regras para os processos de aquisição de bens/serviços: R1: Se o servidor participa da elaboração das especificações técnicas, não participa do julgamento das propostas; R2: Se o servidor participa do julgamento das propostas, não atesta o recebimento dos bens/serviços; R3: Se o servidor atesta o recebimento dos bens/serviços, não ordena seu pagamento.
A proposição “Se um servidor participa da elaboração das especificações técnicas, então não atesta o recebimento dos bens/serviços” é uma conclusão válida a partir das premissas R1 e R2.