Слайд 1ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ
ИСТИННОСТИ
Слайд 2Алгебра в широком смысле этого слова – наука об общих
операциях, аналогичных сложению и умножению, которые могут выполняться над различными
математическими объектами (алгебра переменных и функций, алгебра векторов и т.д).
Слайд 3
Объектами алгебра логики являются высказывания. Алгебра логики отвлекается от смысловой
содержательности высказываний. Ее интересует только один факт – истинно или
ложно данное высказывание, что дает возможность определять истинность или ложность составных высказываний.
Истинному высказыванию ставится в соответствие 1, а ложному 0.
Слайд 4Логическая операция КОНЪЮНКЦИЯ
(логическое умножение).
В естественном языке звучит как И.
В алгебре
логики обозначается как &.
В языках программирования обозначается AND.
Слайд 5Конъюнкция двух высказываний будет истина, тогда и только тогда, когда
оба высказывания истинны.
Таблица истинности:
Слайд 6Конъюнкция двух высказываний будет истина, тогда и только тогда, когда
оба высказывания истинны.
Таблица истинности:
Слайд 7Конъюнкция двух высказываний будет истина, тогда и только тогда, когда
оба высказывания истинны.
Таблица истинности:
Слайд 8Конъюнкция двух высказываний будет истина, тогда и только тогда, когда
оба высказывания истинны.
Таблица истинности:
Слайд 9Конъюнкция двух высказываний будет истина, тогда и только тогда, когда
оба высказывания истинны.
Таблица истинности:
Слайд 10Логическая операция ДИЗЪЮНКЦИЯ
(логическое сложение).
В естественном языке звучит как ИЛИ.
В алгебре
логики обозначается как ∨.
В языках программирования обозначается OR.
Слайд 11Дизъюнкция двух высказываний будет истина, если хотя бы одно из
высказываний истина.
Таблица истинности:
Слайд 12Дизъюнкция двух высказываний будет истина, если хотя бы одно из
высказываний истина.
Таблица истинности:
Слайд 13Дизъюнкция двух высказываний будет истина, если хотя бы одно из
высказываний истина.
Таблица истинности:
Слайд 14Дизъюнкция двух высказываний будет истина, если хотя бы одно из
высказываний истина.
Таблица истинности:
Слайд 15Дизъюнкция двух высказываний будет истина, если хотя бы одно из
высказываний истина.
Таблица истинности:
Слайд 16Логическая операция ИНВЕРСИЯ (отрицание
В естественном языке звучит как НЕ.
В алгебре
логики обозначается как А ( А).
В языках программирования обозначается
NOT.
Слайд 17Пусть есть высказывание А. Отрицание высказывания будет истина, если высказывание
А ложь, и отрицание высказывания А ложь, если высказывание А
истина.
Таблица истинности:
Слайд 18Пусть есть высказывание А. Отрицание высказывания будет истина, если высказывание
А ложь, и отрицание высказывания А ложь, если высказывание А
истина.
Таблица истинности:
Слайд 19Пусть есть высказывание А. Отрицание высказывания будет истина, если высказывание
А ложь, и отрицание высказывания А ложь, если высказывание А
истина.
Таблица истинности:
Слайд 20Логическая операция ИМПЛИКАЦИЯ
(следование).
В естественном языке звучит как ЕСЛИ, ТО.
В алгебре
логики обозначается как ⇒.
Слайд 21Импликация – это логическая операция, ложная тогда и только тогда,
когда из истинной предпосылки следует ложный вывод.
Таблица истинности:
Слайд 22Импликация – это логическая операция, ложная тогда и только тогда,
когда из истинной предпосылки следует ложный вывод.
Таблица истинности:
Слайд 23Импликация – это логическая операция, ложная тогда и только тогда,
когда из истинной предпосылки следует ложный вывод.
Таблица истинности:
Слайд 24Импликация – это логическая операция, ложная тогда и только тогда,
когда из истинной предпосылки следует ложный вывод.
Таблица истинности:
Слайд 25Импликация – это логическая операция, ложная тогда и только тогда,
когда из истинной предпосылки следует ложный вывод.
Таблица истинности:
Слайд 26Логическая операция ЭКВИВАЛЕНЦИЯ
(равнозначность).
В естественном языке звучит как: ТОГДА И
ТОЛЬКО ТОГДА, В ТОМ И ТОЛЬКО В ТОМ СЛУЧАЕ.
В
алгебре логики обозначается как ⇔.
Слайд 27Истинна тогда и только тогда, когда оба высказывания истинны или
оба высказывания ложны.
Таблица истинности:
Слайд 28Истинна тогда и только тогда, когда оба высказывания истинны или
оба высказывания ложны.
Таблица истинности:
Слайд 29Истинна тогда и только тогда, когда оба высказывания истинны или
оба высказывания ложны.
Таблица истинности:
Слайд 30Истинна тогда и только тогда, когда оба высказывания истинны или
оба высказывания ложны.
Таблица истинности:
Слайд 31Истинна тогда и только тогда, когда оба высказывания истинны или
оба высказывания ложны.
Таблица истинности:
Слайд 32Логические операции имеют следующий приоритет выполнения:
действия в скобках
инверсия
конъюнкция
дизъюнкция
импликация и эквивалентность.