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

สัญญาณลอจิกและสัญลักษณ์

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

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