Uma das modalidades de equivalência lógica do Condicional é a comutatividade.

Para fazer a equivalência do CONDIC. é necessário manter a primeira proposição simples e negar a segunda.

Negando a primeira proposição e mantendo a segunda não torna o Condicional uma equivalência consigo