Câu hỏi lồng nếu được hỏi anh sẽ trả lời gì: vì sao hai lần dối thành thật

Hỏi một kẻ nói dối «Nếu được hỏi "lối trái về làng phải không", anh sẽ trả lời "có" chứ?», người đó buộc phải nói dối hai lần: một lần trong câu trả lời tưởng tượng, một lần khi kể lại câu trả lời ấy. Hai lần đảo triệt tiêu nhau nên câu trả lời cuối cùng trùng với sự thật. Hiệp sĩ thì nói thật cả hai lần. Vì thế câu hỏi lồng moi được sự thật từ người mà ta không biết thuộc loại nào.

Bài này mổ xẻ cơ chế đó từng lớp, bằng ba câu đố tự đặt trên đảo hiệp sĩ (luôn nói thật) và kẻ nói dối (luôn nói sai), có bảng kiểm mọi kịch bản. Ta sẽ thấy vì sao lồng hai lớp thì được, ba lớp thì hỏng, và lồng qua người khác thì phải cẩn thận đếm.

Câu đố 1: hỏi người lái đò bến nào an toàn

Ví dụ minh hoạ tự đặt. Mùa nước lên, con sông quanh đảo có hai bến: bến trên và bến dưới, chỉ một bến cập thuyền an toàn. Khách gặp một người lái đò, không biết người này thật hay dối, được hỏi một câu có/không. Khách hỏi: «Nếu mình hỏi anh "bến trên an toàn phải không", anh sẽ trả lời "có" chứ?»

Lời giải: tách hai lớp

Gọi câu bên trong là câu hỏi tưởng tượng ("bến trên an toàn phải không?") và cả câu là câu hỏi thật ("anh sẽ trả lời có chứ?").

Bước 1. Tính xem người lái đò sẽ đáp câu tưởng tượng thế nào. Hiệp sĩ đáp đúng sự thật, kẻ nói dối đáp ngược.

Bước 2. Câu hỏi thật hỏi về chính câu đáp ở bước 1. Xác định câu hỏi thật đúng hay sai, rồi người lái đò lại trả lời theo loại của mình.

Cột cuối luôn trùng cột "bến trên an toàn?". Kết luận: đáp "có" thì cập bến trên, đáp "không" thì cập bến dưới, bất kể người lái đò là ai.

Đếm số lần đảo: quy tắc chẵn lẻ

Hãy hình dung lời nói dối như một công tắc đảo: đi qua nó, "có" thành "không" và ngược lại. Hiệp sĩ là sợi dây thẳng, không đảo gì. Câu hỏi lồng bắt câu trả lời đi qua cùng một người nhiều lần.

Quy tắc: số lần đảo chẵn thì về sự thật, lẻ thì ngược. Trong logic, đây là luật phủ định kép: phủ định của phủ định một mệnh đề X lại chính là X, viết ¬¬X tương đương X (¬ đọc là "không").

Câu đố 2: lồng ba lớp thì hỏng

Ví dụ minh hoạ tự đặt. Một bạn học sinh nghĩ "lồng càng nhiều càng chắc" nên hỏi người lái đò ba lớp: «Nếu mình hỏi anh "nếu được hỏi bến trên an toàn không, anh có đáp có không", thì anh sẽ đáp "có" chứ?». Câu hỏi có còn dùng được không?

Lời giải

Gọi câu hai lớp ở câu đố 1 là Q2. Ta đã biết: với cả hai loại người, câu đáp Q2 trùng sự thật. Câu ba lớp hỏi: "anh sẽ đáp Q2 là 'có' chứ?". Nghĩa là nó hỏi xem bến trên có an toàn không, rồi người được hỏi đáp theo loại của mình thêm một lần nữa.

Kết luận: lồng ba lớp quay về đúng chỗ của câu hỏi thẳng, câu trả lời phụ thuộc vào loại người. Không dùng được. Muốn mẹo này chạy, số lớp phải chẵn.

Câu đố 3: lồng qua người khác

Ví dụ minh hoạ tự đặt. Hai người gác, Kiên và Lực, đứng ở ngã ba. Lần này khách không được biết có đúng một người nói dối: mỗi người có thể là hiệp sĩ hoặc kẻ nói dối, độc lập với nhau. Khách hỏi Kiên: «Nếu mình hỏi Lực "lối trái về làng phải không", Lực sẽ đáp "có" chứ?». Câu trả lời của Kiên có đáng tin không?

Lời giải

Thông tin đi qua Lực rồi qua Kiên. Số lần đảo bằng số kẻ nói dối trong hai người. Xét cả bốn kịch bản, giả sử lối trái thật sự về làng:

Câu trả lời đúng sự thật khi Kiên và Lực cùng loại, ngược sự thật khi khác loại. Không biết quan hệ giữa hai người thì câu hỏi này vô dụng. Đó là lý do câu đố hai người gác quen thuộc phải cho trước "một thật một dối": khi ấy luôn có đúng một lần đảo, ta biết chắc phải đi ngược. Còn cách an toàn nhất vẫn là lồng qua chính người được hỏi, như câu đố 1.

Khi nào mẹo câu hỏi lồng không chạy

• Người thường, lúc thật lúc dối: không có quy luật đảo cố định, đếm chẵn lẻ vô nghĩa. Danh mục này có bài riêng về đảo có người thường.

• Người được hỏi không biết đáp án: mọi câu đố dạng này ngầm giả định người trên đảo biết rõ đường, biết rõ loại của nhau. Bỏ giả định đó là bỏ cả câu đố.
• Câu hỏi về chính câu trả lời đang nói (kiểu "anh sẽ đáp không cho câu này chứ?"): đây là vùng tự tham chiếu, chạm sang chủ đề nghịch lý, không dùng để hỏi đường.

Tự luyện

1. Cầu tre bắc qua lạch thật ra đã gãy. Khách hỏi một kẻ nói dối: «Nếu được hỏi "cầu tre còn đi được không", anh sẽ đáp "có" chứ?». Người đó đáp gì?

   Đáp án: Câu tưởng tượng, kẻ nói dối sẽ đáp "có" (ngược sự thật). Vậy câu hỏi thật đúng, kẻ nói dối đáp ngược: "không". Trùng sự thật là cầu không đi được.

2. Hỏi một người không rõ loại: «Nếu được hỏi "anh là hiệp sĩ phải không", anh sẽ đáp "có" chứ?». Câu trả lời cho biết gì?

   Đáp án: Câu lồng hai lớp cho đúng sự thật của "anh là hiệp sĩ". Hiệp sĩ đáp "có"; kẻ nói dối sẽ đáp câu tưởng tượng là "có", nên câu hỏi thật đúng, rồi đáp ngược "không". Câu trả lời lộ luôn loại người.

3. Kiên và Lực đều là kẻ nói dối. Khách hỏi Kiên: «Lực sẽ nói lối trái về làng chứ?». Kiên đáp "có". Đi lối nào?

   Đáp án: Hai kẻ nói dối, hai lần đảo, câu trả lời trùng sự thật: đi lối trái.

4. Một hiệp sĩ được hỏi câu lồng bốn lớp về một điều đúng. Người đó đáp gì?

   Đáp án: "Có". Hiệp sĩ không đảo lần nào, lồng bao nhiêu lớp cũng trả lời đúng sự thật.

Dùng vào đâu

Quy tắc chẵn lẻ của phép đảo xuất hiện ở nhiều chỗ. Trong lời nói hằng ngày, câu phủ định hai lần như "không phải không biết" về cơ bản quay về khẳng định, dù sắc thái thì khác; chủ đề này có bài riêng ở danh mục logic trong lời nói. Trong lập trình, viết hai dấu phủ định liền nhau trả về giá trị ban đầu (ở dạng đúng/sai), một mẹo nhiều người dùng để ép kiểu. Trong mạch điện tử, hai cổng NOT nối tiếp coi như một sợi dây.

Bài học sâu hơn là cách đếm số lần thông tin bị đảo trên đường truyền trước khi tin một lời kể lại. Khi một tin đi qua nhiều người, câu hỏi đúng là "trên đường đi, có bao nhiêu chỗ có thể làm sai lệch nó", chứ không chỉ "người cuối cùng có thật thà không".