ШЕФФЕРА ШТРИХ
-логическая операция,обычно обозначаемая |, к-рая задается следующейистинностной таблицей:
Таким образом, высказывание означает, что Аи Внесовместны, т. е. не являются истинными одновременно. Через Ш. ш. выражаются все другие логич. операции. Напр., высказывание (отрицание А)эквивалентно высказываниюдизъюнкциявысказываний АиВвыражается так:
Конъюнкцияиимпликациявыражаются соответственно как и III. ш. был введен в рассмотрение Г. Шеффером [1].
Лит.:[1] Sheffer H., "Trans. Amer. Math. Soc.