Логика (древнегреч. - слово, мысль, понятие, рассуждение) - наука о законах и формах мышления(понятие, высказывание, умозаключение. Алгебра логики изучает. - презентация

1

2 Логика (древнегреч. - слово, мысль, понятие, рассуждение) - наука о законах и формах мышления(понятие, высказывание, умозаключение. Алгебра логики изучает общие операции над высказываниями.

3 Высказывание (суждение) - это повествовательное предложение, в котором что-либо утверждается или отрицается. По поводу любого высказывания можно сказать истинно оно или ложно.

4 Число 6 – четное. Здравствуйте! Все роботы являются машинами. Кто отсутствует? Выразите 1 ч 15 мин в секундах. А – первая буква в алфавите.

5 Треугольник – геометрическая фигура. У каждой лошади есть хвост. Париж - столица Китая. Лед – твердое состояние воды. Все люди космонавты.

6 В алгебре логики высказывания обозначаются именами логических переменных (А, В, С), которые могут принимать значения истина (1) или ложь (0). Истина, ложь – логические константы.

7 Логическое выражение – простое или сложное высказывание. Сложное высказывание строится из простых с помощью логических операции.

8 Конъюнкция( логическое умножение) – соединение двух логических выражений (высказываний ) с помощью союза И. Эта операция обозначается символами & и

9 А – У меня есть знания для сдачи зачета. В – У меня есть желание для сдачи зачета. У меня есть знания и желание для сдачи зачета. A&B

10 Вывод: Логическая операция конъюнкция истинна только в том случае, если оба простых высказывания истинны, в противном случае она ложна.

11 Дизъюнкция (логическое сложение) – соединение двух логических высказываний с помощью союза ИЛИ. Эта операция обозначается значком V.

12 A - Летом я поеду в лагерь B - Летом я поеду к бабушке. Летом я поеду в лагерь или поеду к бабушке. AVB

13 Правила выполнения логической операции отражаются в таблице, которая называется таблицей истинности.

14 Вывод: Логическая операция дизъюнкция ложна, если оба простых высказывания ложны. В остальных случаях она истинна

15 Отрицание ( инверсия) – добавляется частица НЕ или слова НЕВЕРНО,ЧТО, обозначается символом ¬, ¯.

16 Вывод: если исходное выражение истинно, то результат его отрицания будет ложным, и наоборот, если исходное выражение ложно, то оно будет истинным.

17 Все ученики изучают математику. Все ученики изучают литературу. Все ученики изучают математику и литературу. X>=3. Синий кубик меньше красного. Синий меньше зеленого. В кабинете есть учебники. В кабинете есть справочники.

18 Последовательность выполнения операций: отрицание, конъюнкция, дизъюнкция. Кроме того, на порядок выполнения операции влияют скобки, которые можно использовать в логических формулах.

19 Вычислить значение логической формулы: ¬ Х &У Х &Z, если логические переменные имеют следующие значения: Х=0, У=1, Z=1

20 Определите истинность формулы: ¬ Р Q & ¬ Р

21 …….. – наука о законах и формах мышления

22 Алгебра логики - ……

23 Соотнести логические операции и их обозначения. 1. Конъюнкция a) ¬ 2. Отрицание b) V 3. Дизъюнкция c) &

24 Расположите правильно последовательность выполнения операций: &, V, ¬