I don’t understand the new unacceptability penalty footnote. In both of the PM terms, there is no conditional | sign. I presume the comma is wrong?
They’re unconditional, not conditional probabilities. The comma is just for the exists quantifier.
Also, for me \mathbb{B} for {True, False} was not standard, I think it should be defined.
Sure—edited.
Ah OK—the fact that the definition of $P_M$ is only the conditional case confused me
They’re unconditional, not conditional probabilities. The comma is just for the exists quantifier.
Sure—edited.
Ah OK—the fact that the definition of $P_M$ is only the conditional case confused me