
Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:МАТ_ ЛОГИКА / Математическая логика_Лекция 1.ppt
X
- •МАТЕМАТИЧЕСКАЯ
- •Становление математической логики
- •Джордж Буль
- •Большой вклад в становление и развитие алгебры логики внесли
- •Логика – это наука о формах и способах мышления
- •Высказывание
- •Об истинности высказываний
- •Логические высказывания
- •Обозначение высказываний
- •Логические
- •Логическое отрицание (инверсия)
- •Логическое отрицание (инверсия)
- •Логическое сложение (дизъюнкция)
- •Логическое сложение (дизъюнкция)
- •Логическое умножение (конъюнкция)
- •Логическое умножение (конъюнкция)
- •Логическое следование (импликация)
- •Равносильность
- •Равносильность
- •Логическая
- •Порядок выполнения операций:
- •Запомни!
- •Алгоритм построения таблицы истинности логической формулы:
- •Пример: Для формулы А & (B v ¬ B & ¬ C)
- •Задача: Пусть a, b, c – логические величины, которые имеют следующие значения: a
- •Задача: Пусть a, b, c – логические величины, которые имеют следующие значения: a
- •Пример. Построим таблицу истинности следующей функции:
- •Построим таблицу истинности для следующей
- •Задание. Построить таблицу истинности для следующих функций:
- •Спасибо за внимание!!!
Соседние файлы в папке МАТ_ ЛОГИКА