Talk:WFF of PropLog is Balanced

I'm very much inclined to make this type of theorem much easier to prove by building a result "Principle of Induction on Rules of Formation" which would captivate the proof technique essentially used here (in that rules of formation take WFFs and prove longer ones). Alternatively, that principle can be proved using "induction on the number of formation steps" which is probably more elegant. I'll see if I can get to that tonight. --Lord_Farin (talk) 16:28, 9 November 2012 (UTC)