>>262
その最初の式って、
Pr[B∪C]=Pr[B]+Pr[C]-Pr[B∩C] は真だが
条件のときは成立しないと思う。

多分 Pr[A|B] を Pr[A∩B]と混同してないか?
例えばあげてくれた例だと、
サイコロとコインの目は互いに独立なので
Pr[A|B] = Pr[A] = 1/2
だ。同じように
Pr[A|C] = Pr[A] = 1/2
で、
Pr[A|B∩C]は…どうなるんだろう(笑)