É correto afirmar que a negação da proposição todas as flores são brancas é?

A Lógica por Trás da Negação de Proposições Universais

Na lógica matemática e no raciocínio lógico, um dos erros mais comuns é tentar negar uma afirmação universal utilizando outra negação total. Quando nos deparamos com a frase "todas as flores são brancas", o primeiro impulso de muitas pessoas é responder que a sua negação seria "nenhuma flor é branca". No entanto, esse é um equívoco clássico que costuma derrubar muitos candidatos em concursos públicos e exames acadêmicos.

Para desmistificar essa regra, existe um macete muito conhecido no universo dos concursos: o método do E.P.A. mais a palavra "não". A sigla E.P.A. serve para lembrar os quantificadores existenciais básicos: Existe, Pelo menos um (ou ao menos um) e Algum. Quando a regra é aplicada, entendemos que para quebrar a soberania de uma afirmação que diz que "todos" fazem algo, não precisamos provar que "nenhum" faz. Basta encontrar uma única exceção à regra.

Portanto, se alguém afirma categoricamente que todas as flores do mundo possuem a cor branca, para desmentir essa pessoa você não precisa mostrar um jardim inteiro de flores coloridas. É necessário apenas apresentar uma única flor de outra cor. Dessa forma, a negação logicamente correta da proposição original é: "ao menos uma flor não é branca", o que equivale a dizer que existe pelo menos uma flor que não é branca.

Compreender esse mecanismo evita armadilhas em questões conceituais e nos ajuda a estruturar argumentos de forma muito mais precisa no dia a dia, aplicando a lógica formal de maneira prática e definitiva.