Thread:Double Slap/@comment-3017217-20150625141131/@comment-4091261-20170419015643

That's right, I did remember seeing you use Q.E.D. before. That is definitely the type of jargon for this course. Do you recall some of the rules of inference like Modus Ponens, Modus Tollens, and Syllogism? That formal logic is literally the stuff we learn at the beginning of this class.

Now admittedly it does make a sharp turn into informal logic to have us prove the other things, but this informal logic is definitely founded by the recognition of that formal logic.