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.
- When given a formal proof, identify which rule justifies each step.
- Provide formal proofs of validity that can be completed in 2 or 3 steps using the Elementary Valid Argument Forms.
- Develop a formal proof of validity for an argument using the Elementary Valid Argument Forms.
- Symbolize an argument and then give a formal proof of validity for it using the Elementary Valid Argument Forms.
- Provide formal proofs of validity that can be completed in 2 or 3 steps using all 19 Rules of Inference.
|
|
