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

1 Цель: Подготовиться к зачету и контрольной работе. Задачи: Повторить термины и определения, Обобщить и систематизировать теорию, Закрепить решение практических заданий. Тема урока: «Алгебра логики (зачет и контрольная работа)». Тип урока: Обобщение и систематизация знаний, подготовка к зачету, зачет.

2

3 Джордж Буль

4 Алгебра логики это ? Алгебра логики возникла в середине ХIХ века в трудах английского математика Джорджа Буля. Ее создание представляло собой попытку решать традиционные логические задачи алгебраическими методами.

5 Логическое высказывание …. «8 четное число» следует считать высказыванием, (оно истинное). «Берлин столица России» тоже высказывание, так как (только ложное). ТАК ЧТО ЖЕ ТАКОЕ «ЛОГИЧЕСКОЕ ВЫСКАЗЫВАНИЕ»?

6 не всякое предложение является логическим высказыванием "ученик десятого класса" "информатика интересный предмет". "пироги с капустой вкуснее чем с картошкой". "Маша симпатичней Наташи".

7 1) 9 – нечетное число 2) Солнце – спутник земли 3) Юпитер это планета солнечной системы 4) Рим – столица Франции 5) 3>2 6) 3=27) 3

8 не являются высказываниями, так как для выяснения их истинности или ложности нужны дополнительные сведения: о каком конкретно городе или человеке идет речь. Такие предложения называются высказывательными формами. Предложения типа "в городе A более миллиона жителей", "у него голубые глаза" Высказывательная форма это …

9 Употребляемые в обычной речи слова и словосочетания "не", "и", "или", "если..., то", "тогда и только тогда" и другие позволяют из уже заданных высказываний строить новые высказывания. Такие слова и словосочетания называются логическими связками. элементарныесоставные Петров - врач Петров - шахматист Петров – врач и шахматист Петров - врач Петров - шахматист Петров – врач или шахматист Приведите свои примеры составных высказываний Толя едет на море Толя едет в горы Толя едет на море и в горы …

10 Каждая логическая связка рассматривается как операция над логическими высказываниями и имеет свое название и обозначение: НЕ – отрицание (инверсия) И – конъюнкция ИЛИ - дизъюнкция ЕСЛИ … ТО – импликация ТОГДА И ТОЛЬКО ТОГДА - эквиваленция