In this paper we focus on the intuitionistic propositional logic with one propositional variable. More precisely we consider the standard fragment {→,∨,⊥} of this logic and compute the proportion of tautologies among all formulas. It turns out that this proportion is different from the analog one in the classical logic case.