An introduction to the proof method in sentential logic, with examples using five inference rules (MP, MT, DS, HS, simp).