Приложение 1.
Тема урока: Высказывание. Логические операции.
В основе современной логики лежат учения, созданные еще древнегреческими мыслителями, хотя первые учения о формах и способах мышления возникли в Древнем Китае и Индии. Основоположником формальной логики является Аристотель, который впервые отделил логические формы мышления от его содержания.
Логика – это наука о _____________________ и ______________________________________.
Алгебра логики ________________________________________
_______________________. Определяет правила ________________, ___________________________________, _____________________ и _________________________высказываний.
Основы данной алгебры были положены английским математиком Джорджем Булем в 19 веке, также называли ____________________ алгеброй.
Высказывание (суждение) - это ___________________________ предложение, содержание которого можно __________________ определить, как ___________________ или ____________________.
Высказываниями НЕ являются:
«Это предложение является ложным»
«Компьютерная графика – самая интересная тема в курсе школьной информатики»
Высказывания
Приложение 1
Таблица 1. Логические операции
Обозначение
Союз в естественном языке
Примеры:
А – число 24 четное
В – число 24 трехзначное
Таблица истинности – таблица, определяющая значение сложного высказывания при всех возможных значениях простых высказываний
А
В
А В
А
В
А В
А
А
Вывод:
Вывод:
Вывод:
Приложение 2.
[pic]
[pic]
[pic]
