Фэндом

Математика

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

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

Стрелка Пирса (символ Лукашевича) — двуместная логическая операция, введена в рассмотрение Ч. Пирсом (С. 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

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


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

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

Также на Фэндоме

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