Make up an example for each of the 8 Rules of Inference (see table).

Create a report that gives the following for each rule:

The rule of Inference in symbols,

The name of the rule, and

A clear example for each rule.

State the propositions, give the premises, and state the conclusion. You may use mathematical examples or English sentence examples.

Rule of Inference	Tautology	Name
P p q q	(p (p q)) q	Modus ponens
q p q p	(q (p q)) p	Modus tollens
p q q r p r	((p q) (q r)) (p r)	Hypothetical syllogism
p q p q	((p q) p) q	Disjunctive syllogism
p p q	p (p q)	Addition
p q p	(p q) p	Simplification
p q p q	((p) (q)) (p q)	Conjunction
p q p r q r	((p q) (p r)) (q r)	Resolution