Основы логики Алгебра высказываний
Содержание
- 2. Алгебра высказываний Алгебра высказываний была разработана для того, чтобы определять истинность
- 3. Логические переменные Логические переменные – простые высказывания, содержащие только одну мысль.
- 4. Логические переменные Например, два простых высказывания: А = «2
- 5. В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать
- 6. В алгебре высказываний над логическими переменными (над высказываниями) можно производить определенные
- 7. Составные высказывания Высказывания, состоящие из нескольких простых суждений и содержащие в
- 8. Логические операции Конъюнкция (логическое умножение, «И») Дизъюнкция (логическое сложение, «ИЛИ») Инверсия
- 9. Объединение двух или нескольких высказываний в одно с помощью союза «И»
- 10. Логическая функция, полученная в результате конъюнкции, истинна тогда и только тогда,
- 11. Конъюнкция. Определите истинность логической функции «2 2 = 5»
- 12. Запись конъюнкции на формальном языке алгебры высказываний F(A,B) = A
- 13. Значение логической функции определяется по ее таблице истинности Таблица истинности показывает
- 14. Таблица истинности для конъюнкции
- 15. Таблица истинности для конъюнкции
- 16. Объединение двух или нескольких высказываний в одно с помощью союза «ИЛИ»
- 17. Логическая функция, полученная в результате дизъюнкции, истинна тогда, когда истинна хотя
- 18. Дизъюнкция. Определите истинность логической функции «2 2 = 5»
- 19. Запись дизъюнкции на формальном языке алгебры высказываний F(A,B) = A
- 20. Таблица истинности для дизъюнкции
- 21. Таблица истинности для дизъюнкции
- 22. Присоединение частицы «НЕ» к высказыванию называется операцией логического отрицания, или инверсией
- 23. Логическое отрицание (инверсия) делает истинное высказывание ложным, а ложное – истинным
- 24. Инверсия Пусть A = «2 2 = 4» –
- 25. Запись инверсии на формальном языке алгебры высказываний F(A) = ¬A или
- 26. Таблица истинности для инверсии
- 27. Таблицы истинности основных логических функций
- 28. Дополнительные логические функции Импликацию и эквивалентность можно выразить через конъюнкцию,
- 29. Импликация Объединение двух высказываний, из которых первое является условием, а второе
- 30. Импликация Импликация ложна тогда и только тогда, когда условие истинно, а
- 31. Таблица истинности для импликации
- 32. Эквивалентность Эквивалентность – это логическая операция, объединяющая два простых высказывания в
- 33. Таблица истинности для эквивалентности
- 34. Переместительный Дизъюнкция: X Y ≡ Y X Конъюнкция:
- 35. Сочетательный Дизъюнкция: X (Y Z) ≡ (X Y)
- 36. Распределительный Дизъюнкция: X (Y Z) ≡ X Y
- 37. Правила де Моргана Дизъюнкция: ¬(X Y) ≡ ¬X
- 38. Идемпотенции Дизъюнкция: X X ≡ X Конъюнкция:
- 39. Поглощения Дизъюнкция: X (X Y) ≡ X
- 40. Склеивания Дизъюнкция: (X Y) (¬X Y) ≡
- 41. Переменная со своей инверсией Дизъюнкция: X ¬X ≡ 1
- 42. Операция с константами Дизъюнкция: X 0 ≡ X, X
- 43. Двойного отрицания ¬(¬X) ≡ X
- 44. Порядок действий Действия в скобках Отрицание Конъюнкция Дизъюнкция Импликация Эквивалентность
- 45. Скачать презентацию
Слайды и текст этой презентации
Презентация на тему Основы логики Алгебра высказываний доступна для скачивания ниже: