Author Topic: Помогите с логикой, плиз!  (Read 3222 times)

0 Members and 1 Guest are viewing this topic.

Offline Kaze no oto

  • Moderator
  • *
  • Posts: 4549
  • Gender: Male
on: September 10, 2014, 23:03
Короче мне тут проблемку одну подкинули. Вот, смотрите:

«...Мы не рекомендуем установку этой ознакомительной версии, если вы не являетесь ИТ-специалистом или не отвечаете за управление корпоративными сетями...»

Вот интуитивно понятно, что не рекомендуют только в том случае, если оба условия неверны.

Но по формальной логике выходит ровно наоборот! :wall:
Тут где-то ошибка, я чёт совсем запутался...

Offline _Swetlana

  • Posts: 16313
  • Gender: Female
Quote
Вот интуитивно понятно, что не рекомендуют только в том случае, если оба условия неверны.
Не верьте интуиции  ;D
Ὁ λόγος τῆς νοήσεως ἐλπίς ἐστιν.
Талбишектә үстем мин дә, сизелми мени бер дә?
Bless the Beasts and Children.

Offline Mortifer

  • Posts: 275
  • Gender: Male
  • Коты как натура: ты их в дверь, они в форточку
Не рекомендуется, если оба условия верны.

Не?
Странная интуиция.
Mindig van remény - Всегда есть ремень (с)

Нет большего зла, чем упрощенчество. Из него - всё остальное зло.

Offline _Swetlana

  • Posts: 16313
  • Gender: Female
Не.
Там же "или". Не рекомендуется, если хотя бы одно из условий верно.
На самом деле условия неверно сформулированы. Моя интуиция подсказывает мне, что они на самом деле хотели сказать.
Ὁ λόγος τῆς νοήσεως ἐλπίς ἐστιν.
Талбишектә үстем мин дә, сизелми мени бер дә?
Bless the Beasts and Children.

Offline Kaze no oto

  • Moderator
  • *
  • Posts: 4549
  • Gender: Male
Ну вот, допустим, я являюсь ИТ-специалистом, но не отвечаю за управление корпоративными сетями, то ведь (по идее) рекомендуется. А где у меня в формальной логике ошибка?

Offline _Swetlana

  • Posts: 16313
  • Gender: Female
Ну вот, допустим, я являюсь ИТ-специалистом, но не отвечаю за управление корпоративными сетями, то ведь (по идее) рекомендуется. А где у меня в формальной логике ошибка?
Ошибка у них.
Ὁ λόγος τῆς νοήσεως ἐλπίς ἐστιν.
Талбишектә үстем мин дә, сизелми мени бер дә?
Bless the Beasts and Children.

Offline Poirot

  • Posts: 60720
  • Gender: Male
Тут где-то ошибка, я чёт совсем запутался...
Просто текст бездарно составлен.
"Мы всегда можем уметь."(с)

Offline _Swetlana

  • Posts: 16313
  • Gender: Female
Может, они как раз бред и хотели сказать, хз.
Но если поупражняться в чтении мыслей, то, наверно, так:
Если ( (вы не специалист-айтишнег) И (вы не сисадмин)), то (не устанавливайте).
Ὁ λόγος τῆς νοήσεως ἐλπίς ἐστιν.
Талбишектә үстем мин дә, сизелми мени бер дә?
Bless the Beasts and Children.

Offline Kaze no oto

  • Moderator
  • *
  • Posts: 4549
  • Gender: Male
Если ( (вы не специалист-айтишнег) И (вы не сисадмин)), то (не устанавливайте).
А мне подумалось так:
Если ( (вы не специалист-айтишнег) ИЛИ (вы не сисадмин)), то (не устанавливайте).

Offline _Swetlana

  • Posts: 16313
  • Gender: Female
Если ( (вы не специалист-айтишнег) И (вы не сисадмин)), то (не устанавливайте).
А мне подумалось так:
Если ( (вы не специалист-айтишнег) ИЛИ (вы не сисадмин)), то (не устанавливайте).
Хорошо. Я - не сисадмин, я - разработчик этого софта. Раз одно из двух условий посылки выполнилось (я не сисадмин), а условия связаны ИЛИ, значит вся посылка верна. Кем бы я ни была, раз я не сисадмин, значит мне не рекомендуют установку.
Ὁ λόγος τῆς νοήσεως ἐλπίς ἐστιν.
Талбишектә үстем мин дә, сизелми мени бер дә?
Bless the Beasts and Children.

Offline Poirot

  • Posts: 60720
  • Gender: Male
Сразу виден научный подход к вопросу.
"Мы всегда можем уметь."(с)

Offline Kaze no oto

  • Moderator
  • *
  • Posts: 4549
  • Gender: Male
Хорошо. Я - не сисадмин, я - разработчик этого софта. Раз одно из двух условий посылки выполнилось (я не сисадмин), а условия связаны ИЛИ, значит вся посылка верна. Кем бы я ни была, раз я не сисадмин, значит мне не рекомендуют установку.
С точки зрения здравого смысла бред выходит, imho.

Offline _Swetlana

  • Posts: 16313
  • Gender: Female
Бред так бред. I don't object или что-то типа того  :)
Ὁ λόγος τῆς νοήσεως ἐλπίς ἐστιν.
Талбишектә үстем мин дә, сизелми мени бер дә?
Bless the Beasts and Children.

Offline Kaze no oto

  • Moderator
  • *
  • Posts: 4549
  • Gender: Male
Бред так бред. I don't object или что-то типа того  :)
Та нет, это не в ваш адрес. Я разобраться хочу :)

Offline _Swetlana

  • Posts: 16313
  • Gender: Female
Кусочек моей базы знаний:
Quote
Если  (завтра у меня свободный день), то (я не иду на работу).
Если  (завтра пойдёт дождь), то (я не иду на работу).
Два независимых правила.
Но если мне очень приспичит объединить их, то напишу так:
Quote
Если (завтра у меня свободный день) ИЛИ (завтра пойдёт дождь), то  (я не иду на работу).
Ὁ λόγος τῆς νοήσεως ἐλπίς ἐστιν.
Талбишектә үстем мин дә, сизелми мени бер дә?
Bless the Beasts and Children.

Offline Kaze no oto

  • Moderator
  • *
  • Posts: 4549
  • Gender: Male
Осознаю себя полным дураком...

Offline Poirot

  • Posts: 60720
  • Gender: Male
Осознаю себя полным дураком...
Напомнило шутку из 90-х. Типа перлы с пейджера. "Эти люди мне назначили встречу в Институте Человеческого Мозга. Чувствую себя полным идиотом."
"Мы всегда можем уметь."(с)

Offline Python

  • Posts: 39618
  • Gender: Male
  • Aluarium agent
not install_recommended == not IT_specialist or not corporation_network
istall_recommended == not (not IT_specialist or not corporation_network) == not not IT_specialist and not not corporation_network

Хотя, скорее всего, имелось в виду :
not install_recommended == not (IT_specialist or corporation_network) == not IT_specialist and not corporation_network
(т.е. «...Мы не рекомендуем установку этой ознакомительной версии, если вы не являетесь ИТ-специалистом и не отвечаете за управление корпоративными сетями...»)
install_recommended == IT_specialist or corporation_network

а лишнее «не» возникло (как ошибочная* коррекция) в результате отсустсвия в языке способа указать порядок вычислений (т.е., «...Мы не рекомендуем установку этой ознакомительной версии, если вы не являетесь ИТ-специалистом или отвечаете за управление корпоративными сетями...» могло быть понято как:
not install_recommended == not IT_specialist or corporation_network
install_recommended == not (not IT_specialist or corporation_network) == IT_specialist and not corporation_network

*) Хотя в реальной речи «и», «или» могут замещать друг друга, также «или» может взаимозамещаться с «либо-либо» (которое при более чем двух операндах перестает быть эквивалентом xor)
Пролетареві ніколи вчити європейських мов, бодай би свою знати добре і на ній принести до своєї хати світло знання (Гнат Хоткевич)
ÆC CASALI NAXI PRASQURI: AHOV CÆRU, MERTVÆRI TÆ SLAVUTÆT!
Вони просили його: «Скажи: кетум», а він говорив: «сатем», і не міг вимовити правильно.
Хотелось бы также отметить, что "Питон" - это "мышиный язык" : "пи+тон". © АБР-2

Offline Kaze no oto

  • Moderator
  • *
  • Posts: 4549
  • Gender: Male
istall_recommended == not (not IT_specialist or not corporation_network) == not not IT_specialist and not not corporation_network
А почему у вас тут or меняется на and?

Offline Bhudh

  • Posts: 54790
  • Gender: Male
  • aka 蝎
    • Сайты по языкознанию
Пиши, что думаешь, но думай, что пишешь.
MONEŌ ERGŌ MANEŌ.
Waheeba dokin ʔebi naha.
«каждый пост в интернете имеет коэффициент бреда» © Невский чукчо

Offline Kaze no oto

  • Moderator
  • *
  • Posts: 4549
  • Gender: Male
Благодарствую всем :)

Offline Nevik Xukxo

  • Posts: 46690
  • Gender: Male
  • Смотрите аниме и сериалы
За логикой надо Даркстара пытать - учебник логики у него. :umnik:
Только вот сам Даркстар куда-то пропал. :(

Offline _Swetlana

  • Posts: 16313
  • Gender: Female
Надо было с кем-нибудь вчера пари заключить, что в тему придёт Буд и даст ссылку на законы де Моргана)))


Ὁ λόγος τῆς νοήσεως ἐλπίς ἐστιν.
Талбишектә үстем мин дә, сизелми мени бер дә?
Bless the Beasts and Children.

Offline scorpjke

  • Posts: 472
  • Gender: Male
  • よく見るがよい
Тут каша из-за самого первого "не": в "не рекомендуем". Из-за него у нас во втором предложении два раза повторяется "не": not(A) || not(B), но имеется в виду not(A || B).
理屈がないと嫌なんだよ
Логический язык Nao: http://nao.comze.com

Offline Тайльнемер

  • Posts: 12736
  • Σοι υν βυρρο. Ix bin æn ézl
если кому-нибудь очень интересно, то (из своего уч. пособия "Системы искусственного интеллекта") могу показать схему приближённых рассуждений
Интересно.

 

With Quick-Reply you can write a post when viewing a topic without loading a new page. You can still use bulletin board code and smileys as you would in a normal post.

Note: this post will not display until it's been approved by a moderator.
Name: Email:
Verification:
Type the letters shown in the picture
Listen to the letters / Request another image
Type the letters shown in the picture:
√49 Напишите ответ строчными буквами:
«Сто одёжек, все без застёжек» — что это?: