Manfred comments on Looking for proof of conditional probability - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (33)
I think you need the common-sense axioms P(B|B) = 1 and P(A|all possibilities) = P(A). Given these, the Venn diagram explanation is pretty straightforward.
A Venn diagram is not a proof.
A series of Venn diagrams, with text explanation, is a perfectly fine proof. The pictures can all be translated into statements about sets. The question is what axioms it starts with about P(A|B).