Modus Tollens Probabilized

We establish a probabilized version of modus tollens, deriving from p(E|H) = a and p( E) = b the best possible bounds on p( H). In particular, we show that p( H) 1 as a,b 1, and also as a,b 0