Chapter 13: PROPOSITIONAL LOGIC - ARGUMENTS - Self-Quiz, Part B - Fill-In Type in your answer in the question's text box. Enter only the letter corresponding to your answer; for example, enter "a" to correspond to "Subjectivism". When you finish the quiz, mark it by clicking on the checkbox at the bottom. If you choose, you may email the results of your quiz to your instructor. Enter the information requested, and click on the mail quiz button. No. of Questions = 10 This is an exercise in recognizing the equivalence rules of propositional logic. You will be given two statements, and must give the name of the rule that says the two statements are equivalent. The following symbols have been used: A tilde (~) indicates negation. A lower-case "v"(v) indicates "or." A greater-than symbol ( > )indicates "if-then." An asterisk (*) indicates "and." An equals sign (=) indicates "if and only if." 1. 1. A*(BvC)2. (A*B)v(A*C) a. Tautology: Tautb. Commutation: Comc. Distribution: Distd. Contrapositive: Contrae. Biconditional: Bicon f. Double negation: DNg. Association: Assoch. DeMorgan's Law: DMi. Implication: Impk. Exportation: Exp 2. 1. (J*K)*L2. J*(K*L) a. Tautology: Tautb. Commutation: Comc. Distribution: Distd. Contrapositive: Contrae. Biconditional: Bicon f. Double negation: DNg. Association: Assoch. DeMorgan's Law: DMi. Implication: Impk. Exportation: Exp 3. 1. A>B2. ~(A*~B) a. Tautology: Tautb. Commutation: Comc. Distribution: Distd. Contrapositive: Contrae. Biconditional: Bicon f. Double negation: DNg. Association: Assoch. DeMorgan's Law: DMi. Implication: Impk. Exportation: Exp 4. 1. ~Lv~M2. ~(L*M) a. Tautology: Tautb. Commutation: Comc. Distribution: Distd. Contrapositive: Contrae. Biconditional: Bicon f. Double negation: DNg. Association: Assoch. DeMorgan's Law: DMi. Implication: Impk. Exportation: Exp 5. 1. A>B2. (A>B)*(A>B) a. Tautology: Tautb. Commutation: Comc. Distribution: Distd. Contrapositive: Contrae. Biconditional: Bicon f. Double negation: DNg. Association: Assoch. DeMorgan's Law: DMi. Implication: Impk. Exportation: Exp 6. 1. A>[B>(D=F)]2. (A*B)>(D=F) a. Tautology: Tautb. Commutation: Comc. Distribution: Distd. Contrapositive: Contrae. Biconditional: Bicon f. Double negation: DNg. Association: Assoch. DeMorgan's Law: DMi. Implication: Impk. Exportation: Exp 7. 1. (C>D)vE2. ~~[(C>D)vE] a. Tautology: Tautb. Commutation: Comc. Distribution: Distd. Contrapositive: Contrae. Biconditional: Bicon f. Double negation: DNg. Association: Assoch. DeMorgan's Law: DMi. Implication: Impk. Exportation: Exp 8. 1. G=(MvN)2. [G>(MvN)]*[(MvN)>G] a. Tautology: Tautb. Commutation: Comc. Distribution: Distd. Contrapositive: Contrae. Biconditional: Bicon f. Double negation: DNg. Association: Assoch. DeMorgan's Law: DMi. Implication: Impk. Exportation: Exp 9. 1. [(D>F)vE]*[Dv(G>H)]2. [Dv(G>H)]*[(D>F)vE] a. Tautology: Tautb. Commutation: Comc. Distribution: Distd. Contrapositive: Contrae. Biconditional: Bicon f. Double negation: DNg. Association: Assoch. DeMorgan's Law: DMi. Implication: Impk. Exportation: Exp 10. 1. (IvJ)>[(K*L)>M]2. ~[(K*L)>M]>~(IvJ) a. Tautology: Tautb. Commutation: Comc. Distribution: Distd. Contrapositive: Contrae. Biconditional: Bicon f. Double negation: DNg. Association: Assoch. DeMorgan's Law: DMi. Implication: Impk. Exportation: Exp Finished? Mark Quiz Now If you would like to mail your results to your instructor, enter the information requested below: Student Name: Student No: optional Student Email: Instructor's Email: Your Score is % Created with QuizPlease
No. of Questions = 10
The following symbols have been used:
If you would like to mail your results to your instructor, enter the information requested below:
Your Score is % Created with QuizPlease