Considerando que P e Q sejam, respectivamente, as proposições “Ausência de evidência de um crime não é evidência da ausência do crime.” e “Se não há evidência, não há crime.”, julg

Gabarito

Certo

Comentário do professor

A proposição Q é um **condicional**, expressa por "Se não há evidência, não há crime." Podemos representar o antecedente por \(a\): "Não há evidência", e o consequente por \(b\): "Não há crime".

A **negação** de um condicional obedece à equivalência lógica \( \neg(a\to b)\equiv a\land\neg b \). Ou seja, para negar Q mantemos o antecedente e negamos o consequente, unindo-os por uma conjunção.

Aplicando aqui, a negação de Q é: "Não há evidência, e há crime." A partícula "mas" funciona como conjunção equivalente a "e", portanto "Não há evidência, mas há crime." exprime corretamente a negação, justificando o julgamento **CERTO**.