two statements with truth conditions, so that reality can be either like or unlike the statement - and they are opposites, then at most one of them can be true.

Hmm, why is that? This seems incontrovertible, but I can't think of an explanation, or even a hypothesis.