Trong logic có hai chữ "hoặc": "hoặc" bao hàm (p ∨ q) đúng khi ít nhất một vế đúng, kể cả cả hai cùng đúng; "hoặc" loại trừ (p ⊕ q) đúng khi đúng một vế đúng. Câu "trà hoặc cà phê" của người phục vụ thường được hiểu là loại trừ — chọn một thứ — nhưng cái nghĩa "không được cả hai" ấy phần lớn đến từ ngữ cảnh và hàm ý hội thoại, không nằm sẵn trong chữ "hoặc". Bài này chỉ cách nhận ra mình đang gặp loại nào, cách viết cho khỏi hiểu lầm, và vì sao logic chọn "hoặc" bao hàm làm mặc định.
Hai câu thường ngày, hai chữ "hoặc"
Thử đặt hai câu cạnh nhau:
- Thông báo của trường: "Học sinh đạt giải cấp tỉnh hoặc có điểm trung bình môn từ 9,0 trở lên được vào đội tuyển."
- Người phục vụ quán: "Suất ăn sáng kèm trà hoặc cà phê."
Với câu thứ nhất, một bạn vừa đạt giải tỉnh vừa có điểm 9,5 chắc chắn được vào đội. Không ai nghĩ bạn ấy bị loại vì "thừa điều kiện". Đây là "hoặc" bao hàm: một trong hai, hoặc cả hai.
Với câu thứ hai, khách gọi cả trà lẫn cà phê thì nhiều khả năng sẽ phải trả thêm tiền cho ly thứ hai. Đây là "hoặc" loại trừ: một trong hai, không phải cả hai.
Cùng một chữ, hai cách hiểu, và người nghe hầu như không nhầm — vì ngữ cảnh đã quyết định thay chữ. Rắc rối chỉ đến khi ngữ cảnh không đủ rõ: một điều khoản hợp đồng, một luật lệ cuộc thi, một đề bài.
Ký hiệu và bảng chân trị
Gọi p là "khách lấy trà", q là "khách lấy cà phê". Logic mệnh đề dùng các ký hiệu sau, mỗi ký hiệu đọc như một từ nối:
- p ∨ q (đọc "p hoặc q"): hoặc bao hàm.
- p ⊕ q (đọc "p hoặc loại trừ q", trong máy tính gọi là XOR): đúng một trong hai.
- ¬p (đọc "không p"): phủ định của p.
- p ∧ q (đọc "p và q"): cả hai cùng đúng.
Bảng chân trị liệt kê mọi khả năng của p và q, ghi Đ (đúng) hoặc S (sai) cho từng câu ghép:
| p (lấy trà) | q (lấy cà phê) | p ∨ q (bao hàm) | p ⊕ q (loại trừ) |
|---|---|---|---|
| Đ | Đ | Đ | S |
| Đ | S | Đ | Đ |
| S | Đ | Đ | Đ |
| S | S | S | S |
Hai cột chỉ khác nhau ở đúng một dòng: dòng đầu, khi cả hai vế cùng đúng. Mọi cuộc cãi nhau về chữ "hoặc" đều dồn về dòng này. Khi đọc một câu có "hoặc", câu hỏi duy nhất cần đặt là: nếu cả hai cùng xảy ra thì sao?
Có thể viết hoặc loại trừ bằng các phép quen thuộc: p ⊕ q tương đương (p ∨ q) ∧ ¬(p ∧ q) — "ít nhất một, nhưng không phải cả hai". Kiểm từng dòng của bảng là thấy hai biểu thức trùng nhau.
Vì sao logic chọn "hoặc" bao hàm làm mặc định
Sách logic, toán học và ngôn ngữ lập trình đều mặc định "hoặc" là bao hàm. Có ba lý do thực tế.
Thứ nhất, nó an toàn hơn khi suy luận. Nếu biết "p ∨ q" đúng và biết p sai, ta suy ra q đúng — đúng với cả hai loại "hoặc". Nhưng nếu biết p đúng, ta không được suy ra q sai, trừ khi chắc chắn đó là "hoặc" loại trừ. Đọc bao hàm là đọc khiêm tốn: không gán thêm thông tin mà câu chưa nói.
Thứ hai, nghĩa loại trừ thường đã có sẵn ngoài chữ. "Trà hoặc cà phê" không cần chữ "hoặc" mang nghĩa loại trừ, vì người nghe biết mỗi suất chỉ có một ly. "Sinh con trai hoặc con gái" cũng vậy — hai vế không thể cùng đúng với một đứa trẻ, nên bao hàm hay loại trừ cho cùng kết quả. Khi hai vế vốn không thể cùng xảy ra, phân biệt hai loại "hoặc" là thừa.
Thứ ba, bao hàm khớp với phủ định gọn gàng. Phủ định của "p ∨ q" là "¬p ∧ ¬q" — "không trà và cũng không cà phê" (luật De Morgan, bài riêng trong danh mục suy diễn hợp lệ). Phủ định của "p ⊕ q" lại là "p ↔ q" (đọc "p khi và chỉ khi q"): hoặc lấy cả hai, hoặc không lấy gì. Câu phủ định thứ hai nghe lạ tai hơn nhiều.
Sách nhập môn hay kể rằng tiếng La-tinh có vel cho bao hàm và aut cho loại trừ (ký hiệu ∨ được cho là gợi từ chữ v của vel). Các nhà nghiên cứu ngôn ngữ cổ cho rằng thực tế dùng không rạch ròi như vậy, nên coi đây là mẹo nhớ hơn là sự thật ngữ pháp.
Nghĩa "không phải cả hai" từ đâu ra
Nếu chữ "hoặc" vốn bao hàm, tại sao "trà hoặc cà phê" lại nghe như loại trừ? Nhà triết học Paul Grice (bài giảng "Logic and Conversation" năm 1967, in năm 1975) giải thích bằng hàm ý hội thoại. Người nói hợp tác thì nói đủ thông tin cần thiết. Nếu quán cho cả hai thứ, người phục vụ sẽ nói "trà và cà phê". Chọn nói "hoặc" — câu yếu hơn — thì người nghe suy ra "không phải cả hai".
Dấu hiệu nhận ra một hàm ý (chứ không phải nghĩa của chữ) là nó rút lại được mà không mâu thuẫn:
"Suất ăn kèm trà hoặc cà phê — thích thì lấy cả hai, quán không tính thêm."
Câu này không tự mâu thuẫn. Nếu nghĩa loại trừ nằm sẵn trong chữ "hoặc", vế sau sẽ phủ nhận vế trước, câu sẽ vô nghĩa như "trời mưa và trời không mưa". Vì câu vẫn tự nhiên, ta biết nghĩa loại trừ chỉ là hàm ý — người nghe tự thêm vào, người nói có thể gỡ ra.
Cấu trúc lặp "hoặc… hoặc…" ("Hoặc con ở nhà ôn bài, hoặc con đi đá bóng") nghiêng mạnh hơn về loại trừ, nhưng ngay cả ở đây, nghĩa "không thể cả hai" chủ yếu đến từ việc hai việc không làm cùng lúc được.
Khi nào hiểu nhầm gây chuyện thật
Điều kiện xét tuyển, học bổng
"Ứng viên có bằng đại học ngành kế toán hoặc có ba năm kinh nghiệm" — gần như luôn là bao hàm. Người có cả hai không bị loại. Nếu bên ra điều kiện thật sự muốn loại trừ (hiếm), họ phải viết rõ.
Quy định giới hạn, cấm đoán
"Không mang theo đồ ăn hoặc đồ uống vào phòng thi." Ở đây "hoặc" nằm dưới chữ "không": cấm đồ ăn, cấm đồ uống, cấm cả hai. Một thí sinh lập luận "em mang cả hai nên không phạm 'hoặc'" đang đọc nhầm sang loại trừ một cách cố ý. Phủ định của "hoặc" bao hàm là "và không" — đúng tinh thần của quy định.
Ba vế trở lên
Với ba lựa chọn, bẫy tinh vi hơn. "Chọn đúng một trong ba môn: Lý, Hoá, Sinh" không bằng p ⊕ q ⊕ r (nối XOR liên tiếp). Thử p, q, r cùng đúng: p ⊕ q = S, rồi S ⊕ r = Đ. Biểu thức báo "đúng" trong khi học sinh chọn cả ba môn! Chuỗi XOR đúng khi có số lẻ vế đúng (một hoặc ba), không phải khi có đúng một. Muốn nói "đúng một trong ba" phải viết riêng: (p ∨ q ∨ r) và không có hai vế nào cùng đúng.
Chữ "và/hoặc"
Văn bản hành chính và hợp đồng hay dùng "và/hoặc" để chặn đường cãi: "phạt tiền và/hoặc đình chỉ". Về logic, "và/hoặc" đúng là "hoặc" bao hàm — một trong hai hoặc cả hai. Viết thế hơi nặng nề, nhưng trong văn bản cần chính xác thì cái giá đó đáng trả.
Bảng tra nhanh: câu thường gặp nên đọc thế nào
| Câu | Nên đọc | Lý do |
|---|---|---|
| "Miễn học phí cho con thương binh hoặc hộ nghèo" | Bao hàm | Có cả hai vẫn thuộc diện miễn |
| "Chọn áo đỏ hoặc áo xanh để mặc trong buổi diễn" | Loại trừ (do ngữ cảnh) | Một người mặc một áo |
| "Không được dùng điện thoại hoặc máy tính bảng" | Bao hàm dưới phủ định | Cấm từng thứ và cấm cả hai |
| "Thứ bảy hoặc chủ nhật nhà mình đi thăm bà" | Mơ hồ | Đi cả hai ngày cũng không sai lời, nhưng người nghe thường hiểu một ngày |
| "Số đó chia hết cho 2 hoặc cho 3" | Bao hàm (quy ước toán) | Số 6 thoả cả hai và vẫn được tính |
| "Hoặc nộp đúng hạn, hoặc bị trừ điểm" | Loại trừ theo ý người nói | Nộp đúng hạn thì không ai định trừ điểm |
Quy ước trong toán phổ thông rất rõ: "x > 2 hoặc x < −1" là hợp của hai tập nghiệm. Khi một bài giải viết "x = 1 hoặc x = 3", đó là bao hàm, chỉ là hai vế không thể cùng đúng với một giá trị x nên không ai để ý.
Bài tập
- "Thí sinh đạt giải quốc gia hoặc có chứng chỉ ngoại ngữ đạt chuẩn được cộng điểm ưu tiên." Bạn Hà có cả hai. Hà có được cộng điểm không? Đáp án: Có. Đây là "hoặc" bao hàm; dòng "cả hai cùng đúng" làm câu đúng. (Được cộng một lần hay hai lần là chuyện của quy chế, logic không trả lời thay.)
- Lập bảng để kiểm: p ⊕ q có tương đương ¬(p ↔ q) không? Đáp án: Có. p ↔ q đúng khi p, q cùng giá trị; phủ định của nó đúng khi p, q khác giá trị — trùng hệt cột p ⊕ q ở bảng trên.
- Phủ định câu "Chiều nay Nam đi bơi hoặc đi đá cầu" theo nghĩa bao hàm. Đáp án: "Chiều nay Nam không đi bơi và không đi đá cầu."
- Phủ định cùng câu ấy nếu hiểu theo nghĩa loại trừ. Đáp án: "Chiều nay Nam đi cả hai, hoặc không đi cái nào" — tức p ↔ q.
- Với p, q, r, biểu thức p ⊕ q ⊕ r cho Đ ở bao nhiêu trong tám dòng của bảng chân trị? Đáp án: Bốn dòng: ba dòng có đúng một vế đúng và một dòng cả ba cùng đúng. Đó là lý do chuỗi XOR không diễn đạt được "đúng một trong ba".
Dùng vào đâu
- Đọc quy chế, điều kiện, hợp đồng: gặp "hoặc", hỏi ngay "cả hai thì sao". Nếu câu trả lời quan trọng mà văn bản không rõ, hỏi lại bên soạn trước khi ký.
- Viết thông báo, luật lệ cho lớp, cho đội: muốn loại trừ thì viết "chỉ chọn một trong hai"; muốn bao hàm mà sợ hiểu lầm thì thêm "hoặc cả hai".
- Lập trình: toán tử "hoặc" của hầu hết ngôn ngữ là bao hàm; phép XOR là toán tử riêng, thường viết bằng dấu mũ ^. Danh mục logic và máy tính có bài riêng về đèn cầu thang hai công tắc — một ứng dụng của XOR.
- Học tiếp: bài về bốn phương châm hội thoại của Grice trong danh mục này giải thích kỹ cơ chế "nói yếu thì người nghe hiểu là không mạnh hơn"; bài hàm ý thang độ áp cùng cơ chế cho chữ "một số".
Câu hỏi thường gặp
Hoặc bao hàm và hoặc loại trừ khác nhau thế nào?
Hoặc bao hàm (p ∨ q) đúng khi ít nhất một vế đúng, kể cả khi cả hai cùng đúng. Hoặc loại trừ (p ⊕ q) đúng khi đúng một vế đúng, nên sai khi cả hai cùng đúng. Hai loại chỉ khác nhau ở trường hợp cả hai vế cùng xảy ra.
Trong toán học, chữ "hoặc" được hiểu theo nghĩa nào?
Theo nghĩa bao hàm. "x chia hết cho 2 hoặc cho 3" bao gồm cả những số chia hết cho cả hai như 6, 12. Muốn loại trừ, đề bài phải nói rõ "chỉ một trong hai".
Phép XOR là gì?
XOR là tên gọi trong tin học của phép hoặc loại trừ: kết quả đúng khi hai đầu vào khác nhau, sai khi hai đầu vào giống nhau. Nối nhiều phép XOR liên tiếp cho kết quả đúng khi số đầu vào đúng là số lẻ.
Vì sao "trà hoặc cà phê" lại nghe như chỉ được chọn một?
Vì hàm ý hội thoại: nếu được cả hai, người nói hợp tác sẽ nói "trà và cà phê". Thêm vào đó, ngữ cảnh một suất ăn một ly cũng gợi sự lựa chọn. Nghĩa này rút lại được ("lấy cả hai cũng được") mà câu không tự mâu thuẫn.
"Và/hoặc" trong văn bản có nghĩa là gì?
"Và/hoặc" là hoặc bao hàm viết tường minh: một trong hai, hoặc cả hai. Văn bản pháp lý dùng nó để chặn cách hiểu loại trừ.