December 2010
Intermediate to advanced
494 pages
11h 20m
English
Index of Symbols
| Notation | Description |
| ¬P | Not p |
| p ∧ q | p and q |
| p ∨ q | p or q |
| p ↔ q | p if and only if q |
| p → q | p implies q |
| ⇒ | Implies tautology |
| ⇔ | If and only if tautology |
| ∀ | Universal quantifier |
| ∃ | Existential quantifier |
| a | b | a divides b |
| a ∤ b | a does not divide b |
| x ∈ S | x is in S |
| x ∉ S | X is not in S |
| { } | Set definition |
| { | } | Set builder notation |
| Z | Set of integers |
| N | Set of natural numbers |
| R | Set of real numbers |
| Q | Set of rational numbers |
| A ⊆ B | A is a subset of B |
| | Empty set |
| A ∪ B | A union B |
| A ∩ B | A intersect B |
| A' | Complement of A |
| A × B | Cartesian product of A and B |
| P (X) | Power set of X |
| |X| | Number of elements in X |
| A \ B | Set difference of A and B |
| f : X → Y | Function from X to Y |
| 1X | Identity function ... |
Read now
Unlock full access