สัญลักษณ์ลอจิก

เครื่องหมายและสัญลักษณ์ลอจิก

ตารางสัญลักษณ์คณิตศาสตร์ลอจิก

สัญลักษณ์	ชื่อสัญลักษณ์	ความหมาย / นิยาม	ตัวอย่าง
⋅	และ	และ	x ⋅ y
^	คาเร็ต / เซอร์คัมเฟลกซ์	และ	x ^ y
&	เครื่องหมายและ	และ	x & y
+	บวก	หรือ	x + y
∨	คาเร็ตกลับด้าน	หรือ	x ∨ y
\|	เส้นแนวตั้ง	หรือ	x \| ย
x '	คำพูดเดียว	ไม่ - การปฏิเสธ	x '
x	บาร์	ไม่ - การปฏิเสธ	x
¬	ไม่	ไม่ - การปฏิเสธ	¬ x
!	เครื่องหมายตกใจ	ไม่ - การปฏิเสธ	! x
⊕	วงกลมบวก / oplus	เอกสิทธิ์หรือ - xor	x ⊕ y
~	ทิลเดอ	การปฏิเสธ	~ x
⇒	หมายถึง
⇔	เทียบเท่า	ถ้าและเฉพาะในกรณีที่ (iff)
↔	เทียบเท่า	ถ้าและเฉพาะในกรณีที่ (iff)
∀	สำหรับทุกอย่าง
∃	มีอยู่
∄	ไม่มีอยู่
∴	ดังนั้น
∵	เพราะ / ตั้งแต่