benkuhn comments on Walkthrough of “Definability of Truth in Probabilistic Logic”

[benkuhn]

Yeah, I couldn’t find anything either.

As Manfred and I showed above, replacing axiom 1 with “P(x) = P(x && y) + P(¬y && x)” gives a sufficient condition, though.