منطق کی علامتیں

منطق کے آثار اور علامتیں

منطق ریاضی کی علامتوں کی میز

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