Phần bù trong LaTeX (A')

Dùng ở đâu

Dấu phẩy trên đặt sau một biến hoặc tập hợp, ký hiệu gọn cho phần bù hoặc phép phủ định Boole của A.

Các giáo trình lý thuyết tập hợp thường viết A' cho phần bù U \setminus A, và một số sách thiết kế logic viết A' thay cho \overline{A} vì nó nằm gọn trên một dòng và dễ gõ. Trong chế độ toán, dấu nháy đơn tự động trở thành chỉ số trên \prime, nên A'' cho dấu hai phẩy với khoảng cách đúng. Nguy cơ là sự mơ hồ: A' còn ký hiệu đạo hàm, tập dẫn xuất trong tô pô và không gian đối ngẫu. Các cách thay thế gồm A^c và A^{\complement}. Dù chọn cách nào, hãy định nghĩa nó một lần ở gần đầu tài liệu.

Ví dụ tối giản biên dịch được

Dán đoạn này vào một tệp .tex trống rồi biên dịch bằng pdfLaTeX, XeLaTeX hoặc LuaLaTeX.

\documentclass{article}
\begin{document}
Complement: $A'$

\[ (A \cup B)' = A' \cap B' \]
\end{document}

Ký hiệu liên quan

• Định luật De Morgan\overline{A \cdot B} = \overline{A} + \overline{B}
• Phép phủ định Boole\overline{A}
• Phép tuyển BooleA + B
• Phép hội BooleA \cdot B
• Mâu thuẫn (falsum, bottom)\bot
• Hằng đúng (verum, top)\top

Câu hỏi thường gặp

Làm thế nào để viết Phần bù trong LaTeX?

Gõ A' trong chế độ toán, ví dụ $(A \cup B)' = A' \cap B'$. Lệnh dùng được trong LaTeX chuẩn mà không cần nạp gói nào.

Cần gói nào để dùng A'?

Không cần gói nào. A' thuộc LaTeX chuẩn, nên chỉ cần lớp tài liệu trong phần mở đầu là biên dịch được.

Có thể dùng A' trong chế độ văn bản không, hay chỉ trong chế độ toán?

Cả hai. A' biên dịch được trong văn bản lẫn bên trong $...$; trong công thức hãy để nó ở chế độ toán để dùng phông chữ và khoảng cách toán học.