Thread:TheHumanAmbassador/@comment-26907577-20200128211255/@comment-32182236-20200204232014

Thanks for spotting the mistake.

Here's what I actually meant.

Given P(E|H)=1, and P(E|¬H)=1, P(H|E)=P(H)

I'll edit it now.

Actually, though, I'll see if I can prove the theorem you guessed-It's a more general case of what I proved. I only proved it true in the case of 1, but it might be provable in other cases as well.