(no subject)
Если вы делаете истинное утверждение, то я плачу вам ровно десять долларов, если же ложное, то либо меньше десяти либо больше. Если высказать "вы не дадите мне ни десяти ни миллиона долларов", то если признать его истинным, надо дать десять долларов, что дает противоречие с утверждением, следовательно, оно ложно и истинным явялется "дать или десять или миллион", но за ложное нельзя дать десять, следовательно надо дать миллион. Утверждение не должно содержать в себе результирующее действие предиката (в зависимости от результата вычисления входного аргумента (вообще говоря булевской функции) вычисляется ветка true или else). На этом играют переговорщики и стратегемы тоже на этом строятся. Пресловутое "азиатское коварство" это, в сущности, испытание человека (властителя) на способность доверять. Ничем не отличается от европейского придворного интриганства. Это вопрос сложности вычисления истинности утверждения "имярек честен со мной". Про Аурангзеба кстати написано, что его память была феноменальной и это позволяло ему достаточно быстро решать такие функции - потому он и процарствовал почти 50 лет.