Page 398 - HOW TO PROVE IT: A Structured Approach, Second Edition
P. 398
P1: Oyk/
0521861241ind CB996/Velleman October 20, 2005 4:19 0 521 86124 1 Char Count= 0
384 Index
uncountable set, 315–321 vacuously true statement, 70
union valid argument, 9
of an indexed family of sets, variable, 26
79 bound, 29
of a family of sets, 78 free, 28, 55
of two sets, 78 Venn diagram, 36, 40–41
universal instantiation, 115 vertex, 182
universal quantifier, 55
universe of discourse, 31, 328 well-formed formula, 12
upper bound, 197 well-ordered principle, 294, 295, 299
