Презентация на тему Логика

информатики МБОУ СОШ№5
г. Кимовска Тульской области.
Презентация сделана как

учебно-наглядное пособие к учебнику «Информатика и ИКТ 9» автор Н.Д. Угринович. Предназначена для демонстрации на уроках изучения нового материала

Используемые источники:
Н.Д.Угринович «Информатика и ИКТ 9 », Москва, БИНОМ Лаборатория знаний, 2012 стр.125 - 129.
Картинки: http://images.yandex.ru/

мышления

Законы логики отражают в сознании человека свойства, связи и

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

или ложно данное высказывание.
Алгебра логики

Алгебра логики – это наука

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

латинскими буквами (A,B,C,…- имена логических переменных)
Логические переменные могут принимать

только два значения: «истина» (1) и «ложь» (0).

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

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

только тогда, когда истинны входящие в него простые высказывания

Знак логического умножения

Таблица истинности конъюнкции

дизъюнкции