Форум программистов
 

Восстановите пароль или Зарегистрируйтесь на форуме, о проблемах и с заказом рекламы пишите сюда - alarforum@yandex.ru, проверяйте папку спам!

Вернуться   Форум программистов > IT форум > Общие вопросы по программированию, компьютерный форум
Регистрация

Восстановить пароль
Повторная активизация e-mail

Купить рекламу на форуме - 42 тыс руб за месяц

Ответ
 
Опции темы Поиск в этой теме
Старый 17.06.2018, 05:51   #11
bulygin69
Пользователь
 
Регистрация: 06.11.2015
Сообщений: 39
По умолчанию

Цитата:
Сообщение от alexzk Посмотреть сообщение
Нет,

Код:
False!=False
читается как: "сравнить фалсе и фалсе на НЕ равенство и дать результат", или "сравнить фалсе и фалсе на равенство и дать инверсный результат". Т.о. сравниваем, что фалсе равно фалсе (труе) и даем инверсный результат (фалсе). Т.о. False!=False = фалсе. Т.о. они не различаются, различий нет.
Читается False!=False так: ложь не равно ложь. И это (ложь не равно ложь) равно лжи.

P.S. "сравнить" - это словесная обертка для человеческого уха. Не более.
bulygin69 вне форума Ответить с цитированием
Старый 17.06.2018, 06:29   #12
bulygin69
Пользователь
 
Регистрация: 06.11.2015
Сообщений: 39
По умолчанию

В математике (возьмем для определенности 7+2=9) смысл равно в том,
что 7+2 можно заменить на 9. И наборот, 9 можно заменить на 7+2.

Когда пишем False!=False, то опять же это означает, что False можно заменить на True. И наоборот, True можно заменить на False.

Можно возразить, это не несет в себе никакого смысла, ибо равенство неравного всегда ложно.

Но в том то и дело, что только такая (всегда ложная конструкция) позволяет выразить (то, чего нет). Впрочем, понятие пустого множества {x | x≠x} отражает этот же смысл.
bulygin69 вне форума Ответить с цитированием
Старый 17.06.2018, 07:01   #13
bulygin69
Пользователь
 
Регистрация: 06.11.2015
Сообщений: 39
По умолчанию

Цитата:
Сообщение от bulygin69 Посмотреть сообщение
понятие пустого множества {x | x≠x}
пустое множество определяется:
#тождественно ложной формулой (противоречием).
#В пустом множестве нет такого элемента X, что X=X.
#Сказать, что в множестве не существует элементов -
#то же, что сказать, что
#каждый элемент Х этого множества такой, что Х≠Х.

Cсылка на код
bulygin69 вне форума Ответить с цитированием
Старый 17.06.2018, 07:24   #14
alexzk
Форумчанин
 
Регистрация: 12.04.2017
Сообщений: 889
По умолчанию

Цитата:
Когда пишем False!=False, то опять же это означает, что False можно заменить на True. И наоборот, True можно заменить на False.
Нет False!=False вычисляется как False.
Вопщем чепуха какаято, на основе константных булевых выражений (т.е. которые всегда труе или фалсе) вы заводите переменные и начинаете через них что-то там выражать (это я об исходном коде). На самом деле это фигня. Компилятор сразу взял и посчитал, еще до запуска программы, если открыть ассемблерный код, ваша прога преобразовалась в "вывести 1" без всяких расчетов.

Последний раз редактировалось alexzk; 17.06.2018 в 07:29.
alexzk вне форума Ответить с цитированием
Старый 17.06.2018, 07:24   #15
eoln
Старожил
 
Аватар для eoln
 
Регистрация: 26.04.2008
Сообщений: 2,689
По умолчанию

Попугай сказал попугаю: "Попугай, попугай попугая"
bulygin69, путаетесь в трёх соснах.
Цитата:
1) False - не тоже, что False (другими словами, False - тоже, что True)
Нет, трактовать другими словами можно только если это истинное выражение, но это ложное выражение, следовательно и выводы из него могут быть ложными.
eoln вне форума Ответить с цитированием
Старый 17.06.2018, 07:31   #16
bulygin69
Пользователь
 
Регистрация: 06.11.2015
Сообщений: 39
По умолчанию

Цитата:
Сообщение от eoln Посмотреть сообщение
Попугай сказал попугаю: "Попугай, попугай попугая"
bulygin69, путаетесь в трёх соснах.
Нет, трактовать другими словами можно только если это истинное выражение, но это ложное выражение, следовательно и выводы из него могут быть ложными.
Повторяю, пустое множество {x | x≠x} определяется для такого Х, которое всегда ложно.
bulygin69 вне форума Ответить с цитированием
Старый 17.06.2018, 07:34   #17
eoln
Старожил
 
Аватар для eoln
 
Регистрация: 26.04.2008
Сообщений: 2,689
По умолчанию

Повторяйте чаще
eoln вне форума Ответить с цитированием
Старый 17.06.2018, 07:36   #18
bulygin69
Пользователь
 
Регистрация: 06.11.2015
Сообщений: 39
По умолчанию

Цитата:
Сообщение от alexzk Посмотреть сообщение
Нет False!=False вычисляется как False.
Вопщем чепуха какаято, на основе константных булевых выражений (т.е. которые всегда труе или фалсе) вы заводите переменные и начинаете через них что-то там выражать (это я об исходном коде). На самом деле это фигня. Компилятор сразу взял и посчитал, еще до запуска программы, если открыть ассемблерный код, ваша прога преобразовалась в "вывести 1" без всяких расчетов.
Дело не в том, до или после вычисляется. Дело в логике. Можно ведь и ожидать ввода, затем на основании этого ввода вычислять. Логика при этом будет та же.
bulygin69 вне форума Ответить с цитированием
Старый 17.06.2018, 07:43   #19
alexzk
Форумчанин
 
Регистрация: 12.04.2017
Сообщений: 889
По умолчанию

Вообще, мне кажется, вы читаете программу декларативно. Но это не верный подход. Нельзя так читать
Цитата:
False - не тоже, что False (другими словами, False - тоже, что True)
Читать нужно так
"ПРИКАЗЫВАЮ СРАВНИТЬ фалсе и фалсе, и сказать что получилось".

С вашим подходом к задаче, ее тестить можно только на PROLOG (мб еще SQL) - т.к. это декларативные языки, т.е. в них не дается набор приказов, но даются факты, что вы и пытаетесь делать - приказ к действию расцениваете как факт.

Из приказа к действию нельзя делать никаких заключений. Приказ нужно просто исполнить и получить результат, тогда никаких "парадоксов" не возникает.

Последний раз редактировалось alexzk; 17.06.2018 в 07:54.
alexzk вне форума Ответить с цитированием
Старый 17.06.2018, 07:51   #20
bulygin69
Пользователь
 
Регистрация: 06.11.2015
Сообщений: 39
По умолчанию

Цитата:
Сообщение от alexzk Посмотреть сообщение
Вообще, мне кажется, вы читаете программу декларативно. Но это не верный подход. Нельзя так читать


Читать нужно так
"ПРИКАЗЫВАЮ СРАВНИТЬ фалсе и фалсе, и сказать что получилось".
Я читаю так, как в математике (ничего необычного в этом нет):
5==5 пять равно пять (что истинно)
6!=7 шесть не равно семь (что истинно)
9!=9 девять не равно девять (что ложно)
...
False==False ложь равно ложь (что истинно)
False!=False ложь не равно ложь (что ложно)
False==True ложь равно истина (что ложно)
bulygin69 вне форума Ответить с цитированием
Ответ


Купить рекламу на форуме - 42 тыс руб за месяц

Опции темы Поиск в этой теме
Поиск в этой теме:

Расширенный поиск


Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
Что такое "заведомая ложь"... waleri Свободное общение 18 15.01.2015 08:44
Возврат ИСТИНА или ЛОЖЬ при выполнении нескольких условий HorrorJuice Microsoft Office Excel 4 01.02.2014 13:41
Не могу понять почему в результате "ЛОЖЬ" Questru Microsoft Office Excel 5 16.08.2013 14:27