I continued working through Goldrei’s logic book, mostly on results leading up to the completeness theorem for propositional logic. I also read through the proof of the completeness theorem (I believe it’s called a Henkin-style proof), but I don’t understand it yet. I think I need to go back and make more of the previous results “automatic” before I can fully understand the completeness proof.