Um professor de lógica afirmou em uma aula: “Se a negação da proposição A é a proposição B, então a proposição C é verdadeira”. A negação lógica da afirmação do professor é a segui

Gabarito

Certo

Comentário do professor

Simbolize: \(p\) = "a negação da proposição A é a proposição B" e \(q\) = "a proposição C é verdadeira". A afirmação do professor é o condicional \(p \to q\).

A negação de um condicional obedece à equivalência lógica \( \neg (p \to q) \equiv p \land \neg q\). Isso decorre da tabela-verdade: um condicional só é falso quando o antecedente é verdadeiro e o consequente é falso.

Portanto, a negação da frase dada é \(p \land \neg q\), que na linguagem natural corresponde a: "A negação da proposição A é a proposição B e a proposição C não é verdadeira."