Стрелка Пирса
Материал из Википедии — свободной энциклопедии
Стрелка Пирса (символ Лукашевича) — двуместная логическая операция, введена в рассмотрение Ч. Пирсом (С. Peirce). Стрелка Пирса, обычно обозначаемая , задается следующей истинностной таблицей:
x | y | ||
---|---|---|---|
0 | 0 | 1 | |
0 | 1 | 0 | |
1 | 0 | 0 | |
1 | 1 | 0 |
Таким образом, высказывание означает «ни A, ни B». Стрелка Пирса обладает тем свойством, что через неё одну выражаются все другие логические операции. Например, высказывание (отрицание A) эквивалентно высказыванию , конъюнкция высказываний A и B выражается так: , дизъюнкция эквивалентна .