Операция импликация
Импликация(лат. implico — тесно связаны) - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда условие (первое высказывание - A) истинно, а следствие (второе высказывание - B) ложно.
В естественном языке: соответствует обороту Если A, то B.; А влечёт В; или Из А следует В. Импликация обозначается через 
.
Таблица 2.4
Операция импликация
| А (вход) | B(вход) | A ® B (выход) |
Операция эквивалентность. Двойная импликация
Эквивалентность – это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.
В естественном языке: соответствует оборотам речи Тогда и только тогда, В том и только в том случае. В литературных источниках встречаются следующие обозначения эквивалентности: 
, 
.
Таблица 2.5
Операция эквивалентность
| А (вход) | B(вход) | A  B (выход)
|
Дата добавления: 2016-04-11; просмотров: 620;