CS202: Discrete Structures

The notation for logic operations has been gradually introduced as our study proceeds. Here is a summary:

∊     element of, x ∊ Y, x is an element of Set Y

∉     not an element of, x ∉ Y, x is not an element of Set Y

∧     and, conjunction, p ∧ q, p and q

∨     or, disjunction, p ∨ q, p or q

ᆨ     not, ᆨp, not p; sometimes you will see the letter with a line over it, other times, you may see a preceding minus sign

⟶    conditional implication, p ⟶ q, if p then q

↔     biconditional implication, p ↔ q, p if and only if q

Source: Saylor Academy
This work is licensed under a Creative Commons Attribution 4.0 License.