CHAPTER 6 REVIEW QUESTIONS
1. Given an argument, if you can make up an English version of that argument that has true premises and a false conclusion, what does that mean about the English version?
2. Given question 1, above, what does it mean about the original argument?
CHAPTER 7 REVIEW
1. Given two premises, one existential and one universal, which should you instantiate first?
2. Given a conclusion that is a conditional, what kind of proof should you use?
3. Given a conclusion that is a conditional, what should the first line after the premises contain?
4. Given a conclusion whose main connective is the universal quantifier, what rule should you use to derive the last line of your deduction?
5. Given a conclusion whose main connective is the existential quantifier, what rule should you use to derive the last line of your deduction?
6. Given a conclusion whose main connective is a universal quantifier but whose nextto-main connective is a conditional, a. The antecedent of the conditional b. The antecedent of the conditional, instantiated c. The consequent of the conditional. d. The antecedent of the conditional, quantified. e. None of the above
7. If you have the negation of a disjunction on a line of a deduction, which rule could you use to process it?
8. If you have a conditional that contains a universal quantifier on a line in a deduction
(i.e. Fa  (
 x)(Fx)), can you apply the rule of universal instantiation to the whole formula?
9. If you have started off a deduction doing indirect proof, how do you know when it is time to close off the deduction and state your results?

10. If you have started off a deduction using conditional proof, how do you know (i.e. what formula do you have to get) before you can close it off and spell out the formula you have derived ?
11. Given the following formula (
 x)(Fx & Gx), what do you have to do before you can apply the deductive rule of simplification?
12. Suppose you want to instantiate a formula (
 x)(Fx & Gx) using the pseudoname v .
What would make it impossible for you to use v ?
13. Suppose you had instantiated an existential formula as follows: Fv & Gv. Then you want to instantiate a premise whose main connective is a universal quantifier. Can you use the pseudoname v in instantiating that formula?
PRACTICE PROBLEMS
Review Homework #6