Ký hiệu logic

Dấu hiệu logic và biểu tượng

Bảng ký hiệu toán logic

Biểu tượng	Tên ký hiệu	Ý nghĩa / định nghĩa	Ví dụ
⋅	Và	Và	x ⋅ y
^	dấu mũ/dấu mũ	Và	x ^ y
&	dấu và	Và	x & y
+	thêm	hoặc	x + y
∨	dấu mũ đảo ngược	hoặc	x ∨ y
\|	đường thẳng đứng	hoặc	x \| y
x '	báo giá duy nhất	không - phủ định	x '
x	quán ba	không - phủ định	x
¬	không	không - phủ định	¬ x
!	dấu chấm than	không - phủ định	! x
⊕	khoanh tròn cộng / oplus	độc quyền hoặc - xor	x ⊕ y
~	dấu ngã	phủ định	~ x
⇒	ngụ ý
⇔	tương đương	nếu và chỉ nếu (if)
↔	tương đương	nếu và chỉ nếu (if)
∀	cho tất cả
∃	có tồn tại
∄	không tồn tại
∴	Vì vậy
∵	bởi vì / kể từ khi