I wonder if double-slit experiment can be considered a proof of non-existence of local hidden variables in quantum mechanics?
Consider this: probability $P(A \: \textrm{or} \: B)$ that either one of two events A and B or both happen is $$ P(A \: \textrm{or} \: B) = P(A) + P(B) - P(A \: \textrm{and} \: B) $$ Additional term here accounts for probability of two events being non-exclusive (happening at the same time), in which case we would have counted them twice.
In double-slit experiment, we can consider $A$ and $B$ to be events of going through one of the slits. According to QM the interference of amplitudes $\mathcal{A}$ and $\mathcal{B}$ gives $$ P(A \: \textrm{or} \: B) = |\mathcal{A} + \mathcal{B}|^2 = P(A) + P(B) + 2\Re \left(\mathcal{A}^*\mathcal{B} \right) $$ The interference term $2\Re \left(\mathcal{A}^*\mathcal{B} \right)$ can be both positive and negative, depending on the point on the screen. But in the first equation additional term can only be negative. Thus, it would seem, we can't describe quantum interference as a result of combining certain isolated events.
I'm sure it's not that simple, but can't really see what's I'm missing in this reasoning.