Review: Proofs with MP, MT, &Int, &Elim, DN, and CP

Agenda

1. If you're having trouble with anything we've done so far please see me during office hours so I can help you. Shatzel Hall Rm 340, M&F after class. 
2. Quiz
3. Review of MP, MT, Denying the Antecedent, Affirming the Consequent.
4. Review of Translations.
5. Review of Proofs.

Quiz

A. Translate the argument, name the argument structure and say whether it's valid. If it's invalid, make it valid.

Argument 1

1.  If Jerry DRINKS too much he won't WAKE up for work on time.
2.  Jerry didn't WAKE up for work on time.
3.  Therefore, Jerry DRANK (translate same as DRINKS) too much. 

Argument 2

1.  Unless you're the JESUS of logic then you should PRACTICE a bit of logic every day and see AMI for help.
2.  You're not the JESUS of logic.
3.  You should PRACTICE a bit of logic every day and see AMI for help.

B. Proof

1. T>~S
2. (~T&P)>(Q>~R)  /:.  (S&P)>(Q>~R)

Review of MP, MT, Denying the Antecedent, and Affirming the Consequent

A. Construct a conditional argument and give that argument in each of the above formats.

Review of Translations

A. You'll get this RIGHT only if you STUDIED.

B. Unless you STUDIED you won't get this RIGHT.

C. If you get this RIGHT then you STUDIED.

D. If you don't get this RIGHT then you neither STUDIED nor UNDERSTOOD it, moreover you should be CONCERNED if you didn't get it RIGHT.

Do You Haz Proofs?

A.

1. (B&C)>A
2. ~(B&C)>(~D>C)
3. ~A>B
4. ~E>~B   /:. ~A>(~D>(C&E))

B. 

1. (~P&R)>T
2. S>~(Q&R)   /:.  (~P&Q)>(R>(~S&T))