Tổng quan
Các câu đố Hiệp sĩ và Kẻ nói dối được nhà logic học Raymond Smullyan phổ biến. Mỗi cư dân hoặc là hiệp sĩ — luôn nói thật, hoặc là kẻ nói dối — luôn nói dối, và chỉ từ lời nói của họ, bạn phải suy ra ai là ai.
Phiên bản hai người ở đây xoay quanh một câu duy nhất, 'Cả hai chúng tôi đều là kẻ nói dối,' và câu này tự mâu thuẫn theo cách giúp xác định danh tính của cả hai.
Cách giải Hiệp Sĩ & Kẻ Nói Dối từng bước
- Liệt kê cả bốn khả năng cho (A, B): hiệp sĩ/hiệp sĩ, hiệp sĩ/nói dối, nói dối/hiệp sĩ, nói dối/nói dối.
- Với mỗi khả năng, kiểm tra quy tắc: câu của hiệp sĩ phải đúng, câu của kẻ nói dối phải sai.
- Nếu A là hiệp sĩ, câu 'cả hai đều là kẻ nói dối' phải đúng — nhưng thế thì A lại là kẻ nói dối. Mâu thuẫn, nên A là kẻ nói dối.
- Vì A là kẻ nói dối, câu nói phải sai. 'Cả hai đều là kẻ nói dối' sai nghĩa là B không phải kẻ nói dối — vậy B là hiệp sĩ.
Mấu chốt
Không ai, dù là hiệp sĩ hay kẻ nói dối, có thể nói thật rằng 'Tôi là kẻ nói dối.' Nhận ra một khẳng định tự quy chiếu là bất khả với một loại người sẽ ngay lập tức cắt đôi không gian tìm kiếm.
Biến thể & liên hệ
- Các câu đố lớn hơn thêm gián điệp (có thể nói dối hoặc nói thật) và chuỗi các câu nói về nhau.
- Kỹ thuật này — liệt kê các cách gán, loại bỏ mâu thuẫn — chính là cách một bộ giải SAT hoạt động.
- Nó rèn thói quen kiểm tra mọi trường hợp với các ràng buộc thay vì đoán mò.
Câu hỏi thường gặp
Cả hai có thể đều là hiệp sĩ không?
Không. Hiệp sĩ phải nói thật, nhưng 'cả hai đều là kẻ nói dối' là sai với một hiệp sĩ, nên A không thể là hiệp sĩ.
Nếu A nói 'ít nhất một trong chúng tôi là kẻ nói dối' thì sao?
Phiên bản đó cũng giải được: A phải là hiệp sĩ và B là kẻ nói dối, vì chỉ hiệp sĩ mới có thể khẳng định điều đó một cách trung thực.