8.1

Question 1

Implicational Rules

Answer 1

can only be applied to entire lines in a proof

Question 2

3 Rules of Thumb

Answer 2

1. It usually helps to work backwards
2. Apply the inference Rules to break down the premises
3. The conclusion contains a statement letter that does not appear in the premises, use the rule of addition

Question 3

8 rules of implication

Answer 3

Modus Ponens
Modus Tollens
Hypothetical Syllogism
Disjunctive Syllogism
Constructive Dilemma
Simplification
Conjunction
Addition

Question 4

Natural Deduction

Answer 4

Set of inference rules to prove that the conclusion of an argument follows from its premises