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