Содержание
- 2. СОДЕРЖАНИЕ 1. Понятие «математическая логика» 2. Из истории... 3. Понятие «высказывание» 4. Логические операции над высказываниями
- 3. Математическая логика – современный вид формальной логики, то есть науки, изучающей умозаключения с точки зрения их
- 4. Вплоть до начала XIX века формальная логика практически не выходила за рамки силлогических умозаключений. Однако, начиная
- 5. ВЫСКАЗЫВАНИЕ Основным объектом, изучаемым математической логикой является высказывание. Высказыванием называется повествовательное предложение, о котором в данной
- 7. Высказывание обозначаются прописными латинскими буквами A, B, C,…. Подобно тому, как в алгебре числа обозначаются буквами
- 8. Отрицанием высказывания Х называется высказывание ¬Х, которое истинно, когда Х ложно, и ложно, когда Х истинно.
- 9. Конъюнкцией двух высказываний Х и Y называется высказывание, которое истинно только в том случае, когда Х
- 10. Дизъюнкцией двух высказываний Х и Y называется высказывание, которое истинно, когда хотя бы одно из них
- 11. Импликацией двух высказываний Х и Y называется высказывание, которое ложно тогда и только тогда, когда Х
- 12. Эквивалентностью высказываний Х и Y называется высказывание, которое истинно тогда и только тогда, когда Х и
- 13. ПОСТРОЕНИЕ ОТРИЦАНИЯ При построении отрицания к простому высказыванию используется простой речевой оборот «неверно, что...», либо отрицание
- 14. ПРЕДИКАТЫ Предикат — один из элементов логики первого и высших порядков. Начиная с логики второго порядка,
- 15. ПРИМЕР ПРЕДИКАТОВ Обозначим предикатом EQ(x, y) отношение равенства («x = y»), где x и y принадлежат
- 16. РАССУЖДЕНИЕ Рассуждение — сопоставление мыслей, связывание их для соответствующих выводов. Рассуждения является предметом логики. Логическое мышление
- 17. ОСНОВНЫЕ ФОРМЫ РАССУЖДЕНИЙ ПОНЯТИЕ СУЖДЕНИЕ УМОЗАКЛЮЧЕНИЕ ДЕДУКТИВНОЕ ИНДУКТИВНОЕ
- 18. Понятие — отображённое в мышлении единство существенных свойств, связей и отношений предметов или явлений. Суждение —
- 20. Скачать презентацию