Formal Logic Quiz 4
1. The rule that if either of the antecedents in two implications is true, then either of the consequents in those two implications is true, is:
a) called Constructive Dilemma.
b) called Absorption.
c) called Addition.
d) called Simplification.
e) none of the above.
2. The rule that if one thing implies another, then that thing implies itself as well as the other, is:
a) called Constructive Dilemma.
b) called Absorption.
c) called Addition.
d) called Simplification.
e) none of the above.
3. The rule that if two things are conjoined, you can separate them is:
a) called Constructive Dilemma.
b) called Absorption.
c) called Addition.
d) called Simplification.
e) none of the above.
4. The rule that you can add a disjunct to anything, is:
a) called Constructive Dilemma.
b) called Absorption.
c) called Addition.
d) called Simplification.
e) none of the above.
5. The rule that two things can be joined together, is:
a) called Constructive Dilemma.
b) called Absorption.
c) called Addition.
d) called Simplification.
e) none of the above.
6. A formal proof of validity, shows:
a) that an argument is invalid.
b) that one can move from the conclusion to the premise.
c) that one can move from the given premises to the conclusion without going step-by-step.
d) that each step is either an assumption or a premise.
e) none of the above.
7. If Dana is in the University Seminar I (US1) class, Dana is a freshman. If Dana is a freshman, Dana should not be in the Introduction to Philosophy class; but Dana is enrolled in the Intro. to Philosophy class. So either Dana shouldn't be in the US1 class or the University is not enforcing the rules.
a) This argument, above, is valid.
b) This argument, above, is invalid.
c) This argument, above, is neither valid nor invalid.
d) This argument, above, is both valid & invalid.
e) None of the above is correct.
8. If Dana is in the University Seminar I (US1) class, Dana is a freshman. If Dana is a freshman, Dana should not be in the Introduction to Philosophy class; but Dana is enrolled in the Intro. to Philosophy class. So either Dana shouldn't be in the US1 class or the University is not enforcing the rules.
a) To construct a formal proof of validity for this argument, above, you will have use Modus Ponens.
b) To construct a formal proof of validity for this argument, above, you will have use Constructive Dilemma.
c) To construct a formal proof of validity for this argument, above, you will have use Modus Tollens & Addition.
d) To construct a formal proof of validity for this argument, above, you will have use Disjunctive & Hypothetical Syllogisms.
e) To construct a formal proof of validity for this argument, above, you will have use none of the above.
9. If Dana is in the University Seminar I (US1) class, Dana is a freshman. If Dana is a freshman, Dana should not be in the Introduction to Philosophy class; but Dana is enrolled in the Intro. to Philosophy class. So either Dana shouldn't be in the US1 class or the University is not enforcing the rules.
a) The conclusion for this argument, above, is "Dana is enrolled in the Intro. to Philosophy class."
b) The conclusion for this argument, above, is "Either Dana shouldn't be in the US1 class or the University is not enforcing the rules."
c) The conclusion for this argument, above, is "Dana shouldn't be in the US1 class."
d) This argument, above, has no conclusion.
e) None of the above is correct.
10. "If you cannot use the classworks and the final exam for your semester grade, then either you cannot use the classworks for your semester grade or you cannot use the final exam for your semester grade." is an example of:
a) De Morgan's Theorem.
b) Commutation.
c) Association.
d) Transposition or Distribution.
e) none of the above.