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

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

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

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

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


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем написать реферат

Смотреть что такое "ШЕФФЕРА ШТРИХ" в других словарях:

  • Штрих Шеффера — Штрих Шеффера  бинарная логическая операция, булева функция над двумя переменными. Введена в рассмотрение Генри Шеффером в 1913 г. (в отдельных источниках именуется как Пунктир Чулкова) Штрих Шеффера, обычно обозначаемый |, задаётся… …   Википедия

  • ПРОПОЗИЦИОНАЛЬНАЯ СВЯЗКА — символ формального языка, служащий для обозначения логической операции, с помощью к рой из данных высказываний можно получать новые высказывания. Важнейшими П. с. являются конъюнкция a (иначе ), дизъюнкция , импликация (иначе или ), отрицание… …   Математическая энциклопедия

  • Аксиома Вольфрама — является результатом исследований, осуществленных Стивеном Вольфрамом[1] в поиске кратчайшей аксиомы из одного уравнения, эквивалентной аксиомам булевой алгебры (или логике высказываний). Результатом[2] его поиска стала аксиома с шестью… …   Википедия

  • Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …   Википедия

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

  • Логические операции —         логические связки, логические операторы, функции, преобразующие высказывания или пропозициональные формы (т. е. выражения логики предикатов (См. Логика предикатов), содержащие переменные (См. Переменная) и обращающиеся в высказывания при… …   Большая советская энциклопедия

  • АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

  • Стрелка Пирса — Стрелка Пирса  бинарная логическая операция, булева функция над двумя переменными. Введена в рассмотрение Чарльзом Пирсом (Сharles Peirce) в 1880 1881 г.г. Стрелка Пирса, обычно обозначаемая ↓, задаётся следующей таблицей истинности:… …   Википедия

  • Логические элементы — Логические элементы  устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого  «1» и низкого  «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… …   Википедия

  • Битовая операция — Битовые операции, иногда также булевы или логические операции[1] операции над битами, применяемые в программировании и цифровой технике, изучаемые в дискретной математике и математической логике. Содержание 1 Введение 1.1 …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»