Чарльз Лютвидж Доджсон, более известный как Льюис Кэрролл, использовал свои формулировки для раздела математической логики, известного нам как логика высказываний, чтобы составлять и решать логические загадки. Типичный пример такой формулировки он приводит в своем труде «Символическая логика» от 1896 г.
• Никто из тех, кто действительно ценит Бетховена, не станет шуметь во время исполнения «Лунной сонаты».
• Морские свинки безнадежно невежественны в музыке.
• Те, кто безнадежно невежествен в музыке, не станут соблюдать тишину во время исполнения «Лунной сонаты».
Вывод таков: ни одна морская свинка не ценит Бетховена.