Class will resume after 1 hour (we'll take roll and do important stuff--a big step):
next exam: two weeks! We need to get busy!
Who are Holmes and Moriarity? What's Holmes so famous for? (Brilliant .... Elementary my dear... )
Think about our longer argument (oops, I removed a tilde):
Maybe this is:
If Arthur is a student and Barb is not, then she's been cheated. Since it turns out that Arthur is a student and Barb is not, it follows that she's been cheated as well as that he's a student.
5. Let's do this one more formally...
exam return -5 = A-, -10 = B-, -15 = C-, -20 = D-
next exam: 12 days! We need to get busy!
Office Hours: T 12-1:30, Th 2-3 and by appointment. My Tuesday OH sometimes run a little late because I'm in another class.
II. More rules...
A. A=B,B>C,A&L / C&L (i.e., from the first three derive 'C&L')
B. (AvB)=C,B&L / C
C. (AvB)=C,C&L / AvB
D. AvB,A>J,(B>J)&R / J
III. Conditional Introduction