Логика Информатика и ИКТ 9 класс Помаскин Юрий Иванович МБОУ СОШ 5 г. Кимовск

Автор презентации «Логика» Помаскин Юрий Иванович - учитель информатики МБОУ СОШ5 г. Кимовска Тульской области. Презентация сделана как учебно-наглядное пособие к учебнику «Информатика и ИКТ 9» автор Н.Д. Угринович. Предназначена для демонстрации на уроках изучения нового материала Используемые источники: 1.Н.Д.Угринович «Информатика и ИКТ 9 », Москва, БИНОМ Лаборатория знаний, 2012 стр Картинки:

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

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

Алгебра логики Логические переменные – простые высказывания обозначенные заглавными латинскими буквами (A,B,C,…- имена логических переменных) Логические переменные могут принимать только два значения: «истина» (1) и «ложь» (0). Составные высказывания на естественном языке образуются с помощью связок «и», «или», «не», которые в алгебре логики заменяются на логические операции (логическое умножение, логическое сложение, логическое отрицание).

Логическое умножение (конъюнкция) А & В АВ Составное высказывание, образованное в результате операции логического умножения (конъюнкции), истинно тогда и только тогда, когда истинны входящие в него простые высказывания Знак логического умножения Таблица истинности конъюнкции

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

Логическое отрицание (инверсия) Логическое отрицание (инверсия) делает истинное высказывание ложным и, наоборот, ложное - истинным А -А или Знак логического отрицания АА Таблица истинности инверсии

Контрольные вопросы Что изучает наука логика? Что такое высказывание? Что такое логические переменные и какие значения они принимают? Какие логические операции вы знаете? Как обозначаются логические операции в высказываниях на естественном языке и на языке алгебры логики? Что такое таблица истинности?