///
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.
Se P e Q representam, respectivamente, as proposições “O servidor participa da elaboração das especificações técnicas” e “O servidor participa do julgamento das propostas”, então a regra R1 pode ser representada por P → (¬Q).