Show that the Lindenbaum-Tarski algebra is free over the set of propositional variables.
I was given that statement to prove. My lecturer said we need to show that any map from said set to a given Boolean algebra B can be extended to a homomorphism from the Lindenbaum-Tarski algebra to B.
I don't know how to go about it.