Considere a seguinte implicação:
Se um carro é da cor azul, então ele não é pequeno, nem
é caro.
Essa implicação situa logicamente a condição de não ser
pequeno e não ser caro como necessária para que um
carro seja da cor azul.
A implicação também situa logicamente a