Completeness for a Classical Propositional Logic axiom system is useful to study, because ideas in the proof arise over and over in working with modal logics. I realized that my presentation in class needed written backup, and so I have created notes on this. Please understand, the notes cover much more than you will be responsible for, but you should know the broad outlines, at least. They are available by clicking below. If you use then in your computer, references to theorems and definitions are clickable. If you print them out this will not be the case, unless you print on very smart paper.
Click Here