 |
| Автор |
Сообщение |
|
rgg
|
Заголовок сообщения: Re: Тренировочный вариант №489  Добавлено: 09 фев 2025, 17:18 |
|
Зарегистрирован: 29 окт 2014, 22:13
Сообщений: 3905
|
Владимiръ писал(а): rgg писал(а): Если символ эквивалентности заменил символом логического следствия, то тем самым утвердил факт появления постороннего решения, которое не входит в число искомых значений. Радиф Галиевич, позвольте Вам возразить. Первое решение Сергея Вениаминовича задачи 16 (в котором стоят знаки импликации) вполне нормальное, и не зачем было заставлять его менять импликацию на эквивалентность. Чем Вам не угодила, например, первая импликация? Она верна даже с формальной точки зрения. Действительно, если посылка ложна, то из неё следует всё, что угодно. Но если посылка верна, т.е. когда выполнено условие задачи, то вывод тоже верный, значит, и импликация истинна. А он указал, что посылка истинна? Вы считаете при решении уравнений и неравенств всегда допустим знак логического следствия? Никогда не будет приобретения посторонних решений?
|
|
  |
|
|
|
|
|
|
|
|
Владимiръ
|
Заголовок сообщения: Re: Тренировочный вариант №489 Добавлено: 09 фев 2025, 17:37 |
|
Зарегистрирован: 08 мар 2017, 23:11
Сообщений: 703
Откуда: Пущино
|
rgg писал(а): А он указал, что посылка истинна? Зачем? Мы всегда предполагаем, что условия задачи должны выполняться. rgg писал(а): Вы считаете при решении уравнений и неравенств всегда допусим знак логического следствия? Речь идёт о конкретной задаче. А что можно и чего нельзя - это слишком обширная тема, и не для этого форума.
|
|
| |
|
|
|
|
rgg
|
Заголовок сообщения: Re: Тренировочный вариант №489 Добавлено: 09 фев 2025, 18:01 |
|
Зарегистрирован: 29 окт 2014, 22:13
Сообщений: 3905
|
Владимiръ писал(а): rgg писал(а): А он указал, что посылка истинна? Зачем? Мы всегда предполагаем, что условия задачи должны выполняться. rgg писал(а): Вы считаете при решении уравнений и неравенств всегда допусим знак логического следствия? Речь идёт о конкретной задаче. А что можно и чего нельзя - это слишком обширная тема, и не для этого форума. Простите, здесь предметом обсужудения являются неравенства, которые представлены автором решения. Неравенства - не высказывания, а высказывательные формы (предикаты)! Разница есть. И какая разница? Достаточно известная!
|
|
| |
|
|
|
|
Владимiръ
|
Заголовок сообщения: Re: Тренировочный вариант №489 Добавлено: 09 фев 2025, 18:15 |
|
Зарегистрирован: 08 мар 2017, 23:11
Сообщений: 703
Откуда: Пущино
|
rgg писал(а): Простите, здесь предметом обсужудения являются неравенства, которые представлены автором решения. Неравенства - не высказывания, а высказывательные формы (предикаты)! Разница есть. И какая разница? Достаточно известная! Неравенства могут быть верными (истинными) или нет (ложными). И этого для дальнейших логических построений достаточно.
|
|
| |
|
|
|
|
rgg
|
Заголовок сообщения: Re: Тренировочный вариант №489 Добавлено: 09 фев 2025, 18:24 |
|
Зарегистрирован: 29 окт 2014, 22:13
Сообщений: 3905
|
Владимiръ писал(а): rgg писал(а): Простите, здесь предметом обсужудения являются неравенства, которые представлены автором решения. Неравенства - не высказывания, а высказывательные формы (предикаты)! Разница есть. И какая разница? Достаточно известная! Неравенства могут быть верными (истинными) или нет (ложными). И этого для дальнейших логических построений достаточно. при некоторых значениях переменной может быть истинным, а при лругих... ложным!
|
|
| |
|
|
|
|
Владимiръ
|
Заголовок сообщения: Re: Тренировочный вариант №489 Добавлено: 09 фев 2025, 18:36 |
|
Зарегистрирован: 08 мар 2017, 23:11
Сообщений: 703
Откуда: Пущино
|
rgg писал(а): Владимiръ писал(а): rgg писал(а): Простите, здесь предметом обсужудения являются неравенства, которые представлены автором решения. Неравенства - не высказывания, а высказывательные формы (предикаты)! Разница есть. И какая разница? Достаточно известная! Неравенства могут быть верными (истинными) или нет (ложными). И этого для дальнейших логических построений достаточно. при некоторых значениях переменной может быть истинным, а при лругих... ложным! Это нормально. Что здесь странного?
|
|
| |
|
|
|
|
rgg
|
Заголовок сообщения: Re: Тренировочный вариант №489 Добавлено: 09 фев 2025, 18:53 |
|
Зарегистрирован: 29 окт 2014, 22:13
Сообщений: 3905
|
Владимiръ писал(а): Это нормально. Что здесь странного? Так это же истина! Кто сомневается? Остатеся только найти такие значения переменной. 1) Молча (без применения символа импликации). 2) С применением символа эквиваленции. Последнее будет свидетельствовать о том, что те значения, которые могут обратить данное неравенство в ложное высказывание, не содержатся.
|
|
| |
|
|
|
|
Владимiръ
|
Заголовок сообщения: Re: Тренировочный вариант №489 Добавлено: 09 фев 2025, 19:03 |
|
Зарегистрирован: 08 мар 2017, 23:11
Сообщений: 703
Откуда: Пущино
|
rgg писал(а): Владимiръ писал(а): Это нормально. Что здесь странного? Так это же истина! Кто сомневается? Остатеся только найти такие значения переменной. 1) Молча (без применения символа импликации). 2) С применением символа эквиваленции. Последнее будет свидетельствовать о том, что те значения, которые могут обратить данное неравенство в ложное высказывание, не содержатся. Простите, Радиф Галиевич, но я не вижу смысла продолжать диалог. Повторю только, что первое решение Сергея Вениаминовича правильное.
|
|
| |
|
|
|
|
rgg
|
Заголовок сообщения: Re: Тренировочный вариант №489 Добавлено: 09 фев 2025, 20:33 |
|
Зарегистрирован: 29 окт 2014, 22:13
Сообщений: 3905
|
Владимiръ писал(а): rgg писал(а): Владимiръ писал(а): Это нормально. Что здесь странного? Так это же истина! Кто сомневается? Остатеся только найти такие значения переменной. 1) Молча (без применения символа импликации). 2) С применением символа эквиваленции. Последнее будет свидетельствовать о том, что те значения, которые могут обратить данное неравенство в ложное высказывание, не содержатся. Простите, Радиф Галиевич, но я не вижу смысла продолжать диалог. Повторю только, что первое решение Сергея Вениаминовича правильное. Так это же истина! Кто сомневается? Остатеся только найти такие значения переменной. 1) Молча (без применения символа импликации). 2) С применением символа эквиваленции. Последнее будет свидетельствовать о том, что те значения, которые могут обратить данное неравенство в ложное высказывание, не содержатся. Он ведь подчеркнул, что переходит к неравенству - следствию поставив знак логического следствия! А неравенство - следствие может содержать и посторонние решения! Это он делает из-за отстуствия необходимых знаний. Что стоит даже то, что логическую связку он называет стрелкой?.. Грустно, очень грустно...
|
|
| |
|
|
|
|
rgg
|
Заголовок сообщения: Re: Тренировочный вариант №489 Добавлено: 10 фев 2025, 10:12 |
|
Зарегистрирован: 29 окт 2014, 22:13
Сообщений: 3905
|
|
1) Об истинности уравнений и неравенств говорить невозможно. Так как они (уравнения и неравенства) не являются высказываниями.
2) Они (уравнения и неравенства) обращаются в высказывания, тогда и только тогда, когда вместо переменных (неизвестных) подставлены найденные в результате исследований значения переменных.
3) Тогда и только тогда можно говорить истинно или ложно полученное равенство (неравенство), о котором говорится выше. Но нельзя говорить истинно и ложно одновеменно.
|
|
| |
|
|
|
|
|
|
|
|
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 16 |
| |
|
|
Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения
|
|
|
