Утверждение а и не а является