The following is a continuation of this question.
I would like to prove that the Lindenbaum algebra is a free algebra. Hopefully I would like to hear hints on how to proceed in the 'right' direction.
Let $X$ be a set of propositional variables, $M$ the set of all boolean expressions over $X$ and $L = M/_{\sim}$ the partition of $M$ into logically equivalent sentences.
The claim is that $L$ is free over $X$ with respect to the map $e:X \mapsto L$ defined as $e(x) = [x]$ where $[x]$ denotes the equivalence class of $x \in X.$
Let $B$ be any boolean algebra and $f:X\mapsto B$ any function. We want to argue that there is precisely one homomorphism $\overline{f}:L\mapsto B$ so that $\overline{f}\circ e = f.$ The only choice I see is to extend the map defined as $\overline{f}([a]) = f(x) \; \hbox{if} \; x \in X \; \hbox{and} \; [x] = [a]$
to a homomorphism in the natural way (if $[a]$ is not the equivalence class of propositional element then apply $\overline{f}$ to recursively to the subterms of a compound element in $[a]$)
The following seems like the wrong way to do it since then one has many technicalities to show.
$\overline{f}$ is well defined.
That $\overline{f}$ is indeed the only possible homomorphism. Is it valid to use an inductive argument to show that if $\overline{g}$ is another such homomorphism then it has to be that $\overline{f} = \overline{g}$ since $f,g$ agree for all elements that are equivalence classes of propositional variables and any other element in $L$ is a finite expression of these?
As said I believe I haven't defined $\overline{f}$ in a convenient way to allow me to prove the necessary conditions.
Is there a better way to approach this?