Phép hội logic trong LaTeX (\land)

Dùng ở đâu

Phép VÀ logic (phép hội), đúng khi và chỉ khi cả hai toán hạng đều đúng.

\land là bí danh của \wedge, được chọn để dễ đọc trong logic, như p \land q hay \forall x\, (P(x) \land Q(x)). Vì LaTeX xếp nó vào loại toán tử hai ngôi, khoảng trắng quanh p \land q được đặt tự động; đừng tự thêm \,. Với phép hội của nhiều công thức, hãy dùng toán tử lớn \bigwedge_{i=1}^{n} p_i. Trong đại số Boole, phép VÀ thường được viết như phép nhân, pq hoặc p \cdot q. Dùng \land trong logic và \wedge trong đại số ngoài để mã nguồn dễ đọc, dù hai lệnh in ra giống hệt nhau.

Cũng có trong: Đại số Boole, Khoa học máy tính

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}
Logical And: $\land$

\[ (p \land q) \rightarrow p \]
\end{document}

Ký hiệu liên quan

• Phép tuyển logic\lor
• Phép phủ định\neg
• Mũi tên kép phải\Rightarrow
• Lượng từ tồn tại phủ định\nexists
• Mũi tên kép trái\Leftarrow
• Lượng từ tồn tại\exists

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

Làm thế nào để viết Phép hội logic trong LaTeX?

Gõ \land trong chế độ toán, ví dụ $(p \land q) \rightarrow p$. 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 \land?

Không cần gói nào. \land 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 \land 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 $\land$. 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ự đó).