Afirmar que "A->B" é equivalente a "Todo A é B".
Em termos de conjuntos, "Todo A é B" equivale a "A está contido em B".
Sejam os seguintes conjuntos:
A = moradores do município de Cidadópolis;
B = moradores que gostam de comer batata;
Assim, como "Todos os moradores do município de Cidadópolis gostam de comer batata", temos que A está contido em B.
Se existe alguém que não gosta de comer batata, essa pessoa não pertence ao conjunto B.
Como o conjunto A está contido em B (está dentro de B), a pessoa que não está em B obrigatoriamente não está em A.
Assim, Se alguém não gosta de batata, não mora em Cidadópolis.