Quiz 1	1.1 statement negation conjunction disjunction logically equivalent tautology
Quiz 2	1.2 conditional hypothesis conclusion contrapositive converse inverse biconditional only if	1.3 argument argument form premises conclusion valid argument form
Quiz 3	2.1 predicate domain truth set universal quantifier and statement counterexample existential quantifier and statement	2.2 (all terms below apply to a universal conditional statement) contrapositive converse inverse vacuously true necessary condition sufficient condition only if
Quiz 4	2.3 interpretations of statements with   one universal and one existential   quantifier negations of multiply quantified   statements	2.4 universal instantiation formal universal modus ponens formal universal modus tollens valid quantified argument form quantified forms of the converse   and inverse errors universal transitivity
Quiz 5	3.1 even integer odd integer prime integer composite integer counterexample generalizing from the generic particular	3.2 rational corollary
Quiz 6	3.3 number theory is divisible by is a multiple of is a factor of is a divisor of divides standard factored form	3.4 div mod absolute value
Quiz 7	5.1 subset union intersection difference complement disjoint partition power set Cartesian product of two sets
Quiz 8	10.1 binary relation from A to B function inverse relation n-ary relation
Quiz 9	10.2 reflexive symmetric transitive	10.3 binary relation induced by a partition equivalence relation equivalence class representative of an equivalence class