Computing the density of tautologies in propositional logic by solving system of quadratic equations of generating functions

Taehyun Eom

In this paper, we will provide a method to compute the density of tautologies among the set of well-formed formulae consisting of $m$ variables, the negation symbol and the implica…