Формальная логика. Задачка.

[МР1]

В общем мне кажется, что круги "сын" и "внук" должны совпадать

[Martusya]

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

Если круг "Внук" находится в кругу "Дедушка", значит понятие "Внук" уже.

да.
но это неверно. все эти люди являются внуками - вы же словами все верно описали.
внук - самое широкое понятие, дед - самое узкое.

[deniska56]

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

но это неверно. все эти люди являются внуками - вы же словами все верно описали.
внук - самое широкое понятие, дед - самое узкое.

Я запутался, чесслово.

[Martusya]

Мне кажется, с точки зрения теории множеств будет яснее.
Множество внуков включает четыре элемента (про брата пока забудем) - дедушка, отец, сын, внук. Они все чьи-то внуки.
Множество сыновей - дедушка, отец, сын, внук. Они все чьи-то сыновья. Это множество совпадает с первым множеством - внуков.
Внутри этих совпадающих множеств - подмножество отцов из трех элементов -дедушка, отец, сын.
Внутри подмножество дедов - один элемент - дед.

[phys2010]

deniska56, А мне кажется, что решение "не катит". Если дед в своей жизни является дедом, отцом, сыном и внуком, то и внук в своей жизни может быть дедом, отцом, сыном и внуком. Т.е. если мы расширяем исходное множество в одну сторону (включаем отца деда и деда деда), то почему нельзя его расширить и в другую (включив возможных детей и внуков внука, а также всевозможных братьев этого большого семейства). Думаю, что решая эту задачу надо ограничиться исходным множеством. Т.е. когда дед является только дедом и т.д.

[Martusya]

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

почему нельзя его расширить и в другую

потому что по умолчанию задача предполагает рассмотрение только настоящей ситуации

[МР1]

Тут все дело в том, что внук может быть дедом, а может и не быть. А дед всегда является внуком. Поэтому круг "внук" включает в себя полностью круг "дед", но не исчерпывается им.

[phys2010]

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

задача предполагает рассмотрение только настоящей ситуации

Ну... В настоящей ситуации дед уже явно не может быть внуком
А даже если и так, то как быть с братьями отца деда и деда деда?

[Martusya]

Сообщение от МР1

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

Значит внешний круг таки Внук.

Добавлено через 1 минуту

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

Ну... В настоящей ситуации дед уже явно не может быть внуком
А даже если и так, то как быть с братьями отца деда и деда деда?

Неверно выразилась. Задача рассматривает только уже свершившиеся факты.

[МР1]

Так, ну вроде с большинством разобрались. Остался брат. Он всегда является сыном и внуком. Т.е. круг "брат" должен быть внутри сына и внука.

Добавлено через 2 минуты
Значит что выходит... Два самых больших, совпадающих круга - сын и внук. Внутри них - отец. Внутри отца - дед. Брат внутри сына и внука, а отца и деда касается лишь частично.