Can we use induction on the number of connectives?

122 Views Asked by At

Usually when we prove some properties of propositional formulas, we use induction on the complexity of propositional formulas, but instead, we can just use induction on the number of occurrence of connections? (Because, I think we need unique readability to define the complexity of formulas. And I want to avoid it.)