Logiske tegn og symboler
Symbol | Symbolnavn | Betydning / definition | Eksempel |
---|---|---|---|
⋅ | og | og | x ⋅ y |
^ | caret / circumflex | og | x ^ y |
& | ampersand | og | x & y |
+ | plus | eller | x + y |
∨ | omvendt caret | eller | x ∨ y |
| | lodret linje | eller | x | y |
x ' | enkelt tilbud | ikke - negation | x ' |
x | bar | ikke - negation | x |
¬ | ikke | ikke - negation | ¬ x |
! | udråbstegn | ikke - negation | ! x |
⊕ | cirklede plus / oplus | eksklusiv eller - xor | x ⊕ y |
~ | tilde | negation | ~ x |
⇒ | indebærer | ||
⇔ | tilsvarende | hvis og kun hvis (iff) | |
↔ | tilsvarende | hvis og kun hvis (iff) | |
∀ | for alle | ||
∃ | der findes | ||
∄ | der findes ikke | ||
∴ | derfor | ||
∵ | fordi / siden |