Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
основы логики задачи.docx
Скачиваний:
0
Добавлен:
01.07.2025
Размер:
255.91 Кб
Скачать

10 Класс

Основные логические операции (инверсия)

I. Основные определения алгебры логики.

1. Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта.

Две стороны понятия: содержание и объем.

19

Основы логики

(учебные пособия 9-11 классы)

9 Класс

Понятие простого высказывания, его истинности и ложности.

Логика - это наука правильно рассуждать, наука о формах и законах человеческого суждения.

Основоположником логики считают древнегреческого мыслителя Аристотеля (384-322 до н.э.). Именно он подверг анализу человеческое мышление, такие его формы, как понятие, суждение (высказы­вание), умозаключение, и рассмотрел мышление с формальной стороны. Так возникла формальная логика – наука, пытавшаяся найти ответ на вопрос, как мы рассуждаем, изучающая логические операции и правила мышления.

Философ и математик эпохи Возрождения Рене Декарт (1596 -1650 г.г.) считал, что человеческий разум может постигнуть истину, если будет исходить из достоверных положений, сводить сложные идеи к простым, переходить от известного и доказанного к неизвестному, избегая каких-либо пропусков в логических звеньях исследований.

Основоположником математической логики считают великого немецкого математика и философа Вильгельма Лейбница. Это он в XVII веке пытался построить первые логические исчисления: арифметические и буквенно-алгебраические. Он впервые высказал мысль о возможности приме­нения двоичной системы счисления в вычислитель­ной математике.

Джордж Буль - английский математик-самоучка, изобретатель логической системы. Объединение его системы с двоичной системой счисления легло в основу современных компьютеров. В середине ХIХ века он вывел для логичес­ких построений особую алгебру (алгебру логики). В отличие от обычной в ней символами обозначают не числа, а высказывания.

Главная задача логики состоит в том, чтобы выявить, какие способы рассуждения правильные, а какие нет. А также описать и исследовать те способы рассуждений, которые являются правильными.

Логика рассматривает три различные формы. в которых осуществляется мышление: ПОНЯТИЕ, СУЖДЕНИЕ (высказывание) и УМОЗАКЛЮЧЕНИЕ.

ПОНЯТИЕ - мысль, в которой обобщаются и выделяются предметы некоторого класса по определенным общим и в совокупности специфическим для них признакам.

СУЖДЕНИЕ (ВЫСКАЗЫВАНИЕ) - это всякое утверждение (или всякое предложе­ние), о котором можно судить, истинно оно или ложно.

Рассмотрим следующие примеры:

1. Учитель информатики.

2. Все ученики класса имеют по информатике оценку "5м.

3. Некоторые ученики в классе имеют по информатике оценку "5".

4. В классе нет отличников по информатике?

5. В классе все ученики - отличники по информатике!

Определите., какие из предложений являются понятиями, высказываниями, не являются ни теми, ни этими. Определите в найденных высказываниях -истинны они или ложны.

В информатике высказывания по истинности или ложности обозначаются:

Истинно - 1

Ложно - 0

12