Парадокс лжеца: ложь - тоже, что (ложь - не тоже, что ложь)

[bulygin69]

Сообщение от alexzk

.....кароче я устал Вы оперируете не теми категориями. Выражение False!=False в БУЛЕВОЙ алгебре (всего 2 допустимых значения) имеет определенное значение Фалсе. Теперь мы сравниваем уже 2 вполне определенных значения " ложь равно лжи", слово "когда" убираем вообще из фразы. Здесь нет постусловия. Здесь есть 2 математических (булевых) оператора!!! Это ОПЕРАТОРЫ.

Можно и без "когда": Если ложь не равна лжи, то ложь равна лжи.

[bulygin69]

Сообщение от alexzk

Чтоб вас совсем сума свести...добавлю - в С++ программист может произвольно менять поведение операторов. Т.е. "==" может делать вообще что угодно, например быть всегда false и установить вирус вам в систему.

Не о значках идет речь! Число ноль можно написать как 0, а можно и каким угодно. Тоже и с операторами. Их можно переопределить, но тогда и смысл их будет другой.

[alexzk]

Сообщение от bulygin69

Можно и без "когда": Если ложь не равна лжи, то ложь равна лжи.

Вопще не корректно "если-то". Здесь нет если то. Знак "==" это вычисляемая функция (оператор), можно переписать так

bool equals(bool a, bool b)
{
    return !(a ^ b);
}

int main()
{
bool x;
x = !equals(false,false);
cout << equals(x, !equals(false, false));
}

[bulygin69]

Сообщение от alexzk

Вопще не корректно "если-то". Здесь нет если то. Знак "==" это вычисляемая функция (оператор)

Если операндами являются булевы выражения, то нет никакой разницы между эквивалентностью и равенством. Эквивалентность же можно выразить через "если-то или тогда-когда".

[alexzk]

Сообщение от bulygin69

Если операндами являются булевы выражения, то нет никакой разницы между эквивалентностью и равенством. Эквивалентность же можно выразить через "если-то или тогда-когда".

Ну и как же вы формируете "парадокс", на использовании вычисляемой функции? Парадокс был бы, если бы "если-то". Но это недопустимо, т.к. функция вычисляемая. Здесь нету следования. Здесь арифметическое выражение !(a ^ b)

[alexzk]

Запись в если-то совершенно иная

int main()
{
bool x;
 if (false !=false)
 {
     x = true;
     cout << "true 1";
    //никогда не исполняемая ветка
 }
 else 
{
     x = false;
     cout << "true 2"
}

т.е. "парадокс" разрешается наличием кода, который никогда не работает.

[bulygin69]

Сообщение от alexzk

Запись в если-то совершенно иная

int main()
{
bool x;
 if (false !=false)
 {
     x = true;
     cout << "true 1";
    //никогда не исполняемая ветка
 }
 else 
{
     x = false;
     cout << "true 2"
}

т.е. "парадокс" разрешается наличием кода, который никогда не работает.

Разумеется. Но это также означает, что если (False!=False), то будет выполняться ветка с "иначе".

[alexzk]

все...я устал "Парадокс" здесь только в вашем восприятии, оператора, как следования. Да еще вы зачем-то впутываете глобальные сущности

Ложь, которая была бы не ложь - не существует. При этом, чтобы ( "фалсе отлично от фалсе") имело смысл, ложь должна быть.

На самом деле, происходит вычисление каждого знака как функции от двух аргументов, и выдается на экран результат вычисления сложной функции.
В конструкциях if () так же происходит вычисление знака, как сложной функции. Только далее в зависимости от результата исполняется 1 ветка или иная.
Строить какие-то теории, об отсутствии "лжи вообще" на основе того, что название исполняемой функции совпадает с математическим знаком эквивалента ("==") не корректно.

[bulygin69]

Сообщение от alexzk

все...я устал "Парадокс" здесь только в вашем восприятии, оператора, как следования. Да еще вы зачем-то впутываете глобальные сущности

На самом деле, происходит вычисление каждого знака как функции от двух аргументов, и выдается на экран результат вычисления сложной функции.
В конструкциях if () так же происходит вычисление знака, как сложной функции. Только далее в зависимости от результата исполняется 1 ветка или иная.
Строить какие-то теории, об отсутствии "лжи вообще" на основе того, что название исполняемой функции совпадает с математическим знаком эквивалента ("==") не корректно.

Нет никакой разницы между ("==") в программировании и ("=") в математике.

[bulygin69]

{X | X ≠ X} ... смысл: X нет, если Х не равен себе. Но также верно будет: если Х нет, то Х не равен себе. Поэтому (Х нет) == (Х не равно Х)