Nestor, um estudante de Matemática, disse aos colegas de turma: “Eu amo Cálculo, mas não gosto muito de Álgebra Linear”. A negação da afirmação de Nestor é:

Gabarito

Certo

Comentário do professor

“Eu amo Cálculo, mas não gosto muito de Álgebra Linear.” Aqui a partícula "mas" equivale logicamente a conjunção, portanto a sentença é \(C \land \neg A\), com \(C\) = "amo Cálculo" e \(A\) = "gosto muito de Álgebra Linear".

Queremos a negação dessa conjunção. Pela regra de De Morgan, nega-se cada componente e troca-se o conectivo por disjunção: \(\neg(C \land \neg A)=\neg C \lor A\).

Voltando à linguagem natural, isso corresponde a: “Eu não amo Cálculo ou gosto muito de Álgebra Linear.” Note que o "ou" aqui é o lógico (inclusivo), resultante direto da aplicação de De Morgan.