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

Содержание

• 
  Слайд 1
  

  ОСНОВНЫЕ ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ Учитель информатики отделения основного общего образования ГОБУ СПО ВО «Бутурлиновский механико-технологический колледж» г.Бутурлиновка Вылегжанина Татьяна Викторовна

• 
  Слайд 2
  

  Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия)

• 
  Слайд 3
  

  В основе современной логики лежат учения, созданные древнегреческими мыслителями (Аристотель, Геродот) Аристотель 384-322 до н.э Геродот ок 490-425 до н.э

• 
  Слайд 4
  

  ЛОГИКА – наука о формах и способах мышления

• 
  Слайд 5
  

  Законы мышления отражают в сознании человека свойства, связи и отношения объектов окружающего мира

• 
  Слайд 6
  

  Основные формы мышления Высказывание Понятие Умозаключение

• 
  Слайд 7
  

  Высказывание –логическое выражение, истинность которого требуется доказать

• 
  Слайд 8
  

  Высказывание не может быть выражено повелительным или вопросительным предложением

• 
  Слайд 9
  

  Высказывание имеет 2 значения: ложь – (false) – 0 истина – (true) - 1

• 
  Слайд 10
  

  Высказывание – обозначается большими буквами латинского алфавита (А, В, С)

• 
  Слайд 11

  ЛОГИЧЕСКИЕ ОПЕРАЦИИ

• 
  Слайд 12
  

  Конъюнкция (логическое умножение) читается обозначается А ^B Конъюнкция истинна тогда и только тогда, когда оба высказывания истинны И

• 
  Слайд 13

  Таблица истинности логического умножения

• 
  Слайд 14
  

  Дизъюнкция (логическое сложение) читается обозначается А νB Дизъюнкция истинна, когда хотя бы одно высказывание истинно ИЛИ

• 
  Слайд 15

  Таблица истинности логического сложения

• 
  Слайд 16
  

  Инверсия (логическое отрицание) читается обозначается А (не А) НЕ

• 
  Слайд 17

  Таблица истинности логического отрицания

• 
  Слайд 18
  

  Импликация (логическое следование) обозначается А B Импликация ложна, тогда и только тогда, когда из истины следует ложный вывод

• 
  Слайд 19

  Таблица истинности логической функции «импликация»

• 
  Слайд 20
  

  Эквивалентность (логическое равенство) обозначается А ~B Эквивалентность истинна, тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны

• 
  Слайд 21

  Таблица истинности логической функции эквивалентности

• 
  Слайд 22
  

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

• 
  Слайд 23

  Даны выражения:

  и Построить таблицы истинности и выяснить, равносильны ли данные выражения 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 А В В В А 0 0 1 1 0 0 0 1 1 1 1 0 0 1 0 0 А В А В А ВЫВОД: Последние столбцы таблиц истинности не совпадают, следовательно, данные выражения не равносильны

• 
  Слайд 24
  

  Список источников 1. Учебник «Информатика и ИКТ» Семакин И.Г., изд. Москва «БИНОМ», 2014 г. 2. Изображение: Древний Восток: http://www.yana.kiev.ua/img/resortsb/1965387912.jpg http://apxeo.info/wp-content/uploads/2012/07/pers.jpg Аристотель: http://modafix.ru/images/arist1.jpg Геродот:http://www.stadtwanderer.net/media/sherodot.jpg Логика: http://gcvhf.biz/images/55daf80fc2ffc.jpg http://www.stihi.ru/pics/2011/04/05/3574.gif