ЛОГИЧЕСКИЕ ОПЕРАЦИИ НАД ВЫСКАЗЫВАНИЯМИ
ПОСТРОЕНИЕ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ
Логическая операция
Логическая операция – это способ построения сложного высказывания из данных высказываний, при котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний.
Во избежание неодинаковой трактовки смысла каждой из связок определим этот смысл следующими таблицами.
Логическое отрицание
Логическое отрицание (инверсия) образуется из высказывания с помощью добавления частицы «не» к сказуемому или использовании оборота речи «неверно что…» .
Обозначения логического отрицания
НЕ А , ¬ А , Ā , NOT А , А ’ .
Логическая связка ¬
А
¬А
1
0
0
1
Из таблицы следует, что отрицание высказывания истинно, когда высказывание ложно, и ложно, когда высказывание истинно.
Логическое умножение
Логическое умножение (конъюнкция) образуется соединением высказываний в одно с помощью союза «и» .
Обозначение логического умножения
А и В , А Ù В , А & В , A • В , А AND В .
Логическая связка &
А
В
1
1
А & В
1
0
1
0
0
1
0
0
0
0
Из таблицы следует, что конъюнкция двух высказываний истинна тогда и только тогда, когда оба высказывания истинны, и ложна тогда и только тогда, когда ложно хотя бы одно из высказываний.
Логическое сложение
Логическое сложение (дизъюнкция) образуется соединением двух высказываний в одно с помощью союза «или» .
Обозначения логического сложения
А или В , А v В , А | В , А + В , А OR В .
Логическая связка v
А
В
1
1
А v В
1
0
1
0
1
1
0
0
1
0
Из таблицы следует, что дизъюнкция двух высказываний истинна тогда и только тогда, когда хотя бы одно из высказываний истинно, и ложна тогда и только тогда, когда ложны оба высказывания.
Логическое следование
Логическое следование (импликация) образуется соединением двух высказываний в одно с помощью оборота речи «если …, то …» .
Обозначения логического следования
А ® В , А Þ В ,
Говорят: если А , то В ; А влечет В , В следует из А
Логическая связка ®
А
В
1
1
А ® В
1
0
1
0
0
1
0
0
1
1
Из таблицы следует, что импликация двух высказываний ложна тогда и только тогда, когда из истинного высказывания следует ложное (когда истинная посылка влечет ложное заключение).
Логическое равенство
Логическое равенство (эквиваленция) образуется соединением двух высказываний с помощью оборота речи «тогда и только тогда, когда» .
Обозначения логического следования
А ~ В, А Û В, А « В, А º В.
Говорят: А тогда и только тогда, когда В .
А равносильно В
Логическая связка ~
А
В
1
1
А ~ В
1
0
1
0
0
1
0
0
0
1
Из таблицы следует, что импликация двух высказываний истинна тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.