Заготовка к уроку информатики по теме: Высказывание. Логические операции.

Приложение 1.

Тема урока: Высказывание. Логические операции.

В основе современной логики лежат учения, созданные еще древнегреческими мыслителями, хотя первые учения о формах и способах мышления возникли в Древнем Китае и Индии. Основоположником формальной логики является Аристотель, который впервые отделил логические формы мышления от его содержания.

Логика - это наука о _____________________ и ______________________________________.

Алгебра логики ________________________________________

_______________________. Определяет правила ________________, ___________________________________, _____________________ и _________________________высказываний.

Основы данной алгебры были положены английским математиком Джорджем Булем в 19 веке, также называли ____________________ алгеброй.

Высказывание (суждение) - это ___________________________ предложение, содержание которого можно __________________ определить, как ___________________ или ____________________.

Высказываниями НЕ являются:

• Побудительные предложения

• Вопросительные предложения

• Предложения вида:

«Это предложение является ложным»

«Компьютерная графика - самая интересная тема в курсе школьной информатики»

</ Высказывания

Приложение 1

Таблица 1. Логические операции

Обозначение

Союз в естественном языке

Примеры:

А - число 24 четное

В - число 24 трехзначное

Таблица истинности - таблица, определяющая значение сложного высказывания при всех возможных значениях простых высказываний

А

В

А В

А

В

А В

А

А

Вывод:

Вывод:

Вывод:

Приложение 2.