Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Информатика / Презентации / Презентация по информатике "Основы логики"
ВНИМАНИЮ ВСЕХ УЧИТЕЛЕЙ: согласно Федеральному закону № 313-ФЗ все педагоги должны пройти обучение навыкам оказания первой помощи.

Дистанционный курс "Оказание первой помощи детям и взрослым" от проекта "Инфоурок" даёт Вам возможность привести свои знания в соответствие с требованиями закона и получить удостоверение о повышении квалификации установленного образца (180 часов). Начало обучения новой группы: 24 мая.

Подать заявку на курс
  • Информатика

Презентация по информатике "Основы логики"

библиотека
материалов
ОСНОВЫ ЛОГИКИ
ЛОГИКА НАУКА О ФОРМАХ И СПОСОБАХ МЫШЛЕНИЯ
МЫШЛЕНИЕ осуществляется через: Понятия Высказывания Умозаключения
ПОНЯТИЕ форма мышления, которая выделяет существенные признаки предмета или к...
ВЫСКАЗЫВАНИЕ формулировка своего понимания окружающего мира (повествовательно...
ВЫСКАЗЫВАНИЕ ИСТИННОЕ			 ЛОЖНОЕ (Пример: Буква «А» - (Пример: Компьютер гласн...
УМОЗАКЛЮЧЕНИЕ форма мышления, с помощью которой из одного или нескольких сужд...
АЛГЕБРА ЛОГИКИ наука об общих операциях, аналогичных сложению и умножению, ко...
Понятия алгебры логики: Логическая переменная – это простое высказывание, сод...
Таблица истинности таблица определяющая значение сложного высказывания при вс...
Таблица истинности для конъюнкции Вывод: Результат будет истинным тогда и тол...
Таблица истинности для дизъюнкции Вывод: Результат будет ложным тогда и тольк...
Таблица истинности для инверсии Вывод: Результат будет ложным, если исходное...
Таблица истинности для импликации Вывод: Результат будет ложным тогда и тольк...
Таблица истинности для эквивалентности Вывод: Результат будет истинным тогда...
Если составное высказывание (логическую функцию) выразить в виде формулы, в к...
Порядок выполнения логических операций: Действия в скобках Инверсия Конъюнкци...
ПРИМЕР: Записать в виде логического выражения следующее высказывание: «Летом...
Упражнения: Есть два простых высказывания: А = «Число 10 четное» В = Волк – т...
Найти значение выражения 1. (0٧0) ٧ (1٧1)= 2. (1 ٧ 1) ٧ (1 ٧ 0)= 3. (0 ٨ 0) ٨...
Таблицы истинности
Для составления таблиц истинности 1 Выяснить количество строк в таблице Q=2n,...
(А ᴠ В) ᴧ (⌐А ᴠ ⌐ В) А	В	⌐А	⌐В	АᴠВ	⌐Аᴠ⌐В	1 1	1	0	0	1	0	0 1	0	0	1	1	1	1 0	1	1...
X ᴠ Y ᴧ⌐ Z X	Y	Z	⌐Z	Yᴧ⌐Z	1 1	1	1	0	0	1 1	1	0	1	1	1 1	0	1	0	0	1 1	0	0	1	0	1 0...
Составить таблицы истинности 1. (X ᴧ⌐Y) ᴠ Z 2. X ᴧ Y ᴠ X 3. ⌐(X ᴠ Y) ᴧ (Y ᴠ X...
Тождественно истинные, тождественно ложные и эквивалентные высказывания
Если высказывание истинно при всех значениях входящих в него переменных, то т...
Построить таблицу и определить тип высказывания A → (B → A) A ᴧ B → A (A → C)...
Определить эквивалентные высказывания A → B ᴧ A или А ᴠ В А ↔ В ИЛИ (А→В) ᴧ (...
Законы алгебры логики и правила преобразования логических высказываний
Высказывание имеет нормальную форму, если в ней отсутствуют знаки импликации,...
Закон идемпотентности: А ᴧ А = А А ᴠ А=А 2. Закон коммутативности (переместит...
3. Закон ассоциативности (сочетательный) (А ᴠ В) ᴠ С = А ᴠ (В ᴠ С) А ᴧ (В ᴧ С...
5. Закон де Моргана 6. Закон двойного отрицания
7. Закон исключения третьего 8. Закон противоречия
Действия с логическими константами
Формулы поглощения 1.1 1.2 1.3 1.4
Формулы склеивания
ЗАМЕНА ОПЕРАЦИЙ
Преобразование логических высказываний. Решение логических задач
Упростить:
. Для какого имени ложно высказывание: (Первая буква имени гласная → Четверта...
Для какого из названий животных ложно высказывание: (Заканчивается на согласн...
Для какого символьного выражения будет ложным высказывание (первая буква глас...
. Для какого из указанных значений X истинно высказывание ¬ ((X>2) → (X>3))?...
Сколько различных решений имеет уравнение J ∧ ¬K ∧ L ∧ ¬M ∧ (N ∨ ¬N) = 0, где...
Пояснение. Выражение (N ∨ ¬N) истинно при любом N, поэтому J ∧ ¬K ∧ L ∧ ¬M =...
Логическая сумма равна 1, если хотя бы одно из составляющих ее высказываний р...
Осталось заметить, что найденные 15 решений соответствуют любому из двух возм...
Составьте таблицу истинности для логической функции X = (А ↔ B) ∨ ¬(A → (B ∨...
Сколько различных решений имеет уравнение (X ∧ Y ∨ Z) → (Z ∨ P) = 0 где X, Y,...
51 1

Описание презентации по отдельным слайдам:

№ слайда 1 ОСНОВЫ ЛОГИКИ
Описание слайда:

ОСНОВЫ ЛОГИКИ

№ слайда 2 ЛОГИКА НАУКА О ФОРМАХ И СПОСОБАХ МЫШЛЕНИЯ
Описание слайда:

ЛОГИКА НАУКА О ФОРМАХ И СПОСОБАХ МЫШЛЕНИЯ

№ слайда 3 МЫШЛЕНИЕ осуществляется через: Понятия Высказывания Умозаключения
Описание слайда:

МЫШЛЕНИЕ осуществляется через: Понятия Высказывания Умозаключения

№ слайда 4 ПОНЯТИЕ форма мышления, которая выделяет существенные признаки предмета или к
Описание слайда:

ПОНЯТИЕ форма мышления, которая выделяет существенные признаки предмета или класса предметов, позволяющие отличать их друг от друга (Пример: Прямоугольник - геометрическая фигура у которой все углы прямые и противоположные стороны равны)

№ слайда 5 ВЫСКАЗЫВАНИЕ формулировка своего понимания окружающего мира (повествовательно
Описание слайда:

ВЫСКАЗЫВАНИЕ формулировка своего понимания окружающего мира (повествовательное предложение в котором что-либо утверждается или отрицается) (Пример: Париж – столица Франции)

№ слайда 6 ВЫСКАЗЫВАНИЕ ИСТИННОЕ			 ЛОЖНОЕ (Пример: Буква «А» - (Пример: Компьютер гласн
Описание слайда:

ВЫСКАЗЫВАНИЕ ИСТИННОЕ ЛОЖНОЕ (Пример: Буква «А» - (Пример: Компьютер гласная) был изобретен до нашей эры)

№ слайда 7 УМОЗАКЛЮЧЕНИЕ форма мышления, с помощью которой из одного или нескольких сужд
Описание слайда:

УМОЗАКЛЮЧЕНИЕ форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение (знание или вывод) (Пример: любая теорема)

№ слайда 8 АЛГЕБРА ЛОГИКИ наука об общих операциях, аналогичных сложению и умножению, ко
Описание слайда:

АЛГЕБРА ЛОГИКИ наука об общих операциях, аналогичных сложению и умножению, которые выполняются над высказываниями

№ слайда 9 Понятия алгебры логики: Логическая переменная – это простое высказывание, сод
Описание слайда:

Понятия алгебры логики: Логическая переменная – это простое высказывание, содержащее только одну мысль Обозначение: латинская буква (А, В, Х …) Значение: ИСТИНА (1) или ЛОЖЬ (0) Логическая функция – это составное высказывание, которое содержит несколько простых мыслей, соединенных между собой с помощью логических операций Обозначение: F Логические операции – логическое действие

№ слайда 10 Таблица истинности таблица определяющая значение сложного высказывания при вс
Описание слайда:

Таблица истинности таблица определяющая значение сложного высказывания при всех возможных значениях простых высказываний

№ слайда 11 Таблица истинности для конъюнкции Вывод: Результат будет истинным тогда и тол
Описание слайда:

Таблица истинности для конъюнкции Вывод: Результат будет истинным тогда и только тогда, когда оба исходных высказывания истинны А В А^В 0 0 0 0 1 0 1 0 0 1 1 1

№ слайда 12 Таблица истинности для дизъюнкции Вывод: Результат будет ложным тогда и тольк
Описание слайда:

Таблица истинности для дизъюнкции Вывод: Результат будет ложным тогда и только тогда, когда оба исходных высказывания ложны, и истинным во всех остальных случаях А В А v В 0 0 0 0 1 1 1 0 1 1 1 1

№ слайда 13 Таблица истинности для инверсии Вывод: Результат будет ложным, если исходное
Описание слайда:

Таблица истинности для инверсии Вывод: Результат будет ложным, если исходное высказывание истинно, и наоборот. А Ā 0 1 1 0

№ слайда 14 Таблица истинности для импликации Вывод: Результат будет ложным тогда и тольк
Описание слайда:

Таблица истинности для импликации Вывод: Результат будет ложным тогда и только тогда, когда из истинного основания (А) следует ложное следствие (В) А В А → В 0 0 1 0 1 1 1 0 0 1 1 1

№ слайда 15 Таблица истинности для эквивалентности Вывод: Результат будет истинным тогда
Описание слайда:

Таблица истинности для эквивалентности Вывод: Результат будет истинным тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны А В А ↔ В 0 0 1 0 1 0 1 0 0 1 1 1

№ слайда 16 Если составное высказывание (логическую функцию) выразить в виде формулы, в к
Описание слайда:

Если составное высказывание (логическую функцию) выразить в виде формулы, в которую войдут логические переменные и знаки логических операций, то получится ЛОГИЧЕСКОЕ ВЫРАЖЕНИЕ истина ложь

№ слайда 17 Порядок выполнения логических операций: Действия в скобках Инверсия Конъюнкци
Описание слайда:

Порядок выполнения логических операций: Действия в скобках Инверсия Конъюнкция Дизъюнкция Импликация Эквивалентность

№ слайда 18 ПРИМЕР: Записать в виде логического выражения следующее высказывание: «Летом
Описание слайда:

ПРИМЕР: Записать в виде логического выражения следующее высказывание: «Летом Петя поедет в деревню и, если будет хорошая погода, то он пойдет на рыбалку» Это составное высказывание состоит из простых высказываний: А = «Петя поедет в деревню» В = «Будет хорошая погода» С = «Он пойдет на рыбалку» Записываем высказывание в виде логического выражения, учитывая порядок действий F = A ^ (B → C)

№ слайда 19 Упражнения: Есть два простых высказывания: А = «Число 10 четное» В = Волк – т
Описание слайда:

Упражнения: Есть два простых высказывания: А = «Число 10 четное» В = Волк – травоядное животное» Составьте из них все возможные составные высказывания и определите их истинность Запишите следующие высказывания в виде логических выражений: Неверно, что корова – хищное животное На уроке физики ученики выполняли лабораторную работу и сообщали результаты учителю. Если Маша – сестра Саши, то Саша - брат Маши.

№ слайда 20 Найти значение выражения 1. (0٧0) ٧ (1٧1)= 2. (1 ٧ 1) ٧ (1 ٧ 0)= 3. (0 ٨ 0) ٨
Описание слайда:

Найти значение выражения 1. (0٧0) ٧ (1٧1)= 2. (1 ٧ 1) ٧ (1 ٧ 0)= 3. (0 ٨ 0) ٨ (1 ٨ 1) = 4. (¬1 ٧ 1) ٨ (1 ٧¬1) =

№ слайда 21 Таблицы истинности
Описание слайда:

Таблицы истинности

№ слайда 22 Для составления таблиц истинности 1 Выяснить количество строк в таблице Q=2n,
Описание слайда:

Для составления таблиц истинности 1 Выяснить количество строк в таблице Q=2n, n – количество переменных. 2. Установить последовательность выполнения действий. 3. Заполнить таблицу истинности.

№ слайда 23 (А ᴠ В) ᴧ (⌐А ᴠ ⌐ В) А	В	⌐А	⌐В	АᴠВ	⌐Аᴠ⌐В	1 1	1	0	0	1	0	0 1	0	0	1	1	1	1 0	1	1
Описание слайда:

(А ᴠ В) ᴧ (⌐А ᴠ ⌐ В) А В ⌐А ⌐В АᴠВ ⌐Аᴠ⌐В 1 1 1 0 0 1 0 0 1 0 0 1 1 1 1 0 1 1 0 1 1 1 0 0 1 1 0 1 0

№ слайда 24 X ᴠ Y ᴧ⌐ Z X	Y	Z	⌐Z	Yᴧ⌐Z	1 1	1	1	0	0	1 1	1	0	1	1	1 1	0	1	0	0	1 1	0	0	1	0	1 0
Описание слайда:

X ᴠ Y ᴧ⌐ Z X Y Z ⌐Z Yᴧ⌐Z 1 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0

№ слайда 25 Составить таблицы истинности 1. (X ᴧ⌐Y) ᴠ Z 2. X ᴧ Y ᴠ X 3. ⌐(X ᴠ Y) ᴧ (Y ᴠ X
Описание слайда:

Составить таблицы истинности 1. (X ᴧ⌐Y) ᴠ Z 2. X ᴧ Y ᴠ X 3. ⌐(X ᴠ Y) ᴧ (Y ᴠ X) 4. A ᴧ B ᴧ C ᴧ ⌐ D 5. (A ᴠ B) ᴧ (⌐ B ᴠ A ᴧ B) 6. ⌐ (A ᴠ B ᴠ ⌐ C) 7. ⌐ A ᴧ (B ᴠ ⌐ C) 8. A ᴧ B ᴧ C ᴠ (B ᴧ C ᴠ A)

№ слайда 26 Тождественно истинные, тождественно ложные и эквивалентные высказывания
Описание слайда:

Тождественно истинные, тождественно ложные и эквивалентные высказывания

№ слайда 27 Если высказывание истинно при всех значениях входящих в него переменных, то т
Описание слайда:

Если высказывание истинно при всех значениях входящих в него переменных, то такое высказывание называется -тождественно истинным. Если высказывание ложно при всех значениях входящих в него переменных, то такое высказывание называется – тождественно ложным. Если два высказывания совпадают на всех возможных наборах значений входящих в них переменных, то они называются - эквивалентными

№ слайда 28 Построить таблицу и определить тип высказывания A → (B → A) A ᴧ B → A (A → C)
Описание слайда:

Построить таблицу и определить тип высказывания A → (B → A) A ᴧ B → A (A → C) → (B → C) → (A ᴠ B →C) A→ (B → A ᴧ B) ⌐ (A → B) → (A → ⌐B →⌐ A)

№ слайда 29 Определить эквивалентные высказывания A → B ᴧ A или А ᴠ В А ↔ В ИЛИ (А→В) ᴧ (
Описание слайда:

Определить эквивалентные высказывания A → B ᴧ A или А ᴠ В А ↔ В ИЛИ (А→В) ᴧ (⌐В → ⌐А) А → В ИЛИ А ᴠ ⌐ В А ᴧ (А ᴠ В) ИЛИ А

№ слайда 30 Законы алгебры логики и правила преобразования логических высказываний
Описание слайда:

Законы алгебры логики и правила преобразования логических высказываний

№ слайда 31 Высказывание имеет нормальную форму, если в ней отсутствуют знаки импликации,
Описание слайда:

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

№ слайда 32 Закон идемпотентности: А ᴧ А = А А ᴠ А=А 2. Закон коммутативности (переместит
Описание слайда:

Закон идемпотентности: А ᴧ А = А А ᴠ А=А 2. Закон коммутативности (переместительный) А ᴠ В = В ᴠ А А ᴧ В = В ᴧ А

№ слайда 33 3. Закон ассоциативности (сочетательный) (А ᴠ В) ᴠ С = А ᴠ (В ᴠ С) А ᴧ (В ᴧ С
Описание слайда:

3. Закон ассоциативности (сочетательный) (А ᴠ В) ᴠ С = А ᴠ (В ᴠ С) А ᴧ (В ᴧ С) = (А ᴧ В) ᴧ С 4. Закон дистрибутивности (распределительный) (А ᴠ В) ᴧ С = (А ᴧ С) ᴠ (В ᴧ С) (А ᴧ В) ᴠ С = (А ᴠ С) ᴧ (В ᴠ С)

№ слайда 34 5. Закон де Моргана 6. Закон двойного отрицания
Описание слайда:

5. Закон де Моргана 6. Закон двойного отрицания

№ слайда 35 7. Закон исключения третьего 8. Закон противоречия
Описание слайда:

7. Закон исключения третьего 8. Закон противоречия

№ слайда 36 Действия с логическими константами
Описание слайда:

Действия с логическими константами

№ слайда 37 Формулы поглощения 1.1 1.2 1.3 1.4
Описание слайда:

Формулы поглощения 1.1 1.2 1.3 1.4

№ слайда 38 Формулы склеивания
Описание слайда:

Формулы склеивания

№ слайда 39 ЗАМЕНА ОПЕРАЦИЙ
Описание слайда:

ЗАМЕНА ОПЕРАЦИЙ

№ слайда 40 Преобразование логических высказываний. Решение логических задач
Описание слайда:

Преобразование логических высказываний. Решение логических задач

№ слайда 41 Упростить:
Описание слайда:

Упростить:

№ слайда 42 . Для какого имени ложно высказывание: (Первая буква имени гласная → Четверта
Описание слайда:

. Для какого имени ложно высказывание: (Первая буква имени гласная → Четвертая буква имени согласная).   1) ЕЛЕНА 2) ВАДИМ 3) АНТОН 4) ФЕДОР

№ слайда 43 Для какого из названий животных ложно высказывание: (Заканчивается на согласн
Описание слайда:

Для какого из названий животных ложно высказывание: (Заканчивается на согласную букву) /\ (В слове 7 букв) → ¬ (Третья буква согласная)? 1) Верблюд 2) Страус 3) Кенгуру 4) Леопард

№ слайда 44 Для какого символьного выражения будет ложным высказывание (первая буква глас
Описание слайда:

Для какого символьного выражения будет ложным высказывание (первая буква гласная) → (четвертая буква гласная)?   1) east 2) fast 3) rest 4) last

№ слайда 45 . Для какого из указанных значений X истинно высказывание ¬ ((X>2) → (X>3))?
Описание слайда:

. Для какого из указанных значений X истинно высказывание ¬ ((X>2) → (X>3))?   1) 1 2) 2 3) 3 4) 4

№ слайда 46 Сколько различных решений имеет уравнение J ∧ ¬K ∧ L ∧ ¬M ∧ (N ∨ ¬N) = 0, где
Описание слайда:

Сколько различных решений имеет уравнение J ∧ ¬K ∧ L ∧ ¬M ∧ (N ∨ ¬N) = 0, где J, K, L, M, N — логические переменные? В ответе не нужно перечислять все различные наборы значений J, K, L, M и N, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.  

№ слайда 47 Пояснение. Выражение (N ∨ ¬N) истинно при любом N, поэтому J ∧ ¬K ∧ L ∧ ¬M =
Описание слайда:

Пояснение. Выражение (N ∨ ¬N) истинно при любом N, поэтому J ∧ ¬K ∧ L ∧ ¬M = 0. Применим отрицание к обеим частям логического уравнения и используем закон де Моргана ¬ (А ∧ В) = ¬ А ∨ ¬ В . Получим ¬J ∨ K ∨ ¬L ∨ M = 1.

№ слайда 48 Логическая сумма равна 1, если хотя бы одно из составляющих ее высказываний р
Описание слайда:

Логическая сумма равна 1, если хотя бы одно из составляющих ее высказываний равно 1. Поэтому полученному уравнению удовлетворяют любые комбинации логических переменных кроме случая, когда все входящие в уравнение величины равны 0. Каждая из 4 переменных может быть равна либо 1, либо 0, поэтому всевозможных комбинаций 2·2·2·2 = 16. Следовательно, уравнение имеет 16 −1 = 15 решений.

№ слайда 49 Осталось заметить, что найденные 15 решений соответствуют любому из двух возм
Описание слайда:

Осталось заметить, что найденные 15 решений соответствуют любому из двух возможных значений логической переменной N, поэтому исходное уравнение имеет 30 решений. Ответ: 30

№ слайда 50 Составьте таблицу истинности для логической функции X = (А ↔ B) ∨ ¬(A → (B ∨
Описание слайда:

Составьте таблицу истинности для логической функции X = (А ↔ B) ∨ ¬(A → (B ∨ C))  

№ слайда 51 Сколько различных решений имеет уравнение (X ∧ Y ∨ Z) → (Z ∨ P) = 0 где X, Y,
Описание слайда:

Сколько различных решений имеет уравнение (X ∧ Y ∨ Z) → (Z ∨ P) = 0 где X, Y, Z, P – логические переменные? В ответе не нужно перечислять все различные наборы значений, при которых выполнено данное равенство. В качестве ответа вам нужно указать только количество таких наборов.

Краткое описание документа:

Раздел логики изучается в курсе 9 класса, а так же углубляется в разделе изучения 11 класса.

Задание на логические операции над высказываниями, а так же преобразование данных высказываний, решение задач логического рассуждения встречаются при сдаче итоговой аттестации учащихся 9, 11 классов.

Данная работа поможет провести уроки для учащихся, а так же ее можно использовать при подготовки к экзамену.

В презентации содержится теоретический материал, а так же практические занятия с учащимися. Приведены примеры заданий из итоговой государственной аттестации учащихся. 

Надеюсь данная работа поможет при изучении темы.

Автор
Дата добавления 18.11.2014
Раздел Информатика
Подраздел Презентации
Просмотров292
Номер материала 126994
Получить свидетельство о публикации

Выберите специальность, которую Вы хотите получить:

Обучение проходит дистанционно на сайте проекта "Инфоурок".
По итогам обучения слушателям выдаются печатные дипломы установленного образца.

ПЕРЕЙТИ В КАТАЛОГ КУРСОВ

Похожие материалы

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