Ao se admitir por verdadeira a declaração “Se Paulo é alto,então Gabriela não é alta”, ...

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).