O diretor de recursos humanos de uma multinacional estabeleceu a seguinte diretriz normativa para a concessão de benefícios:

“Se o colaborador atinge as metas de produtividade e possui assiduidade integral, então ele recebe a bonificação anual.”

Do ponto de vista da lógica proposicional, a proposição que expressa a negação estrita dessa diretriz é dada por: