Элементы алгебры логики (урок 1.4.)

Содержание

Слайд 2

Клод Шеннон (1916-2001). Его исследования позволили применить алгебру логики в вычислительной

Клод Шеннон (1916-2001). Его исследования позволили применить алгебру логики в вычислительной

технике

Логика

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

Джордж Буль (1815-1864). Создал новую область науки - Математическую логику (Булеву алгебру или Алгебру высказываний).

Слайд 3

Алгебра логики – наука, изучающая законы и формы мышления. Алгебра логики

Алгебра логики – наука, изучающая законы и формы мышления.

Алгебра логики

Слайд 4

Высказывание - это повествовательное предложение, в отношении которого можно сказать истинное

Высказывание - это повествовательное предложение, в отношении которого можно сказать истинное

оно или ложное.

В русском языке высказывания выражаются повествовательными предложениями:
Земля вращается вокруг Солнца.
Москва - столица.

Побудительные и вопросительные предложения высказываниями не являются.
Без стука не входить!
Откройте учебники.
Ты выучил стихотворение?

Высказывание

Но не всякое повествовательное предложение является высказыванием:
Это высказывание ложное.

Слайд 5

Высказывание или нет? Зимой идет дождь. Снегири живут в Крыму. Кто

Высказывание или нет?

Зимой идет дождь.
Снегири живут в Крыму.
Кто к нам пришел?
У

треугольника 5 сторон.
Как пройти в библиотеку?
Переведите число в десятичную систему.
Запишите домашнее задание
Слайд 6

В алгебре логики высказывания обозначают буквами и называют логическими переменными. Если

В алгебре логики высказывания обозначают буквами и называют логическими переменными.
Если

высказывание истинно, то значение соответствующей ему логической переменной обозначают единицей (А = 1), а если ложно - нулём (В = 0).
0 и 1 называются логическими значениями.

Алгебра логики

Слайд 7

Простые и сложные высказывания Из простых высказываний можно получить сложные с помощью логических операций.

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

Из простых высказываний можно получить сложные с помощью

логических операций.
Слайд 8

Логические операции Таблица истинности: Графическое представление A Ā

 

Логические операции

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

Графическое представление

A

Ā

Слайд 9

2) Логическое сложение, логическое ИЛИ, дизъюнкция. Обозначения: А ∨ В, А

2) Логическое сложение, логическое ИЛИ, дизъюнкция. Обозначения: А ∨ В, А

| В, А ИЛИ В, А + В.

Логические операции

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

Графическое представление

A

B

АVВ

Слайд 10

3) Логическое умножение, логическое И, конъюнкция. Обозначения: А∧ В, А×В, А*В,

3) Логическое умножение, логическое И, конъюнкция. Обозначения: А∧ В, А×В, А*В,

А & В, А И В.

Логические операции

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

Графическое представление

A

B

А&В

Слайд 11

4) Логическое следование, логическое ЕСЛИ,ТО, импликация. Обозначения: А→ В, если А,

4) Логическое следование, логическое ЕСЛИ,ТО, импликация.
Обозначения: А→ В, если А,

то В.

Логические операции

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