Logic
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?
Accepted:December 4, 2007
Accepted:
December 4, 2007