Презентация "Основы логики" (8 класс) по информатике – проект, доклад

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

ФОРМЫ МЫШЛЕНИЯ

Логика – это наука о формах и способах мышления. Это учение о способах рассуждения и доказательств.

Мышление

Понятие – выделение существенных признаков предмета или класса предметов, позволяющих их отличить от других

Умозаключение – позволяет из одного или нескольких суждений получить новое суждение (знание или вывод)

Высказывание – это формулировка своего понимания окружающего мира.

Какой длины эта лента? Прослушайте сообщение. Делайте утреннюю зарядку! Назовите устройство ввода информации. Кто отсутствует? Париж — столица Англии. Число 11 является простым. 4 + 5 = 10. Без труда не вытащишь и рыбку из пруда. Сложите числа 2 и 5. Некоторые медведи живут на севере. Все медведи - бурые. Чему равно расстояние от Москвы до Ленинграда?

Какие из предложений являются высказываниями? Определить их истинность.

Получить высказывание: «Этот треугольник равносторонний», путем умозаключений.

Все углы равнобедренного треугольника равны

ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ОПЕРАЦИИ

Алгебра — это наука об общих операциях, аналогичных сложению и умножению, которые выполняются не только над числами, но и над другими математическими объектами, в том числе и над высказываниями. Такая алгебра называется алгеброй логики. Алгебра логики отвлекается от смысловой содержательности высказываний и принимает во внимание только истинность или ложность высказывания.

Логическая переменная — это простое высказывание, содержащее только одну мысль. Ее символическое обозначение — латинская буква (например A,B,X,Y и т.д.). Значением логической переменной могут быть только константы ИСТИНА и ЛОЖЬ (1 и 0). Составное высказывание — логическая функция, которая содержит не сколько простых мыслей, соединенных между собой с помощью логических операций. Ее символическое обозначение —F(A,B,...). Логические логическое действие.

Базовые логические операции

конъюнкция дизъюнкция отрицание импликация

дополнительные логические операции

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

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

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

«Летом Петя поедет в деревню, и если будет хорошая погода, то он пойдет на рыбалку».

Простые высказывания

«Будет хорошая погода»

«Он пойдет на рыбалку»

«Петя поедет в деревню»

А = Петя поедет в деревню; В = Будет хорошая погода; С = Он пойдет на рыбалку.

F= А&(ВС)

Симанова Т.С.

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

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

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

Выводы Основные логические операции