Содержание
- 2. Историческая справка: Математическая логика – раздел математики, изучающий математические доказательства и вопросы оснований математики. Логика как
- 3. В 17 в. немецкий ученый Лейбниц задумал создать новую науку, которая была бы «искусством исчисления истины».
- 4. Только в середине 19 в. ирландский математик Джордж Буль воплотил идею Лейбница. В 1854 году им
- 5. На языке булевой алгебры можно описать рассуждения и "вычислить" их результаты. Однако ею охватываются далеко не
- 6. АЛГЕБРА ВЫСКАЗЫВАНИЙ Основными понятиями логики высказываний являются высказывания и логические связки (операции над высказываниями). В логике
- 7. Кванторы Одним из способов получения высказываний из предикатов является навешивание кванторов. Для этого перед предикатом пишут
- 8. квантор существования « ∃» Квантор существования — это символ, обозначающий единственное существование и читается как «существует»
- 9. квантор всеобщности «∀» Квантор всеобщности — это символ, обозначающий всеобщность и читается как «для любого» или
- 10. Высказывания и не только в нашей жизни…
- 11. МЫШЛЕНИЕ осуществляется через: Понятия Высказывания Умозаключения
- 12. ВЫСКАЗЫВАНИЕ формулировка своего понимания окружающего мира (повествовательное предложение в котором что-либо утверждается или отрицается) (Пример: Париж
- 13. ВЫСКАЗЫВАНИЕ ИСТИННОЕ ЛОЖНОЕ (Пример: Буква «А» - (Пример: Компьютер гласная) был изобретен до нашей эры)
- 14. УМОЗАКЛЮЧЕНИЕ форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение
- 15. Вопросительные, повелительные и бессмысленные предложения не являются логическими высказываниями. По аналогии с элементарной алгеброй, где любое
- 16. Пример: предложение « 2x = 4» не является высказыванием. Для того чтобы имело смысл говорить об
- 17. Операции над высказываниями В логике над высказываниями производятся следующие основные операции (логические связки): отрицание, конъюнкция, дизъюнкция,
- 18. Отрицание (логическая связка «не») Отрицанием (инверсией) высказывания A называется высказывание, которое истинно, если высказывание A ложно,
- 19. Логическое умножение (конъюнкция) Конъюнкция двух высказываний A и B — это сложное логическое высказывание, которое истинно
- 20. Логическое сложение (дизъюнкция) Дизъюнкция двух высказываний A и B — это сложное логическое высказывание, которое ложно
- 21. Логическое следование (импликация) В математических доказательствах часто пользуются сложными высказываниями, образованными с помощью слов «если…, то…».
- 22. Таблица истинности для импликации
- 23. Пример: Определение импликации вынуждает считать истинными такие предложения, как: «Если 2×2=4, то Москва столица России». Это
- 24. Логическое тождество (эквиваленция) Эквиваленцией (эквивалентностью, равнозначностью) двух высказываний A и B называется высказывание, обозначаемое символом A↔B,
- 25. Исключающее «или» (неравнозначность) Неравнозначностью двух высказываний A и B называется высказывание, истинное, когда истинностные значения A
- 26. Законы алгебры логики
- 27. Для предикатов характерны те же действия, что и для высказываний, а именно: Конъюнкция Дизъюнкция Импликация Эквиваленция
- 28. Множеством истинности предиката Р(х), заданного на множестве М, называют множество таких значений х, при которых высказывание
- 29. Решение задач
- 30. Задача №1 Для какого числа X истинно высказывание: ((x 1)1 2)2 3)3 4)4 Решение: Подставляем в
- 31. Задача №2 Для какого имени ложно высказывание: (первая буква гласная ^последняя буква согласная)→ ¬(третья буква согласная)?
- 32. Задача №3 Построить таблицу истинности для следующей функции: F(X,Y,Z)=(x→y)·z + ¬y Решение: 1) Нарисуем таблицу на
- 33. Задача №4 Каково наименьшее натуральное число X, при котором истинно высказывание Решение: Импликация ложна, когда первое
- 34. Задача №5 В табличной форме представлен фрагмент базы данных о результатах тестирования учащихся : Сколько записей
- 35. Задача №5 Решение: Первому условию Пол=’м’ удовлетворяют записи №2, №3. Второму условию Химия>Биология удовлетворяют записи №2,№5,№6.
- 36. Задания 1) Для какого числа X истинно высказывание: 1)1 2)3 3)4 4)2 2) Для какого числа
- 38. Скачать презентацию