Логическая задача.

[vaf.livejournal.com]

"Любой самолет может стать подлодкой. Но только один раз."

Если самолёт был подлодкой 2 и более раза, означает ли это что вышеприведённое утверждение неверно?

Comments

[oupire.livejournal.com]

Любой( = все ) самолеты может стать подлодкой. Все самолет которые стали подлоками - множество А. Входит в множество Б. Б - вообще все самолеты. Так как условие про самолет который стал подводной лодкой дается позже, изходя изформальной логики, второй раз оне НЕ стал подводной лодкой. Утверждение ложно. Или после его становления подводной лодкой (переход из А в Б) он теряет возможность называться самолетом, когда становится подлодкой второй раз. Задачка простая, если бы не коряво поставленные условия.

Все кони красные (самолеты превращаются в подлодку ОДИН раз). Один конь зеленый. (ДВА раза). Ответ - зеленый - НЕ конь (не самолет).

[asne.livejournal.com]

а если зеленый конь всплывет? )

[cornish-pixie.livejournal.com]

Быть и стать - разные понятия :))

[oupire.livejournal.com]

в данном случае не важно. Мы подменяем одно свойство другим. Для логики это не важно.
Цвет - свойство. Свойство поверхности, отражать определенный цвет из спектра.
Самолеткопдлодковость - свойство самолета превращаться в подводную лодку. Определенное количество раз.

[cornish-pixie.livejournal.com]

Но это свойство ничего не говорит о способности подлодки превращаться в самолет :).
Чему противоречит такой процесс:
подлодка-самолёт-подлодка-самолет
Самолет СТАЛ подлодкой один раз, но БЫЛ ей дважды :)))

[oupire.livejournal.com]

нифига. Мы не можем считать самолет который стал самолетом после того как он стал подлодкой тем же самым самолетом, что был изначально. Ибо превое условие достаточно категорично.