- Shuffle
Toggle OnToggle Off
- Alphabetize
Toggle OnToggle Off
- Front First
Toggle OnToggle Off
- Both Sides
Toggle OnToggle Off
Front
How to study your flashcards.
Right/Left arrow keys: Navigate between flashcards.right arrow keyleft arrow key
Up/Down arrow keys: Flip the card between the front and back.down keyup key
H key: Show hint (3rd side).h key
![]()
PLAY BUTTON
![]()
PLAY BUTTON
![]()
43 Cards in this Set
- Front
- Back
|
Domain of Function
|
X, or first variable.
|
|
Range of Function
|
Y, or second variable.
|
|
Proper Subset
|
A proper subset of a set is a subset that is not equal to its containing set. Thus, A is a proper subset of B if A is in B and there is at least one element in B that is not in A.
|
|
Image of A
|
f(A)
|
|
Inverse image of A
|
f^-1(A)
|
|
Domain on f(x)→f(y)
|
x is domain
|
|
Co-domain on f(x)→f(y)
|
y is co-domain
|
|
identity function on X
|
IX(x)=x for all x ∈ X
basically, whatever the input of the function is. |
|
one-to-one
|
F is one-to-one (or injective) if, and only if any two distinct elements in X are sent to two distinct elements in Y.
|
|
onto
|
A function f is onto if each element in Y has at least one corresponding x value
|
|
bijection / one-to-one correspondence
|
function that is both one to one and onto
|
|
inverse function for F / inverse of bijections
|
If F is a one-to-one correspondence from a set X to a set Y , then there is a function from Y to X that “undoes” the action of F; that is, it sends each element of Y back to the element of X that it came from.
|
|
composition of f and g
|
g circle f or g of f of x. g(f(x))
|
|
Composition with the Identity function
|
If f is a function from a set X to a set Y,and Ix is the identity function on X,and Iy is the identity function on Y,then f circle Ix = f. and Iy circle f = f
|
|
Function equality
|
If F: X → Y and G: X → Y are functions, then F = G if, and only if, F(x) = G(x) for all x ∈ X.
|
|
One-One Theorem
|
composition of one to one functions is one to one
|
|
Onto Theorem
|
Composition of onto functions is onto.
|
|
Bijection Theorem 1
|
Composition of bijections is a bijection
|
|
Bijection Theorem 2
|
Inverse of a bijection is a bijection
|
|
Conjunction
|
p and q
|
|
Disjunction
|
p or q
|
|
Tautology
|
A tautology is a statement form that is always true regardless of the truth values of the individual statements substituted for its statement variables.
|
|
Negation
|
not p
|
|
logically equivalent
|
Two statement forms are called logically equivalent if, and only if, they have identical truth values for each possible substitution of statements for their statement variables.
|
|
Contradiction
|
A contradication is a statement form that is always false regardless of the truth val- ues of the individual statements substituted for its statement variables
|
|
Conditional
|
If p and q are statement variables, the conditional of q by p is “If p then q” or “p implies q” and is denoted p → q.It is false when p is true and q is false; otherwise it is true.
|
|
Contrapositive
|
The contrapositive of p → q is ∼q → ∼p.
|
|
Converse of p → q
|
The converse of p → q is q → p
|
|
Inverse of p → q
|
The inverse of p → q is ∼p → ∼q
|
|
biconditional of p and q
|
p, if and only if, q. p ↔ q. It is true if both p and q have the same truth values and is false if p and q have opposite truth values.
|
|
r is a sufficient condition for s
|
means “if r then s.”
|
|
r is a necessary condition for s
|
means “if not r then not s.”
|
|
Argument
|
An argument is a sequence of statements
|
|
Premises / Assumptions / Hypothesis
|
All statements in an argument and all statement forms in an argument form, except for the final one, are called premises (or assumptions or hypotheses)
|
|
Valid Argument
|
To say that an argument form is valid means that no matter what particular state- ments are substituted for the statement variables in its premises, if the resulting premises are all true, then the conclusion is also true.
|
|
critical row
|
A row of the truth table in which all the premises are true is called a critical row. If there is a critical row in which the conclusion is false, then it is possible for an argument of the given form to have true premises and a false conclusion, and so the argument form is invalid. If the conclusion in every critical row is true, then the argument form is valid.
|
|
predicate
|
A predicate is a sentence that contains a finite number of variables and becomes a statement when specific values are substituted for the variables.
|
|
Domain
|
he domain of a predicate variable is the set of all values that may be substituted in place of the variable.
|
|
Truth Set
|
If P(x) is a predicate and x has domain D, the truth set of P(x) is the set of all elements of D that make P(x) true when they are substituted for x.
|
|
d|n
|
The notation d|n is read “d divides n.” Symbolically, if n and d are integers and d ̸= 0:
|
|
Write 3,300 in standard factored form.
|
Solution First find all the factors of 3,300. Then write them in ascending order:
3,300 = 100·33 = 4·25·3·11 = 2·2·5·5·3·11 = 2^3 ·3^1 ·5^2 ·11^1 |
|
Quotient Remainder Thm
|
Given any integer n and positive integer d, there exist unique integers q and r such
that n=dq+r and 0≤r<d. |
|
parity property
|
Any two consecutive integers have opposite parity. Even, odd
|