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 (-»). Considere duas proposições denominadas simbolicamente por p e q. A linguagem "Se p, então q" pode ser representada por p -> q. A grafia til (-) serve para negar uma proposição. Então a proposição lógica -q -» -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" é
