Презентація на тему "Алгебра висловлювань" з інформатики в форматі powerpoint. В даній презентації для школярів 10-11 класу розповідається про логічних операціях і логічних змінних, про основні закони алгебри висловлювань. Автор презентації: Сергєєв Євген Вікторович.
Фрагменти з презентації
Алгебра висловлювань була розроблена для того, щоб визначати істинність або хибність складових висловлювань, не вникаючи в їх зміст
Логічні змінні
- Логічні змінні - прості висловлювання, що містять тільки одну думку.
- Позначаються буквами латинського алфавіту: A, B, C ...
- Логічні змінні можуть приймати лише два значення: «ІСТИНА» (1) або «БРЕХНЯ» (0)
- В алгебрі висловлювань висловлювання позначаються іменами логічних змінних, які можуть приймати лише два значення: «ІСТИНА» (1) або «БРЕХНЯ» (0)
- В алгебрі висловлювань над логічними змінними (над висловлюваннями) можна виробляти певні логічні операції, в результаті яких виходять нові висловлювання
складові висловлювання
- Висловлювання, що складаються з декількох простих суджень і містять в собі більше, ніж одну просту думку, називаються логічними функціями Позначаються F (A, B, C ...)
- Також можуть набувати значень «ІСТИНА» або «БРЕХНЯ» в залежності від того, які значення мають що входять до їх складу логічні змінні і від дій над ними
Логічні операції
- Кон'юнкція (логічне множення, «І»)
- Диз'юнкція (логічне додавання, «АБО»)
- Інверсія (логічне заперечення, «НЕ»)
- Імплікація (логічне слідування, «Якщо А, то В»)
- Еквівалентність (логічне рівність, «А тоді і тільки тоді, коли В»)
кон'юнкція
- Об'єднання двох або декількох висловлювань в одне за допомогою союзу «І» називається операцією логічного множення, або кон'юнкція
- Логічна функція, отримана в результаті кон'юнкції, істинна тоді і тільки тоді, коли істинні всі вхідні в нього логічні змінні
диз'юнкція
- Об'єднання двох або декількох висловлювань в одне за допомогою союзу «АБО» називається операцією логічного додавання, або диз'юнкція
- Логічна функція, отримана в результаті диз'юнкції, істинна тоді, коли істинна хоча б одна з вхідних в нього логічних змінних
інверсія
- Приєднання частки «НЕ» до висловлення називається операцією логічного заперечення, або інверсією
- Логічне заперечення (інверсія) робить справжнє висловлювання хибним, а хибне - істинним
імплікація
- Об'єднання двох висловлювань, з яких перше є умовою, а друге - наслідком з нього, називається импликацией (логічним проходженням)
- Імплікація помилкова тоді і тільки тоді, коли умова істинна, а наслідок ложно
приклад:
- Якщо вивчиш матеріал, то здаси залік
- Це висловлення помилкове тільки тоді, коли матеріал вивчено, а залік не зданий, тому що здати залік можна і випадково, наприклад якщо попався єдиний знайомий питання або вдалося скористатися шпаргалкою
еквівалентність
Еквівалентність - це логічна операція, яка об'єднує два простих висловлювання в одне складне і яке є істіннимтогда і тільки тоді, когдаоба вихідних висловлювання одночасно або істинні, або хибні.
Порядок дій
- Дії в дужках
- заперечення
- кон'юнкція
- диз'юнкція
- імплікація
- еквівалентність
додав: gera (19.12.2012) | Категорія: Інформатика шкільна
Переглядів: 5741 | Завантажень: +1135 | Рейтинг: 5.0 / 1 |
Теги: