Discrete Math Study

0.0(0)
studied byStudied by 1 person
0.0(0)
full-widthCall with Kai
learnLearn
examPractice Test
spaced repetitionSpaced Repetition
heart puzzleMatch
flashcardsFlashcards
GameKnowt Play
Card Sorting

1/97

flashcard set

Earn XP

Description and Tags

Studying exam two materials like definitions and rules

Study Analytics
Name
Mastery
Learn
Test
Matching
Spaced
Call with Kai

No study sessions yet.

98 Terms

1
New cards

N

Natural numbers like 1,2,3

2
New cards

N and 0

Some definitions do not include zero

3
New cards

Z

All integers like -1,0,2

4
New cards

Q

Rational numbers that can be written in p/q form

5
New cards

R

real numbers, includes N,Z,Q and irrational numbers

6
New cards

C

Complex numbers, includes R and imaginary numbers

7
New cards

{x ∈ D | P(x)}

the set of all x in the domain D such that P(x) is true

8
New cards

A=B=∀x{x∈A ⇆ x∈B} (read as “if x, then y”)

Set equality: A and B are equal if and only if they contain the exact same elements

9
New cards

A⊆B=∀x{x∈A →x∈B} (read as “if x, then y”)

A is a subset of B if and only if every element of A is in B

10
New cards

A=B≣ {(A⊆B) ∧ (B⊆A)}

Set equality: A and B are equal if they are both subsets of one another

11
New cards

|A| = x

Cardinality: The number of elements in set A is x

12
New cards

note to self: add cartesian product and power sets from 2.1 if needed

note to self: add cartesian product and power sets from 2.1 if needed

13
New cards

A→B: A is the

Domain, the set of all possible input values

14
New cards

A→B: B is

Codomain, the set of all possible output values

15
New cards

f(a)=b, b is the ___ of a

image

16
New cards

f(a)=b, a is the ___ of b

preimage

17
New cards

Let f: A→B. define injectivity

For all a1, a2 in A, A is injective if and only if a1≠a2 then f(a1)≠f(a2)

18
New cards

Let f: A→B. define surjectivity

For all b in B, there exists an a in A such that f(a)=b.

19
New cards

surjectivity simply put

every output has an input. you can’t have A to B and A only has 4 things while B has 5 things. f(a5) doesn’t exist

20
New cards

∀a1,a2∈A {a1≠a2 → f(a1)≠f(a2)}

injectivity

21
New cards

∀b∈B, ∃a∈A s.t. f(a)=b

surjectivity, codomain equals range

22
New cards

best method for proving injectivity

contraposition- if f(a1)=f(a2) then a1=a2

23
New cards

review floor and ceiling stuff

note to self

24
New cards

injectivity simply put

only one x per y, so 2 x-values can NOT point to the same y-value because then x1≠x2 but f(x1)=f(x2)

25
New cards

From A →B, range simply put

the stuff in B that correlates to A. Values that include the function A to B but NOT the other values of B.

26
New cards

bijectivity For f:A→B

injective and surjective. Each a in A maps to exactly one unique b in B, so the domain and codomain are equal

27
New cards

you can only take the ____ if a function is ____

inverse, bijective. if something is inverse, it implies bijectivity

28
New cards

Given f:x→y, then f inverse is ____

y to x

29
New cards

identity laws

A∩U=A, A∪∅=A

30
New cards

Domination laws

A∪U=U, A∩∅=∅

31
New cards

Idempotent laws

A∪A=A, A∩A=A

32
New cards

Complementation law

¬(¬A)=A *shown with a bar above not the ¬ sign

33
New cards

Commutative laws

A∪B=B∪A, A∩B=B∩A

34
New cards

Associative laws

A∪(B∪C)=(A∪B)∪C, A∩(B∩C)=(A∩B)∩C

35
New cards

Distributive laws

A∪(B∩C)=(A∪B)∩(A∪C), A∩(B∪C)=(A∩B)∪(A∩C)

36
New cards

De Morgan’s laws

¬(A∩B)= ¬A∪¬B, ¬(A∪B)= ¬A∩¬B

37
New cards

Absorption laws

A∪(A∩B)=A, A∩(A∪B)=A

38
New cards

Complement laws

A∪¬A=U, A∩¬A=∅

39
New cards

A∪¬A=U

complement, U

40
New cards

A∩¬A=∅

complement, empty

41
New cards

A∪U

domination, U

42
New cards

A∩∅

domination, empty

43
New cards

A∩U

identity, A

44
New cards

A∪∅

identity, A

45
New cards

p∧T

identity, p

46
New cards

p∨F

identity, p

47
New cards

p∨T

domination, T

48
New cards

p∧F

domination, F

49
New cards

p∧p

idempotent, p

50
New cards

p∨p

idempotent, p

51
New cards

¬(¬p)

double negation, p

52
New cards

p∨q

commutative, q∨p

53
New cards

p∧q

commutative, q∧p

54
New cards

(p∨q)∨r

associative, p∨(q∨r)

55
New cards

p∧(q∧r)

associative, (p∧q)∧r

56
New cards

p∨(q∧r)

distributive, (p∨q)∧(p∨r)

57
New cards

p∧(q∨r)

distributive, (p∧q)∨(p∧r)

58
New cards

¬(p∧q)

de morgan’s, ¬p∨¬q

59
New cards

¬(p∨q)

de morgan’s, ¬p∧¬q

60
New cards

p∨(p∧q)

absorption, p

61
New cards

p∧(p∨q)

absorption, p

62
New cards

p∨¬p

negation, T

63
New cards

p∧¬p

negation, F

64
New cards

p, p→q

modus ponens, q

65
New cards

¬q, p→q

modus tollens, ¬p

66
New cards

p→q, q→r

hypothetical syllogism, p→r

67
New cards

p∨q, ¬p

disjunctive syllogism, q

68
New cards

p

addition, p∨q

69
New cards

p∧q

simplification, p

70
New cards

p,q

conjunction, p∧q

71
New cards

p∨q, ¬p∨r

resolution, q∨r

72
New cards

resolution

p∨q, ¬p∨r leads to q∨r

73
New cards

conjunction

p,q leads to p∧q

74
New cards

simplification

p∧q leads to p

75
New cards

addition

p leads to p∨q

76
New cards

disjunctive syllogism

p∨q, ¬p leads to q

77
New cards

hypothetical syllogism

p→q, q→r leads to p→r

78
New cards

modus tollens

¬q, p→q leads to ¬p

79
New cards

modus ponens

p, p→q leads to q

80
New cards

logical equivalency

p→q leads to ¬p∨q and p→q leads to ¬q→¬p

81
New cards

biconditional logical equivalency

p⇆q leads to (p→q)∧(q→p)

82
New cards

reflexive

for all a in A, (a,a) is in R

83
New cards

symmetric

∀a,b ∈ A, aRb→bRa

84
New cards

antisymmetric

∀a,b ∈ A, (aRb ∧ bRa) → a=b

85
New cards

transitive

∀a,b,c ∈ A, (aRb ∧ bRc) → aRc

86
New cards

equivalence relation

reflexive, symmetric and transitive

87
New cards

division algorithm

Let a∈Z and d∈Z+, then ∃!q,r ∈Z 0<=r<d s.t. a=qd+r

88
New cards

q

q = a div d

89
New cards

r

r = a mod d

90
New cards

congruent modulo

let a,b∈Z and m∈Z+, a is congruent to bmodm iff m|(a-b) aka a and b have the same remainder when divided by m

91
New cards

relatively prime

a and b are relatively prime iff gcd(a,b)=1

92
New cards

gcd(a,d)

gcd(a,d)=gcd(d,r)=gcd(d, a mod d)

93
New cards

euclid’s lemma

let a,b,c ∈ Z+, if a|(bc) and gcd(a,b)=1, then a|c

94
New cards

lcm identity

ab=lcm(a,b)gcd(a,b)

95
New cards

pigeonhole principle

if there are k boxes and k+1 items, then AT LEAST one box will contain more than one item

96
New cards

generalized pigeonhole principle

for n items in k boxes, AT LEAST one box will contain [n/k] items (CEILING FUNCTION)

97
New cards

contraposition

p→q equals ¬q→¬p

98
New cards

contradiction

negate p→q so that ¬(p→q) equals p∧¬q