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

• 1 слайд

  ОСНОВЫ ЛОГИКИ
  Муравьева Инна Владимировна
  Учитель информатики и ИКТ
  МБОУ «Гимназия №11»
  г. Выборг, Ленинградская обл.
  Урок №1
  

• 2 слайд

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

• 3 слайд

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

• 4 слайд

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

• 5 слайд

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

• 6 слайд

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

• 7 слайд

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

• 8 слайд

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

• 9 слайд

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

• 10 слайд

  Базовые логические операции
  

• 11 слайд

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

• 12 слайд

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

• 13 слайд

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

• 14 слайд

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

• 15 слайд

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

• 16 слайд

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

• 17 слайд

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

• 18 слайд

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

• 19 слайд

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

• 20 слайд

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

• 21 слайд

  ОСНОВЫ ЛОГИКИ
  Урок №2
  

• 22 слайд

  Упражнения:
  3. Решить логические выражения:
  F(A, B) =¬(А v В)^( A ^ ¬B)
  F(A, B, C) =C v ( B ^ A ^ ¬C)
  F(A, B, C) =А ^ В v ¬B v ¬A ^ C
  F(A, B, C) =А ^ ¬B ^ C v A v B v ¬C
  F(A, B, C) = (A v B) → (¬A v C)
  F(A, B, C) = ¬A v С v (A ^ ¬B)
  F(A, B, C) = (A v B) ^ (¬A v C)
  F(A, B, C) = A ^¬B ^ C v A v B v ¬C
  F(A, B, C) = (A ^ B) → (A v ¬C)
  
  
  

• 23 слайд

  3. Решить логические выражения:
  1) F(A, B) =¬(А v В)^( A ^ ¬B)
  
  

• 24 слайд

  3. Решить логические выражения:
  2) F(A, B, C) =C v ( B ^ A ^ ¬C)
  
  

• 25 слайд

  3. Решить логические выражения:
  3) F(A, B, C) =А ^ В v ¬B v ¬A ^ C
  
  
  

• 26 слайд

  3. Решить логические выражения:
  4) F(A, B, C) =А ^ ¬B ^ C v A v B v ¬C
  
  
  

• 27 слайд

  3. Решить логические выражения:
  5) F(A, B, C) = (A v B) → (¬A v C)
  
  

• 28 слайд

  3. Решить логические выражения:
  6) F(A, B, C) = ¬A v С v (A ^ ¬B)
  
  
  

• 29 слайд

  3. Решить логические выражения:
  7) F(A, B, C) = (A v B) ^ (¬A v C)
  
  

• 30 слайд

  3. Решить логические выражения:
  8) F(A, B, C) = A ^¬B ^ C v A v B v ¬C
  
  

• 31 слайд

  3. Решить логические выражения:
  9) F(A, B, C) = (A ^ B) → (A v ¬C)