Logički znakovi i simboli
Simbol | Naziv simbola | Značenje / definicija | Primjer |
---|---|---|---|
⋅ | i | i | x ⋅ y |
^ | karata / cirkumfleks | i | x ^ y |
& | ampersand | i | x & y |
+ | plus | ili | x + y |
∨ | obrnuta kareta | ili | x ∨ y |
| | vertikalna linija | ili | x | g |
x ' | jedan navodnik | ne - negacija | x ' |
x | bar | ne - negacija | x |
¬ | nije | ne - negacija | ¬ x |
! | uskličnik | ne - negacija | ! x |
⊕ | zaokružen plus / oplus | ekskluzivni ili - xor | x ⊕ y |
~ | tilda | negacija | ~ x |
⇒ | podrazumijeva | ||
⇔ | ekvivalent | ako i samo ako (iff) | |
↔ | ekvivalent | ako i samo ako (iff) | |
∀ | za sve | ||
∃ | postoji | ||
∄ | ne postoji | ||
∴ | stoga | ||
∵ | jer / budući da |