Логические операции Таблицы истинности

Цели:
Образовательная: Закрепить понятия: логическая переменная, логические операции, сформировать умения применения логических операций, умение составлять таблицы истинности.
Развивающие: развитие логического мышления у учащихся и познавательного интереса к предмету.
Воспитательные: формирование устойчивого внимания у учащихся.

Логика-
наука о формах и законах человеческого мышления.
Формальная
?
?
Изучает только рассуждения со строго определенными объектами и суждениями, для которых возможно однозначно решить, истинны они или ложны

Суждения- это некоторые высказывания, которые могут быть
______________________, которые выражают конкретные факты
______________________, которые характеризуют свойства групп объектов или явлений
_________________, с использованием связок и, или, не

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

Укажите из нижеприведенных суждений, составные они или простые, истинные или ложные, общие или частные.

ВВ
Логическая операция КОНЪЮНКЦИЯ
(логическое умножение):
В естественном языке соответствует союзу и;
В алгебре высказываний обозначение & или /\ (А&B или A/\B);
В языках программирования обозначение And.
Заполни таблицу истинности
Проверь себя!
АА
Залей область соответствующую конъюнкции

Логическая операция ДИЗЪЮНКЦИЯ
(логическое сложение):
В естественном языке соответствует союзу или;
Обозначение \/ ;
В языках программирования обозначение Or.
Заполни таблицу истинности
Проверь себя!
Залей область соответствующую дизъюнкции
ВА
ВВ

Логическая операция ИНВЕРСИЯ
(отрицание):
В естественном языке соответствует словам неверно, что... и частице не;
Обозначение ¬А или ⁻А
В языках программирования обозначение Not.
Заполни таблицу истинности
Залей область соответствующую дизъюнкции
Проверь себя!
А

Логическая операция ИМПЛИКАЦИЯ
(логическое следование):
В естественном языке соответствует связке если …, то …;
В алгебре высказываний обозначение —> (А —> B).
Заполни таблицу истинности
Проверь себя!

Логическая операция ЭКВИВАЛЕНЦИЯ
(логическое равенство):
естественном языке соответствует связке тогда и только тогда…;
В алгебре высказываний обозначение <–> (А <–> B ).
Проверь себя!
Заполни таблицу истинности

Запишите следующие высказывания в виде логических выражений.
Число 17 нечетное и двузначное.
Неверно, что корова - хищное животное.
На уроке физики ученики проводят опыты или решают задачи.
Если будет солнечная погода, Катя пойдет гулять.
Когда Катя выучит уроки, она пойдет гулять.
A&B
¬A
AVB
A→B
A↔B

Составьте таблицу истинности для высказывания А&BV(-B)
Проверь себя!

Реши задачу: На выпускной вечер Наташа надела красное платье, Таня была не в черном, не в синем и не в голубом. У Оксаны- два платья: черное и синее. У Нади есть белое платье, и синее. Ольга имеет платья всех цветов. Определите, какого цвета платья надели девушки, если на вечере все были в платьях разного цвета.
Наташа
Таня
Ольга
Надя
Оксана
Ответ здесь!