Содержание
- 2. Это было обусловлено прежде всегопроникновением в нее математических методов. Из истории логики первый продолжался более двух
- 3. Место логики высказывания Дискретная математика лежит в основе всей компьютерной логики и принципов организации ЭВМ. Логика
- 4. Место логики высказывания Высказывание Операции Формулы Интерпретация Равносильность Законы логики Введение в схемы ЭВМ Логика высказываний
- 5. Логика высказываний Логика высказывания: Простейшая логика Близка к человеческой логике неформальных рассуждений Основной объект логики высказывания:
- 6. Высказывание Высказывание – это утверждение или повествовательное предложение, о котором можно сказать истинно оно или ложно.
- 7. Представление Истины и Лжи позволяет использовать логику высказываний в логических основах ЭВМ
- 8. Операции
- 9. Операции Операции - способы построения одних высказываний из других
- 10. Операции Таблица истинности связок: Пример:
- 11. Условные высказывания Таблица истинности для высказывания
- 12. Пример. Требуется найти таблицу истинности для выражения
- 13. Пример. (продолжение)
- 15. Эквивалентные высказывания Особый интерес представляют сложные высказывания, имеющие различное строение, но являющиеся истинными в одних и
- 18. Формулы Как можно абстрагироваться от высказываний на естественном языке? Как можно применить математический аппарат для высказываний?
- 19. Формулы "если я куплю яблоки или абрикосы, то приготовлю фруктовый пирог" "если Игорь знает английский или
- 20. Формулы Использование операция в записи формул: Приоритет связок-операций: (аналогично с арифметическими операциями) - * / +
- 21. Интерпретация Формула Высказывание Высказывание Высказывание НОВОЕ Высказывание По ФОРМУЛЕ подстановка это форма для получения высказываний подстановка
- 22. F=X & Y Интерпретация Некая функция интерпретации I ставит в соответствие формуле (из области определения функции)
- 23. Интерпретация На самом деле от высказываний I(F) нам, в основном, будут нужны только их истинные значения
- 24. Равносильность Формулы, которые выражают одно и то же, например, формулы X V Y и Y V
- 25. Законы логики
- 26. Законы логики
- 27. Теорема.
- 28. Теорема (продолжение)
- 29. ЭКВИВАЛЕНТНЫЕ ВЫСКАЗЫВАНИЯ Высказывание, истинное во всех случаях, называется логически истинным, или тавтологией; высказывание, построенное так, что
- 30. ЭКВИВАЛЕНТНЫЕ ВЫСКАЗЫВАНИЯ Имея логически истинное высказывание - тавтологии, легко построить логически ложное высказывание - противоречие. Для
- 31. Условные высказывания могут выражаться в виде различных языковых конструкций, но символически все они записываются Примеры таких
- 32. Законы логики Модус поненс и модус толленс «Модусом» в логике называется разновидность некоторой общей формы рассуждения.
- 33. Законы логики Модусом толленсом называется следующая схема рассуждения: Если А. то В; неверно В Неверно А
- 34. Способы проверки на равносильность: Проверка на равносильность
- 35. Проверка на равносильность
- 36. Проверка на равносильность С использованием таблицы истинности при всевозможных интерпретациях X и Y интерпретации F и
- 38. Скачать презентацию