Определение слова «Шеффера Штрих»

Математическая энциклопедия:

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

Смотреть другие определения →


© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020

Top.Mail.Ru
Top.Mail.Ru