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.