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

Содержание

• 
  Слайд 1
  

  Муниципальное общеобразовательное учреждение Лицей №10 имени Д.И. Менделеева Выполнила: учитель информатики и ИКТ Чеснокова Татьяна Сергеевна Клин, 2009 Основы логики

• 
  Слайд 2

  Цель презентации:

  познакомиться с основами логики. Задачи презентации: дать определение терминам “логика”, основных форм мышления, логических операций; составить таблицы истинности логических операций; познакомиться с логическими законами.

• 
  Слайд 3

  Содержание

  1. Историческая справка. 3. Формы мышления (понятие, высказывание, умозаключение). Слайды 6 – 8. 4. Алгебра высказываний. 3.1. Логическое умножение. 3.2. Логическое сложение. 3.3. Логическое отрицание. 3.4. Логическое следование. 3.5. Логическое равенство. 5. Логические законы. Слайды 14 – 17. 2. Логика. Алгебра логики. Слайд 4 Слайд 5 Слайд 6 Слайд 9 Слайд 10 Слайд 11 Слайд 12 Слайд 13 Слайд 14

• 
  Слайд 4

  Историческая справка

  (1815 -1864) Английский математик Джордж Буль разработал основы алгебры, в которой используются только 0 и 1 (алгебра логики, булева алгебра). К содержанию

• 
  Слайд 5
  

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

• 
  Слайд 6

  Формы мышления

  1. Понятие. 2. Высказывание. 3. Умозаключение. Понятие – форма мышления, фиксирующая основные, существенные признаки объекта. К содержанию

• 
  Слайд 7
  

  Высказывание – повествовательное предложение, о котором можно сказать, истинно оно или ложно. Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение. Задание. Приведите примеры простых и сложных высказываний.

• 
  Слайд 8
  

  Сейчас светит солнце. Сократ – человек. История – интересный предмет. Луна является спутником Земли. Превосходно! Как пройти к музею Чайковского? У меня есть кошка. Высказывание или нет?

• 
  Слайд 9

  Алгебра высказываний

  Логическое умножение (конъюнкция, операция “и”). sign: Λ Истинно тогда и только тогда, когда истинны все входящие в него простые высказывания. 0 0 0 1 К содержанию

• 
  Слайд 10
  

  Логическое сложение (дизъюнкция, операция “или”). sign:v Истинно тогда и только тогда, когда истинно хотя бы одно из входящих в него простых высказываний. 1 1 1 0 К содержанию

• 
  Слайд 11
  

  Логическое отрицание (инверсия, операция “не”). sign: Инверсия делает истинное высказывание ложным и ,наоборот, ложное – истинным. 1 0 К содержанию

• 
  Слайд 12
  

  Логическое следование (импликация, если…, то…) sign: → Составное высказывание, образованное с помощью импликации ложно тогда и только тогда, когда из истинного высказывания следует ложное. 1 1 0 1 К содержанию

• 
  Слайд 13
  

  Логическое равенство (эквивалентность, “… тогда и только тогда, когда…”);sign: ↔ Составное высказывание, образованное с помощью эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны. 1 0 0 1 К содержанию

• 
  Слайд 14

  Логические законы

  1. Закон тождества: 2. Закон противоречия: 3. Закон исключения третьего: 4. Закон двойного отрицания: 5. Законы де Моргана: К содержанию

• 
  Слайд 15
  

  6. Закон коммутативности: 7. Закон ассоциативности: 8. Закон дистрибутивности:

• 
  Слайд 16
  

  9. Закон идемпотентности: 10. Законы исключения констант: 11. Закон поглощения:

• 
  Слайд 17
  

  12. Закон исключения (склеивания): 13. Закон контрапозиции: