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