Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
7 Cards in this Set
- Front
- Back
Reflexivity
|
If B is a subset of A, then A -> B
|
|
Augmentation
|
If A -> B, then AC -> BC
|
|
Transitivity
|
If A -> B and B -> C, then A -> C
|
|
Self-Determination
|
For all A, A -> A
|
|
Decomposition
|
If A -> BC, then A -> B and A -> C
|
|
Union
|
If A -> B and A -> C, then A -> BC
|
|
Composition
|
If A -> B and C -> D, then AC -> BD
|