Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 2 из 2 |
[ Сообщений: 12 ] | На страницу Пред. 1, 2 |
|
Автор | Сообщение | |
---|---|---|
Dave Bowman |
|
|
3D Homer писал(а): Правильно. Спасибо большое, что помогли разобраться! Просто у Игошина (Игошин В.И. Математическая логика, 2016), где приводится этот пример, про формулировку "Если четырёхугольник является прямоугольником, то он является квадратом, или же он является квадратом, если он является ромбом. " говорится, что "это утверждение конечно же ложно". И в соответствии со здравым смыслом я с этим согласился. Как оказалось, автор вводит в заблуждение. |
||
Вернуться к началу | ||
3D Homer |
|
|
Да, здесь дело не в том, что, как пишет Игошин, "математическая логика отражает процесс человеческого мышления с определенной степенью приближенности" (хотя это так), а в неоднозначности естественного языка. Утверждение вида "если [math]P_1(x)[/math], то [math]Q_1(x)[/math], или если [math]P_2(x)[/math], то [math]Q_2(x)[/math]" явно не содержит кванторов, и если имеется имеется в виду высказывание, то есть что-то истинное или ложное вне зависимости от [math]x[/math], то [math]x[/math] нужно связать квантором всеобщности. Это можно сделать разными способами, как указано в сообщении 4 на с. 1.
|
||
Вернуться к началу | ||
За это сообщение пользователю 3D Homer "Спасибо" сказали: Dave Bowman |
||
На страницу Пред. 1, 2 | [ Сообщений: 12 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Как автор пришел к такому выводу? | 5 |
243 |
20 апр 2022, 20:09 |
|
Вопрос по выводу формул элипса и гиперболы
в форуме Линейная и Абстрактная алгебра |
10 |
250 |
16 июн 2021, 19:48 |
|
Равносильность | 3 |
282 |
30 мар 2016, 17:48 |
|
Равносильность неравенств
в форуме Алгебра |
6 |
453 |
29 авг 2016, 13:41 |
|
Равносильность уравнений
в форуме Тригонометрия |
6 |
653 |
23 янв 2015, 19:10 |
|
Равносильность уравнений
в форуме Алгебра |
1 |
370 |
02 май 2015, 09:04 |
|
Равносильность и следствие
в форуме Алгебра |
5 |
1090 |
24 сен 2015, 00:25 |
|
Доказать равносильность | 1 |
281 |
25 дек 2015, 15:43 |
|
Равносильность неравенства
в форуме Алгебра |
4 |
406 |
23 сен 2016, 16:22 |
|
Равносильность логических формул | 2 |
300 |
28 мар 2016, 09:40 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 22 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |