Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 12 ]  На страницу Пред.  1, 2
Автор Сообщение
 Заголовок сообщения: Re: Логическая равносильность приводит к неверному выводу
СообщениеДобавлено: 16 сен 2021, 18:23 
Не в сети
Начинающий
Зарегистрирован:
12 авг 2021, 18:19
Сообщений: 20
Cпасибо сказано: 14
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
3D Homer писал(а):
Правильно.

Спасибо большое, что помогли разобраться! Просто у Игошина (Игошин В.И. Математическая логика, 2016), где приводится этот пример, про формулировку "Если четырёхугольник является прямоугольником, то он является квадратом, или же он является квадратом, если он является ромбом. " говорится, что "это утверждение конечно же ложно". И в соответствии со здравым смыслом я с этим согласился. Как оказалось, автор вводит в заблуждение.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Логическая равносильность приводит к неверному выводу
СообщениеДобавлено: 16 сен 2021, 18:38 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
Да, здесь дело не в том, что, как пишет Игошин, "математическая логика отражает процесс человеческого мышления с определенной степенью приближенности" (хотя это так), а в неоднозначности естественного языка. Утверждение вида "если [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.

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю 3D Homer "Спасибо" сказали:
Dave Bowman
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему    На страницу Пред.  1, 2  Страница 2 из 2 [ Сообщений: 12 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Как автор пришел к такому выводу?

в форуме Аналитическая геометрия и Векторная алгебра

Atmf

5

243

20 апр 2022, 20:09

Вопрос по выводу формул элипса и гиперболы

в форуме Линейная и Абстрактная алгебра

pioner14

10

250

16 июн 2021, 19:48

Равносильность

в форуме Дискретная математика, Теория множеств и Логика

manchester_alan

3

282

30 мар 2016, 17:48

Равносильность неравенств

в форуме Алгебра

feechka-vinks

6

453

29 авг 2016, 13:41

Равносильность уравнений

в форуме Тригонометрия

Nas_tya+-

6

653

23 янв 2015, 19:10

Равносильность уравнений

в форуме Алгебра

Gagarin

1

370

02 май 2015, 09:04

Равносильность и следствие

в форуме Алгебра

SERGEYATAKA

5

1090

24 сен 2015, 00:25

Доказать равносильность

в форуме Дискретная математика, Теория множеств и Логика

Bunny987

1

281

25 дек 2015, 15:43

Равносильность неравенства

в форуме Алгебра

pritychka

4

406

23 сен 2016, 16:22

Равносильность логических формул

в форуме Дискретная математика, Теория множеств и Логика

vechnystudent

2

300

28 мар 2016, 09:40


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 22


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved