2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Сложные предложения в логических задачах
Сообщение12.07.2017, 22:54 
Здравствуйте! Есть такая задача:
Изображение
Скажите, пожалуйста, я правильно понимаю, что в подобных задачах одно из следствий части условия "Майя старше теннисистки, а волейболистка ровесница одной из девочек" - это то, что Майя не волейболистка?

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

 
 
 
 Re: Сложные предложения в логических задачах
Сообщение13.07.2017, 00:30 
svv в сообщении #1233146 писал(а):
Конечно, на самом деле фраза «Галя и волейболистка ходили ...» не противоречит тому, что Галя и волейболистка — одно лицо (возможно, не все с этим согласятся), «волейболистка — ровесница одной из девочек» допускает толкование «волейболистка ровесница самой себе». Но подобный подход убивает эти задачи.

Да я не про то. Просто, если этого соглашения не знать и допустить, что Майя - волейболистка, то получим два, и оба неправильных, ответа. Хоть бы в примерах решения этот момент подчеркивался, что ли.
svv в сообщении #1233146 писал(а):
фраза «Галя и волейболистка ходили ...»

это со-о-всем другое, нежели
Sinoid в сообщении #1233138 писал(а):
"Майя старше теннисистки, а волейболистка ровесница одной из девочек"

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

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

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

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

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

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

-- 13.07.2017, 07:53 --

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

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

 
 
 [ Сообщений: 6 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group