Considere a afirmação: Se Fulano é guarda civil, então Beltrano é policial militar. Uma afirmação logicamente equivalente à afirmação acima é:

Se Fulano é policial militar, então Beltrano é guarda civil.

Se Fulano não é guarda civil, então Beltrano não é policial militar.

Se Beltrano não é policial militar, então Fulano não é guarda civil.

Se Beltrano é policial militar, então Fulano é guarda civil.

Se Fulano não é policial militar, então Beltrano não é guarda civil.