Слайд 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)