The number of propositional variables is always at most one more than the number of connectives for every formula φ ∈ PROP.
where PROP is the set which represents all valid formula in propositional logic
I tried doing this proof in various ways, but I could not do it by structural induction.
Can someone explain how structural induction works and also how to prove the above claim using it.
