Logikai jelek és szimbólumok
| Szimbólum | Szimbólum neve | Jelentés / meghatározás | Példa |
|---|---|---|---|
| ⋅ | és | és | x ⋅ y |
| ^ | caret / circumflex | és | x ^ y |
| & | ampersand | és | x & y |
| + | plusz | vagy | x + y |
| ∨ | fordított padló | vagy | x ∨ y |
| | | függőleges vonal | vagy | x | y |
| x ' | egyetlen idézet | nem - tagadás | x ' |
| x | bár | nem - tagadás | x |
| ¬ | nem | nem - tagadás | ¬ x |
| ! | felkiáltójel | nem - tagadás | ! x |
| ⊕ | körözött plusz / oplus | exkluzív vagy - xor | x ⊕ y |
| ~ | tilde | tagadás | ~ x |
| ⇒ | implikálja | ||
| ⇔ | egyenértékű | akkor és csak akkor (iff) | |
| ↔ | egyenértékű | akkor és csak akkor (iff) | |
| ∀ | mindenkinek | ||
| ∃ | létezik | ||
| ∄ | nem létezik | ||
| ∴ | ebből adódóan | ||
| ∵ | mert / azóta |