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

Слайд 1

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

Слайд 2

Логика – наука о законах и формах мышления Высказывание (суждение) – некоторое предложение, которое может быть истинно (верно) или ложно Задание: 1. Какой длины эта лента? 2. Прослушайте сообщение. 3. Делайте утреннюю зарядку! 4. Назовите устройство ввода информации. 5. Париж-столица Англии. 6. Число 11 является простым. 7. Все медведи бурые.

Слайд 3

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

Слайд 4

Конъюнкция Название Логическое умножение Обозначение А&В или А  В Союз в естественном языке АиВ Примеры А - «Число 10 — четное»; В - «Число 10 — отрицатель- ное» «Число 10 четное и от- рицательное» -ЛОЖЬ

Слайд 5

Название Обозначение Союз в естественном языке Примеры А - «Число 10 — четное»; В - «Число 10 — отрицатель- ное» Дизъюнк­ция Логическое сложение AvB А или В «Число 10 -четное или отрицательное» = ИСТИНА

Слайд 6

Название Обозначение Союз в естественном языке Примеры А - «Число 10 — четное»; В - «Число 10 — отрицатель- ное» Инверсия Отрицание А или  А Не А «Неверно, что число 10 — четное» = ЛОЖЬ «Неверно, что число 10 отрицательное» = ИСТИНА

Слайд 7

Название Обозначение Союз в естественном языке Примеры А - «Число 10 — четное»; В - «Число 10 — отрицательное» Импликация Эквивалентность Логическое следование Логическое p авенство А  В А -условие В - следствие А≡В илиА↔В Если А, то В; когда А, тогда В; коль скоро А то и В; и т.п. А тогда и только, когда В «Если число 10 - четное, то оно является отрицательным» = ЛОЖЬ «Число 10 -чет ное тогда и только, тогда,когда отрицательно» - ЛОЖЬ

Слайд 8

Конъюнкция Дизъюнкция Инверсия Импликация Эквивалентность Таблица истинности — таблица, определяющая значение сложного высказы- вания при всех возможных значениях простых высказываний А В А&В А В AvB А  А А В А->В А В А ≡ В 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1

Слайд 9

Порядок выполнения логических операций в сложном логическом выражении: действия в скобках 2. инверсия 3. конъюнкция 4. дизъюнкция 5. импликация 6. эквивалентность