Considere as seguintes proposições.

A: Está frio.

B: Eu levo agasalho.

Nesse caso, a negação da proposição composta "Se está frio, então eu levo agasalho" — A→B — pode ser corretamente dada pela proposição "Está frio e eu não levo agasalho" — A(¬B).