Презентация на тему Основы логики

– одна из древнейших наук.
Её основателем считается величайший

древнегреческий философ Аристотель.

не допуская противоречий в своих рассуждениях, уметь вскрывать логические

ошибки

Постижение науки логики дает возможность:
узнать законы, правила и приемы мышления;
анализировать правильность рассуждений;
оценивать истинность полученных заключений.

формами мышления являются
понятие
высказывание
умозаключение

объекта
Понятие имеет две стороны: содержание и объём.
Содержание понятия

составляет совокупность существенных признаков объекта. Чтобы раскрыть содержание понятия, следует найти признаки, необходимые и достаточные для выделения данного объекта из множества других объектов.
Объём понятия определяется совокупностью предметов, на которую оно распространяется.
Примеры понятий: прямоугольник, проливной дождь, персональный компьютер.

накопления, обработки и передачи информации.
Совокупность (сотни миллионов) существующих в

настоящее время в мире персональных компьютеров

Пример

или отрицается о свойствах реальных предметов и отношениях между

ними. Высказывание может быть либо истинно, либо ложно.

Примеры высказываний:
Истинное высказывание: «Буква «а» - гласная».
Ложное высказывание: «Процессор является устройством чтения информации».

Высказывания могут быть: простые и составные (сложные), образованные из нескольких простых с помощью определенных способов соединения.

они или ложны.

Вопросительные, восклицательные и повелительные предложения.

Выражения с переменными,

в которых значения переменных не определены.

☜ Книга по информатике.
☜ Метеорологический прогноз.

☜ Как мелодичны вы, песни, Украины!
☜ Верно ли, что сегодня теплая погода?


☜ 5 +X =12
☜ X + Z < 1
☜ Число Y кратно 3

сообщение.
Делайте утреннюю зарядку!
Назовите устройство ввода информации.
Кто отсутствует?
Париж – столица

Англии.
Число 11 является простым.
4+5=10
Без труда не вытащишь и рыбку из пруда.
Сложите числа 2 и 5.
Некоторые медведи живут на севере.
Все медведи – бурые.
Чему равно расстояние от Москвы до Челябинска?

одного или нескольких суждений (посылок) может быть получено новое

суждение (заключение).
Пример:
Посылка – Все углы треугольника равны.
Заключение – Треугольник равносторонний.

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

во внимание только истинность или ложность высказывания.
Основоположник алгебры логики
– Джордж Буль.

логических построениях в математике; ☞ в повседневных рассуждениях.

Практическое применение алгебры логики

– прописная латинская буква.
Её значения - ИСТИНА (1) или

ЛОЖЬ (0).
Логическое выражение – составное высказывание.
Логическая операция – логическое действие.

эквивалентность

с помощью союза «И» (а также «А», «НО»)
Обозначение:
А &

В, А^В, А∙B,
А и В, А*В, А and B

Примеры конъюнкции:

А= «Сегодня солнечный день и мы пойдем гулять»
В= «Богдан был победителем, а Степан занял второе место»

истинны оба исходных высказываний, а ложно в остальных случаях.

Конъюнкция

(логическое умножение)

с помощью союза «или» («либо»).
Обозначение: А V В, А+В,

А или В, А | В, А or B.

Примеры дизъюнкции:

А= «Снег пойдет ночью или утром»
В= «Он приедет сегодня либо завтра»

ложны оба исходных высказываний, а в остальных случаях истинна.

Дизъюнкция

(логическое сложение)

добавления частицы «НЕ» к сказуемому или использования оборота речи

«НЕВЕРНО, ЧТО...».

Обозначение:
Ā, ¬А, неА, notА

Примеры инверсии:
А= «Неверно, что у меня есть компьютер»
В= «Я не знаю языка программирования»

(логическое отрицание)

с помощью оборота речи «если…, то…».


Обозначение: А → В,

А⇒ В

Таблица истинности:

Примеры импликации:

А= «Если число делится на 9, то оно делится на 3»
В= «Если на улице дождь, то асфальт мокрый»

одно с помощью оборота речи «…тогда и только тогда,

когда…».

Обозначение : А~В, А ↔ В, А⇔ В, А=В, А≡В,

Таблица истинности:

Примеры эквивалентности:
А= «Число кратно 3 тогда и только тогда, когда сумма цифр числа делится нацело на 3»
В= «Угол называется прямым тогда и только тогда, когда он равен 90°»

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

и скобок.
Значением логического выражения могут быть только ЛОЖЬ или ИСТИНА.
При составлении логического выражения необходимо учитывать порядок выполнения (приоритет) логических операций:
Действия в скобках.
1-Инверсия, 2-конъюнкция, 3-дизъюнкция, 4-(импликация, эквивалентность).
Операции одного приоритета выполняются слева направо.

Петя поедет в деревню и, если будет хорошая погода,

то он пойдёт на рыбалку».

Обозначим простые высказывания через логические переменные:
А – Петя поедет в деревню;
В – Будет хорошая погода;
С – Он пойдёт на рыбалку.
Запишем высказывание в виде логического выражения, учитывая порядок действий:
A&(B→C)

версиями антивирусных программ.
В = Вы регулярно сохраняете свои файлы

на дискетах.
С = Снижается вероятность потери данных.

Если вы пользуетесь последними версиями антивирусных программ или регулярно сохраняете свои файлы на дискетах, то снижается вероятность потери данных.

будет свободное время»
Е = «Я сдам экзамены»
А = «Я

поеду отдыхать»