Probability distribution for simple tautologies (Q2369016)

The author investigates the lower bound of the proportion between the number of propositional formulas of the size \(n\) that are tautologies and the number of all propositional formulas of size \(n\). The interest lays in finding the limit, when \(n\to\infty\), of that proportion, representing `the density of truth' for the logic considered. Particularly, the author deals with implicational formulas over \(k\) propositional variables and discusses the probability that a randomly chosen implicational formula admits \(p\) premises, as well as the probability that a randomly chosen implicational simple tautology admits \(p\) premises. Apart from mathematical and logical aspects, the paper has clear philosophical impact on the understanding how much the phenomenon of truth is frequent in random logical sentences.