Table of Logic Symbols with Examples
Symbol | Symbol Name | Symbol Meaning | Example |
---|---|---|---|
∨ | reversed caret | or | x∨ y |
| | vertical line | or | x | y |
. | and | and | x . y |
^ | caret / circumflex | and | x ^ y |
& | ampersand | and | x & y |
+ | plus | x + y | |
x' | single quote | not - negation | x' |
x | bar | not - negation | x |
¬ | not | not - negation | ¬ x |
! | exclamation mark | not - negation | ! x |
⊕ | circled plus / oplus | exclusive or - xor | x⊕ y |
~ | tilde | negation | ~ x |
⇒ | implies | implies | X⇒Y |
⇔ | equivalent | if and only if (iff) | A⇔B |
↔ | equivalent | if and only if (iff) | A↔B |
∀ | for all | ||
∃ | there exists | ||
∄ | there does not exists | ||
∴ | therefore | ||
∵ | because / since |