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

Содержание

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

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

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

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

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

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

Логическое высказывание
любое предложение

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

Примеры логических высказываний:
"Москва - столица России" (высказывание истинно).
"После зимы наступает осень" (высказывание ложно).
Алгебра логики -раздел математики. Она оперирует логическими высказываниями.Логическое высказывание любое предложение в повествовательной форме, о котором можно

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

Сложное высказывание -

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


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

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

«Толя поступит в ВУЗ".

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

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

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


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

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

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

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

виде.

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

где A, B, C - утверждения;
Λ, V, → - логические операции.
Логическое выражение - простое или сложное логическое высказывание, представленное в формальном виде.Примеры логических выражений:простое: A,сложное: AVB→C, где

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

Логическая переменная -

переменная, которая может принимать значение 1 (истина) или 0 (ложь).

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

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

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

Слайд 9Связка «И» - КОНЪЮНКЦИЯ
Обозначение «^»

Например: A^B

Утверждение A – Миша учится в

11 классе

Утверждение B – Миша готовится к экзаменам
A^B = Миша учится в 11 классе и Миша готовится к экзаменам

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


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

Слайд 10Связка «ИЛИ» - ДИЗЪЮНКЦИЯ
Обозначение «v»

Например: A v B

Утверждение A –

выучить отрывок поэмы

Утверждение B – приготовить сообщение об авторе
A v B = выучить отрывок поэмы или приготовить сообщение об авторе

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


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

Слайд 11Связка «не» - ИНВЕРСИЯ
Обозначение «¯»

Например: ¯A
Утверждение A – выучил отрывок поэмы



¯A – не выучил отрывок поэмы

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


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

Слайд 12Связка «ЕСЛИ,ТО» - ИМПЛИКАЦИЯ
Обозначение «→»

Например: A → B

Утверждение A –

выучить домашнее задание

Утверждение B – получить хорошую оценку
A→ B = Если выучить домашнее задание, то получишь хорошую оценку.

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


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

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

Утверждение

A – получить хорошую оценку

Утверждение B – выучить домашнее задание
A ~ B = получить хорошую оценку можно тогда и только тогда, когда выучишь домашнее задание


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


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

Что такое shareslide.ru?

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


Для правообладателей

Яндекс.Метрика

Обратная связь

Email: Нажмите что бы посмотреть