Considere a seguinte afirmação:

Se os livros foram catalogados, então eles já foram distribuídos nas estantes.

Uma negação lógica para a afirmação apresentada é