Q592335 - FCC - 2017 - TRT - 24ª REGIÃO (MS) - Analista Judiciário - Oficial de Justiça Avaliador Federal,

Uma afirmação que corresponda à negação lógica da afirmação: todos os programas foram limpos e nenhum vírus permaneceu, é:

a) Se pelo menos um programa não foi limpo, então algum vírus não permaneceu.
b) Existe um programa que não foi limpo ou pelo menos um vírus permaneceu.
c) Nenhum programa foi limpo e todos os vírus permaneceram.
d) Alguns programas foram limpos ou algum vírus não permaneceu.
e) Se algum vírus permaneceu, então nenhum programa foi limpos.