Операция импликация

Импликация(лат. implico — тесно связаны) - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда условие (первое высказывание - A) истинно, а следствие (второе высказывание - B) ложно.

В естественном языке: соответствует обороту Если A, то B.; А влечёт В; или Из А следует В. Импликация обозначается через .

Таблица 2.4

Операция импликация

А (вход) B(вход) A ® B (выход)

 

Операция эквивалентность. Двойная импликация

Эквивалентность – это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.

В естественном языке: соответствует оборотам речи Тогда и только тогда, В том и только в том случае. В литературных источниках встречаются следующие обозначения эквивалентности: , .

Таблица 2.5

Операция эквивалентность

А (вход) B(вход) A B (выход)

 








Дата добавления: 2016-04-11; просмотров: 675;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.004 сек.