Techniques for determining the correctness of statements and arguments. Topics include truth-functional and quantificational logic.