A Lógica Matemática utiliza conectivos para relacionar proposições. Um conectivo de extrema importância na lógica é o condicional que representamos por uma seta (!$ → !$). por !$ p !$ e !$ q !$. A linguagem "Se !$ p !$, então !$ q !$" pode ser representada por !$ p !$ !$ → !$ !$ q !$. A grafia til (!$ \sim !$) serve para negar uma proposição. Então a proposição lógica !$ \sim q → \sim p !$ é chamada de contrapositiva da forma lógica !$ p !$ !$ → !$ !$ q !$, da qual também é equivalente.

Uma equivalência da proposição lógica "Se o cavalo estiver cansado, então ele perderá a corrida" é