## 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)*L
2. 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>B
2. ~(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~M
2. ~(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>B
2. (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)vE
2. ~~[(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: