ального множества.
Диаграмма Эйлера - Венна
Логическая операция импликация (логическое следование):
В естественном языке соответствует обороту: "если . . . , то . . . ";
В алгебре высказываний обозначение: ;
Импликация - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно.
А
В
AB
0
0
1
0
1
1
1
0
0
1
1
1
Логическая операция эквиваленция (равнозначность):
В естественном языке соответствует обороту: "тогда и только тогда" и "в том случае и только в том случае";
В алгебре высказываний обозначение: и ;
Эквиваленция - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба высказывания одновременно истинны или одновременно ложны.
А
В
AB
0
0
1
0
1
0
1
0
0
1
1
1
Логические операции имеют следующий приоритет:
- действия в скобках;
- инверсия;
- умножение;
- сложение;
- импликация;
- эквиваленция.
Домашнее задание: читать п. 3. 2. 2 и 3. 2. 3, учить определения и таблицы истинности.
Тема: Алгебра высказываний: логическое сложение, отрицание
(дизъюнкция. инверсия)
Дата: I группа - , II группа -
Цель: применить полученные знания по теме "Алгебра высказываний" при выполнении заданий, закрепить изученный материал. Развивать память. Воспитывать умение сравнивать и анализи
Страницы: << < 6 | 7 | 8 | 9 | 10 > >>