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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
 Заголовок сообщения: Лекции по математической логике
СообщениеДобавлено: 13 авг 2012, 19:07 
Не в сети
Администратор
Аватара пользователя
Зарегистрирован:
23 фев 2010, 22:52
Сообщений: 6003
Cпасибо сказано: 3247
Спасибо получено:
3150 раз в 2273 сообщениях
Очков репутации: 652

Добавить очки репутацииУменьшить очки репутации
Курс лекций по математической логики:

Аксиоматические построения и логические рассуждения
  • Высказывания и предикаты
  • Логические конструкции теорем

Методы доказательств теорем

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Alexdemath "Спасибо" сказали:
Abbas, Analitik, glover, mad_math, rfgbnfkbyf, Uncle Fedor
 Заголовок сообщения: Re: Лекции по математической логики
СообщениеДобавлено: 04 сен 2012, 17:17 
Не в сети
Администратор
Аватара пользователя
Зарегистрирован:
23 фев 2010, 22:52
Сообщений: 6003
Cпасибо сказано: 3247
Спасибо получено:
3150 раз в 2273 сообщениях
Очков репутации: 652

Добавить очки репутацииУменьшить очки репутации
1. Алгебра высказываний


2. Формализованной исчисление высказываний


3. Булевы функции


4. Логика предикатов

4.1. Логика предикатов
4.2. Логические операции над предикатами
4.3. Кванторные операции над предикатами
4.4. Формулы логики предикатов
4.5. Тавтологии логики предикатов
4.6. Равносильные преобразования формул и логическое следование их предикатов
4.7. Проблемы разрешения для общезначимости и выполнимости формул
4.8. Применение логики предикатов к математической практике
4.9. Строение математических теорем
4.10. Аристотелева силлогистика и методы рассуждений
4.11. Принцип полной дизъюнкции в предикатной форме
4.12. Метод полной математической индукции
4.13. Необходимые и достаточные условия
4.14. Логика предикатов и алгебра множеств
4.15. Формализованное исчисление предикатов

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Alexdemath "Спасибо" сказали:
Abbas, glover, rfgbnfkbyf, Sam909, Uncle Fedor
 Заголовок сообщения: Re: Лекции по математической логике
СообщениеДобавлено: 09 янв 2016, 03:23 
Не в сети
Начинающий
Аватара пользователя
Зарегистрирован:
04 янв 2016, 22:35
Сообщений: 3
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
В под-под-раделе

Модификация структуры математической теоремы

раздела

Приложение алгебры высказываний к доказательству теорем

содержится грубая логическая ошибка. Читаем:

4) (X∧Y)→Z≅(X→Z)∨(Y→Z). Данная равносильность служит ярким примером того, что к трактовке логических равносильностей в рассмотренном выше духе следует все же относиться с осторожностью. Рассмотрим в связи с данной равносильностью, например, следующие утверждения:

A: "Четырехугольник — прямоугольник";
B: "Четырехугольник — ромб";
C: "Четырехугольник — квадрат".

Тогда утверждение в левой части равносильности примет вид (A∧B)→C
"Если четырехугольник является прямоугольником и ромбом, то он является квадратом". Оно, несомненно, истинно.

В то же время утверждение в правой части принимает вид (A→C)∨(B→C):
"Если четырехугольник является прямоугольником, то он является квадратом, или же он является квадратом, если он является ромбом". Это утверждение конечно же ложно (выделено мной. --- prof_an).

Ложно не то утверждение, о котором говорит автор, а выделенное мной утверждение автора. Иначе говоря,

предложение (A→C)∨(B→C) в данном случае (т. е. при тех A, B, C, которые указаны выше) истинно.

Действительно, четырёхугольник, о котором идёт речь, либо является квадратом, либо не является им. Если он является квадратом, то заключения в обеих импликациях из дизъюнкции истинны, значит, обе импликации истинны, в силу чего и вся дизъюнкция истинна.

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

Итак, вопреки утверждению автора, рассмотренная дизюнкция истинна.

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

Надеюсь, после этого автор удалит из своих лекций все щедро рассыпанные в них несерьёзные озарения о приблизительности логики. Приблизительна не логика, приблизительно владение ею автором.

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 3 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Тест по математической логике

в форуме Объявления участников Форума

keotta

8

281

02 сен 2021, 14:34

Задание по математической логике

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

PavelD

1

185

11 янв 2022, 09:32

Книги по математической логике

в форуме Литература и Онлайн-ресурсы по математике

szafranji

2

312

22 окт 2019, 17:53

Решить задачу по математической логике

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

user2209

7

448

10 май 2021, 12:13

Нормальные формы в математической логике

в форуме Начала анализа и Другие разделы школьной математики

Alexandr K

1

303

10 май 2019, 08:36

Задача по математической логике и теории алгоритмов

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

uuuu

1

438

17 янв 2017, 16:39

Ссылки на лекции

в форуме Дифференциальное исчисление

bhelp

2

409

29 мар 2016, 15:44

Стоит ли ходить на лекции?

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

sfanter

4

540

12 окт 2015, 16:06

Зачем ходить на лекции по мат анализу?

в форуме Размышления по поводу и без

sfanter

16

930

24 окт 2015, 06:24

Ошибка в лекции. Тавтологии логики предикатов

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

algoritmiz22

2

361

17 ноя 2017, 07:22


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



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

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


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

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

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

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