Questão 892251

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 ~p é chamada de contrapositiva da forma lógica p → q , da qual também é equivalente. 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" é