Реймонд Смалліан у своїй книзі “Яку назву має ця книга?” запропонував спосіб вирішення логічних завдань з використанням двох гіпотетичних персонажів: лицаря та шахрая. Їх слід розглядати як роботів, які завжди промовляють правду або неправду в залежності від свого програмування. Лицарі та шахраї ніколи не помиляються і завжди точно знають правду. Шахрай завжди говорить брехню, а лицар завжди каже правду. Але існує хитрий спосіб змусити шахрая говорити правду.
Подвійне заперечення є твердженням само по собі. Тобто, якщо двічі змусити шахрая сказати брехню, він скаже правду.
Як змусити шахрая сказати правду?
Проаналізуємо запитання. Якщо прямо запитати шахрая: “Ти шахрай?”, то він відповість: “Ні”. Але ми можемо запитати про запитання. Наприклад: “Що ти відповів би хвилину тому на запитання “Ти шахрай?””. Тоді він задумується і розуміє, що хвилину тому він відповів би “ні”, але зараз він відповідає на запитання про цю відповідь, отже, змушений відповісти “так”.
Так само можна запитати будь-що: “Що б ти відповів хвилину тому на запитання” і підставити будь-яке запитання. Або інша форма запитання: “Як би відповів представник твоєї племені (того ж типу, лицар чи шахрай) на запитання “Ти шахрай?”. Тоді знову він змушений говорити не прямо свою відповідь, а брехати про брехню свого одноплеменця.
Лицарі у такій ситуації свою відповідь не змінюють і продовжують говорити правду.
