Здесь вы можете просмотреть и скачать доклад по теме «Алгебра высказываний», размещенный в категории «Алгебра», который поможет вам успешно провести свое мероприятие или подготовиться к занятию.
| Раздел: | Алгебра |
| Слайдов: | 9 |
| Слов: | 263 |
| Символов: | 2024 |
| Просмотров: | 9 |
| Скачиваний: | 0 |
| Загрузка: | онлайн |
| Размер: | 126.50 kB |
| Тип: | ppt / pptx для PowerPoint/Impress |
| Теги: | #логическ, #язык, #обозначен, #числ, #соответств, #естествен, #высказыван, #операц, #алгебр, #солнц |
Алгебра высказываний
Алгебра и логика Простые высказывания в алгебре логики обозначаются заглавными латинскими буквами: А = {Аристотель - основоположник логики} В = {На яблонях растут бананы}. Истинному высказыванию ставится в соответствие 1, ложному — 0. Таким образом: А = 1, В = 0.
Алгебра и логика Составные высказывания на естественном языке образуются с помощью союзов: Солнце в зените И тени нет. Мы пойдём в кино ИЛИ на дискотеку. НЕВЕРНО, что Солнце движется вокруг Земли. ЕСЛИ сумма цифр числа делится на 3, ТО число делится на 3 Число 15 делится на 3 ТОГДА И ТОЛЬКО ТОГДА, когда сумма цифр числа 15 делится на 3.
Солнце в зените И тени нет. Логическая операция КОНЪЮНКЦИЯ (логическое умножение): в естественном языке соответствует союзу и; в алгебре высказываний обозначение &; в языках программирования обозначение And.
Мы пойдём в кино ИЛИ на дискотеку. Логическая операция ДИЗЪЮНКЦИЯ (логическое сложение): в естественном языке соответствует союзу или; обозначение V; в языках программирования обозначение Or.
НЕВЕРНО, что Солнце движется вокруг Земли. Логическая операция ИНВЕРСИЯ (отрицание): в естественном языке соответствует словам неверно, что. . . и частице не; обозначение А ; в языках программирования обозначение Not;
ЕСЛИ сумма цифр числа делится на 3, ТО число делится на 3 Логическая операция ИМПЛИКАЦИЯ (логическое следование): в естественном языке соответствует обороту если. . . , то. . . ; обозначение
Число 15 делится на 3 ТОГДА И ТОЛЬКО ТОГДА, когда сумма цифр числа 15 делится на 3. Логическая операция ЭКВИВАЛЕНЦИЯ (равнозначность): в естественном языке соответствует оборотам речи тогда и только тогда; в том и только в том случае; обозначения , ~.
Тренируемся: Задачник 1 Стр. 43 №1, №2, №5 Стр. 47 №6 Стр. 54 №28, №29 Найдите значения логических выражений: а) (1V1) V(1 V 0); б) ((1 V 0) V 1) V 1; в) (0 V 1) V(1 V 0); г) (0&1)&1; д) 1&(1&1)&1; е) ((1 V 0)&(1&1))&(0 V 1); ж) ((1&0) V(1&0)) V 1; з) ((1&1) V 0)&(0 V 1); и) ((0&0) V 0)&(1 V 1). Дома: §3. 2 стр. 125 – 129 вопрос 3. 1 стр. 129
Похожие презентации по алгебре