For
the third exam you will need to memorize the first 9 Rules of
Inference, the Elementary Valid Argument Forms. You will be provided
with a list of the 10 Replacement Rules. In addition to memorizing this
material, you should also be able to do the following:
 Identify which rule of inference is used to reach a conclusion. (Section 9.2, 9.6)
 When given a formal proof, identify which rule justifies each step. (Section 9.3; Section 9.8 Problem Set A)
 Provide formal proofs of validity that can be completed in 2 or 3 steps using the Elementary Valid Argument Forms. (Section 9.4; Section 9.5 Problem Sets A )
 Develop a formal proof of validity for an argument using the Elementary Valid Argument Forms. (Section 9.5 Problem Set B)
 Symbolize an argument and then give a formal proof of validity for it using the Elementary Valid Argument Forms. (Section 9.5 Problem Set C)
 Provide formal proofs of validity that can be completed in 2 or 3 steps using all 19 Rules of Inference. (Section 9.8 Problem Sets B and C)
