Логика. Логические операции.
Логика. Логические операции.
Логика- наука о формах и законах человеческого мышления, в частности, о способах доказательств о опровержений
Логика-
наука о формах и законах человеческого мышления,
в частности, о способах доказательств о опровержений.
Высказывание – повествовательное предложение, в котором что – либо утверждается или отрицается
Высказывание – повествовательное предложение, в котором что – либо утверждается или отрицается.
Логическая операция- операция над высказываниями, позволяющая получать новые высказывания из более простых
Логическая операция- операция над высказываниями, позволяющая получать новые высказывания из более простых.
Логическая операция КОНЪЮНКЦИЯ (логическое умножение):
Логическая операция КОНЪЮНКЦИЯ (логическое умножение):
Высказывание с соединительным союзом И, значение которого истинно, только если входящие в него высказывания истины.
В естественном языке соответствует союзу и;
В алгебре высказываний обозначение & или /\ (А&B или A/\B);
В языках программирования обозначение And.
А | В | А&B |
1 | ||
0 | 1 | 0 |
1 | 0 | |
0 | ||
Таблица истинности для конъюкции
Логическая операция ДИЗЪЮНКЦИЯ (логическое сложение):
Логическая операция ДИЗЪЮНКЦИЯ (логическое сложение):
Высказывание с соединительным союзом ИЛИ, значение которого истинно, если хотя бы одно из входящих в него высказываний истинно.
В естественном языке соответствует союзу или;
Обозначение \/ ;
В языках программирования обозначение Or.
А | В | АvB |
1 | ||
0 | 1 | |
1 | 0 | 1 |
0 | ||
Таблица истинности для ДИЗЪЮНКЦИИ
Логическая операция ИНВЕРСИЯ (отрицание):
Логическая операция ИНВЕРСИЯ (отрицание):
Изменяет значение высказывания на противоположное, в естественном языке соответствует частице НЕ
В естественном языке соответствует словам неверно, что... и частице не;
Обозначение ¬А или ⁻А
В языках программирования обозначение Not.
Таблица истинности для ИНВЕРСИИ
А | ¬А |
0 | 1 |
1 | 0 |
© ООО «Знанио»
С вами с 2009 года.
