Ответ:

Да. Утверждения «a делится на 3» и «a не делится на 3» отрицают друг друга: одно из них истинно, а другое ложно.

Ответ: да.