Artem Lovan wrote:Obviously it cant hold true for both.
It's not obvious to me. It's certainly true that you're allowed to handle and declare checked exceptions in
Java -- I've done it myself. There's nothing at all preventing you from doing it.
But you seem to be interpreting A as "It's optional to handle or declare checked exceptions", which is indeed in conflict with B and is indeed false. I suppose that isn't exactly an incorrect interpretation of "allowed to" but it isn't a useful way to think about questions in a formal system.