منطق کے آثار اور علامتیں
| علامت | علامت کا نام | مطلب / تعریف | مثال |
|---|---|---|---|
| ⋅ | اور | اور | x ⋅ y |
| ^ | کیریٹ / طاری | اور | x ^ y |
| اور | ایمپرسینڈ | اور | x & y |
| + | جمع | یا | x + y |
| ∨ | الٹا کیریٹ | یا | x ∨ y |
| | | عمودی لائن | یا | x | y |
| x ' | ایک حوالہ | نہیں - نفی | x ' |
| x | بار | نہیں - نفی | x |
| ¬ | نہیں | نہیں - نفی | . x |
| ! | فجائیہ نشان | نہیں - نفی | ! ایکس |
| ⊕ | چکر لگا پلس / اوپلس | خصوصی یا - xor | x ⊕ y |
| ~ | ٹیلڈ | نفی | . x |
| ⇒ | تقلید | ||
| ⇔ | مساوی | اگر اور صرف اس صورت میں (iff) | |
| ↔ | مساوی | اگر اور صرف اس صورت میں (iff) | |
| ∀ | سب کے لیے | ||
| ∃ | وہاں موجود ہے | ||
| ∄ | وہاں موجود نہیں ہے | ||
| ∴ | لہذا | ||
| ∵ | کیونکہ / چونکہ |