Antônio é honesto ou Bernardo é honesto. Se Bernardo é honesto, então Carlos ...

Gabarito: b)

Vamos analisar passo a passo:

1. "Antônio é honesto ou Bernardo é honesto." Isso significa que pelo menos um dos dois é honesto.

2. "Se Bernardo é honesto, então Carlos é desonesto." Ou seja, Bernardo honesto implica Carlos desonesto.

3. "Carlos é honesto se e somente se Diogo é desonesto." Isso quer dizer que Carlos e Diogo têm honestidades opostas: se um é honesto, o outro é desonesto, e vice-versa.

4. "Ora, Diogo é desonesto." Essa é uma informação dada.

Agora, com Diogo desonesto, pela condição 3, Carlos é honesto (porque Carlos é honesto se e somente se Diogo é desonesto).

Sabendo que Carlos é honesto, vamos olhar a condição 2: "Se Bernardo é honesto, então Carlos é desonesto." Mas Carlos é honesto, então a condição "Bernardo é honesto" não pode ser verdadeira, senão teríamos uma contradição. Portanto, Bernardo é desonesto.

Voltando à condição 1: "Antônio é honesto ou Bernardo é honesto." Como Bernardo é desonesto, para essa frase ser verdadeira, Antônio deve ser honesto.

Resumindo:

- Antônio é honesto.

- Bernardo é desonesto.

- Carlos é honesto.

- Diogo é desonesto.

Assim, a alternativa correta é a que diz que Antônio e Carlos são honestos, que é a letra b).