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.