Цель: Подготовиться к зачету и контрольной работе. Задачи: Повторить термины и определения, Обобщить и систематизировать теорию, Закрепить решение практических заданий. Тема урока: «Алгебра логики (зачет и контрольная работа)». Тип урока: Обобщение и систематизация знаний, подготовка к зачету, зачет.
Джордж Буль
Алгебра логики это ? Алгебра логики возникла в середине ХIХ века в трудах английского математика Джорджа Буля. Ее создание представляло собой попытку решать традиционные логические задачи алгебраическими методами.
Логическое высказывание …. «8 четное число» следует считать высказыванием, (оно истинное). «Берлин столица России» тоже высказывание, так как (только ложное). ТАК ЧТО ЖЕ ТАКОЕ «ЛОГИЧЕСКОЕ ВЫСКАЗЫВАНИЕ»?
не всякое предложение является логическим высказыванием "ученик десятого класса" "информатика интересный предмет". "пироги с капустой вкуснее чем с картошкой". "Маша симпатичней Наташи".
1) 9 – нечетное число 2) Солнце – спутник земли 3) Юпитер это планета солнечной системы 4) Рим – столица Франции 5) 3>2 6) 3=27) 3
не являются высказываниями, так как для выяснения их истинности или ложности нужны дополнительные сведения: о каком конкретно городе или человеке идет речь. Такие предложения называются высказывательными формами. Предложения типа "в городе A более миллиона жителей", "у него голубые глаза" Высказывательная форма это …
Употребляемые в обычной речи слова и словосочетания "не", "и", "или", "если..., то", "тогда и только тогда" и другие позволяют из уже заданных высказываний строить новые высказывания. Такие слова и словосочетания называются логическими связками. элементарныесоставные Петров - врач Петров - шахматист Петров – врач и шахматист Петров - врач Петров - шахматист Петров – врач или шахматист Приведите свои примеры составных высказываний Толя едет на море Толя едет в горы Толя едет на море и в горы …
Каждая логическая связка рассматривается как операция над логическими высказываниями и имеет свое название и обозначение: НЕ – отрицание (инверсия) И – конъюнкция ИЛИ - дизъюнкция ЕСЛИ … ТО – импликация ТОГДА И ТОЛЬКО ТОГДА - эквиваленция