סימני לוגיקה וסמלים
סֵמֶל | שם סמל | משמעות / הגדרה | דוגמא |
---|---|---|---|
⋅ | ו | ו | x ⋅ y |
^ | קרט / סיבוב | ו | x ^ y |
& | אמפרסנד | ו | x & y |
+ | ועוד | או | x + y |
∨ | מטען הפוך | או | x ∨ y |
| | קו אנכי | או | x | y |
x ' | ציטוט יחיד | לא - שלילה | x ' |
x | בר | לא - שלילה | x |
¬ | לא | לא - שלילה | ¬ x |
! | סימן קריאה | לא - שלילה | ! איקס |
⊕ | הוקף פלוס / אופלוס | בלעדי או - xor | x ⊕ y |
~ | טילדה | שְׁלִילָה | ~ x |
⇒ | מרמז | ||
⇔ | שווה ערך | אם ורק אם (iff) | |
↔ | שווה ערך | אם ורק אם (iff) | |
∀ | לכולם | ||
∃ | קיים שם | ||
∄ | שם לא קיים | ||
∴ | לָכֵן | ||
∵ | כי / מאז |
Advertising