Презентация на тему по информатике на тему Алгебра логики

Содержание

2. ЛОГИКА (гр. logos — мысль, слово, речь,
3. Алгебра логики -раздел математики. Она оперирует логическими
4. Простое высказывание - логическое высказывание, состоящее из
5. ПримерУтверждение1: «Толя будет много готовиться самостоятельно".Утверждение2: «Толя
6. Логические операции - "связки": союзы и частицы
7. Логическое выражение - простое или сложное логическое
8. Законы алгебры логики - законы, позволяющие преобразовывать
9. Связка «И» - КОНЪЮНКЦИЯОбозначение «^»Например: A^BУтверждение A
10. Связка «ИЛИ» - ДИЗЪЮНКЦИЯОбозначение «v»Например: A v
11. Связка «не» - ИНВЕРСИЯОбозначение «¯»Например: ¯AУтверждение A
12. Связка «ЕСЛИ,ТО» - ИМПЛИКАЦИЯ Обозначение «→»Например: A
13. Скачать презентацию
14. Похожие презентации

ЛОГИКА (гр. logos — мысль, слово, речь, разум) - это наука о законах и формах мышления, направленная на познание объективного мира. Слово логика обозначает совокупность правил, которым подчиняется процесс мышления или обозначает науку о правилах рассуждения

Главная
Информатика
Презентация по информатике на тему Алгебра логики

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

ЛОГИКА (гр. logos — мысль, слово, речь, разум) - это наука о

Алгебра логики -раздел математики. Она оперирует логическими высказываниями.Логическое высказывание любое предложение в

Простое высказывание - логическое высказывание, состоящее из одного утверждения.Сложное высказывание - логическое

ПримерУтверждение1: «Толя будет много готовиться самостоятельно

Логическое выражение - простое или сложное логическое высказывание, представленное в формальном виде.Примеры

Законы алгебры логики - законы, позволяющие преобразовывать логические выражения.Логическая переменная - переменная,

Связка «И» - КОНЪЮНКЦИЯОбозначение «^»Например: A^BУтверждение A – Миша учится в 11

Связка «ИЛИ» - ДИЗЪЮНКЦИЯОбозначение «v»Например: A v B Утверждение A – выучить

Связка «не» - ИНВЕРСИЯОбозначение «¯»Например: ¯AУтверждение A – выучил отрывок поэмы ¯A

Связка «ЕСЛИ,ТО» - ИМПЛИКАЦИЯ Обозначение «→»Например: A → BУтверждение A – выучить

Связка «тогда и только тогда» - ЭКВИВАЛЕНТНОСТЬ Обозначение «~ »Например: A ~BУтверждение A

Слайды презентации

Слайд 2 ЛОГИКА (гр. logos — мысль, слово, речь, разум)

ЛОГИКА (гр. logos — мысль, слово, речь, разум) - это наука

- это наука о законах и формах мышления, направленная

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

Слайд 3 Алгебра логики -
раздел математики. Она оперирует логическими высказываниями.

Логическое

Алгебра логики -раздел математики. Она оперирует логическими высказываниями.Логическое высказывание любое предложение

высказывание
любое предложение в повествовательной форме, о котором можно

однозначно сказать, истинно оно или ложно.

Примеры логических высказываний:
"Москва - столица России" (высказывание истинно).
"После зимы наступает осень" (высказывание ложно).

Слайд 4 Простое высказывание - логическое высказывание, состоящее из одного

Простое высказывание - логическое высказывание, состоящее из одного утверждения.Сложное высказывание -

утверждения.

Сложное высказывание - логическое высказывание, состоящее из нескольких утверждения,

объединенных с помощью "связок": союзов "и", "или (либо)", частицы "не", связки "если, то" и др.

Приведите примеры простых и сложных высказываний.
1) Высказывание содержит два утверждения, объединенных "и";
2) Высказывание содержит два утверждения, объединенных "или«;
3) Высказывание содержит три утверждения, объединенных связкой "если, то«;

Слайд 5 Пример
Утверждение1: «Толя будет много готовиться самостоятельно".
Утверждение2: «Толя будет

заниматься с репетитором".
Утверждение2: «Толя поступит в ВУЗ".

Составим высказывание, которое

содержит эти три тверждения, объединенных связкой "если, то" и союзом "и"

Если Толя будет много готовиться самостоятельно и Толя будет заниматься с репетитором, то Толя поступит в ВУЗ

Если Толя будет заниматься с репетитором, то будет много готовиться самостоятельно и поступит в ВУЗ

Слайд 6 Логические операции - "связки": союзы и частицы естественного

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

виде .

Слайд 7 Логическое выражение - простое или сложное логическое высказывание,

Логическое выражение - простое или сложное логическое высказывание, представленное в формальном

представленное в формальном виде.

Примеры логических выражений:
простое: A,
сложное: AVB→C,

где

A, B, C - утверждения;
Λ, V, → - логические операции.

Слайд 8 Законы алгебры логики - законы, позволяющие преобразовывать логические

Законы алгебры логики - законы, позволяющие преобразовывать логические выражения.Логическая переменная -

выражения.

Логическая переменная - переменная, которая может принимать значение 1

(истина) или 0 (ложь).

Связки "НЕ", "И", "ИЛИ", "ЕСЛИ,ТО" - логическими операциями

Существуют разные варианты обозначения истинности и ложности логических переменных: