m61: (Default)
[personal profile] m61
Продолжая читать книгу Пенроуза "Тени разума", натолкнулся на логическую задачку, которую, по утверждению Роджера, неправильно решают _большинство_ студентов. Задачка вот какая:

"Если все А суть В, а некоторые В суть С, то обязательно ли отсюда следует, что некоторые А суть С?"

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

"Если все селедки суть рыбы, а некоторые рыбы суть караси, то обязательно ли отсюда следует, что некоторые селедки суть караси?"

И вот в такой формулировке - ответ, думаю, будет мгновенен и абсолютно верен. Ну, в большинстве случаев, по крайней мере. :)

(no subject)

Date: 2010-04-13 04:17 pm (UTC)
From: (Anonymous)
Тут путаница из-за неоднозначного толкования слова "суть". В теории множеств все четко: либо А входит в В, либо А включает В, либо А равно В, либо они пересекаются, либо не пересекаются.
Тогда очевидно: если Селедки входят в Рыбы и Караси входят в Рыбы, вовсе не обязательно, что Селедки пересекаются с Караси.
:)

(no subject)

Date: 2010-04-13 08:30 pm (UTC)
From: [identity profile] m61.livejournal.com
Совершенно верно. :) Вообще, в теории множеств бывает очень полезно порисовать картинки. Сразу все предельно наглядно становится. :)

Profile

m61: (Default)m61

January 2026

S M T W T F S
    1 23
4567 8910
11121314151617
18192021222324
25262728293031

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 14th, 2026 08:22 pm
Powered by Dreamwidth Studios