Considere a frase:
Se você é cuiabano, então é mato-grossense.
É logicamente equivalente à frase acima, a seguinte proposição:
Se você é mato-grossense, então é cuiabano.
Se você é cuiabano, então não é mato-grossense.
Se você não é mato-grossense, então não é cuiabano.
Se você não é cuiabano, então não é mato-grossense.
