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

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

НА УРОКЕ:

Что такое логика; Основные формы мышления; Базовые логические операции; Логические выражения и таблицы истинности

Логика – это наука о формах и способах мышления

Основные формы мышления

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

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

Это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними.

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

Алгебра высказываний

В алгебре высказываний суждениям ставятся в соответствие логические переменные. Истинному высказыванию соответствует значение логической переменной 1, а ложному – значение 0.

А=«Два умножить на два равно четырем» (А=1); В=«Два умножить на два равно пяти»(В=0).

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

1. Объединение двух(или нескольких) высказываний в одно с помощью союза «и» называется операцией логического умножения или конъюнкцией

«2*2=5 и 3*3=10» «2*2=5 и 3*3=9» «2*2=4 и 3*3=10» «2*2=4 и 3*3=9»

F=A&B

2. Объединение двух(или нескольких) высказываний с помощью союза «или» называется операцией логического сложения или дизъюнкцией

«2*2=5 или 3*3=10» «2*2=5 или 3*3=9» «2*2=4 или 3*3=10» «2*2=4 или 3*3=9»

F=AVB

3. Присоединение частицы «не» к высказыванию называется операцией отрицания или инверсией

F=А _ «2*2≠4» «2*2=4»

Логические выражения и таблицы истинности

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

(2*2=5 или 2*2=4) и (2*2≠5 или 2*2≠4) А = «2*2=5» - ложно (0) В = «2*2=4» - истинно (1)

F=(A V B)&( A V B)

Таблица истинности логической функции

Заполнить таблицу истинности для логической функции: F=(A V B)&( A V B)

Равносильные логические выражения

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

M∨N ((M∨N)&N)∨M