• Shuffle
    Toggle On
    Toggle Off
  • Alphabetize
    Toggle On
    Toggle Off
  • Front First
    Toggle On
    Toggle Off
  • Both Sides
    Toggle On
    Toggle 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

image

PLAY BUTTON

image

PLAY BUTTON

image

Progress

1/43

Click to flip

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