Tổng quan
Câu đố này lan truyền năm 2015 như một câu thi ở Singapore. Đó là bài học về suy luận trên chính tri thức — dùng việc người khác biết hay không biết làm bằng chứng.
Cách giải Sinh Nhật Của Cheryl từng bước
- Albert (tháng) nói anh chắc chắn Bernard (ngày) chưa thể biết. Điều đó chỉ đúng nếu tháng của anh không chứa ngày duy nhất nào — loại tháng 5 và tháng 6, vốn chứa 19 và 18.
- Bernard giờ biết nghĩa là ngày là duy nhất trong số còn lại; ngày 14 xuất hiện hai lần, nên bị loại.
- Việc Albert biết sau đó nghĩa là tháng giờ là duy nhất; tháng 8 vẫn còn hai ngày, nên phải là tháng 7 — 16 tháng 7.
Mấu chốt
Mỗi câu nói là dữ liệu về việc một người có thể suy ra gì, không phải về ngày một cách trực tiếp. 'Tôi biết rằng bạn không biết' là ràng buộc mạnh, cắt bỏ cả tháng cùng lúc.
Biến thể & liên hệ
- Nó thuộc họ câu đố 'tri thức chung' như bài các cư dân mắt xanh.
- Logic tri thức hình thức hóa đúng kiểu suy luận-về-suy-luận này.
Câu hỏi thường gặp
Loại một ngày duy nhất giúp ích thế nào?
Nếu ngày của Cheryl là 18 hay 19, Bernard đã biết ngày rồi. Việc Albert chắc chắn Bernard không biết nghĩa là tháng không thể chứa các ngày đó.