Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System