Busy. Please wait.

show password
Forgot Password?

Don't have an account?  Sign up 

Username is available taken
show password


Make sure to remember your password. If you forget it there is no way for StudyStack to send you a reset link. You would need to create a new account.
We do not share your email address with others. It is only used to allow you to reset your password. For details read our Privacy Policy and Terms of Service.

Already a StudyStack user? Log In

Reset Password
Enter the associated with your account, and we'll email you a link to reset your password.
Don't know
remaining cards
To flip the current card, click it or press the Spacebar key.  To move the current card to one of the three colored boxes, click on the box.  You may also press the UP ARROW key to move the card to the "Know" box, the DOWN ARROW key to move the card to the "Don't know" box, or the RIGHT ARROW key to move the card to the Remaining box.  You may also click on the card displayed in any of the three boxes to bring that card back to the center.

Pass complete!

"Know" box contains:
Time elapsed:
restart all cards
Embed Code - If you would like this activity on your web page, copy the script below and paste it into your web page.

  Normal Size     Small Size show me how

Exam 2

MAT 300 Mathematical Structures

Existential Instantiation Introducing a new variable x into the proof to stand for an object for which P(x) is true. This means that you can now assume that P(x) is true
Universal Instantiation You can plug in any value, say a, for x and use this given to conclude that P(a) is true.
m divides n (m|n) n is evenly divisible by m
Odd integers
Even integers
Uniqueness (E!)
Ordered pairs Pairs of values in which the order of the values makes a difference (a, b)
First coordinate The first value in an ordered pair, so a
Second coordinate The second value in an ordered pair, so b
Cartesian product (AxB) of two sets The set of all ordered airs in which the first coordinate is an element of A and the second is an element of B
Relations from A to B Suppose A and B are sets. Then a set R (is a subset of) AxB is called a relation from A to B
Domain of relations and functions p. 172
Range of relations and functions p. 172
Inverse of relations p. 172
Composition of relations and functions
Identity relation and function (iA) on a set A
Reflexive relations p. 184-185
Symmetric relations p. 184-185
Transitive relations p. 184-185
Antisymmetric relations p. 189
Partial orders A relation R on a set A that is reflexive, transitive, and antisymmetric
Total orders p. 190
Smallest element p. 189-
Largest element
Equivalence relations
Equivalence classes
A modulo R (A/R)
Congruence modulo
Functions f: A --> B
Codomain of a function
Created by: arianaflores