Содержание
- 2. (2 ноября 1815- 8 декабря 1864, английский математик и логик. Джордж Буль Алгебра высказываний является теоретической
- 3. Алгебра высказываний 1. Основные понятия. Логические операции Под высказыванием мы понимаем предложение, о котором можно сказать,
- 4. Операции над высказываниями. Отрицание Определение 1 Высказывание "неверно, что А" называется отрицанием А и обозначается Задается
- 5. Из высказываний А, В можно образовать высказывание "А и В". Определение 2 Высказывание "А и В"
- 6. Из высказываний А, В можно образовать высказывание "А или В". Определение 3 Высказывание "А или В"
- 7. Из высказываний А, В можно образовать следующее высказывание: "А тогда и только тогда, когда В". Например,
- 8. Эквивалентность задается таблицей истинности: Эквивалентность
- 9. Из высказываний А и В можно образовать высказывание "если А, то В". Например, если две прямые
- 10. Задается импликация таблицей истинности: Импликация Примеры 1. D="если сегодня среда, то завтра будет четверг" D=1 2.
- 11. Сделаем замечания, которые могут прояснить суть определения таблицы истинности для импликации и, возможно, помогут получше ее
- 12. Пример Формализовать высказывание: F=«Хлеба уцелеют тогда и только тогда, когда будут вырыты ирригационные канавы; если хлеба
- 14. Скачать презентацию