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 ... |
Get Essentials of Discrete Mathematics, 2nd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
