Текст слайда: Основы логики Логика – наука о формах и способах мышления.
Текст слайда: Понятие –это форма мышления, фиксирующая основные, существенные признаки объекта. Содержание Объем
Текст слайда: Высказывание - это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними. Высказывание может быть либо истинно, либо ложно.
Текст слайда: Умозаключение - -это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение).
Текст слайда: Алгебра высказываний Логическое умножение (конъюнкция) Логическое сложение (дизъюнкция) Логическое отрицание (инверсия)
Текст слайда: Логическое умножение (конъюнкция) Составное высказывание, образованное в результате операции логического умножения истинно тогда и только тогда, когда истинны все входящие в него простые высказывания. «и», &,
Текст слайда: Таблица истинности логического умножения
Текст слайда: Логическое сложение (дизъюнкция) Составное высказывание, образованное в результате логического сложения (дизъюнкции), истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний. «Или», v
Текст слайда: Таблица истинности логического сложения
Текст слайда: Логическое отрицание (инверсия) Делает истинное высказывание ложным и наоборот, ложное - истинным. «не», а,
Текст слайда: Таблица истинности функции логического отрицания
Текст слайда: Логическое равенство (эквивалентность) Составное высказывание, образованное с помощью логической операции эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны. «…тогда и только тогда, когда …»
Текст слайда: Таблица истинности логической функции эквивалентности
Текст слайда: Логическое следование (импликация) Составное высказывание, образованное с помощью операции логического следования (импликации) ложно тогда и только тогда, когда из истиной предпосылки следует ложный вывод.
Текст слайда: Таблица истинности
Текст слайда: Логические выражения (формулы) Логические переменные Знаки логических операций
Текст слайда: Таблицы истинности AVB
Текст слайда: Таблица истинности A&B
Текст слайда: Логические законы 1. Закон тождества А=А 2. Закон непротиворечия А&А=0 3.Закон исключенного третьего AVА=1 4.Закон двойного отрицания А=А
Текст слайда: 5. Законы де Моргана АVВ=A&B A&B=AVB
Текст слайда: 6. Закон коммутативности A&B=B&A AVB=BVA
Текст слайда: 7. Закон ассоциативности (A&B)&C=A&(B&C) (AVB)VC=AV(BVC)
Текст слайда: 8. Закон дистрибутивности (A&B)V(A&C)=A&(BVC) (AVB)&(AVC)=AV(B&C)
Текст слайда: Диктант 1. Напишите таблицу истинности для операции конъюнкция. 2. Напишите таблицу истинности для операции дизъюнкция. 3. Напишите таблицу истинности для операции импликация. 4. Напишите таблицу истинности для операции эквивалентность.
Текст слайда: Тест 1. С помощью таблицы истинности получите результат логической функции A& B 2. Какому логическому элементу соответствует логическая схема:
Текст слайда: 3.Дана логическая схема. Напишите по ней логическую функцию и составьте таблицу истинности. V & V Х У А
Текст слайда: 4.Упростите выражение: A&BV(C&B)
Текст слайда: 5. Для составления цепочек используются бусины A, B,C, D,E. На первом месте в цепочке стоит одна из бусин А, С, Е. На втором – любая гласная, если первая буква согласная и любая согласная, если первая гласная. На третьем месте одна из бусин C,D,E, не стоящая в цепочке на 1-ом месте. Какая из цепочек создана по этому правилу? 1)СВE 2)ADD 3)ECE 4)EAD