Em uma instituição pública, a situação funcional de dois servidores é utilizada como contexto para uma análise de lógica proposicional. Considere a proposição: “Se César é estatutário, então Diana é celetista.”

A negação lógica dessa proposição é: