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

• 1 слайд

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

• 2 слайд

  
  ЛОГИКА
  
  Логика — наука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний (утверждений).
  Математическая логика — современная форма логики, опирающаяся на формальные математические методы.
  

• 3 слайд

  
  АЛГЕБРА ЛОГИКИ
  Алгебра логики — это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности) и логических операций над ними.
  
  
  Алгебра логики возникла в середине ХIХ века в трудах английского математика Джорджа Буля. Ее создание представляло собой попытку решать традиционные логические задачи алгебраическими методами.
  

• 4 слайд

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

• 5 слайд

  
  АЛГЕБРА ЛОГИКИ
  
  Существуют три основные логические операции:
  Отрицание (инверсия, операция, выражаемая словом “не”).
  Дизъюнкция (логическое сложение, операция, выражаемая связкой “или” - +,1,\/).
  
  Конъюнкция (логическое умножение, операция, выражаемая связкой “и”- *,&,/\).
  

• 6 слайд

  
  ЛОГИЧЕСКИЕ ФУНКЦИИ
  Логический элемент — это устройство, реализующее ту или иную логическую функцию. Y = f(X1,X2,X3,...,Xn) — логическая функция, может быть задана таблицей, которая называется таблицей истинности.
  Логическая функция — это функция логических переменных, которая может принимать только два значения: 0 или 1.
  

• 7 слайд

  логические операции
  конъюнкция
  логическое умножение
  операция И
  *
  /\
  Составное высказывание , образованное в результате операции логического умножения (конъюнкции), истинно тогда и только тогда, когда истинны все входящие в него простые высказывания.
  

• 8 слайд

  логические операции
  дизъюнкция
  логическое сложение
  операция ИЛИ
  +
  \/
  Составное высказывание , образованное в результате операции логического сложения (дизъюнкции), истинно тогда и только тогда, когда истинно хотя бы одно из входящих в него простых высказываний.
  

• 9 слайд

  логические операции
  инверсия
  логическое отрицание
  операция НЕ
  -
  A
  Составное высказывание , образованное в результате операции логического отрицания делает истинное высказывание ложным, а ложное истинным.
  

• 10 слайд

  логические операции
  Искл.ИЛИ
  операция исключающее ИЛИ
  
  
  Составное высказывание , образованное в результате операции исключающего ИЛИ, истинно тогда и только тогда, когда входящие в него простые высказывания исключают друг друга (противоположны).
  

• 11 слайд

  логические операции
  импликация
  логическое следование
  
  ->
  Составное высказывание , образованное в результате операции логического следования (импликации), ложно тогда и только тогда, когда из истинной предпосылки (первого высказывания) следует ложный вывод (второе высказывание).
  

• 12 слайд

  логические операции
  эквивалентность
  ~
  Составное высказывание , образованное в результате операции эквивалентности, истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны.
  логическое равенство