Hiệp sĩ & Kẻ dối trá

Kỹ thuật "giả sử 1 điều là đúng, rồi kiểm tra xem có dẫn tới mâu thuẫn không" gọi là chứng minh bằng phản chứng. Đây là 1 trong những công cụ quan trọng của toán học, dùng để chứng minh nhiều định lý. Bài này luyện kỹ thuật đó qua 1 trò chơi.

Trên 1 hòn đảo có 2 loại người: Hiệp sĩ (luôn nói thật) và Kẻ dối trá (luôn nói dối). Dựa vào vài câu họ nói, suy luận xem ai là ai.

Từ khóa: logic, suy luận, câu đố