Убедительно, как и доказателтьство того, что 1 = 2. Но в доказательстве “1 = 2” изъян в том, что если квадраты чисел равны, то сами эти числа равны только по модулю, а так могут иметь разный знак, а в примере с коробками с утверждениями изъян в том, что результат не зависит от того, какое утверждение в первой коробке.
Давайте в первую коробку поместим утверждение “У современного африканского слона размах крыльев 18 метров”, а во вторую - “oba utverjdenia v etoi korobke lojny”, и проделаем то же самое. Мы точно так же убедительно придём к выводу, что “У современного африканского слона размах крыльев 18 метров”, но изъян, повторю, в том, что у первой коробки нет никаких ограничений на утверждение, а если более строго, то в том, что даже если второе утверждение “oba utverjdenia v etoi korobke lojny”, то из этого ничего не следует насчёт истинности утверждения в первой коробке. Логичесике размышления “Esli vtoroe utverjdenie istinno, to soglasno emu samomu ono lojno. Sledovatel’no, vtoroe utverjdenie lojno, t.k. imeem protivorechie” не вызывают никаких вопросов.
Вопрос вызывает утверждение “Raz vtoroe lojno, to ne oba lojny, po smyslu vtorogo utverjdenia. No poskol’ku vtoroe-to lojno, to pervoe obiazano byt’ istinno”.
На самом деле, раз второе “oba utverjdenia v etoi korobke lojny” ложно, то истинных утверждений меньше 2. Т.е. либо 0 истинных утверждений, либо одно.
В примере со слоном их 0. В примере с утверждением в первой коробке “некоторые птицы летают” их 1. Отсюда заключаем, что истинность или ложность утверждения “Всякий, кто утверждал ‘Хочу быть на месте тех парней’ считает парней козлами” необходимо устанавливать другим путём, т.к. истинность утверждения в первой коробке не зависит от правильных логических размышлений “Esli vtoroe utverjdenie istinno, to soglasno emu samomu ono lojno. Sledovatel’no, vtoroe utverjdenie lojno, t.k. imeem protivorechie” по второй коробке.
