In your scheme you have P=1/2 for anything nontrivial and its negation that’s not already in X. It just so happens that this looks reasonable in case of the oddity of a digit of pi, but that’s merely a coincidence (e.g. take A=”a millionth digit of pi is 3″ rather than ”...odd”).
No, a statement and its negation are distinguishable, unless indeed you maliciously hide them under quantifiers and throw away the intermediate proof steps.
In your scheme you have P=1/2 for anything nontrivial and its negation that’s not already in X. It just so happens that this looks reasonable in case of the oddity of a digit of pi, but that’s merely a coincidence (e.g. take A=”a millionth digit of pi is 3″ rather than ”...odd”).
No, a statement and its negation are distinguishable, unless indeed you maliciously hide them under quantifiers and throw away the intermediate proof steps.