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

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

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

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

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

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

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

7 Таблица истинности логического умножения АBF=A&B

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

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

10 Логическое отрицание (инверсия) Делает истинное высказывание ложным и наоборот, ложное - истинным. «не», а,

11 Таблица истинности функции логического отрицания AF=A 01 10

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

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

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

15 Таблица истинности АBF=A B

16 Логические выражения (формулы) Логические переменные Знаки логических операций

17 Таблицы истинности AVB АВАВ

18 Таблица истинности A&B ABA&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