Antônio é honesto ou Bernardo é honesto. Se Bernardo é honesto, então Carlos é desonesto. Carlos é honesto se e somente se Diogo é desonesto. Ora, Diogo é desonesto. Logo, é correto afirmar que