Слайд 2Цели урока:
Познакомиться с основными логическими выражениями
Познакомиться с порядком выполнения логических операций в
сложном логическом выражении.
Слайд 3Вопросы для повторения:
- Что изучает логика?
- Что понимается под высказыванием?
- Что понимается под
утверждением?
- Дать определение понятию рассуждение?
- Что за понятие умозаключение?
- Дать определение понятию логическое выражение?
Слайд 4Основные логические операции:
Конъюнкция (A ^ B)
Дизъюнкция (A V B)
Инверсия ( A )
Импликация (A
=> B)
Эквивалентность ( A <=> B)
Слайд 5 1. Конъюнкция (логическое умножение, & или ^, «И») - ставит в соответствие
двум простым логическим выражениям новое - сложное логическое выражение, которое будет истинным тогда и только тогда, когда истинны оба исходных (простых) логических выражения.
Слайд 6Таблица истинности для конъюнкции:
0
0
0
1
Слайд 7 2. Дизъюнкция (логическое сложение, v, «ИЛИ») - ставит в соответствие двум простым
логическим выражениям новое сложное логическое выражение, которое будет истинным тогда и только тогда, когда истинно хотя бы одно из исходных (простых) логических выражений.
Слайд 8Таблица истинности для дизъюнкции:
0
1
1
1
Слайд 9 3. Инверсия (отрицание, , «НЕВЕРНО, ЧТО» ) - если исходное выражение истинно,
то результат его отрицания будет ложным, и наоборот если исходное выражение ложно, то его отрицание будет истинным.
Слайд 10Таблица истинности для инверсии:
1
1
0
0
Слайд 11 4. Импликация (логическое следование, =>, «если… , то…») – её результат является
ЛОЖЬ тогда и только тогда, когда условие истинно, а следствие ложно.
Слайд 12Таблица истинности для импликации:
1
1
0
1
Слайд 13 4. Эквивалентность (равнозначность, <=>) - ставит в соответствие двум простым логическим выражениям
новое сложное логическое выражение, которое будет истинным тогда и только тогда, когда оба исходных (простых) выражения одновременно истинны или ложны.
Слайд 14Таблица истинности для эквивалентности:
1
0
0
1
Слайд 15Порядок выполнения логических операций в сложном логическом выражении:
Конъюнкция (A ^ B)
Дизъюнкция (A
V B)
Инверсия ( A )
Импликация (A => B)
Эквивалентность ( A <=> B)
Для изменения указанного порядка выполнения логических операций используются круглые скобки.
Слайд 16Домашнее задание:
Выучить 5 основных логических операций и порядок выполнения логических операций в
сложном логическом выражении.
Слайд 17Определить порядок выполнения логических операций:
1. D= ( A v B ^ C)
1.
2.
3.
В ^C
A v В ^C
(A v В ^C)