Uma afirmação que é a negação lógica da afirmação “Todos os gatos são pardos e algumas corujas são brancas” é:
Nenhum gato é pardo, e algumas corujas não são brancas.
Alguns gatos são pardos ou todas as corujas são brancas.
Se os gatos são pardos, então as corujas são brancas.
Existe gato que é pardo ou alguma coruja não é branca.
Existe gato que não é pardo ou não há corujas brancas.
