Section 1.1: Problem 6-A Solution
Working problems is a crucial part of learning mathematics. No one can learn... merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.
James R. Munkres
(Additional) If we know that a wff has a construction sequence of length 5, what is the largest possible length of the wff?
Suppose is the largest possible length of a wff having a construction sequence of length . Then, , and . Now, in any construction sequence of length , the last expression is either a symbol, an expression of length , or the negation of an earlier expression, having the maximum length of , or a combination of two earlier expressions and a binary connective, having the maximum length of . Therefore, the maximum possible length of a wff having a construction sequence of is , which also works for . In particular, . For example, has a construction sequence .