Bước tới nội dung

¬

Từ điển mở Wiktionary

Đây là một phiên bản cũ của trang này, do Ccv2020 (thảo luận | đóng góp) sửa đổi vào lúc 06:35, ngày 29 tháng 12 năm 2021. Địa chỉ URL hiện tại là một liên kết vĩnh viển đến phiên bản này của trang, có thể khác biệt rất nhiều so với phiên bản hiện tại.

(khác) ← Phiên bản cũ | Phiên bản mới nhất (khác) | Phiên bản mới → (khác)
Xem thêm: ㄱ

Đa ngữ

[sửa]

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

Từ nguyên

[sửa]

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

Ký tự

[sửa]

¬

  1. (logic) không, phủ định.
    (x ≠ y) ↔ ¬(x = y)

Ghi chú sử dụng

[sửa]

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ã.

Tham khảo

[sửa]
  1. ▲ http://jeff560.tripod.com/set.html
Lấy từ “https://vi.wiktionary.org/w/index.php?title=¬&oldid=2039445”