" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ШЕФФЕРА ШТРИХ

Значение ШЕФФЕРА ШТРИХ в математической энциклопедии:

- логическая операция, обычно обозначаемая |, к-рая задается следующей истинностной таблицей:

Таким образом, высказывание означает, что Аи Внесовместны, т. е. не являются истинными одновременно. Через Ш. ш. выражаются все другие логич. операции. Напр., высказывание ( отрицание А )эквивалентно высказыванию дизъюнкция высказываний Аи В выражается так:
Конъюнкция и импликация выражаются соответственно как и III. ш. был введен в рассмотрение Г. Шеффером [1].

Лит.:[1] Sheffer H., "Trans. Amer. Math. Soc.