Или это только придирка к формулировке, которую можно заменить «противоречащие друг другу утверждения не могут быть одновременно верными»?