They are not equivalent. The former term logically implies the latter term. That means the set of situations described by the former term is a subset of the situations described by the latter term. That means the probability of the former set should be less or equal than the probability of the latter set.
Ah, makes sense now. Thanks!
Now I also get your previous comment. I've read your => as arrows instead of "equal or greater".
They are arrows, logical implications :-)
How do you get from this line:
to this BrandonSmithJ just did some replacement to make it easier to read. Maybe he shouldn't have used the same letters to avoid confusion.Let's write it differently: Why are these terms equivalent?