Week 5: Inference Rules, Boolean Equivalences

After this week, you should…

• identify when an argument is valid.
• understand how to identify and apply valid inference rules (Modus Ponens, Modus Tollens, Disjunctive Syllogism and Transitivity).
• understand how to identify invalid inference rules (Denying the Antecedant, Affirming the Consequent, Affirming a Disjunct).
• state the deduction theorem and monotonicity property of valid inferences.
• identify simple Boolean equivalences (e.g., De Morgan’s Law)

Read this

This section lists the reading that should be completed before/after the weekly lectures.

Lecture 1 (Sep 28:   slides)

Before the first lecture, read the following:

• Validity
• Valid and Invalid Inference Rules
• Boolean Equivalences

Lecture 2 (Sep 30:   slides)

Before the second lecture, read the following:

• Valid and Invalid Inference Rules
• Boolean Equivalences
• Visualizing Propositions

Do this

Problem Set 5 is due Oct 1 at 11:00pm.

Make sure that you have answered all the participation questions for Week 5. You must answer all questions asked during class and all other questions assigned for the week on Tophat.

Ask questions on Campuswire!