Strang
McGRAW-HILL
EDITION
LIST OF SYMBOLS
TOPIC LOGIC SYMBOL ""'p p 1\ q P vq P (J) q p-+q p ++ q p=.q MEANING PAGE
T
F P(xJ, ... , x n) VxP(x) 3xP(x) 3!xP(x)
p{S}q SETS
negation of p conjunction of p and q disjunction of p and q exclusive or of p and q the implication p implies q biconditional of p and q equivalence of p and q tautology contradiction propositional function universal quantification of P(x) existential quantification of P(x) uniqueness quantification of P(x) therefore partial correctness of S is a member of S is not a member of S list of elements of a set set builder notation set of natural numbers set of integers set of positive integers set of rational numbers set of real numbers set equality the empty (or null) set S is a subset of T S is a proper subset of T cardinality of S the power set of S n-tuple ordered pair Cartesian product of A and B union of A and B intersection of A and B the difference of A and B complement of A
X X
3 4 4 5 6 9 22 24 24 32 34 36 37 63 323 112 112 112 112 112 112 113 113 113 113 114 114 115 116 116 117 117 118 121 121 123 123 127 128 131
XES X fj S {aJ, ... , an} {x I P(x)} N Z
z+
Q
R S=T 0 Sc.;T SeT lSI P(S) (aJ, ... , an) (a, b)
AxB AUB AnB A-B A n UAi i=J union of Ai, i
=
1, 2, ... , n
n
nAi i=J intersection of Ai, i
=
1, 2, ... , n
A(J)B
symmetric difference of A and B
TOPIC
SYMBOL J(a) J:A ---+ B JI + J2 JI/2 J(S)
MEANING
PAGE
FUNCTIONS
tA(S) J-I(x) Jog
LxJ fxl an n Lai i=1 value of the function J at a function from A to B sum of the functions JI and h product of the functions JI and image of the set Sunder J identity function on A inverse of J composition of J and g floor function of x ceiling function of x term of {ai} with subscript n sum of ai, a2, ... , an sum of aa over a
E
h
133 133 135 135 136 138 139 140 143 143 150 153 156 162 180 185 189 189 192 216 217 395 201 201 202 202 203 203 215 217 219 247 247 248 251
EDITION
LIST OF SYMBOLS
TOPIC LOGIC SYMBOL ""'p p 1\ q P vq P (J) q p-+q p ++ q p=.q MEANING PAGE
T
F P(xJ, ... , x n) VxP(x) 3xP(x) 3!xP(x)
p{S}q SETS
negation of p conjunction of p and q disjunction of p and q exclusive or of p and q the implication p implies q biconditional of p and q equivalence of p and q tautology contradiction propositional function universal quantification of P(x) existential quantification of P(x) uniqueness quantification of P(x) therefore partial correctness of S is a member of S is not a member of S list of elements of a set set builder notation set of natural numbers set of integers set of positive integers set of rational numbers set of real numbers set equality the empty (or null) set S is a subset of T S is a proper subset of T cardinality of S the power set of S n-tuple ordered pair Cartesian product of A and B union of A and B intersection of A and B the difference of A and B complement of A
X X
3 4 4 5 6 9 22 24 24 32 34 36 37 63 323 112 112 112 112 112 112 113 113 113 113 114 114 115 116 116 117 117 118 121 121 123 123 127 128 131
XES X fj S {aJ, ... , an} {x I P(x)} N Z
z+
Q
R S=T 0 Sc.;T SeT lSI P(S) (aJ, ... , an) (a, b)
AxB AUB AnB A-B A n UAi i=J union of Ai, i
=
1, 2, ... , n
n
nAi i=J intersection of Ai, i
=
1, 2, ... , n
A(J)B
symmetric difference of A and B
TOPIC
SYMBOL J(a) J:A ---+ B JI + J2 JI/2 J(S)
MEANING
PAGE
FUNCTIONS
tA(S) J-I(x) Jog
LxJ fxl an n Lai i=1 value of the function J at a function from A to B sum of the functions JI and h product of the functions JI and image of the set Sunder J identity function on A inverse of J composition of J and g floor function of x ceiling function of x term of {ai} with subscript n sum of ai, a2, ... , an sum of aa over a
E
h
133 133 135 135 136 138 139 140 143 143 150 153 156 162 180 185 189 189 192 216 217 395 201 201 202 202 203 203 215 217 219 247 247 248 251