Logični znaki in simboli
Simbol | Ime simbola | Pomen / opredelitev | Primer |
---|---|---|---|
⋅ | in | in | x ⋅ y |
^ | kareta / cirkumfleks | in | x ^ y |
& | ampersand | in | x & y |
+ | plus | ali | x + y |
∨ | obrnjena kareta | ali | x ∨ y |
| | navpična črta | ali | x | y |
x ' | en citat | ne - negacija | x ' |
x | bar | ne - negacija | x |
¬ | ne | ne - negacija | ¬ x |
! | klicaj | ne - negacija | ! x |
⊕ | zaokroženo plus / oplus | izključno ali - xor | x ⊕ y |
~ | tilda | negacija | ~ x |
⇒ | pomeni | ||
⇔ | enakovreden | če in samo, če (iff) | |
↔ | enakovreden | če in samo, če (iff) | |
∀ | za vse | ||
∃ | obstaja | ||
∄ | ne obstaja | ||
∴ | torej | ||
∵ | ker / odkar |