Considere a proposição composta: "O juiz está certo e o réu é culpado". Com base nos conceitos da lógica matemática assinale a alternativa que apresenta a negação correta da proposição em questão.