Yes, you can say it in that framework. And you should. That’s part of the steelmanning exercise—putting in the things that are missing. If you steelman enough, you get to be a good bayesian.
P0 = “X ⇐ 0” and {All My other assumptions} NOT(P0) = NOT(“X ⇐ 0″) or NOT({All My other assumptions})
Yes, you can say it in that framework. And you should. That’s part of the steelmanning exercise—putting in the things that are missing. If you steelman enough, you get to be a good bayesian.
P0 = “X ⇐ 0” and {All My other assumptions}
NOT(P0) = NOT(“X ⇐ 0″) or NOT({All My other assumptions})