Oh, I see. Do you know whether you can get different answers by atomizing the statements differently. For instance, will the same information always give the same resulting probabilities if the atoms are A and B as it would if the atoms are A and A-xor-B?
P(‘AB’)>P(A)P(B)
Not a problem if A and B are correlated. I assume you mean P(‘AB’)>min(P(A), P(B))?
You can’t get different probabilities by atomizing things differently, all the atoms “already exist.” But if you prove different theorems, or theorems about different things, then you can get different probabilities.
Oh, I see. Do you know whether you can get different answers by atomizing the statements differently. For instance, will the same information always give the same resulting probabilities if the atoms are A and B as it would if the atoms are A and A-xor-B?
Not a problem if A and B are correlated. I assume you mean P(‘AB’)>min(P(A), P(B))?
Ah, right. Or even P(‘AB’)>P(A).
You can’t get different probabilities by atomizing things differently, all the atoms “already exist.” But if you prove different theorems, or theorems about different things, then you can get different probabilities.