Induction on Well-Formed Formulas
Jump to navigation Jump to search
Suppose that $\Phi$ is true for all letters of $\mathcal F$.
Then all well-formed formulas of $\mathcal F$ satisfy $\Phi$.
Either case is dealt with by the assumptions on $\Phi$.
Hence the result, from Proof by Cases.