Hằng đúng (verum, top) trong LaTeX (\top)

Dùng ở đâu

Ký hiệu down tack (top): verum, mệnh đề luôn đúng, và phần tử lớn nhất của một dàn.

Trong logic, \top là một hằng đúng, phần tử đơn vị của phép hội (p \land \top \equiv p). Lý thuyết dàn và lý thuyết miền dùng nó cho phần tử đỉnh, còn lý thuyết kiểu dùng nó cho kiểu đơn vị. Nó cũng được dùng rộng rãi làm chỉ số trên cho ma trận chuyển vị, A^\top, thay cho A^T hoặc A^\intercal. \top là ký hiệu thường. Đừng nhầm nó với chữ T, vốn nằm trên đường cơ sở và có tỉ lệ khác. Đối ngẫu của nó là \bot.

Cũng có trong: Đại số Boole

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}
Tautology (verum, top): $\top$

\[ p \lor \neg p \equiv \top \]
\end{document}

Ký hiệu liên quan

• Hình vuông\square
• Mâu thuẫn (falsum, bottom)\bot
• Dấu tương đương\equiv
• Dấu “vì”\because
• Ký hiệu không tương đương\not\equiv
• Dấu “vì vậy”\therefore

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

Làm thế nào để viết Hằng đúng (verum, top) trong LaTeX?

Gõ \top trong chế độ toán, ví dụ $p \lor \neg p \equiv \top$. 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 \top?

Không cần gói nào. \top 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 \top trong chế độ văn bản không, hay chỉ trong chế độ toán?

Chỉ trong chế độ toán. Bên ngoài $...$ LaTeX sẽ dừng với lỗi "Missing $ inserted", vì vậy trong văn bản hãy viết $\top$. Nếu chỉ cần hình ký tự trong văn bản, hãy dán ký tự Unicode ⊤ (với XeLaTeX hoặc LuaLaTeX và một phông chữ có ký tự đó).