A negação lógica da afirmação: "Todos alunos vieram para a aula", está contida na alternativa:

Gabarito

B

Comentário do professor

A frase original é uma proposição de caráter universal: "Todos os alunos vieram para a aula". Simbolizando, seja \(A(x)\): "x é aluno" e \(V(x)\): "x veio para a aula", temos \( \forall x\,(A(x)\rightarrow V(x))\).

Para negar uma universal afirmativa aplicamos a regra da negação dos quantificadores: \(\neg\forall x\,\Phi(x)\equiv \exists x\,\neg\Phi(x)\). Assim obtemos \(\exists x\,\neg(A(x)\rightarrow V(x))\).

Negando o condicional: \(\neg(A\rightarrow V)\equiv A\wedge\neg V\). Logo a forma equivalente é \(\exists x\,(A(x)\wedge\neg V(x))\), que, em linguagem natural, diz "Pelo menos um aluno não veio para a aula".

Portanto, a alternativa indicada expressa corretamente a negação da sentença dada.