Alguns gatos não são pardos, e aqueles que não são pardos miam alto.
Uma afirmação que corresponde a uma negação lógica da afirmação anterior é:
Os gatos pardos miam alto ou todos os gatos não são pardos.
Nenhum gato mia alto e todos os gatos são pardos.
Todos os gatos são pardos ou os gatos que não são pardos não miam alto.
Todos os gatos que miam alto são pardos.
Qualquer animal que mia alto é gato e quase sempre ele é pardo.
