Tractatus Logico-Philosophicus: the original authoritative edition

by Ludwig Wittgenstein

If p follows from q, the proposition q gives to the proposition p the probability 1. The certainty of logical conclusion is a limiting case of probability.