Викия

Математика

Стрелка Пирса

1457статей на
этой вики
Добавить новую страницу
Обсуждение0 Поделиться

Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.

Стрелка Пирса (символ Лукашевича) — двуместная логическая операция, введена в рассмотрение Ч. Пирсом (С. Peirce). Стрелка Пирса, обычно обозначаемая \downarrow, задается следующей истинностной таблицей:

x y x\downarrow y
0 0 1
0 1 0
1 0 0
1 1 0

Таким образом, высказывание A \downarrow B означает «ни A, ни B». Стрелка Пирса обладает тем свойством, что через неё одну выражаются все другие логические операции. Например, высказывание \lnot A (отрицание A) эквивалентно высказыванию A \downarrow A, конъюнкция A\land B высказываний A и B выражается так: (A \downarrow A)\downarrow (B \downarrow B), дизъюнкция A\lor B эквивалентна (A \downarrow B)\downarrow (A \downarrow B).

См. такжеПравить

nl:NOR-poort no:Injunksjon pl:NOR

Викия-сеть

Случайная вики