Phép tuyển logic trong LaTeX (\lor)

Dùng ở đâu

Phép HOẶC logic (phép tuyển), đúng khi có ít nhất một toán hạng đúng.

\lor là bí danh của \vee, dùng trong logic mệnh đề và logic vị từ: p \lor \neg p là luật bài trung. LaTeX đặt khoảng cách cho nó như toán tử hai ngôi, nên p \lor q không cần lệnh khoảng trắng thủ công. Với nhiều thành phần tuyển, \bigvee_{i} p_i là toán tử lớn. Phép tuyển loại trừ là một ký hiệu khác: \oplus hoặc \veebar. Đại số Boole và thiết kế mạch thường viết phép HOẶC là +. Nên dùng \lor trong công thức logic và \vee trong lý thuyết dàn để mã nguồn dễ đọc, dù cả hai hiển thị giống 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 Or: $\lor$

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

Ký hiệu liên quan

• Mũi tên kép phải\Rightarrow
• Phép hội logic\land
• Mũi tên kép trái\Leftarrow
• Phép phủ định\neg
• Mũi tên kép hai chiều\Leftrightarrow
• Lượng từ tồn tại phủ định\nexists

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

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

Gõ \lor 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 \lor?

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