Considere a sentença: “Se o chapéu é branco, então o sapato é bicolor”. A negação lógica da sentença dada é:

se o chapéu é branco, então o sapato não é bicolor;

se o chapéu não é branco, então o sapato é bicolor;

se o sapato não é bicolor, então o chapéu não é branco;

o chapéu não é branco ou o sapato é bicolor;

o chapéu é branco e o sapato não é bicolor.