Quick notes,

CHPT 1 Number system, Z, R or Q -> the superscript + and nonneg are only different in + doesn't include 0. Set builder, { x S | P(x) } -> x is an element of S where P(x) is true. Sets, 2 {2} 1 { 2, 3, {1} } {1} { 1, 2, 3} Subsets, A B -> A is a subset of B only if every A is contained in B A B -> A is a proper subset of B only if every A is contained in B, plus B has at least one element not in A A B -> A is a not subset of B only if even a single element in A is not in B Ordered pairs, Defined by () unlike the set notation {} (1,2) {1,2} -> set vs. ordered pair (1,2) (2,1) -> order is vital If (a, b) = (c, d) then a = c and b = d Cartesian products, Let the sets A = {1, 2, 3} and B = {a, b} A X B = {(1,a), (1,b), (2,a),(2,b),(3,a),(3,b)} Relations, If x y then (x, y) are related and become an ordered pair in the result set If x ~ y then they are not added as an ordered pair to the result set. Ex, Let the sets A = {1, 2, 3} and B = {3, 4} (x, y) S, x y Only A3, B1 and A3, B2 are true when plugged into x y So, S = {(3,3), (3,4)} Arrow diagrams, Represent S = {(3,3), (3,4)} for A ={1,2,3} and B = {3,4} 1 2 3 3 4

Domain is the left or A Co-domain is B Functions, A function applies some rules around ordered pairs. a) Every element from the Domain must have an element in the Co-domain b) Every element in the Domain must be listed in the resulting ordered pairs only once S = {(1,2), (1,3), (3,3) } can not be a result from a function since 1 is used twice. T = {(1,2), (2,3), (3,3) } is a function.

CHPT 2 PG 25 Statement/preposition => true or false but not both The sky is red is a statement even though it is false Symbol ^ V ~ Plain text And, conjunction, but Or, (disjunction of AND) Not, negation, neither, nor

AND OR NOT

The day is long but not cold could become d ^ ~c