Юморной логический тест.

[alex7851]

Из утверждений "все воробьи не умеют летать" и "у всех воробьев есть ноги" верно ли "воробьи без ног могут летать"?

[Профессор Снэйп]

Верно

Утверждение $(\forall x \in \varnothing)\Phi(x)$ верно всегда, независимо от того, в чём заключается утверждение $\Phi$.

[alex7851]

Профессор Снэйп в сообщении #604633 писал(а):

Верно

Спасибо.
Недавно дали тест на логику, примерно как тут: http://blackka.qwerti.ru/post.php?id=148. Сам тест неинтересный, но прочитав 8, я сразу вспомнил Вашу тему http://dxdy.ru/topic56996.html. И в 9 получается тоже два верных (еще д).

[banet]

Оторвали ноги кузнечику, говорят прыгай, а он не прыгает, значит не слышит

[svv]

alex7851 в сообщении #604615 писал(а):

Из утверждений "все воробьи не умеют летать" и "у всех воробьев есть ноги" верно ли "воробьи без ног могут летать"?

Это верно. Но не надо забывать, что утверждение "все воробьи без ног не могут летать" тоже верно.

[banet]

Железно, а кузнечики как же?

[alex7851]

Профессор Снэйп в сообщении #604633 писал(а):

Утверждение $(\forall x \in \varnothing)\Phi(x)$ верно всегда, независимо от того, в чём заключается утверждение $\Phi$.

И в случае, если $\Phi$ заведомо ложно? Верно ли: "все воробьи без ног могут летать и не могут летать"?

[svv]

Да. А из истинности этого утверждения следует, что воробьев без ног не существует.