Rambler's Top100





13
A
B
BA
0
0
0
0
1
0
1
0
0
1
1
1
Поскольку результат конъюнкции похож на результат обычного
умножения чисел 0 и 1, эту операцию часто называют логическим ум-
ножением.
3. Из высказываний А, В можно образовать высказывание или
В". Например, "2·2=4 или 5+3=9".
Определение 3
Высказывание или В" называется дизъюнкцией высказываний А
и В и обозначается
BA
.
Дизъюнкция задается с помощью таблицы истинности:
A
B
BA
0
0
0
0
1
1
1
0
1
1
1
1
Дизъюнкцию иногда называют логическим сложением, но здесь
аналогия "портится" четвертой строчкой.
4. Из высказываний А, В можно образовать следующее высказыва-
ние: тогда и только тогда, когда В". Например, треугольник является
равносторонним тогда и только тогда, когда все его углы равны между
собой. Синонимами служат фразы: в том и только в том случае, ко-
гда В", необходимо и достаточно для того, чтобы выполнялось В",
равносильно В", эквивалентно B".
Определение 4
Высказывание равносильно В" называется эквивалентностью
высказываний А и В и обозначается
BA
,
BA ~
,
BA
.
Эквивалентность задается таблицей истинности:
A
B
BA
0
0
1
0
1
0
1
0
0
1
1
1