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