логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда. - презентация

1

2 логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны. В естественном языке соответствует союзу «И»; В алгебре высказываний обозначение & ^ · В языках программирования And;

3 В алгебре логики конъюнкции соответствует операция ПЕРЕСЕЧЕНИЯ МНОЖЕСТВ, то есть множеству, получившемуся в результате умножения множеств А и В, соответствует множество, состоящее из элементов, принадлежащих одновременно двум множествам. Таблица истинности А В A&B Диаграмма Эйлера-Венна

4 & А В F(A,B)=АВ ^

5 ДИЗЪЮНКЦИЯ – логическая операция, которая каждым двум простым высказываниям ставит в соответствие составное высказывание, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложным и истинным, когда хотя бы одно из двух образующих его высказываний истинно. В естественном языке соответствует союзу «ИЛИ»; В алгебре высказываний обозначение +, v В языках программирования or;

6 В алгебре логики ДИЗЪЮНКЦИЯ соответствует операция ОБЪЕДИНЕНИЕ МНОЖЕСТВ, то есть множеству, получившемуся в результате умножения множеств А и В, соответствует множество, состоящее из элементов, принадлежащих одновременно двум множествам. Таблица истинности А В A&B Диаграмма Эйлера-Венна

7 1 А В F(A,B)=АВ ^

8 ИНВЕРСИЯ – логическая операция, которая каждому простому высказыванию ставит в соответствие составное высказывание, заключающееся в том, что исходное высказывание отрицается. В естественном языке соответствует словам НЕВЕРНО, ЧТО… и частице «НЕ»; В алгебре высказываний обозначение Ā В языках программирования Not;

9 В алгебре множеств логическому отрицанию соответствует операция ДОПОЛНЕНИЕ ДО УНИВЕСАЛЬНОГО МНОЖЕСТВА, то есть множеству, получившемуся в результате отрицания множества А, соответствует множество А, дополняющее его до универсального множества. Таблица истинности А Ā Диаграмма Эйлера-Венна А Ā

10 А F(A)=АВ L Ā

11 логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно. В естественном языке соответствует союзу «если…, то»; В алгебре высказываний обозначение =>·

12 Таблица истинности А В F= A=>B

13 логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны. В естественном языке соответствует оборотам речи «тогда и только тогда; в том и только в том случае;» В алгебре высказываний обозначение ·

14 Таблица истинности А В F= A B

15 Действия в скобках Инверсия Конъюнкция Дизъюнкция Импликация эквивалентность

16

17

18 1& 0 0 1& 0

19 0& 1 1 0& 1

20 0V 0 1 0V 0

21 Законы логики отражают наиболее важные закономерности логического мышления. В алгебре высказываний законы логики записываются в виде формул, которые позволяют производить эквивалентные преобразования логических выражений.

22 Всякое высказывание тождественно самому себе

23 Высказывание не может быть одновременно истинным и ложным. Если высказывание А истинно, то его отрицание не А должно быть ложным. Следовательно, логическое произведение высказывания и его отрицания должно быть ложно

24 Высказывание может быть либо истинным, либо ложным, третьего не дано. Это означает, что результат логического сложения высказывание и его отрицания всегда принимает значение «истина».

25 Если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание.

26 Закон коммутативности. В обычной алгебре слагаемые и множители можно менять местами. В алгебре логики можно менять местами логические переменные при операциях логического умножения и логического сложения:

27 Закон ассоциативности. Если в логическом выражении используются только операция логического умножения или только операция логического сложения, то можно пренебрегать скобками или произвольно их расставлять:

28 Закон дистрибутивности. В отличие от обычной алгебры, где за скобки можно выносить только общие множители, в алгебре высказываний можно выносить за скобки как общие множители, так и общие слагаемые: