A Numerical Interpretation of the Theory of Propositions