01:730:103 Lecture Notes - Lecture 7: Comic Sans, Times New Roman

93 views12 pages

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.

Get access

Grade+20% off
$8 USD/m$10 USD/m
Billed $96 USD annually
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
40 Verified Answers
Class+
$8 USD/m
Billed $96 USD annually
Class+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
30 Verified Answers

Related Documents

Related Questions