Uma afirmação que é a negação lógica da afirmação “Todos os...

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.