#
My question is following: can we estimate how many validities (formulas that are always true) are there among all formulas of propositional logic? Is there a method of doing it?

Read another response by Allen Stairs

Read another response about Logic