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.

Com base nessas informações, julgue o próximo item.

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 \rightarrow ( \neg Q) !$.