Marcos de Castro
31/12/1969 • 21:00
Gabarito: a)
Vamos analisar a proposição original: "Se Paulo é alto, então Gabriela não é alta". Em lógica, isso é uma condicional do tipo "Se P, então Q", onde P = "Paulo é alto" e Q = "Gabriela não é alta".
A negação do Q é "Gabriela é alta". A contrapositiva dessa condicional é "Se não Q, então não P", ou seja, "Se Gabriela é alta, então Paulo não é alto". A contrapositiva é logicamente equivalente à proposição original, ou seja, é uma conclusão correta e necessária.
As outras alternativas não representam a contrapositiva correta ou são proposições sem sentido lógico (como a d) ou que não derivam da original. Portanto, a resposta correta é a alternativa a).
Vamos analisar a proposição original: "Se Paulo é alto, então Gabriela não é alta". Em lógica, isso é uma condicional do tipo "Se P, então Q", onde P = "Paulo é alto" e Q = "Gabriela não é alta".
A negação do Q é "Gabriela é alta". A contrapositiva dessa condicional é "Se não Q, então não P", ou seja, "Se Gabriela é alta, então Paulo não é alto". A contrapositiva é logicamente equivalente à proposição original, ou seja, é uma conclusão correta e necessária.
As outras alternativas não representam a contrapositiva correta ou são proposições sem sentido lógico (como a d) ou que não derivam da original. Portanto, a resposta correta é a alternativa a).