exam in discrete math

Overview1.html

Overview Week 8

Introduction

This unit will teach the student to use propositional calculus and indirect proofs to simplify and reason about statements of requirements.

Learning Objectives: Related course level objectives: 3

After completing the tasks of Module 8:

1. The student will be able to explain the logic utilized in indirect proof or proof by contradiction.
2. The student will be able to use propositional calculus to construct indirect proofs to show whether or not a conclusion follows from a set of premises.

Tasks: To achieve the learning objectives of this module, you must do the following:

• Read pps. 59 - 68 in the Ince text.
• Read the notes on indirect proofs in the module.
• Do the homework assignments on section 3.6
• Participate and lead (start threads and reply to threads) the discussion on Indirect Proofs in the Content Forum of the Discussion Tool.