Каждая логическая связка рассматривается как операция над логическими высказываниями и имеет свое название и обозначение:
НЕ Операция, выражаемая словом "не", называется отрицанием и обозначается чертой над высказыванием (или знаком ). Высказывание истинно, когда A ложно, и ложно, когда A истинно. Пример. "Луна -- спутник Земли" (А); "Луна -- не спутник Земли" ().
Таблица истинности инверсии (НЕ)
А
А
0
1
1
0
И Операция, выражаемая связкой "и", называется конъюнкцией (лат. conjunctio -- соединение) или логическим умножением и обозначается точкой " . " (может также обозначаться знаками или &). Высказывание А . В истинно тогда и только тогда, когда оба высказывания А и В истинны. Например, высказывание "10 делится на 2 и 5 больше 3" истинно, а высказывания "10 делится на 2 и 5 не больше 3", "10 не делится на 2 и 5 больше 3", "10 не делится на 2 и 5 не больше 3" -- ложны.
Таблица истинности конъюнкции
А
В
АВ
0
0
0
0
1
0
1
0
0
1
1
1
ИЛИ Операция, выражаемая связкой "или" (в неисключающем смысле этого слова), называется дизъюнкцией (лат. disjunctio -- разделение) или логическим сложением и обозначается знаком v (или плюсом). Высказывание А v В ложно тогда и только тогда, когда оба высказывания А и В ложны. Например, высказывание "10 не делится на 2 или 5 не больше 3" ложно, а высказывания "10 делится на 2 или 5 больше 3", "10 делится на 2 или 5 не больше 3", "10 не делится на 2 или 5 больше 3" -- истинны.
Таблица истинности дизъюнкции
А
В
АVВ
0
0
0
0
1
Страницы: << < 3 | 4 | 5 | 6 | 7 > >>