Khi A nói với B «Ít nhất một trong hai ta là kẻ nói dối», đáp án luôn là: A là hiệp sĩ, B là kẻ nói dối. Lý do: nếu A là kẻ nói dối thì trong hai người đã có một kẻ nói dối, câu của A thành đúng, trái luật. Vậy A là hiệp sĩ, câu đúng, và kẻ nói dối đó chỉ có thể là B.
Câu này là dạng nhập môn kinh điển của đảo hiệp sĩ (luôn nói thật) và kẻ nói dối (luôn nói sai). Đổi vài chữ, ta được cả một họ biến thể có kết luận khác hẳn nhau: có câu xác định được cả hai người, có câu chỉ lộ người nghe, có câu gần như không cho biết gì. Bài này giải từng biến thể bằng bảng kiểm đủ bốn kịch bản, rồi nâng lên ba người.
Câu đố gốc: hai người ở bến cảng
Ví dụ minh hoạ tự đặt. Một chiều gió, khách gặp Toàn và Vân đang vá lưới. Toàn nói: «Ít nhất một trong hai ta là kẻ nói dối.» Vân im lặng.
Lời giải từng bước
Giả sử Toàn là kẻ nói dối. Khi đó "ít nhất một trong hai ta là kẻ nói dối" đúng ngay, vì chính Toàn là một. Kẻ nói dối nói câu đúng: mâu thuẫn. Loại.
Vậy Toàn là hiệp sĩ. Câu phải đúng: có ít nhất một kẻ nói dối trong hai người. Toàn không phải, nên Vân là kẻ nói dối.
Kiểm lại: Toàn hiệp sĩ, Vân nói dối, đúng là có một kẻ nói dối, câu của Toàn đúng. Khớp.
| Toàn – Vân | Số kẻ nói dối | Câu "ít nhất một kẻ dối" | Khớp với Toàn? | Kết luận |
|---|---|---|---|---|
| Hiệp sĩ – Hiệp sĩ | 0 | Sai | Không | Loại |
| Hiệp sĩ – Nói dối | 1 | Đúng | Có | Khả thi |
| Nói dối – Hiệp sĩ | 1 | Đúng | Không | Loại |
| Nói dối – Nói dối | 2 | Đúng | Không | Loại |
Vì sao một câu xác định được cả hai người
Chìa khoá là câu của Toàn có chính Toàn trong phạm vi của nó. Mọi câu kiểu "trong nhóm có ít nhất một kẻ nói dối" mà người nói thuộc nhóm đó đều có tính chất: kẻ nói dối không bao giờ nói được, vì sự có mặt của họ đã làm câu đúng. Nên người nói chắc chắn là hiệp sĩ, rồi câu đúng buộc phải có kẻ nói dối ở phần còn lại của nhóm.
Với nhóm hai người, "phần còn lại" chỉ có một người, nên lộ luôn. Với nhóm đông hơn, ta chỉ biết có ít nhất một kẻ nói dối trong số những người còn lại, cần thêm dữ kiện (xem câu đố ba người bên dưới).
Đổi vài chữ, đổi hẳn kết luận
Biến thể 1: «Cả hai ta đều là kẻ nói dối»
Toàn mà là hiệp sĩ thì câu phải đúng, tức Toàn cũng nói dối: vô lý. Vậy Toàn là kẻ nói dối, câu sai, nghĩa là không phải cả hai đều nói dối. Toàn đã nói dối rồi nên Vân phải là hiệp sĩ.
| Toàn – Vân | Câu "cả hai đều dối" | Khớp với Toàn? |
|---|---|---|
| Hiệp sĩ – Hiệp sĩ | Sai | Không, loại |
| Hiệp sĩ – Nói dối | Sai | Không, loại |
| Nói dối – Hiệp sĩ | Sai | Có, khả thi |
| Nói dối – Nói dối | Đúng | Không, loại |
Kết quả ngược hẳn câu gốc: Toàn nói dối, Vân hiệp sĩ.
Biến thể 2: «Đúng một trong hai ta là kẻ nói dối»
Thêm chữ "đúng" thay cho "ít nhất", kết luận đổi khác.
Toàn là hiệp sĩ: câu đúng, có đúng một kẻ nói dối, đó là Vân.
Toàn là kẻ nói dối: câu sai, số kẻ nói dối khác 1. Toàn đã là một kẻ nói dối nên số đó ít nhất là 1, khác 1 thì phải là 2: Vân cũng nói dối.
| Toàn – Vân | Số kẻ nói dối | Câu "đúng một kẻ dối" | Khớp với Toàn? |
|---|---|---|---|
| Hiệp sĩ – Hiệp sĩ | 0 | Sai | Không, loại |
| Hiệp sĩ – Nói dối | 1 | Đúng | Có, khả thi |
| Nói dối – Hiệp sĩ | 1 | Đúng | Không, loại |
| Nói dối – Nói dối | 2 | Sai | Có, khả thi |
Hai kịch bản sống. Kết luận chắc chắn duy nhất: Vân là kẻ nói dối; Toàn thì chưa biết. Đây là ví dụ tốt cho thấy vì sao không được dừng ở nhánh hợp lệ đầu tiên.
Biến thể 3: «Hai ta cùng loại»
Toàn là hiệp sĩ: câu đúng, Vân cùng loại, Vân là hiệp sĩ.
Toàn là kẻ nói dối: câu sai, hai người khác loại, Vân là hiệp sĩ.
| Toàn – Vân | Câu "cùng loại" | Khớp với Toàn? |
|---|---|---|
| Hiệp sĩ – Hiệp sĩ | Đúng | Có, khả thi |
| Hiệp sĩ – Nói dối | Sai | Không, loại |
| Nói dối – Hiệp sĩ | Sai | Có, khả thi |
| Nói dối – Nói dối | Đúng | Không, loại |
Cả hai nhánh đều cho Vân là hiệp sĩ. Người nói không lộ, nhưng người nghe lộ. Câu "cùng loại" hoạt động như một phép so sánh: lời của kẻ nói dối đảo kết quả so sánh, và chính sự đảo ấy bù đúng vào chỗ người nói là kẻ nói dối. Ý tưởng "hai lần đảo thành không đảo" này là nền của câu đố ngã ba đường, có bài riêng trong danh mục.
Biến thể 4: «Ít nhất một trong hai ta là hiệp sĩ»
Toàn là hiệp sĩ thì câu đúng, Vân loại nào cũng được. Toàn là kẻ nói dối thì câu phải sai: không ai là hiệp sĩ, Vân cũng nói dối. Ba kịch bản sống: (hiệp sĩ, hiệp sĩ), (hiệp sĩ, nói dối), (nói dối, nói dối). Chỉ một khả năng bị loại: Toàn nói dối mà Vân là hiệp sĩ. Câu này cho biết rất ít.
Bảng tổng hợp các biến thể
| Toàn nói với Vân | Kịch bản sống | Kết luận chắc chắn |
|---|---|---|
| «Ít nhất một trong hai ta là kẻ nói dối» | 1 | Toàn hiệp sĩ, Vân nói dối |
| «Cả hai ta đều là kẻ nói dối» | 1 | Toàn nói dối, Vân hiệp sĩ |
| «Đúng một trong hai ta là kẻ nói dối» | 2 | Vân nói dối |
| «Hai ta cùng loại» | 2 | Vân hiệp sĩ |
| «Hai ta khác loại» | 2 | Vân nói dối |
| «Ít nhất một trong hai ta là hiệp sĩ» | 3 | Loại được mỗi kịch bản Toàn dối – Vân hiệp sĩ |
Dòng "khác loại" kiểm nhanh: Toàn hiệp sĩ thì Vân khác loại, nói dối; Toàn nói dối thì câu sai, hai người cùng loại, Vân cũng nói dối. Hai nhánh đều cho Vân nói dối.
Nâng lên ba người: Phúc, Quân và Sơn
Ví dụ minh hoạ tự đặt. Ở sân đình của làng chài:
Phúc nói: «Ít nhất một trong ba chúng ta là kẻ nói dối.»
- Quân nói: «Phúc là hiệp sĩ.»
- Sơn nói: «Quân là kẻ nói dối.»
Lời giải từng bước
Bước 1. Như câu gốc, Phúc không thể là kẻ nói dối (có mặt Phúc thì câu đã đúng). Phúc là hiệp sĩ, và trong Quân, Sơn có ít nhất một kẻ nói dối.
Bước 2. Quân nói "Phúc là hiệp sĩ", câu này đúng, nên Quân là hiệp sĩ.
Bước 3. Sơn nói Quân là kẻ nói dối, câu sai, nên Sơn là kẻ nói dối. Đúng là có một kẻ nói dối, khớp với Phúc.
| Phúc – Quân – Sơn | Lời Phúc | Lời Quân | Lời Sơn | Kết luận |
|---|---|---|---|---|
| H – H – H | Sai, không khớp | Đúng | Sai | Loại |
| H – H – D | Đúng, khớp | Đúng, khớp | Sai, khớp | Khả thi |
| H – D – H | Đúng, khớp | Đúng, không khớp | Đúng | Loại |
| H – D – D | Đúng, khớp | Đúng, không khớp | Đúng | Loại |
| D – H – H | Đúng, không khớp | Sai | Sai | Loại |
| D – H – D | Đúng, không khớp | Sai | Sai | Loại |
| D – D – H | Đúng, không khớp | Sai | Đúng | Loại |
| D – D – D | Đúng, không khớp | Sai | Đúng | Loại |
(H là hiệp sĩ, D là kẻ nói dối.) Đáp án duy nhất: Phúc và Quân là hiệp sĩ, Sơn là kẻ nói dối.
Một phiên bản không có đáp án
Giữ lời của Phúc, nhưng cho Quân nói «Sơn là hiệp sĩ» và Sơn nói «Phúc là hiệp sĩ». Phúc vẫn là hiệp sĩ. Câu của Sơn khi đó đúng, Sơn là hiệp sĩ; câu của Quân cũng đúng, Quân là hiệp sĩ. Cả ba là hiệp sĩ, nhưng như vậy câu "có ít nhất một kẻ nói dối" của Phúc lại sai. Mâu thuẫn ở mọi nhánh: đề vô nghiệm. Người ra đề tự đặt câu đố nên lập bảng kiểm để không rơi vào chỗ này.
Tự luyện
- Cả Toàn và Vân cùng nói: «Ít nhất một trong hai ta là kẻ nói dối.» Có thể xảy ra không?
Đáp án: Không. Lời Toàn buộc Toàn hiệp sĩ, Vân nói dối; nhưng khi đó Vân nói một câu đúng, trái luật. Tình huống này không thể có trên đảo.
Toàn nói: «Nhiều nhất một trong hai ta là hiệp sĩ.»
Đáp án: "Nhiều nhất một hiệp sĩ" nghĩa là "ít nhất một kẻ nói dối" trong hai người, nên giống câu gốc: Toàn hiệp sĩ, Vân nói dối.
Toàn nói: «Nếu Vân là hiệp sĩ thì mình là kẻ nói dối.»
Đáp án: Câu này chỉ sai khi Vân là hiệp sĩ mà Toàn không nói dối, tức nó tương đương "không phải cả hai đều là hiệp sĩ" = "ít nhất một kẻ nói dối". Đáp án như câu gốc: Toàn hiệp sĩ, Vân nói dối.
Phúc nói: «Ít nhất một trong ba chúng ta là kẻ nói dối.» Quân nói: «Sơn là hiệp sĩ.» Sơn nói: «Quân là hiệp sĩ.»
Đáp án: Phúc hiệp sĩ. Quân và Sơn cùng loại. Nếu cả hai là hiệp sĩ thì không có kẻ nói dối nào, trái lời Phúc. Vậy Quân và Sơn đều là kẻ nói dối.
Dùng vào đâu
Khác biệt giữa "ít nhất một", "đúng một" và "cả hai" là chỗ học sinh hay mất điểm ở bài đọc hiểu đề toán, đề trắc nghiệm logic, và cả ở điều khoản hợp đồng ("ít nhất một bên", "chỉ một bên"). Người viết điều kiện trong lập trình gặp đúng chuyện này với phép OR và XOR: "ít nhất một" là OR, "đúng một" là XOR. Luyện quen với bảng bốn dòng giúp tránh hiểu nhầm cả hai chỗ.
Để đọc thêm, cuốn What Is the Name of This Book? (1978) của Raymond Smullyan có nhiều biến thể hai người, ba người theo đúng tinh thần này.
Câu hỏi thường gặp
A nói "ít nhất một trong hai ta là kẻ nói dối" thì A và B là ai?
A là hiệp sĩ, B là kẻ nói dối. A không thể là kẻ nói dối vì khi đó câu của A đúng. A là hiệp sĩ nên câu đúng, và kẻ nói dối phải là B.
"Đúng một trong hai ta là kẻ nói dối" khác "ít nhất một" thế nào?
Với "đúng một", có hai kịch bản hợp lệ: A hiệp sĩ – B nói dối, hoặc cả hai nói dối. Chỉ kết luận chắc chắn được B là kẻ nói dối, còn A thì chưa xác định.
Vì sao câu "hai ta cùng loại" lại lộ ra người nghe?
Nếu người nói là hiệp sĩ, câu đúng, người nghe cùng là hiệp sĩ. Nếu người nói là kẻ nói dối, câu sai, hai người khác loại, người nghe vẫn là hiệp sĩ. Hai nhánh cùng một kết quả về người nghe.
Câu "cả hai ta đều là kẻ nói dối" giải ra sao?
Hiệp sĩ không nói được câu này vì nó sẽ tự nhận mình nói dối. Vậy người nói là kẻ nói dối, câu sai, không phải cả hai đều nói dối, nên người còn lại là hiệp sĩ.
Câu đố ai nói thật ai nói dối có thể vô nghiệm không?
Có. Khi mọi kịch bản đều vướng mâu thuẫn, đề không có đáp án; tình huống mô tả không thể xảy ra trên đảo. Lập bảng đủ kịch bản là cách phát hiện chắc chắn nhất.
