Содержание
- 2. Формы мышления и история развития алгебры логики История логики насчитывает около двух с половиной тысячелетий. Первые
- 3. Формы мышления и история развития алгебры логики Многие философы и математики развивали отдельные положения логики и
- 4. Логика – это наука о формах и способах мышления, рассуждений и доказательств. Мышление осуществляется через понятия,
- 5. Алгебра высказываний Алгебра высказываний была разработана для того, чтобы определять истинность или ложность составных высказываний, не
- 6. Высказывание Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о реальных предметах, их
- 7. Примеры высказываний Истинное высказывание: «Буква «А» - гласная». Ложное высказывание: «Компьютер был изобретен в середине XIX
- 8. Высказывания Простые называют повествовательное предложение, относительно которого имеет смысл говорить, истинно оно или ложно. Сложные (составные)
- 9. Логические выражения Логические переменные Логические константы Логические операции
- 10. Логические переменные Логические переменные – простые высказывания, содержащие только одну мысль. Обозначаются буквами латинского алфавита: A,
- 11. Логические константы Логические константы – принимают 2 значения.
- 12. В алгебре высказываний над логическими переменными (над высказываниями) можно производить определенные логические операции, в результате которых
- 13. Логические операции Конъюнкция (логическое умножение, «И») Дизъюнкция (логическое сложение, «ИЛИ») Инверсия (логическое отрицание, «НЕ») Импликация (логическое
- 14. Конъюнкция Объединение двух или нескольких высказываний в одно с помощью союза «И» называется операцией логического умножения,
- 15. Конъюнкция - логическое умножение От лат. conjunctio - связываю Результат логического умножения является истинным тогда и
- 16. Дизъюнкция Объединение двух или нескольких высказываний в одно с помощью союза «ИЛИ» называется операцией логического сложения,
- 17. Дизъюнкция - логическое сложение От лат. disjunctio – различаю Результат логического сложения является истинным тогда, когда
- 18. Инверсия Присоединение частицы «НЕ» к высказыванию называется операцией логического отрицания, или инверсией.
- 19. Инверсия - логическое отрицание От лат. inversio - переворачиваю Логическое отрицание делает истинное высказывание ложным и,
- 20. Импликация Логическое следование (импликация) образуется соединением двух высказываний в одно с помощью оборота речи «если …,
- 21. Импликация - логическое следование Результат логического следования является ложным тогда и только тогда, когда из истины
- 22. Эквивалентность Логическое равенство (эквивалентность) образуется соединением двух высказываний в одно с помощью оборота речи «… тогда
- 23. Эквивалентность - логическое равенство Результат логического равенства является истинным тогда и только тогда, когда оба высказывания
- 24. Строгая дизъюнкция Строгая дизъюнкция - логическая операция, по своему применению максимально приближенная к грамматической конструкции «либо
- 25. Строгая дизъюнкция Результат выполнения логической операции будет равен 1 (единице), если один из битов a или
- 26. Порядок действий Действия в скобках Отрицание Конъюнкция Дизъюнкция /Строгая дизъюнкция Импликация / Эквивалентность
- 27. «Точка Х принадлежит интервалу [A;B]» Упражнения по записи высказываний в виде логических выражений «Летом Петя поедет
- 29. Скачать презентацию