Discrete math with computers_3

Undefined, 286 union, 192 universal

elimination, 177 universe, 164, 191, 194, 199

finite, 166, 172 infinite, 166

of discourse, 164

vacuous, 155 value, 5

variable, 122, 163 binding, 168 meta, 127 propositional, 127 scope, 168

weakest element, 254 well order, 259

well-formed formula, 118, 146–147, 164 WFF, 118, 120, 127, 146–147

word, 366

zip, 51 zipWith, 24, 54