Математическая энциклопедия - шеффера штрих
Связанные словари
Шеффера штрих
шеффера штрих
логическая операция, обычно обозначаемая |, к-рая задается следующей истинностной таблицей:
Таким образом, высказывание означает, что Аи Внесовместны, т. е. не являются истинными одновременно. Через Ш. ш. выражаются все другие логич. операции. Напр., высказывание ( отрицание А )эквивалентно высказыванию дизъюнкция высказываний Аи В выражается так:
Конъюнкция и импликация выражаются соответственно как и III. ш. был введен в рассмотрение Г. Шеффером [1].
Лит.:[1] Sheffer H., "Trans. Amer. Math. Soc.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 551 | |
2 | 478 | |
3 | 475 | |
4 | 469 | |
5 | 451 | |
6 | 434 | |
7 | 434 | |
8 | 430 | |
9 | 420 | |
10 | 420 | |
11 | 417 | |
12 | 410 | |
13 | 400 | |
14 | 372 | |
15 | 370 | |
16 | 368 | |
17 | 362 | |
18 | 360 | |
19 | 359 | |
20 | 358 |