For knowledge, there is the intuitive argument that for two statements known to be logically equivalent, especially when the equivalence is simple, 'amount to the same thing' and hence ought to be epistemically interchangeable (see immediately below in the text; it is especially natural for the case Nozick considers).