Qual é a expressão lógica que representa corretamente a negação dessa condicional?

Gabarito

A

Comentário do professor

Negaçao de uma condicional clássica significa identificar quando \(P\to Q\) é falsa. Escrevendo a condicional: \(P\to Q\).

Na tabela de verdade, \(P\to Q\) é falsa apenas quando \(P\) é verdadeira e \(Q\) é falsa. Em todos os outros casos a condicional é verdadeira.

Portanto, a negação de \(P\to Q\) deve ser verdadeira exatamente nessa situação: \(P\) e não \(Q\). Isso se formaliza como \(P\land \neg Q\).

Traduzindo para a oração do enunciado, se \(P\) = "hoje é dia de prova" e \(Q\) = "eu estudei todo o conteúdo", a negação é: é dia de prova e eu não estudei todo o conteúdo, isto é, \(P\land \neg Q\).