Простой вопрос

[kthxbye]

Имеем суждение: $A=B$. Кто-то говорит: "Ложь, что это ложь - это ложь". Прав ли он?

Вопрос вроде бы простой, но я совсем запутался в трактовках и мне уже наверное ничего не поможет, кроме разве что грамотного ответа из постороннего источника.

[waxtep]

Выглядит как $A\neq B$ на первый взгляд

[kthxbye]

Можно еще вот так: второй говорит (по поводу высказывания первого), что "сарказм, что это сарказм - это сарказм". Кто из них прав?

waxtep в сообщении #1565277 писал(а):

Выглядит как $A\neq B$ на первый взгляд

Вы можете поделиться ходом ваших рассуждений?

[waxtep]

kthxbye в сообщении #1565279 писал(а):

Вы можете поделиться ходом ваших рассуждений?

"ложь, что высказывание ложно" $\Leftrightarrow$ "высказывание истинно"

[kthxbye]

waxtep, благодарю! А я рассуждал так: допустим $A=B$, тогда фраза "это ложь" означает, что $A\ne B$. Заменяем ее в исходной на полученный результат, тогда будем иметь: "Ложь, что $A\ne B$ - это ложь". И тут я не пойму как трактовать ее, т.е. либо "Ложь, что $A\neB$ - это дейтсвительно ложь", либо "Ложь, что $A\ne B$ - это в действительности ложь".

[Aritaborian]

Имеем тройное отрицание истины и само по себе оно — ложно.

[waxtep]

Aritaborian в сообщении #1565284 писал(а):

Имеем тройное отрицание истины и само по себе оно — ложно.

Все таки зависит от равенства $A$ и $B$ Если они не равны, - высказывание "Ложь, что это (высказывание "$A=B$") ложь - это ложь" истинно

[Aritaborian]

waxtep, я отталкивался от истинности изначального суждения, мне этот момент в условии показался очевидным. Но вы правы.

[svv]

kthxbye в сообщении #1565281 писал(а):

И тут я не пойму как трактовать ее, т.е. либо "Ложь, что $A\neB$ - это дейтсвительно ложь", либо "Ложь, что $A\ne B$ - это в действительности ложь".

Совершенно с Вами согласен. Фраза допускает двоякую трактовку, по крайней мере, в разговорном языке. Обозначим для простоты буквой $P$ высказывание «неверно, что $A=B$». Получится:
Ложь, что $P$ — это ложь.

Это можно понять двумя способами:
1) Высказывание «$P$ ложно» ложно.
2) Данная конкретная ложь о том, что $P$ — пример лжи вообще.
В первом случае утверждается истинность $P$, во втором — ложность.
В общем, если бы я услышал от собеседника такую фразу, я бы попросил уточнить.