Como se nega adequadamente uma proposição do tipo "P afirma que Q"?

Negação: Não (P afirma que Q) — ou logicamente \( \lnot(P\ \text{afirma que}\ Q) \).

Explicação:
Negar a proposição significa negar o ato representado pelo núcleo (o verbo proposicional), e não o conteúdo interno.
Assim, \( \lnot(P\ \text{afirma que}\ Q) \) é diferente de \( P\ \text{afirma que}\ \lnot Q \).
Em muitos casos, \( \lnot(P\ \text{afirma que}\ Q) \) pode ser verdadeira quando não há afirmação sobre Q (ex.: indecisão), enquanto \( P\ \text{afirma que}\ \lnot Q \) só é verdadeira se P explicitamente afirma o contrário.

Exemplo:
Proposição: "A direção afirma que o produto é seguro".
- Negação correta: "A direção não afirma que o produto é seguro" — logicamente \( \lnot(D\ \text{afirma que}\ S) \).
- Forma diferente: "A direção afirma que o produto não é seguro" — logicamente \( D\ \text{afirma que}\ \lnot S \).
Se a direção está indecisa, a primeira é verdadeira e a segunda é falsa, mostrando que não são equivalentes.