Introduction to Logic Online Course, Week 9: Proving Logical Truths