Considere as proposições P e Q. Assinale a alternativa que indica corretamente a negação da implicação "P → Q" (P implica Q).