Презентация на тему "Логика – наука о формах и способах мышления"

Содержание

• 
  Слайд 1

  Основы логики

  Логика – наука о формах и способах мышления.

• 
  Слайд 2
  

  Понятие –это форма мышления,фиксирующая основные, существенные признаки объекта.

  Содержание Объем

• 
  Слайд 3

  Высказывание -

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

• 
  Слайд 4

  Умозаключение -

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

• 
  Слайд 5

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

  Логическое умножение (конъюнкция) Логическое сложение (дизъюнкция) Логическое отрицание (инверсия)

• 
  Слайд 6

  Логическое умножение (конъюнкция)

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

• 
  Слайд 7

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

• 
  Слайд 8

  Логическое сложение (дизъюнкция)

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

• 
  Слайд 9

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

• 
  Слайд 10

  Логическое отрицание (инверсия)

  Делает истинное высказывание ложным и наоборот, ложное - истинным. «не», а,

• 
  Слайд 11

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

• 
  Слайд 12

  Логическое равенство (эквивалентность)

  Составное высказывание, образованное с помощью логической операции эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны. «…тогда и только тогда, когда …»

• 
  Слайд 13

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

• 
  Слайд 14

  Логическое следование (импликация)

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

• 
  Слайд 15

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

• 
  Слайд 16

  Логические выражения (формулы)

  Логические переменные Знаки логических операций

• 
  Слайд 17

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

  AVB

• 
  Слайд 18

  Таблица истинности A&B

• 
  Слайд 19

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

  1. Закон тождества А=А 2. Закон непротиворечия А&А=0 3.Закон исключенного третьего AVА=1 4.Закон двойного отрицания А=А

• 
  Слайд 20

  5. Законы де Моргана

  АVВ=A&B A&B=AVB

• 
  Слайд 21

  6. Закон коммутативности

  A&B=B&A AVB=BVA

• 
  Слайд 22

  7. Закон ассоциативности

  (A&B)&C=A&(B&C) (AVB)VC=AV(BVC)

• 
  Слайд 23

  8. Закон дистрибутивности

  (A&B)V(A&C)=A&(BVC) (AVB)&(AVC)=AV(B&C)

• 
  Слайд 24

  Диктант

  1.Напишите таблицу истинности для операции конъюнкция. 2.Напишите таблицу истинности для операции дизъюнкция. 3.Напишите таблицу истинности для операции импликация. 4. Напишите таблицу истинности для операции эквивалентность.

• 
  Слайд 25

  Тест

  1.С помощью таблицы истинности получите результат логической функции A&B 2.Какому логическому элементу соответствует логическая схема:

• 
  Слайд 26
  

  3.Дана логическая схема. Напишите по ней логическую функцию и составьте таблицу истинности.

  V & V Х У А

• 
  Слайд 27

  4.Упростите выражение:

  A&BV(C&B)

• 
  Слайд 28
  

  5. Для составления цепочек используются бусины A, B,C, D,E. На первом месте в цепочке стоит одна из бусин А, С, Е. На втором – любая гласная, если первая буква согласная и любая согласная, если первая гласная. На третьем месте одна из бусин C,D,E, не стоящая в цепочке на 1-ом месте.Какая из цепочек создана по этому правилу? 1)СВE 2)ADD 3)ECE 4)EAD