Questão 2166659

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 ( \(\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 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" é