A sentença "Se Castro Alves foi um poeta baiano, então José de Alencar foi um escritor ...

a) Se José de Alencar não foi um escritor sergipano, então Castro Alves foi um poeta baiano

b) Se Castro Alves não foi um poeta baiano, então José de Alencar não foi um escritor sergipano.

c) Se Castro Alves foi um poeta baiano, então José de Alencar não foi um escritor sergipano.

d) Se José de Alencar não foi um escritor sergipano, então Castro Alves não foi um poeta baiano.

Responda: A sentença "Se Castro Alves foi um poeta baiano, então José de Alencar foi um escritor sergipano" equivale a: