What we know when we understand a proposition is this: We know what is the case if the proposition is true, & what is the case if it is false. But we do not know [necessarily] whether it is true or false.