Короткий вопрос про истинность высказываний.

[kot-obormot]

Пусть у нас есть небольшой стог сена, в котором муравьи обустроили жилище. В этом стогу сена проживают ровно 1000 муравьев.
Какие из двух высказываний, написанных ниже будут истинными?
1) В стогу сена найдутся 500 муравьев
2) В стогу сена проживают 500 муравьев

Первое, ясно дело, что будет истинным. Но вот со вторым возникают вопросы. Да, 500 муравьев точно проживают, но ведь еще есть и другие муравьи, то есть их больше 500. Но 500 найдутся. Есть подозрение, что тут это скорее вопрос русского языка? Мне кажется, что все-таки второе высказывание - ложь, потому как оно означает "В стогу сена проживают всего 500 муравьев"

[Aritaborian]

kot-obormot в сообщении #1540750 писал(а):

Есть подозрение, что тут это скорее вопрос русского языка?

Подозрение верно, и автор текста должен его учитывать.

[kot-obormot]

Спасибо, насколько я понял, что информации недостаточно, чтобы определить истинность или ложность этого высказывания, потому как автор должен уточнить то, что он имеет ввиду, правильно?

[svv]

kot-obormot в сообщении #1540750 писал(а):

1) В стогу сена найдутся 500 муравьев

Найдутся в любой момент, в который проживают там? Ложно. Я проживаю в квартире 12, но в произвольный момент могу там не найтись.

kot-obormot в сообщении #1540750 писал(а):

2) В стогу сена проживают 500 муравьев

В смысле «найдутся 500 проживающих» истинно, в смысле «проживают ровно 500» ложно.