Term
| what does the intersection of two disjoint sets equal? |
|
Definition
|
|
Term
| when is a set a subset of another? |
|
Definition
| when all the elements in one are elements of the other |
|
|
Term
| what does A (Triangle) B mean about the two sets? |
|
Definition
| their symmetric difference |
|
|
Term
| what does P (arrow pointing right)Q represent? |
|
Definition
|
|
Term
| "If Q then P" is the ________ of "If P then Q" |
|
Definition
|
|
Term
| "If not P then not Q" is the ______ of "If P then Q"; are the two equivalent? |
|
Definition
|
|
Term
| what's a free variable? what's a bound variable? |
|
Definition
| an object tht a statement say sumthin bout; a dummy variable |
|
|
