(no subject)

[moonwalker72]

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

Comments

[bluxer.livejournal.com]

т.е. это не высказывание, так как нельзя установить, истинное оно или ложное.

[moonwalker72.livejournal.com]

Следствие высказывания участвует в вычислении истинности самого высказывания - это меня смутило. Установить истинность можно: высказывание здесь рассматривается как предикат, в который подставляется как первый так и второй вариант функции, выполняемой в зависимости от истинности предиката - если при выборе условия А предикат даст истину, то выполнится А, иначе - В, так как А и В являются взаимоисключающими по условию задачи. Я это так понял. Просто я привык мыслить линейно.