¬

Xem thêm: ㄱ

Đa ngữ

¬ U+00AC, ¬ NOT SIGN ← « [U+00AB] Latin-1 Supplement → [U+00AD]

Từ nguyên

Giới thiệu bởi Arend Heyting trong “Die formalen Regeln der intuitionistischen Logik” (1930).

Ký tự

¬

1. (logic) không, phủ định.

   (x ≠ y) ↔ ¬(x = y)

Ghi chú sử dụng

Khi được sử dụng trong ngữ cảnh logic, biểu tượng này có thể được gọi là dấu ngã.