Uma afirmação que corresponda à negação lógica da a...

A negação de uma proposição composta do conectivo ^ (e) é feita negando as 2 proposições e trocando o conectivo ^ (e) pelo v (ou).

Negação da primeira proposição: "Todos os programas foram limpos" fica "Algum programa não foi limpo" que equivale a "Existe um programa que não foi limpo"

Negação da segunda proposição: "nenhum vírus permaneceu" fica "algum vírus permaneceu" que equivale a "pelo menos um vírus permaneceu"

Negação da proposição composta: "Existe um programa que não foi limpo ou pelo menos um vírus permaneceu."

Resposta correta: B