Uma proposição equivalente a “Se João é botafoguense então Carlos é flamenguista” é:

João não é botafoguense nem Carlos é flamenguista.

Se Carlos é flamenguista então João é botafoguense.

Se João não é botafoguense então Carlos não é flamenguista.

Se Carlos não é flamenguista então João não é botafoguense.

Se Carlos é botafoguense então João é flamenguista.