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 du

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