1 АЛГЕБРА АЛГЕБРА ВЫСКАЗЫВАНИЙ АЛГЕБРА

2 В алгебре высказываний суждениям (простым высказываниям) ставятся в соответствие логические переменные (заглавные буквы латинского алфавита). Для образования новых высказываний наиболее часто используются базовые логические операции, выражаемые словами «И», «ИЛИ», «НЕТ».

3 ЛОГИЧЕСКОЕ УМНОЖЕНИЕ (конъюнкция) В естественном языке – И; Обозначение - &; В языке программирования – and;

4 ЛОГИЧЕСКОЕ УМНОЖЕНИЕ (конъюнкция) Составное высказывание, образованное в результате операции логического умножения (конъюнкции), истинно тогда и только тогда, когда истинны входящие в него простые высказывания

5 ЛОГИЧЕСКОЕ УМНОЖЕНИЕ (конъюнкция) АВА&В

6 ЛОГИЧЕСКОЕ СЛОЖЕНИЕ (дизъюнкция) В естественном языке – ИЛИ; Обозначение - В языке программирования – or;

7 ЛОГИЧЕСКОЕ СЛОЖЕНИЕ (дизъюнкция) Составное высказывание, образованное в результате логического сложения (дизъюнкции), истинно тогда и только тогда, когда истинно хотя бы одно из входящих в него простых высказываний

8 ЛОГИЧЕСКОЕ СЛОЖЕНИЕ (дизъюнкция) АВА В

9 ЛОГИЧЕСКОЕ ОТРИЦАНИЕ (инверсия) В естественном языке – «Неверно, что …» и частичка не; Обозначение – A; В языке программирования – not;

10 ЛОГИЧЕСКОЕ ОТРИЦАНИЕ (инверсия) Отрицание – это логическая операция, которая каждому простому высказыванию ставит в соответствие составное высказывание, заключающееся в том, что исходное высказывание отрицаем. Логическое отрицание (инверсия) делает истинное высказывание ложным и, наоборот, ложное – истинным.

11 ЛОГИЧЕСКОЕ ОТРИЦАНИЕ (инверсия) АА 01 10

12 ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ (импликация) В естественном языке – «Если …, то …»; Обозначение –.

13 ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ (импликация) Импликация – это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно.

14 ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ (импликация) АВАВ

15 ЛОГИЧЕСКАЯ РАВНОЗНАЧНОСТЬ (эквиваленция) В естественном языке – «Тогда и только тогда и в том и только том случае»; Обозначение –.

16 ЛОГИЧЕСКАЯ РАВНОЗНАЧНОСТЬ (эквиваленция) Логическая равнозначность – это логическая операция, ставящая в соответствие каждым двум высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания одновременно истины или одновременно ложны.

17 ЛОГИЧЕСКАЯ РАВНОЗНАЧНОСТЬ (эквиваленция) АВА В

18 КОНТРОЛЬНЫЕ ВОПРОСЫ

19 1.Чем заменяются высказывания в алгебре высказываний? 2.Какие значения могут принимать логические переменные? 3.Какие существуют базовые логические операции и какими символами они обозначаются?

20 ЗАДАНИЯ ДЛЯ САМОСТОЯТЕЛЬНОГО ВЫПОЛНЕНИЯ

21 1.Постройте таблицу истинности операции логического умножения. Составьте составное высказывание, содержащее данную операцию. 2.Постройте таблицу истинности операции логического сложения. Составьте составное высказывание, содержащее данную операцию. 3.Постройте таблицу истинности операции логического отрицания. Составьте составное высказывание, содержащее данную операцию. 4.Простое высказывание А истинно, а высказывание В – ложно. Что можно сказать об истинности составного высказывания, которое объединяет эти простые операцией логического умножения? Логического сложения?

22 5. Даны два высказывания: А={2x2=4}, B={2x2=5} Какие из высказываний истинны? а)А; б)В; в)А&В; г)А В; д)А В; е)А В. 6. Даны простые высказывания: А={5>3}, B={2=3}, C={4

23 Спасибо за внимание Презентацию подготовила преподаватель информатики Галина Валентиновна