Содержание
-
Логические операции
-
Логическая переменная
Логическая переменная - это простое высказывание, содержащее только одну мысль. Ее символическое обозначение — латинская буква (например A, B, X, Y и т.д.). Например: А – «Буква А – гласная»; В – «Тигр – животное травоядное». Значением логической переменной могут быть только константы ИСТИНА (1) или ЛОЖЬ (0).
-
Составное высказывание
Составное высказывание — логическая функция, которая содержит несколько простых мыслей, соединенных между собой с помощью логических связок (операций) «и», «или», «не», «если … то», «тогда и только тогда» и др.Ее символическое обозначение —F(A,B,...). Пример: Мы сидим на уроке и решаем задачи.
-
Логическая операция КОНЪЮНКЦИЯ (логическое умножение).
в естественном языке соответствует союзу и; в алгебре высказываний обозначение & или Λ (А & B или A ΛB); в языках программирования обозначение And. Конъюнкция — это логическая операция, значение которой истинно тогда и только тогда, когда оба исходных высказывания истинны.
-
Таблица истинности
Таблица истинности – это таблица, где в левой части записываются все возможные комбинациизначений исходных данных, а в правой – значение выражения для каждой комбинации.
-
Логическая операция ДИЗЪЮНКЦИЯ (логическое сложение)
в естественном языке соответствует союзу или; обозначение ٧ ; в языках программирования обозначение Or. Дизъюнкция — это логическая операция, значение которой ложно тогда и только тогда, когда оба исходных высказывания ложны и истинно, когда хотя бы одно из двух образующих его высказываний истинно.
-
Таблица истинности
-
Логическая операция ИНВЕРСИЯ (отрицание)
в естественном языке соответствует словам неверно, что... и частице не; обозначение ¬A или A; в языках программирования обозначение Not. Отрицание — это логическая операция, значение которой ложно, если само высказывание истинно, и истинно, если само высказывание ложно.
-
Таблица истинности
-
Логическая операция ИМПЛИКАЦИЯ(логическое следование).
в естественном языке соответствует связке если …, то …; в алгебре высказываний обозначение → (А → B). Импликация — это логическая операция, которая будет ложна тогда и только тогда, когда из истины следует ложь.
-
Таблица истинности
-
Логическая операция ЭКВИВАЛЕНЦИЯ (логическое равенство).
в естественном языке соответствует связке тогда и только тогда…; в алгебре высказываний обозначение ↔ (А ↔ B ). Эквиваленция — это логическая операция, значение которой истинно когда оба высказывания истинны или оба ложны.
-
Таблица истинности
-
Логическая операция ИСКЛЮЧАЮЩЕЕ ИЛИ.
в естественном языке соответствует связке либо…, либо… ; в алгебре высказываний обозначение (А B). Исключающее ИЛИ — это логическая операция, значение которой истинно тогда, когда истинно либо одно из простых высказываний, либо другое, но не оба сразу.
-
Таблица истинности
-
Приоритет операций
Инверсия ¬ Конъюнкция /\ Дизъюнкция \/ , исключающее ИЛИ Эквиваленция↔, импликация → Приоритет операций можно изменить при помощи скобок.
Нет комментариев для данной презентации
Помогите другим пользователям — будьте первым, кто поделится своим мнением об этой презентации.