Certo dia, três bibliotecárias foram incumbidas de catalogar os livros de um lote recebido. Ao final do trabalho, duas delas fizeram as seguintes declarações:
Aline: Bia catalogou livros do lote, mas Cacilda não os catalogou.
Bia: Se Aline não catalogou livros do lote, então Cacilda os catalogou.
Considerando que as duas declarações são verdadeiras, então os livros desse lote foram catalogados:
