Содержание
- 2. АЛГЕБРА в широком смысле этого слова – наука об общих операциях, аналогичных сложению и умножению, которые
- 3. Алгебра логики отвлекается от смысловой содержательности высказываний. Ее интересует только один факт – истинно или ложно
- 4. Простые высказывания в алгебре логики обозначаются заглавными буквами А = {Аристотель – основоположник логики} В =
- 5. Составные высказывания на естественном языке образуются с помощью союзов, которые в алгебре высказываний заменяются на логические
- 6. Логическая операция КОНЪЮНКЦИЯ (логическое умножение) В естественном языке соответствует союзу и В алгебре высказываний обозначается ⋅
- 7. Конъюнкция – это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным
- 8. Пример. Даны высказывания. Определите истинность каждого из них. А = {10 делится на 2 и 5
- 9. Таблица истинности
- 10. Логическая операция ДИЗЪЮНКЦИЯ (логическое сложение) В естественном языке соответствует союзу или. В алгебре высказываний обозначается ∨
- 11. Дизъюнкция – Дизъюнкция – это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание,
- 12. Пример. Даны высказывания. Определите истинность каждого из них. Пример. Даны высказывания. Определите истинность каждого из них.
- 13. Таблица истинности Таблица истинности
- 14. Логическая операция ОТРИЦАНИЕ (инверсия) В естественном языке соответствует частице не. В алгебре высказываний обозначается А, ¬А
- 15. Отрицание – это логическая операция, которая каждому простому истинному высказыванию ставит в соответствие ложное высказывание.
- 16. Пример А = {Луна – спутник Земли} А = {Луна – не спутник Земли}
- 17. Таблица истинности
- 18. Логическая операция ИМПЛИКАЦИЯ (логическое следование) Логическая операция ИМПЛИКАЦИЯ (логическое следование) В естественном языке соответствует обороту если
- 19. Импликация – Импликация – это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание,
- 20. Пример. Даны высказывания. Пример. Даны высказывания. А = {Данный четырехугольник - квадрат} В = {Около данного
- 21. А истинно и В истинно, т. е. если данный четырехугольник – квадрат, то около него можно
- 22. Таблица истинности Таблица истинности
- 23. Логическая операция ЭКВИВАЛЕНЦИЯ (равнозначность) Логическая операция ЭКВИВАЛЕНЦИЯ (равнозначность) В естественном языке соответствует оборотам речи тогда и
- 24. Эквиваленция – Эквиваленция – это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание,
- 25. Пример. Определить истинность высказываний. Пример. Определить истинность высказываний. А = {24 делится на 6 тогда и
- 26. Таблица истинности Таблица истинности
- 28. Скачать презентацию