Сложные предложения в логических задачах

[Sinoid]

Здравствуйте! Есть такая задача:

Скажите, пожалуйста, я правильно понимаю, что в подобных задачах одно из следствий части условия "Майя старше теннисистки, а волейболистка ровесница одной из девочек" - это то, что Майя не волейболистка?

[svv]

Да.
Конечно, на самом деле фраза «Галя и волейболистка ходили ...» не противоречит тому, что Галя и волейболистка — одно лицо (возможно, не все с этим согласятся), «волейболистка — ровесница одной из девочек» допускает толкование «волейболистка ровесница самой себе». Но подобный подход убивает эти задачи.

[Sinoid]

svv в сообщении #1233146 писал(а):

Конечно, на самом деле фраза «Галя и волейболистка ходили ...» не противоречит тому, что Галя и волейболистка — одно лицо (возможно, не все с этим согласятся), «волейболистка — ровесница одной из девочек» допускает толкование «волейболистка ровесница самой себе». Но подобный подход убивает эти задачи.

Да я не про то. Просто, если этого соглашения не знать и допустить, что Майя - волейболистка, то получим два, и оба неправильных, ответа. Хоть бы в примерах решения этот момент подчеркивался, что ли.

svv в сообщении #1233146 писал(а):

фраза «Галя и волейболистка ходили ...»

это со-о-всем другое, нежели

Sinoid в сообщении #1233138 писал(а):

"Майя старше теннисистки, а волейболистка ровесница одной из девочек"

Спасибо за ответ.

[svv]

Я говорил о том, что, помимо формального смысла, в естественном языке присутствуют соглашения. Например, если говорят: «волейболистка — ровесница Гали», подразумевают, что это разные лица, несмотря на то, что если Галя — волейболистка, то Галя и волейболистка одного возраста.

Аналогично, если говорят «A имеет такое-то свойство, а B такое-то», подразумевается, что $A\neq B$, хотя формально это ниоткуда не следует.

И подобные задачи на подобные соглашения существенно опираются.

А есть и такие задачи (с подвохом), которые тоже опираются на привычку человека к таким соглашениям, но с другой целью: сбить с толку. Например: шли два отца и два сына... (о трёх людях).

[iifat]

Как-то не очень вас понимаю. Если вы имеете в виду, что «Майя ..., а волейболистка ...» прямо указывает, что Майя — не волейболистка, то это, как по мне, не так. Союз «а» просто соединяет два утверждения. Вместо него можно поставить точку.

-- 13.07.2017, 07:53 --

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

[svv]

Вместо прямых указаний в подобных задачах — сплошные соглашения, свойственные неформальному языку. И в неформальном языке, обычно, фраза из условия действительно означает, что Майя — не волейболистка. Причём употребление «, а» вместо точки играет роль. По крайней мере, так считают авторы задачи. Можете попробовать решить задачу без этого предположения.