01:730:103 Lecture Notes - Lecture 7: Comic Sans, Times New Roman
Document Summary
All of the following explanations of the rules use shapes to represent formulae and lowercase letters (assigned in no special order) to represent line numbers. Examples are given for the sake of clarity. For the sake of easy reference, the e (elimination) rules are in times new roman, while the i (introduction) rules are in comic sans ms. Part 1: e(limination) rules (for times when what you want is a part of something else) If you want something that is a part of something else, you first need to ask yourself: what is the main operator of the formula i want to get this out of?" now . Then check to see whether the second operator is also a ~. In other words, check to see whether the formula begins with one ~ after another, with absolutely nothing between the two.