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).
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).